Исходное сообщение
"Facebook открыл RacerD, статический анализатор для многопото..." Отправлено pavlinux, 22-Окт-17 20:41
> не гуглятся примеры dr vs rc? я помогу https://blog.regehr.org/archives/490 Еще раз:  "Race Condition - это общее описание всех багов возникающих при доступе к чему-либо, двух и более кого-либо." У вас в примере классический race cond."multiple threads can concurrently try to update an account balance". В решении корявое решение в стиле Winows (с надеждой на компилятор). Отбалды делать атомарные операции над не атомарными перемененными ну совсем не гарантирует атомарность. Linux так вообще этого не позволит.