> проблемы написания блокирующего (а не транзакционного) мультитрединга было бы правильно загнать в какую-то математическую теорию.
загнать-то можно (типа CPU + память = такая большая машина состояний, далее везде), толку только с таких теорий. практикующие теоретики (хихи) предпочитают атаковать проблему формализации со стороны упрощения моделей, а не совершенствования теорий — видимо, у них есть на это хорошие причины. :)
> Вы, кстати, не знакомы вот с этой работой?
ой, нет. я на самом деле в математике очень слаб...
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2007-01-24 09:02 pm (UTC)загнать-то можно (типа CPU + память = такая большая машина состояний, далее везде), толку только с таких теорий. практикующие теоретики (хихи) предпочитают атаковать проблему формализации со стороны упрощения моделей, а не совершенствования теорий — видимо, у них есть на это хорошие причины. :)
> Вы, кстати, не знакомы вот с этой работой?
ой, нет. я на самом деле в математике очень слаб...