Исходное сообщение
"Facebook открыл RacerD, статический анализатор для многопото..." Отправлено Кузнец, 24-Окт-17 01:24
> Race condition обязательно нарушает логику алгоритма (семантику, инварианты, или как хотите) > при неблагопрятном стечении обстоятельств. Data race - совсем не обязательно. RC как раз ничего не нарушает -- нельзя нарушить то, что не предписано. Просто нужно зарубить себе на носу, что прецеденция исходного кода не будет сохранена на стадии исполнения. Если компилятору не сообщить как именно это сделать. Иначе -- будет как попало. Ява не сохраняет прецеденцию исходного кода (это так, для тех, кто не в курсе) по умолчанию.