Является ли mutex инструментом синхронизации потоков?