Matches in SemOpenAlex for { <https://semopenalex.org/work/W2950898825> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W2950898825 abstract "Partitioned global address space (PGAS) is a parallel programming model for the development of applications on clusters. It provides a global address space partitioned among the cluster nodes, and is supported in programming languages like C, C++, and Fortran by means of APIs. In this paper we provide a formal model for the semantics of single instruction, multiple data programs using PGAS APIs. Our model reflects the main features of popular real-world APIs such as SHMEM, ARMCI, GASNet, GPI, and GASPI. A key feature of PGAS is the support for one-sided communication: a node may directly read and write the memory located at a remote node, without explicit synchronization with the processes running on the remote side. One-sided communication increases performance by decoupling process synchronization from data transfer, but requires the programmer to reason about appropriate synchronizations between reads and writes. As a second contribution, we propose and investigate robustness, a criterion for correct synchronization of PGAS programs. Robustness corresponds to acyclicity of a suitable happens-before relation defined on PGAS computations. The requirement is finer than the classical data race freedom and rules out most false error reports. Our main result is an algorithm for checking robustness of PGAS programs. The algorithm makes use of two insights. Using combinatorial arguments we first show that, if a PGAS program is not robust, then there are computations in a certain normal form that violate happens-before acyclicity. Intuitively, normal-form computations delay remote accesses in an ordered way. We then devise an algorithm that checks for cyclic normal-form computations. Essentially, the algorithm is an emptiness check for a novel automaton model that accepts normal-form computations in streaming fashion. Altogether, we prove the robustness problem is PSpace-complete." @default.
- W2950898825 created "2019-06-27" @default.
- W2950898825 creator A5048545843 @default.
- W2950898825 creator A5051341243 @default.
- W2950898825 creator A5081010207 @default.
- W2950898825 creator A5085643838 @default.
- W2950898825 date "2013-07-24" @default.
- W2950898825 modified "2023-09-23" @default.
- W2950898825 title "A Theory of Partitioned Global Address Spaces" @default.
- W2950898825 cites W149053240 @default.
- W2950898825 cites W1861151562 @default.
- W2950898825 cites W2012313745 @default.
- W2950898825 hasPublicationYear "2013" @default.
- W2950898825 type Work @default.
- W2950898825 sameAs 2950898825 @default.
- W2950898825 citedByCount "0" @default.
- W2950898825 crossrefType "posted-content" @default.
- W2950898825 hasAuthorship W2950898825A5048545843 @default.
- W2950898825 hasAuthorship W2950898825A5051341243 @default.
- W2950898825 hasAuthorship W2950898825A5081010207 @default.
- W2950898825 hasAuthorship W2950898825A5085643838 @default.
- W2950898825 hasConcept C104317684 @default.
- W2950898825 hasConcept C173608175 @default.
- W2950898825 hasConcept C185592680 @default.
- W2950898825 hasConcept C199360897 @default.
- W2950898825 hasConcept C2778514511 @default.
- W2950898825 hasConcept C34165917 @default.
- W2950898825 hasConcept C41008148 @default.
- W2950898825 hasConcept C45374587 @default.
- W2950898825 hasConcept C55493867 @default.
- W2950898825 hasConcept C60832428 @default.
- W2950898825 hasConcept C63479239 @default.
- W2950898825 hasConcept C80444323 @default.
- W2950898825 hasConceptScore W2950898825C104317684 @default.
- W2950898825 hasConceptScore W2950898825C173608175 @default.
- W2950898825 hasConceptScore W2950898825C185592680 @default.
- W2950898825 hasConceptScore W2950898825C199360897 @default.
- W2950898825 hasConceptScore W2950898825C2778514511 @default.
- W2950898825 hasConceptScore W2950898825C34165917 @default.
- W2950898825 hasConceptScore W2950898825C41008148 @default.
- W2950898825 hasConceptScore W2950898825C45374587 @default.
- W2950898825 hasConceptScore W2950898825C55493867 @default.
- W2950898825 hasConceptScore W2950898825C60832428 @default.
- W2950898825 hasConceptScore W2950898825C63479239 @default.
- W2950898825 hasConceptScore W2950898825C80444323 @default.
- W2950898825 hasOpenAccess W2950898825 @default.
- W2950898825 hasRelatedWork W149053240 @default.
- W2950898825 hasRelatedWork W1509811574 @default.
- W2950898825 hasRelatedWork W1522627499 @default.
- W2950898825 hasRelatedWork W1553807842 @default.
- W2950898825 hasRelatedWork W1580318981 @default.
- W2950898825 hasRelatedWork W1797019440 @default.
- W2950898825 hasRelatedWork W1843585894 @default.
- W2950898825 hasRelatedWork W1986338560 @default.
- W2950898825 hasRelatedWork W2011212908 @default.
- W2950898825 hasRelatedWork W2035256749 @default.
- W2950898825 hasRelatedWork W2059600276 @default.
- W2950898825 hasRelatedWork W2090532555 @default.
- W2950898825 hasRelatedWork W2186458008 @default.
- W2950898825 hasRelatedWork W2329870440 @default.
- W2950898825 hasRelatedWork W2336425870 @default.
- W2950898825 hasRelatedWork W2407300761 @default.
- W2950898825 hasRelatedWork W2520686861 @default.
- W2950898825 hasRelatedWork W2950267175 @default.
- W2950898825 hasRelatedWork W3092639686 @default.
- W2950898825 hasRelatedWork W427043642 @default.
- W2950898825 isParatext "false" @default.
- W2950898825 isRetracted "false" @default.
- W2950898825 magId "2950898825" @default.
- W2950898825 workType "article" @default.