Java多线程之互斥

The properites of Mutex solution:

Mutual exclusion: only one process may be active in its critical section at a time.

No deadlock: if one or more processes are trying to enter their critical section, one must eventually succeed.

No starvation: if a process is trying to enter its critical section, it must eventually succeed.

Handles lack of contention: if only one process is trying to enter its critical section, it must succeed with minimal overhead.

(Shared variables are only written to in the critical section)