On a Method of Multiprogramming
On a Method of Multiprogramming
复制标题
一种多道程序设计方法
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Fred B. Schneider
中科院分区：
文献类型：
--
作者：
David Gries;Fred B. Schneider
在这里，作者提出了一种方法，正式发展的并行程序-或多程序，因为他们喜欢叫他们。他们用最少的形式齿轮来完成这一点，即用谓词演算和Owicki和Gries的成熟理论。他们表明，Owicki/Gries理论可以有效地投入工作的多程序的正式开发，无论这些算法是分布式的或没有。
Here, the authors propose a method for the formal development of parallel programs - or multiprograms as they prefer to call them. They accomplish this with a minimum of formal gear, i.e. with the predicate calculus and the well- established theory of Owicki and Gries. They show that the Owicki/Gries theory can be effectively put to work for the formal development of multiprograms, regardless of whether these algorithms are distributed or not.