National Technical Reports Library - NTRL

National Technical Reports Library

The National Technical Information Service acquires, indexes, abstracts, and archives the largest collection of U.S. government-sponsored technical reports in existence. The NTRL offers online, free and open access to these authenticated government technical reports. Technical reports and documents in its repository may be available online for free either from the issuing federal agency, the U.S. Government Publishing Office’s Federal Digital System website, or through search engines.




Details
Actions:
Download PDFDownload PDF
Download

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


DE2004823757

Publication Date 2004
Page Count 22
Abstract 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.
Keywords
  • Programming languages
  • Computer codes
  • Computer programs
  • Writing
  • Memory
  • Models
  • Input output devices
Source Agency
  • Technical Information Center Oak Ridge Tennessee
Corporate Authors California Univ., Berkeley.; Michigan Technological Univ., Houghton.; Department of Energy, Washington, DC.
Supplemental Notes Prepared in cooperation with Michigan Technological Univ., Houghton. Sponsored by Department of Energy, Washington, DC.
Document Type Technical Report
NTIS Issue Number 200504
Proposal for a UPC Memory Consistency Model, V1.0.
Proposal for a UPC Memory Consistency Model, V1.0.
DE2004823757

  • Programming languages
  • Computer codes
  • Computer programs
  • Writing
  • Memory
  • Models
  • Input output devices
  • Technical Information Center Oak Ridge Tennessee
Loading