Sound and Complete Reachability Analysis under PSO
Modern multiprocessor systems use weak (relaxed) memory models in order to execute memory sharing multi-threaded code in an efficient manner, but are much harder for programmers to reason about than systems using the sequential consistency memory model. The SB abstraction and its implementation in t...
| Main Author: | |
|---|---|
| Format: | Others |
| Language: | English |
| Published: |
Uppsala universitet, Institutionen för informationsteknologi
2013
|
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-213286 |