Настройки

Укажите год
-

Небесная энциклопедия

Космические корабли и станции, автоматические КА и методы их проектирования, бортовые комплексы управления, системы и средства жизнеобеспечения, особенности технологии производства ракетно-космических систем

Подробнее
-

Мониторинг СМИ

Мониторинг СМИ и социальных сетей. Сканирование интернета, новостных сайтов, специализированных контентных площадок на базе мессенджеров. Гибкие настройки фильтров и первоначальных источников.

Подробнее

Форма поиска

Поддерживает ввод нескольких поисковых фраз (по одной на строку). При поиске обеспечивает поддержку морфологии русского и английского языка
Ведите корректный номера.
Ведите корректный номера.
Ведите корректный номера.
Ведите корректный номера.
Укажите год
Укажите год
Применить Всего найдено 2. Отображено 2.
25-05-2011 дата публикации

Code static analysis based multithread deadlock detection method and system

Номер: CN0102073588A
Автор: YUNZHAN GONG, CHAOHONG YANG, YAWEN WANG, GELE BAI, DAHAI JIN, QING XIAO, XINHONG YAO, GONG YUNZHAN, YANG CHAOHONG, WANG YAWEN, BAI GELE, JIN DAHAI, XIAO QING, YAO XINHONG
Принадлежит:

The invention provides a code static analysis based multithread deadlock detection method and system. The method comprises the following steps: analyzing morphology, grammar and semanteme of a software source program to be detected to generate an abstract syntax tree and a control flow graph; generating an orientation analysis graph of the program by traversing the abstract syntax tree, analyzing the thread in the program to generate a thread class concurrence set; performing reachability analysis on the program by traversing the control flow graph, generating and analyzing a thread concurrence set, generating and analyzing a possession request feature set and a lock graph, detecting a potential deadlock to find a door lock set of a lock object, deleting the deadlock in which the lock objects with different threads have the same door lock, and updating the potential deadlock set; deleting impossible deadlock conditions by concurrence and escape analysis to obtain a final deadlock set. By ...

Подробнее
Номер записи: 1
25-05-2011 дата публикации

Code static analysis-based data race detecting method and system thereof

Номер: CN0102073589A
Автор: JUNFEI HUANG, YUNZHAN GONG, CHAOHONG YANG, DAHAI JIN, XINHONG YAO, YAWEN WANG, QING XIAO, GELE BAI, HUANG JUNFEI, GONG YUNZHAN, YANG CHAOHONG, JIN DAHAI, YAO XINHONG, WANG YAWEN, XIAO QING, BAI GELE
Принадлежит:

The invention discloses a code static analysis-based data race detecting method and a system of the detecting method. The method comprises the following steps of: reading software to be detected, statically analyzing a source program of the software to be detected, and generating an abstract syntax tree, a control flow graph and a global function call graph of the software to be detected; on thatbasis, computing alias information in each function, outlet alias information among functions, lock assembly information, an access link of an access escapable variable quantity in each function and a thread building relational graph; computing a plurality of initialized sentence pair sets of a plurality of access nodes in every two threads; and gradually eliminating the sets according to the alias information, the lock assembly information and a concurrency relation to obtain a sentence pair which can finally have the data race. The detecting method and the detecting system can effectively detect ...

Подробнее
Номер записи: 2