Существует ли способ решения проблемы race condition?

1138

Распространённые способы решения:

  • Использование локальной копии — копирование разделяемой переменной в локальную переменную потока. Этот способ работает только тогда, когда переменная одна и копирование производится атомарно (за одну машинную команду), использование volatile.
  • Синхронизация — операции над разделяемым ресурсом происходят в синхронизированном блоке (при использовании ключевого слова synchronized).
  • Комбинирование методов — вышеперечисленные способы можно комбинировать, копируя «опасные» переменные в синхронизированном блоке. С одной стороны, это снимает ограничение на атомарность, с другой — позволяет избавиться от слишком больших синхронизированных блоков.

Очевидных способов выявления и исправления состояний гонки не существует. Лучший способ избавиться от гонок — правильное проектирование многозадачной системы.