(final): Explain why we need this

(final): Add examples of solving race conditions (Mutexes, Signals, Condition-Variables, Semaphores, Atomics)

(final): Add a comparison table to show the difference between the different types.