TSOtool: a program for verifying memory systems using the memory consistency model

2004 ◽  
Author(s):  
S. Hangal ◽  
D. Vahia ◽  
C. Manovit ◽  
Juin-Yeu Joseph Lu ◽  
S. Narayanan
Keyword(s):  
Memory Systems ◽  
Memory Consistency ◽  
Consistency Model ◽  
Memory Consistency Model

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

2004 ◽  
Author(s):  
Katherine Yelick ◽  
Dan Bonachea ◽  
Charles Wallace
Keyword(s):  
Memory Consistency ◽  
Consistency Model ◽  
Memory Consistency Model

Toward a Better Defined SYCL Memory Consistency Model

2021 ◽  
Author(s):  
Ben Ashbaugh ◽  
James C Brodman ◽  
Michael Kinsner ◽  
Gregory Lueck ◽  
John Pennycook ◽  
...  
Keyword(s):  
Memory Consistency ◽  
Consistency Model ◽  
Memory Consistency Model

Weak atomicity for the x86 memory consistency model

2012 ◽  
Vol 72 (10) ◽  
pp. 1306-1317
Author(s):  
Amitabha Roy ◽  
Steven Hand ◽  
Tim Harris
Keyword(s):  
Memory Consistency ◽  
Consistency Model ◽  
Memory Consistency Model
Sign in / Sign up

Export Citation Format

Share Document