projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: dd0190c) | patch
model: add per-object action lists (obj_map)
authorBrian Norris <banorris@uci.edu>
Thu, 12 Jul 2012 22:33:14 +0000 (15:33 -0700)
committerBrian Norris <banorris@uci.edu>
Thu, 12 Jul 2012 22:36:49 +0000 (15:36 -0700)
commit471e92c4bc5de8629d044a61eea5e1ff0670daad
treec4206362a924099c80d21f750d151b9e95e3f487tree | snapshot
parentdd0190cef49ef760f8d86a6e92dd6eeb07197854commit | diff
model: add per-object action lists (obj_map)

This object list will map objects (i.e., memory locations) to traces of all
actions performed on the respective objects. This will be used for some seq_cst
and backtracking-conflict computations to reduce the space we have to search.
model.cc diff | blob | history
model.h diff | blob | history
This is the public repository for the CDSSpec specification compiler.