Coherent parallel programming in C∥

This paper presents the coherent parallel programming concept using a new parallel language called C|| (pronounced C Parallel). The C|| language is based on the standard C language with a small set of extended constructs for parallelism and process interaction. At the core of C|| is a structured construct called coherent region, which facilitates the development of coherent programs, i.e., parallel programs that are structured, determinate, terminative, and compositional. We present the basic features of C|| and show that coherent region is a versatile construct