Какие инструменты вы можете использовать для решения проблем синхронизации потоков?