Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы		[ Отслеживать ]

Facebook открыл RacerD, статический анализатор для многопото..., opennews (??), 21-Окт-17, (0) [смотреть все] Эх, вот где-то здесь и жалеешь, что для плюсов такое сделать проблематично, Crazy Alex (ok), 13:04 , 21-Окт-17, (4) –1 // Один из симптомов шубообразной охватывающей шизофрении - страхи, и сильные сожал, . (?), 19:41 , 21-Окт-17, (15) –1 Погугли sanitizer и больше не пиши тут чушь, nobody (??), 22:18 , 21-Окт-17, (22) +2 // нагугли мозг ну или хотя бы чем отличаются sanitizer от static analize , и боль, pavlinux (ok), 03:03 , 22-Окт-17, (25) +3 // В данном случае дело даже не в том - в джаве есть каноничный способ описать шаре, Crazy Alex (ok), 03:12 , 22-Окт-17, (26) +1 На самом деле нет Разбор исходного кода настолько незначительная сторона статич, Аноним (-), 13:38 , 23-Окт-17, (38) речь не о самом разборе В джаве syncronized полностью описывает всё поведение , Crazy Alex (ok), 15:51 , 23-Окт-17, (42) Какая доброта И что же, интересно, не так У вас какие-то проблемы Thread Sanit, Аноним (-), 10:49 , 23-Окт-17, (37) –1 Только здесь речь вообще не о том , Crazy Alex (ok), 15:51 , 23-Окт-17, (43) Статик анализатор на это есть в clang с 2011 года https clang llvm org docs Th, Ivan (??), 13:38 , 22-Окт-17, (29) // Какие-то местечковые аннотации на макросах Действительно, и почему их никто не , Crazy Alex (ok), 03:58 , 23-Окт-17, (36) // В C 03 макросы нужны, чтобы код компилировался на тех компиляторах, которые не , Ivan (??), 16:45 , 23-Окт-17, (46) Насчёт макросов понял хотя им с этого начинать надо бы - что вот так пишется на, Crazy Alex (ok), 01:34 , 24-Окт-17, (54) Я согласен Я думаю это связано с тем, что документация писалась в 2011 году, ко, Ivan (??), 15:08 , 24-Окт-17, (58) Это всё, что вам надо знать о проектах для платформы Android , YetAnotherOnanym (ok), 13:52 , 21-Окт-17, (5) –3 // от Facebook, Аноним (-), 15:18 , 21-Окт-17, (6) +4 Не надо такое знать Не надо читать анонимов опеннета, которые целенаправленно в, Ordu (ok), 16:14 , 21-Окт-17, (7) +2 // Думаю, тут смысл несколько другой На стадии разработки - это дилетанское отра, Kodir (ok), 17:46 , 22-Окт-17, (31) // Почему ты выбираешь именно тот смысл фразы на стадии разработки , который припи, Ordu (ok), 20:16 , 22-Окт-17, (32) В ваших рассуждениях есть одна типичная ошибка вы предполагаете, что если в Яве, Кузнец (?), 15:34 , 23-Окт-17, (41) Может быть, я с джавой знакомился лет пятнадцать назад, через полгода потерял к , Ordu (ok), 04:47 , 24-Окт-17, (55) –1 О каком коде вы говорите Caps же -- это для тех, кто может только знакомится с , Кузнец (?), 21:26 , 24-Окт-17, (59) И что же нам нужно знать , Аноним (-), 16:51 , 21-Окт-17, (9) В модели памяти это называется Data Race И необязательно необходим мьютекс Так, Аноним (-), 20:16 , 21-Окт-17, (17)   // Хвать гнать, Race Condition - это общее описание всех багов возникающих при дост, pavlinux (ok), 03:21 , 22-Окт-17, (27)   // не гуглятся примеры dr vs rc я помогу https blog regehr org archives 490, Аноним (-), 13:01 , 22-Окт-17, (28) –2   // Еще раз Race Condition - это общее описание всех багов возникающих при доступ, pavlinux (ok), 20:41 , 22-Окт-17, (33) +1   По-моему, вы немного не о том Гонка возникает, когда есть гонка Т е непред, Кузнец (?), 15:53 , 23-Окт-17, (45) +1   Во-первых, в статье нет решений, есть только примеры, показывающие разницу между, Аноним (-), 20:48 , 23-Окт-17, (50)   Пля, модыр, трахни в моск свой кревой парсер , pavlinux (ok), 20:53 , 22-Окт-17, (35)   Это всё гонка Т е когда состояние обобществлённого ресурса зависит от псевдо , Кузнец (?), 15:29 , 23-Окт-17, (40)   // Race condition обязательно нарушает логику алгоритма семантику, инварианты, или, Аноним (-), 20:22 , 23-Окт-17, (48)   // Агх Не уверен Гонка возникает, чаще всего, из-за неверного суждения разраба о , Кузнец (?), 01:19 , 24-Окт-17, (51)   RC как раз ничего не нарушает -- нельзя нарушить то, что не предписано Просто н, Кузнец (?), 01:24 , 24-Окт-17, (52)   Итак, резюмирую Гонка всегда результат неверного суждения об исполнительной, Кузнец (?), 21:27 , 24-Окт-17, (60)   Никаких связей с растовым racer, ага , Аноним (-), 00:10 , 22-Окт-17, (23) –1 // Растоманам везде раст мерещится, Crazy Alex (ok), 15:52 , 23-Окт-17, (44) есть ли неигровое приложение под андроид, более нагружающее мобилку, чем фейсбук, теперь по Борщеву (?), 16:52 , 22-Окт-17, (30) +2 На мой не слишком проницательный взгляд история многопоточности в Яве это истори, Кузнец (?), 15:24 , 23-Окт-17, (39) // как раз по части модели памяти джава всегда была очень продвинутой актуальную м, Аноним (-), 20:34 , 23-Окт-17, (49) // Местами даже через чур Особенно в отсутствии внятной документации , Кузнец (?), 01:27 , 24-Окт-17, (53) // чересчур, Ordu (ok), 09:01 , 24-Окт-17, (56) Да, Кузнец (?), 13:06 , 24-Окт-17, (57) P S Хотя, не совсем Через чур тоже можно употреблять -- это, как раз, исконн, Кузнец (?), 22:53 , 24-Окт-17, (61) 4,5,17,23,30,39

Сообщения

[Сортировка по времени | RSS]

17. "Facebook открыл RacerD, статический анализатор для многопото..."	+/–
Сообщение от Аноним (-), 21-Окт-17, 20:16
> ситуации, когда выполняется два одновременных обращения к переменной члена класса, не отделённой при помощи мьютекса, если в одном из обращений выполняется операция записи В модели памяти это называется Data Race. И необязательно необходим мьютекс. Так вот, Data Race != Race Condition. Эти проблемы могут быть в наличии как одновременно, так и каждая по-отдельности.
Ответить | Правка | Наверх | Cообщить модератору

	27. "Facebook открыл RacerD, статический анализатор для многопото..."	+/–
	Сообщение от pavlinux (ok), 22-Окт-17, 03:21
	> В модели памяти это называется Data Race. И необязательно необходим мьютекс. > Так вот, Data Race != Race Condition. Хвать гнать, Race Condition - это общее описание всех багов возникающих при доступе к чему-либо, двух и более кого-либо. Есть такие баги "Time of check to time of use (TOCTOU)", тож разновидность race condition.
	Ответить | Правка | Наверх | Cообщить модератору

	28. "Facebook открыл RacerD, статический анализатор для многопото..."	–2 +/–
	Сообщение от Аноним (-), 22-Окт-17, 13:01
	не гуглятся примеры dr vs rc? я помогу https://blog.regehr.org/archives/490
	Ответить | Правка | Наверх | Cообщить модератору

	33. "Facebook открыл RacerD, статический анализатор для многопото..."	+1 +/–
	Сообщение от pavlinux (ok), 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 так вообще этого не позволит.
	Ответить | Правка | Наверх | Cообщить модератору

	45. "Facebook открыл RacerD, статический анализатор для многопото..."	+1 +/–
	Сообщение от Кузнец (?), 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 так вообще > этого не позволит. По-моему, вы немного не о том. Гонка возникает, когда есть... гонка. Т.е. непредсказуемая последовательность "приходящих к финишу" чего-то там. Вы же говорите о ложном суждении о естественной атомарности инвариантов. А атомарность инвариантов нужно описывать разрабу и описывать осмысленно. Компилятор этого не сделает. В общем, и в литературе эту ситуацию почему-то запихивают в "гонку". Хотя тут никакой гонки нет.
	Ответить | Правка | Наверх | Cообщить модератору

	50. "Facebook открыл RacerD, статический анализатор для многопото..."	+/–
	Сообщение от Аноним (-), 23-Окт-17, 20:48
	Во-первых, в статье нет решений, есть только примеры, показывающие разницу между rc и dr. Во-вторых, приведены они в псевдокоде. "Атомарная операция" определяется нестрого, это не конструкция языка, и атомарные переменные тут не при чем. Важно лишь, что результат в блоке одновременно видим или невидим всем потокам. Реализовать можно через системный мьютекс, Linux позволит, я гарантирую.
	Ответить | Правка | К родителю #33 | Наверх | Cообщить модератору

	35. "Facebook открыл RacerD, статический анализатор для многопото..."	+/–
	Сообщение от pavlinux (ok), 22-Окт-17, 20:53
	......Пля, модыр, трахни в моск свой кревой парсер
	Ответить | Правка | К родителю #28 | Наверх | Cообщить модератору

	40. "Facebook открыл RacerD, статический анализатор для многопото..."	+/–
	Сообщение от Кузнец (?), 23-Окт-17, 15:29
	Это всё гонка. Т.е. когда состояние обобществлённого ресурса зависит от (псевдо)случайных факторов, а не прописано логикой алгоритма.
	Ответить | Правка | К родителю #17 | Наверх | Cообщить модератору

	48. "Facebook открыл RacerD, статический анализатор для многопото..."	+/–
	Сообщение от Аноним (-), 23-Окт-17, 20:22
	Race condition обязательно нарушает логику алгоритма (семантику, инварианты, или как хотите) при неблагопрятном стечении обстоятельств. Data race - совсем не обязательно.
	Ответить | Правка | Наверх | Cообщить модератору

	51. "Facebook открыл RacerD, статический анализатор для многопото..."	+/–
	Сообщение от Кузнец (?), 24-Окт-17, 01:19
	Агх. Не уверен. Гонка возникает, чаще всего, из-за неверного суждения разраба о том, что вот как поток кода следует в его описании, так он и будет исполнятся. Более того, будет исполнятся "континуумно", т.е. без gaps-ов между строками выражений. Но проблема в том, что Ява, и не только она, в этом плане совершенно обманчива -- код на стадии исполнения перемешивается непредсказуемым образом (как оптимизатор решит), если только явно не предписать его прецеденцию. А уж многопоточность усложняет картину ещё больше. DR же возникает из-за другого заблуждения -- что компилятор каким-то немыслимым образом определить желаемые границы атомарного инварианта просто просмотрев члены экземпляры (класса). Но это тоже невозможно. Т.е. DR это и не гонка совсем, по-моему.
	Ответить | Правка | Наверх | Cообщить модератору

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

	60. "Facebook открыл RacerD, статический анализатор для многопото..."	+/–
	Сообщение от Кузнец (?), 24-Окт-17, 21:27
	> Это всё гонка. Т.е. когда состояние обобществлённого ресурса зависит от (псевдо)случайных > факторов, а не прописано логикой алгоритма. ... Итак, резюмирую. Гонка всегда результат неверного суждения об исполнительной среде. А не порок языка. По крайней мере, в Яве.
	Ответить | Правка | К родителю #40 | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема