A proposal for a UPC memory consistency model, v1.0

Yelick, Katherine; Bonachea, Dan; Wallace, Charles

doi:10.2172/823757

Title: A proposal for a UPC memory consistency model, v1.0

Full Record
Other Related Research

Abstract

The memory consistency model in a language defines the order in which the results of write operations maybe 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. The memory consistency model is defined in terms of the read and write operations issued by each thread in naive translation of the code, i.e., without any code transformations by the compiler, with each thread issuing operations as defined by the abstract machine defined in ISO C 5.1.2.3. A UPC compiler or run time system may perform various code transformations to improve performance, so long as they are not visible to the programmer - i.e., provided the set of externally-visible behaviors (the input/output dynamics and volatile behavior defined in ISO C 5.1.2.3) from any execution of the transformed program are identical to those of the original program executing on the abstract machine and adhering to the consistency model definedmore » in this document.« less

Authors:: Yelick, Katherine; Bonachea, Dan; Wallace, Charles

Publication Date:: 2004-05-05

Research Org.:: Lawrence Berkeley National Lab. (LBNL), Berkeley, CA (United States)

Sponsoring Org.:: USDOE Director. Office of Science. Computational and Environmental Research; Hewlett-Packard Company (US)

OSTI Identifier:: 823757

Report Number(s):: LBNL-54983
R&D Project: K52004; TRN: US200415%%566

DOE Contract Number:: AC03-76SF00098

Resource Type:: Technical Report

Resource Relation:: Other Information: PBD: 5 May 2004

Country of Publication:: United States

Language:: English

Subject:: 99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; PROGRAMMING; PERFORMANCE; COMPUTER CODES; UPC MEMORY MODEL

Citation Formats


                    Yelick, Katherine, Bonachea, Dan, and Wallace, Charles. A proposal for a UPC memory consistency model, v1.0.  United States: N. p., 2004. 
        Web.  doi:10.2172/823757.

Copy to clipboard


                    Yelick, Katherine, Bonachea, Dan, & Wallace, Charles. A proposal for a UPC memory consistency model, v1.0.  United States.  https://doi.org/10.2172/823757

Copy to clipboard


                    Yelick, Katherine, Bonachea, Dan, and Wallace, Charles. 2004.  
        "A proposal for a UPC memory consistency model, v1.0".  United States.  https://doi.org/10.2172/823757.  https://www.osti.gov/servlets/purl/823757.

Copy to clipboard


                    
@article{osti_823757,

  title        = {A proposal for a UPC memory consistency model, v1.0},

  author       = {Yelick, Katherine and Bonachea, Dan and Wallace, Charles},

  abstractNote = {The memory consistency model in a language defines the order in which the results of write operations maybe 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. The memory consistency model is defined in terms of the read and write operations issued by each thread in naive translation of the code, i.e., without any code transformations by the compiler, with each thread issuing operations as defined by the abstract machine defined in ISO C 5.1.2.3. A UPC compiler or run time system may perform various code transformations to improve performance, so long as they are not visible to the programmer - i.e., provided the set of externally-visible behaviors (the input/output dynamics and volatile behavior defined in ISO C 5.1.2.3) from any execution of the transformed program are identical to those of the original program executing on the abstract machine and adhering to the consistency model defined in this document.},

  doi          = {10.2172/823757},

  url          = {https://www.osti.gov/biblio/823757},
  journal      = {},
number       = ,

  volume       = ,

  place        = {United States},

  year         = {2004},

  month        = {5}

}

Copy to clipboard

Technical Report:

View Technical Report (0.20 MB)

https://doi.org/10.2172/823757

Save / Share:

Export Metadata

Save to My Library

Similar records in OSTI.GOV collections:

UPC++ Programmer’s Guide (v1.0 2017.9)

Technical Report Bachan, J.; Baden, S.; Bonachea, D.; ...

UPC++ is a C++11 library that provides Asynchronous Partitioned Global Address Space (APGAS) programming. It is designed for writing parallel programs that run efficiently and scale well on distributed-memory parallel computers. The APGAS model is single program, multiple-data (SPMD), with each separate thread of execution (referred to as a rank, a term borrowed from MPI) having access to local memory as it would in C++. However, APGAS also provides access to a global address space, which is allocated in shared segments that are distributed over the ranks. UPC++ provides numerous methods for accessing and using global memory. In UPC++, allmore »« less
https://doi.org/10.2172/1398522

Full Text Available
UPC++ Programmer’s Guide, v1.0-2018.3.0

Technical Report Bachan, J.; Baden, S.; Bonachea, Dan; ...

UPC++ is a C++11 library that provides Partitioned Global Address Space (PGAS) programming. It is designed for writing parallel programs that run efficiently and scale well on distributed-memory parallel computers. The PGAS model is single program, multiple-data (SPMD), with each separate thread of execution (referred to as a rank, a term borrowed from MPI) having access to local memory as it would in C++. However, PGAS also provides access to a global address space, which is allocated in shared segments that are distributed over the ranks. UPC++ provides numerous methods for accessing and using global memory. In UPC++, all operationsmore »« less
https://doi.org/10.2172/1430693

Full Text Available
Runtime Detection of C-Style Errors in UPC Code

Conference Pirkelbauer, P; Liao, C; Panas, T; ...

Unified Parallel C (UPC) extends the C programming language (ISO C 99) with explicit parallel programming support for the partitioned global address space (PGAS), which provides a global memory space with localized partitions to each thread. Like its ancestor C, UPC is a low-level language that emphasizes code efficiency over safety. The absence of dynamic (and static) safety checks allows programmer oversights and software flaws that can be hard to spot. In this paper, we present an extension of a dynamic analysis tool, ROSE-Code Instrumentation and Runtime Monitor (ROSECIRM), for UPC to help programmers find C-style errors involving the globalmore »« less
Full Text Available
UPC++ v1.0 Specification, Revision 2020.3.0

Technical Report Bonachea, Dan; Bachan, John; Kamil, Amir

UPC++ is a C++11 library providing classes and functions that support Partitioned Global Address Space (PGAS) programming. The key communication facilities in UPC++ are one-sided Remote Memory Access (RMA) and Remote Procedure Call (RPC). All communication operations are syntactically explicit and default to non-blocking; asynchrony is managed through the use of futures, promises and continuation callbacks, enabling the programmer to construct a graph of operations to execute asynchronously as high-latency dependencies are satisfied. A global pointer abstraction provides system-wide addressability of shared memory, including host and accelerator memories. The parallelism model is primarily process-based, but the interface is thread-safe andmore »« less
https://doi.org/10.25344/S4T01S

Full Text Available
UPC++ v1.0 Specification, Revision 2020.10.0

Technical Report Bonachea, Dan; Kamil, Amir

UPC++ is a C++11 library providing classes and functions that support Partitioned Global Address Space (PGAS) programming. The key communication facilities in UPC++ are one-sided Remote Memory Access (RMA) and Remote Procedure Call (RPC). All communication operations are syntactically explicit and default to non-blocking; asynchrony is managed through the use of futures, promises and continuation callbacks, enabling the programmer to construct a graph of operations to execute asynchronously as high-latency dependencies are satisfied. A global pointer abstraction provides system-wide addressability of shared memory, including host and accelerator memories. The parallelism model is primarily process-based, but the interface is thread-safe andmore »« less
https://doi.org/10.2172/1685057

Full Text Available

Similar Records