​​Критическая секция. Блок кода
#новичкам

Термин "критическая секция" имеет 2 значения и это несколько конфузит как новичков, так и опытных разрабов, кто просто не встречался с двумя личинами термина. Сейчас и в следующем посте разберем оба значения.

Начнем с простого.

Одна из самых больших опасностей многопоточного кода - это гонка данных. Когда 2 потока пытаются читать и записывать в одну ячейку памяти без использования синхронизации.

Проблема гонки на самом деле в том, что потоки могут увидеть промежуточное состояние комплексной операции и вклиниться посередине. Даже банальный инкремент инта это 3 операции: чтение, модификация и запись.

int counter = 0; // unprotected variable

void increment() {
for (int i = 0; i < 10000; ++i) {
++counter; // data race
}
}

int main() {
std::thread t1(increment);
std::thread t2(increment);

t1.join();
t2.join();

// expected 20000, but there is data race so counter will never be eq to the number
std::cout