projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa5eb7b) | patch
model: fix bugs in fence-acquire synchronization
authorBrian Norris <banorris@uci.edu>
Wed, 5 Dec 2012 00:40:32 +0000 (16:40 -0800)
committerBrian Norris <banorris@uci.edu>
Wed, 5 Dec 2012 00:40:32 +0000 (16:40 -0800)
commitff05fa2d8214200766cf442b47e3a7e1356341f8
treec6d8d46403d6d28a70c07f75918b960882806138tree | snapshot
parentaa5eb7b5cb804a25b547fc0ae733498cbb167276commit | diff
model: fix bugs in fence-acquire synchronization

(1) In the fence-acquire search, we can't stop searching for prior loads
    when we reach the current action; we must continue to search until
    we find a *different* fence-acquire (or the beginning of the thread)

(2) The load action does not synchronize in fence-acquire
    synchronization: the fence should synchronize. This was just a typo
    (act vs. curr).
model.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.