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)