Self stabilization in spite of distributed control
Self stabilization in spite of distributed control
复制标题
尽管采用分布式控制仍具有自稳定性
DOI：
--
复制
发表时间：
1974
期刊：
影响因子：
--
通讯作者：
E. Dijkstra
中科院分区：
文献类型：
--
作者：
E. Dijkstra
一个系统的方法来寻找算法，确保一些所需形式的合作之间的一组松散耦合的顺序进程可以在一般条款描述如下：关系“系统是在一个合法的状态”保持不变。因此，可能导致违反该不变关系的每个预期的单独过程步骤必须在其不会这样做的测试之前进行，并且取决于该测试的结果，关键过程步骤被导致发生，或者它-以及它是其中一部分的过程-被延迟，直到达到更有利的系统状态。通过适当地选择合法状态的集合，人们确实可以引入这样的规则，即只有当关键过程步骤的执行会导致违反相应的不变关系时，它才会被延迟。
A systematic way for finding the algorithm ensuring some desired form of co-operation between a set of loosely coupled sequential processes can in general terms be described as follows: the relation “the system is in a legitimate state” is kept invariant. As a consequence, each intended individual process step that could possibly cause violation of that invariant relation has to be preceded by a test that it won’t do so, and depending on the outcome of that test the critical process step is either caused to take place or it —and with it the process of which it is a part— is delayed until a more favourable system state has been reached. With a suitable choice of the set of legitimate states one can indeed introduce the rule that a critical process step will be delayed only as long as its execution would lead to violation of the corresponding invariant relation.