Proposal for a UPC Memory Consistency Model, V1.0.

Technical Information Center Oak Ridge Tennessee

关键词: Programming languages;    Computer codes;    Computer programs;    Writing;    Memory;   

RP-ID  :  DE2004823757

学科分类：工程和技术（综合）

美国|英语

来源: National Technical Reports Library

【 摘 要 】

The memory consistency model in a language defines the order in which the results of write operations may be observed through read operations. The behavior of a UPC program may depend on the timing of accesses to shared variables, so a program defines a set of possible executions, rather than a single execution. The memory consistency model constrains the set of possible executions for a given program; the user may then rely on properties that are true of all of those executions.