Related Questions

Each of a set of n processes executes the following code using two semaphores a and b initialized to 1 and 0, respectively. Assume that count is a shared variable initialized to 0 and not used in CODE SECTION P. CODE SECTION P wait (a); count=count+1 ; if (count==n) signal (b) ; signal (a) ; wait (b) ; signal (b) ; CODE SECTION Q What does the code achieve?
Statement (I): The count-up overflow (OV) bit is 1 when the up-counter increments above the maximum positive value. Statement (II): The count-down underflow (UN) bit is 1 when the counter decrements below the minimum negative value.