projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ebb0b5) | patch
threads: add per-thread "return" values for 'model-checking/user context' switch
authorBrian Norris <banorris@uci.edu>
Tue, 3 Jul 2012 23:31:45 +0000 (16:31 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 7 Jul 2012 00:28:03 +0000 (17:28 -0700)
commit85c090982c2a8dd6e236aa8f3d0a79f974ab9603
tree279854180cfef83989e17e5062b2c2fc6e498d95tree | snapshot
parent2ebb0b5a772c0bc5366c41c4980f3fd06f8081aecommit | diff
threads: add per-thread "return" values for 'model-checking/user context' switch

The model-checker needs to return a value to the user context when performing
atomic loads, for instance. I will be implementing this by caching the return
value on a per-thread basis. This is because an atomic_load() might result in a
context switch before actually returning the value.

These functions are not yet used.
threads.cc diff | blob | history
threads.h diff | blob | history
This is the public repository for the CDSSpec specification compiler.