Статическое обнаружение гонок в коде, содержащем ветвления и циклы
Description
Поиск состояний гонки для современных программ со сложной архитектурой – актуальная задача. В статье предложена и обоснована модель исполнения потоков, позволяющая искать состояния гонки в статическом режиме. Она ориентирована на алгоритмы с искусственными средствами синхронизации, а также на многопоточные программы с атомарными операциями. В отличие от известных моделей многопоточного исполнения, предложенная модель описывает исполнение на более низком уровне – на уровне исполнения процессором инструкций.
Technical Details
| age: | 0 |
| author: | Н. В. Заборовский |
| genres_list: | 5272,5662,6351,25215,110717,111888,111891,111894 |
| litres_isbn: | 978-5-457-38217-6 |
| publisher: | Синергия |
| series: | Прикладная информатика. Научные статьи |
| Type: | book |
| year: | 2011 |
| Форматы: |
Price history chart & currency exchange rate
Customers also viewed
20%
~ 89.00 руб.
Математические манипуляторы деревянные Счетные палочки интеллект Монтессори математика деревянный цвет вычисление Образование игрушка
aliexpress.com
18%
~ 100.00 руб.
Сборный пазл, строительные блоки, экономить деньги, шар, Интеллектуальный лабиринт, наука и образование, строительные блоки, детские игрушк...
aliexpress.com
17%
~ 153.00 руб.
Сборный пазл, строительные блоки, экономить деньги, шар, Интеллектуальный лабиринт, наука и образование, строительные блоки, детские игрушк...
aliexpress.com
15%
~ 190.00 руб.
3D игрушка Mirascope оптическая голограмма изображение Наука Образование волшебная игрушка подарок для детей
aliexpress.com
13%
~ 75.50 руб.
Детская математика, линейка разложения, Монтессори, раннее образование, детский сад, математические операции, цифровое
aliexpress.com
11%
~ 161.00 руб.
Винтажное искусство, растения, холст, живопись, наука и образование, настенный плакат, книга, цветы, гостиная, Декор для дома, фреска
aliexpress.com
10%
~ 64.50 руб.
Популярная наука декоративная живопись раннее образование-Собака Кошка-Атлас художественная живопись ретро постер Крафтовая бумага
aliexpress.com
8%
~ 86.50 руб.
Игрушка-динозавр, реалистичное ремесло, пластиковые DIY граффити, модель динозавра, наука и образование, родитель-ребенок, DIY живопись, игрушк...
aliexpress.com
5%
~ 231.00 руб.
Математика, наука физика многоразовая маска для лица для взрослых лаборатории Технология анти пыли Защитная крышка респиратор рот муфельн...
aliexpress.com
2%
~ 194.00 руб.
100 шт./компл. математические цветные Счетные палочки стержни арифметическое Обучение Образование детская игрушка Математика Монтессори уч...
aliexpress.com
1%
~ 84.50 руб.
Пазл «сделай сам» для детей, интеллект, 3D пазл, наука и образование, городской пейзаж, игрушки, подарок для мальчиков и девочек
aliexpress.com
1%
~ 170.00 руб.
51 шт. Магнитный круговой фракции карты игрушки Образование Математика номер обучения
aliexpress.com
1%
187.06 руб.
Новинка Археологические раскопки Модель Копания Динозавров Череп Игрушка Дети Наука Образование Развивают интеллект Оперативные способности Подарок
dhgate.com
1%
~ 231.00 руб.
Pi день сердцебиение дышащая маска для лица Для мужчин Для женщин Для мужчин математика, наука Пылезащитная крышка респиратор Рот-муфельная ...
aliexpress.com
1%
~ 89.00 руб.
Сборный пазл, строительные блоки, экономить деньги, шар, Интеллектуальный лабиринт, наука и образование, строительные блоки, детские игрушк...
aliexpress.com
-2%
1%
~ 147.00 руб.
F3KE учебный калькулятор, Детская математика, раннее образование, рассказательная машина для студентов
aliexpress.com
1%
~ 233.00 руб.
Модная шапка с рисунком Pi Number, вязаные шапки для мужчин и женщин, в стиле хип-хоп, унисекс, для взрослых, Geek, математика, наука, зимние теплые шапки, шапка
aliexpress.com
1%
~ 119.00 руб.
Солнечная мини-модель спортивного автомобиля, модель автомобиля, головоломка наука и образование M3F3
aliexpress.com1%
~ 153.00 руб.
Сборный пазл, строительные блоки, экономить деньги, шар, Интеллектуальный лабиринт, наука и образование, строительные блоки, детские игрушк...
aliexpress.com
-1%
1%
~ 197.00 руб.
Hawks обезьянка лицо наука и образование познавательная скульптура эгл скульптура ремесла Имитация животных модель
aliexpress.com
1%
~ 118.00 руб.
Heze Sanhe наука и образование, 20 см провод, физические и электрические расходные материалы для учеников средней школы, медный провод U-образной формы
aliexpress.com
1%
~ 97.50 руб.
Математические манипуляторы деревянные Счетные палочки, интеллект, Монтессори, математика, деревянные, расчеты цветов, образование, просве...
aliexpress.com
-1%
1%
~ 175.00 руб.
Модель литая детского истребителя 20*18 см, инструмент для сборки, боевой самолет, военная наука и образование, игрушки для детей
aliexpress.com
1%
~ 71.50 руб.
Детские Образовательные научные и технологические изобретения липа наука и образование механические головоломки игрушки
aliexpress.com
1%
132.53 руб.
Выкопать яйца динозавров динозавр раскопки наборы для детей Дино копать наборы T-Rex детская Популярная наука образование игрушки Tyrannosaurus Rex
dhgate.com
1%
~ 86.50 руб.
Яркая модель птицы в режиме полета фигурка орла животное для коллекции бутиков наука образование игрушка для студентов класс
aliexpress.com
1%
~ 193.00 руб.
ODILO 54T деревянный тетрис головоломка строительный блок игрушка наука и образование куб детское развитие интеллектуальных игрушек
aliexpress.com
1%
~ 165.00 руб.
Новинка, носки с забавными высказываниями, красочные книги, наука, математика, буквы, чулочно-носочные изделия, подарок 37JB
aliexpress.com
1%
~ 88.50 руб.
Сборный пазл, строительные блоки, экономить деньги, шар, Интеллектуальный лабиринт, наука и образование, строительные блоки, детские игрушк...
aliexpress.com
-2%
1%
~ 15,750.00 руб.
Высокий Ароматический диффузор, ароматическая машина, фотоустройство
aliexpress.ru
1%
3,249.00 руб.
Фототюль JoyArty "Векторная мандала", 145x265см (2 полотна со шторной лентой + 50 крючков), Векторная мандала
goods.ru
-3%
1%
~ 77,730.00 руб.
Factory Price 2000W Ice Platinum 808nm Diode Laser Hair Removal Machine Permanent 755 808 1064 Painless 3 Waves Epilator
aliexpress.com
