“SEQ OF PAR” STRUCTURED PARALLEL PROGRAMMING
Yuan We · Chinese Journal of Computers · 1997
This paper proposes a structured parallel programming paradigm, based on the principles of communication closed layer(CCL), to support general parallel programming across different platforms. The proof of normal form of causal order provides theoretical foundation for parallel programming in “SEQ OF PAR” style. The nice properties of CCL make it possible to design, optimize and verify parallel programs through algebraic transformation approach. Thus, the framework provides a natural integration of task and data parallelism and maintains portability and efficiency.