论文部分内容阅读
在计算机科学中多年的研究与实践后，我们发现依据稳定性的传统定义是很难使得计算机系统获得稳定性的，因为单一的一个计算机系统显然是不可能对在其中运行的所有进程都保持稳定。我们能够预期的只能是系统对其中的某一些进程是稳定的，所以这个时候就需要找到一个方法来确定哪些进程在这个系统中运行是不会破坏系统稳定性的，是适合这个系统的。基于这些观察，在这篇文章中，我们提出了一个基于进程的系统稳定性定义，并且设计了一个基于知识的评估算法，该算法能够被用来评估进程对系统环境稳定性的影响。这个算法是在一阶谓词形式化系统中建立的，这个形式化系统包括了计算机系统的各种属性，关于该系统的知识，以及该系统中所有可能的动作。最后，本文证明了该评估算法的评估结论与我们的稳定性定义的一致性。