Synchronization methods

Todo:

(final): Explain why we need this

Todo:

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

Todo:

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