Автоматический "натягиватель" ОСей. Так кто-нибудь делает? Написали мы Оську. Особо гениальную. Надо тестить.
Ось - это многомерное пространстов сервисов и процессов. Оно не бесконечно и не ортогонально (я бы сказал, скорее "диагонально" в терминологии матриц) - многие комбинации "забаненны".
Пишем кодогенератор. Случайное число процессов, в каждом процессе используем случаное число сервисов ОСи.
Во всех "ярких точках" кода расставлем логгеры - например, по такой технологии.
http://caxapa.ru/95118.html
Удобно это делать в синтетическом порту - на хост машине памяти много и API хороший. Для операции логгинга используем критическую секцию, просто в файл пишем ID яркой точки и время по датчику ОСи. Абсолютные времена пофиг, важна последовательность - в каком порядке проходили яркие точки.
Потом анализируем лог - типа что задали и что получили.
Некий язык (UML?), на котором мы описываем желаемое. потом он генерится в С, и на его же основе парсится лог файл. В лог файле мы проверяем противоречия - а вот правильно ли процессы получали управление? Правильно ли произошло данное событие (анализируем его связь с другими событиями) Полностью все пространство не проверить - это покруче числа вариантов шахмат.
Ну и типа многопроцессорный кластер (задача идеально параллелится) с независимыми генераторами случайных чиссел - монте карло.
Такое реально?
Evgeny_CD (26.07.2007 03:06, просмотров: 2850)
)
)
)