Разница между взаимным исключением и синхронизацией?

В чем разница между двумя вышеперечисленными?

Этот вопрос пришел мне в голову, потому что я обнаружил, что

1. Мониторы и блокировки обеспечивают взаимное исключение

2. Семафоры и условные переменные обеспечивают синхронизацию

Верно ли это?

Также во время поиска я нашел эту статью

Любые разъяснения, пожалуйста.