issues
search
deadlockempire
/
deadlockempire.github.io
The Deadlock Empire: Slay dragons, learn concurrency!
https://deadlockempire.github.io
GNU General Public License v2.0
977
stars
45
forks
source link
Memory models and instruction reordering
#9
Open
agentydragon
opened
8 years ago
agentydragon
commented
8 years ago
Level can specify assumed memory model
Instruction reordering within language constraints
Reordering undo
Marking reordered (minor/major) instructions
Per-thread cache state + UI
Challenges