CUET PG 2026 — operating system os PYQ

Assertion (A) is True:

In the producer-consumer problem with a bounded buffer, two counting semaphores are used: empty (initialized to the buffer capacity $N$) to track available empty slots, and full (initialized to $0$) to track filled slots holding items.

Reason (R) is False:

Counting semaphores can take non-negative integer values over an unrestricted domain (e.g., $0,1,2,\dots ,N$). It is binary semaphores whose integer value can range only between $0$ and $1$.