Исходное сообщение
"Facebook открыл RacerD, статический анализатор для многопото..." Отправлено Кузнец, 23-Окт-17 15:53
>> не гуглятся примеры 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 так вообще > этого не позволит. По-моему, вы немного не о том. Гонка возникает, когда есть... гонка. Т.е. непредсказуемая последовательность "приходящих к финишу" чего-то там. Вы же говорите о ложном суждении о естественной атомарности инвариантов. А атомарность инвариантов нужно описывать разрабу и описывать осмысленно. Компилятор этого не сделает. В общем, и в литературе эту ситуацию почему-то запихивают в "гонку". Хотя тут никакой гонки нет.

Ваше сообщение
Имя*:
EMail:	Для отправки ответов на email укажите знак ! перед адресом, например, !user@host.ru (!! - не показывать email). Более тонкая настройка отправки ответов производится в профиле зарегистрированного участника форума.
Заголовок*:
Сообщение*:	>>> не гуглятся примеры 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 так вообще >> этого не позволит. > По-моему, вы немного не о том. Гонка возникает, когда есть... гонка. Т.е. > непредсказуемая последовательность "приходящих к финишу" чего-то там. Вы же говорите о > ложном суждении о естественной атомарности инвариантов. А атомарность инвариантов нужно > описывать разрабу и описывать осмысленно. Компилятор этого не сделает. > В общем, и в литературе эту ситуацию почему-то запихивают в "гонку". Хотя > тут никакой гонки нет.
	Введите код, изображенный на картинке: