General Terms Design, Languages.

We present the program execution model developed for the Fresh Breeze Project, which has the goal of developing a multi-core chip architecture that supports a better programming model for parallel computing. The model combines the spawn/sync ideas of Cilk with a restricted memory model based on chunks of memory that can be written only while not shared. The result is a multi-thread program execution model in which determinate behavior may be guaranteed while general forms of parallel computation are supported