An Algorithm Evaluating System Stability to Process

作者：Zhou Qing^*; Yu Fang; Wang Binqiang

来源：9th International Conference on Algorithms and Architectures for Parallel Processing, 2009-06-08 to 2009-06-11.

• system stability
• process
• algorithm
• first-order logic

The stability of computer systems(single computers or computer networks) to processes is studied in this paper. Unlike the notion of self-stabilization, which requires the involved computer systems are stable for all the processes possibly running on them, we believe that a computer system can only be stable for some of the processes. So what we need for a stable computer system is that it has a capability to determine which processes it is stable to and which it is not. With this viewpoint, the notion of stability Of Computer systems to processes is proposed and all the related items are precisely defined and discussed in details. As an application of this notion, an effective algorithm based on the knowledge of the involved computer system is proposed to determine its stability to a particular process. It is represented in a comprehensive way to make it clear that it can be implemented on computers by means of logic programming. A simple example illustrating the whole workings of the algorithm is given last.

• 出版日期2009
• 单位中山大学