A Unix system architect is addressing service disruptions in a high-traffic web application. Analysis shows that race conditions and deadlocks due to improper process synchronization and resource allocation are the culprits.

A synchronization technique is considered, using a variable as a signal for resource availability. This variable a non-negative integer, is manipulated by processes.

The wait' function decrements the variable's value and is used before accessing a resource, and the ‘signal’ function increments the variable’s value after releasing it. A process enters a waiting state if the variables value becomes negative during ‘wait’.

What synchronization mechanism is proposed here?

A. Semaphores

b. Deadlock avoidance

C. Spinlocks

D. Priority inversion