В однопроцессорных системах, несмотря на то, что в каждый момент времени выполняется только один поток, многопоточные приложения могут переключаться между потоками (контекстное переключение). Если несколько потоков одновременно обращаются к общим ресурсам (например, переменным или структурам данных), без механизмов синхронизации возможны состояния гонки, когда данные становятся неконсистентными.

Механизмы синхронизации (мьютексы, семафоры, блокировки) гарантируют, что только один поток в данный момент может изменять или читать общий ресурс, предотвращая ошибки и обеспечивая корректность работы программы.

Пример: если два потока одновременно увеличивают общий счётчик без блокировки, итоговое значение может быть меньше ожидаемого из-за конфликтов при чтении и записи.

Почему в однопроцессорных системах необходимы механизмы синхронизации при работе с многопоточными приложениями?