用优先图辅助并发程序设计

ASSISTING CONCURRENT PROGRAM DESIGN BY PRECEDENCE GRAPH

提出用优先图PG(Precedence Graph)辅助并发程序设计的思想,阐述了将程序描绘成优先图的步骤,以及将优先图转换为并发程序的方法。由此得出了利用优先图辅助并发程序设计使得并发程序的设计更加直观、快捷和准确,通过优先图的化简可以降低并发程序复杂性的结论。

An idea to assist concurrent program design by Precedence Graph （PG） was put forward. The steps making a precedence graph from a program was stated, and the method of changing a PG to a concurrent program was stated too. Two conclusions were drawn ： it would make the design of concurrent program more intuitive, rapid and precise with concurrent program design assisted by PG, and the complexity of concurrent program can be cut down by simplifying PG.