Женское Кафе

Моделирование многопоточного исполнения программы и метод статического анализа кода на предмет состояний гонки

В статье проанализирован подход к статическому анализу кода на предмет обнаружения состояний гонки. Он ориентирован на реальные задачи со сложными конструкциями кода, включающие циклы и ветвления. Предложенный метод включает моделирование исполнения многопоточного приложения и анализ построенной модели. Модель подходит для реальных задач, под которыми понимаются те, где логика и понятие корректности привязаны к конкретным значениям переменных и истории операций над разделяемыми переменными, а не к попарному их сопоставлению.

Книге необходимы сроки, как ребенку. Все наскоро, в несколько недель написанные книги возбуждают во мне известное предубеждение против автора. Порядочная женщина не производит ребенка на свет до истечения девятого месяца.

Шутливый тостик: — Была у шаха дочь. И любила она постуха. Шах, узнав об этом, заключил ее в башне. — К принцессе никого не пускали, лишь евнух носил еду. Однако через год у принцессы родился сын. — Так выпьем же за Карлсона, который живет на крыше.