3.5.1 RMA函数语义
OpenSHMEM编程模型为提高可扩展性将数据传输和同步解藕,解藕的语义比较容易理解。调用RMA函数(put或get)的PE被称为传输的“主动端”,另一个PE(很可能不知道该传输)被称为“被动端”。OpenSHMEM仅有的隐式一致性确保put和get操作在主动端发生,被动端如果需要的话也可以通过给程序增加同步来执行一致性。
主动端完成准则:当单个RMA调用(put或get)在主动端返回时,程序可以认为主动端的内存状态与该操作的完成一致。
被动端完成准则:当单个RMA调用(put或get)在主动端返回时,程序不应假
设被动端的操作已完成或没有明确的同步就认为这些操作会以任何特定顺序完成。
警告:注意对相同的数据当get紧接着put调用时,两个准则都要被考虑到。因为不能认为被动端的put在get之前已经完成,需要执行同步来确保put和get的顺序以保证正确性,若没有同步,get可能在put完成之前获取远程数据。关于同步本书会在接下来的章节具体介绍,这里将仅简单地用同步屏障。