Здравствуйте, Guard, Вы писали:

G>Здравствуйте, dr.Chaos, Вы писали:

DC>>Вообще, теории уже довольно много лет. Просто она не применялась на ПК поскольку реального параллелизма не было, только эмуляция.

G>Одно дело теория, другое — имплементация.

Мне в институте на 4м курсе читали сети Петри и т.п. формальные методы распараллеливания. Имплементации наверняка есть надо только поискать, но не под PC, а под более серьезные машины. Мы по ходу курса изучали общую схему какой-то военной системы слежения(года эдак 70-80). Она позволяла вести до 170 целей одновременно. Так вот там эти методы и применялись.

ЗЫ Название не помню давно это было, если дома найду конспект приведу название.