forum.opennet.ru

"Facebook открыл RacerD, статический анализатор для многопото..."

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

Исходное сообщение

[ Отслеживать ]

Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.

. "thread safety analysis and thread sanitizer"	+/–
Сообщение от Ivan (??), 22-Окт-17, 13:38
Статик анализатор на это есть в clang с 2011 года: https://clang.llvm.org/docs/ThreadSafetyAnalysis.html https://llvm.org/devmtg/2011-11/Hutchins_ThreadSafety.pdf Проблема в том, что статик-анализ не работает в сложных случаях, поэтому на практике эти аннотации используются мало кем. Обычно используют динамический анализ (thread sanitizer): http://www.cs.columbia.edu/~junfeng/11fa-e6121/papers/thread... https://llvm.org/devmtg/2012-11/Serebryany_TSan-MSan.pdf https://clang.llvm.org/docs/ThreadSanitizer.html
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

Facebook открыл RacerD, статический анализатор для многопото..., opennews, 21-Окт-17, 10:03 [смотреть все]

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

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру