верификация многопоточных алгоритмов

From

Maxim Volkonovsky (2:5020/982.299)

To

All

Date

2002-06-19T17:59:23Z

Area

RU.ALGORITHMS

AREA:RU.DESIGN
 * From AREA: RU.DESIGN

Hello All!

Какие в природе существуют средства создания и верификации многопоточных алгоритмов? Хотелось бы, чтобы оные средства уже имели внутри свойства основных механизмов синхронизации (для Win32/pthread/IPC), позволяли описывать новые, и имели какую-никакую наглядность...

Поскольку на предыдущее письмо никто не ответил :( немного конкретизирую вопрос: интересуют меня программы, помогающие создавать (или проверять созданные) алгоритмы на отсутствие таких явлений, как deadlocks, data race conditions etc.


              Best wishes ! Max (aka MaxWolf)

--- GoldED+/W32 1.1.4.7
 * Origin: MaxWolf's mobile station (2:5020/982.299)