ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Maxim Volkonovsky                    2:5020/982.299 19 Jun 2002  17:59:23
 To : All
 Subject : верификация многопоточных алгоритмов
 -------------------------------------------------------------------------------- 
 

 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)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор