Pointer Safety and Data Races in UPC

Collard, Jean-Francois ; Karp, Alan H. ; Schreiber, Rob

HP Development Company

关键词: UPC;    pointer safety;    data race;   

RP-ID  :  HPL-2003-179R1

学科分类：计算机科学（综合）

美国|英语

来源: HP Labs

【 摘 要 】

The Unified Parallel C (UPC) language is a parallel extension of C that features both private and shared data that can both be accessed through pointers. Arithmetic on pointers to shared data is legal but as error-prone as standard C pointer arithmetic is. A consequence is that erroneous writes to shared data can occur, resulting in inadvertent data races even if the appropriate synchronizations coordinate the legitimate writes and reads. This paper makes several contributions to protect shared data from races in UPC programs, add safety checks on pointers-to-shared, and reduce the run-time overhead of these checks. Notes: 24 Pages