Modeling and analysis of remote memory access programming

Andrei Marian Dan

[0]

Patrick Lam

[0]

Torsten Hoefler

[0]

Martin T. Vechev

[0]

OOPSLA, pp. 129-144, 2016.

Cited by: 5|Views144

Keywords:

sequentially consistentRemote Direct Memory Accesslarge scaleinterconnection networkmemory modelMore(11+)

Weibo:

We introduced the first core calculus, coreRMA, and its axiomatic semantics, to cleanly capture characteristics of Remote Memory Access programming

Abstract:

Recent advances in networking hardware have led to a new generation of Remote Memory Access (RMA) networks in which processors from different machines can communicate directly, bypassing the operating system and allowing higher performance. Researchers and practitioners have proposed libraries and programming models for RMA to enable the ...More

Code:

Data:

Full Text

View via Publisher