projects / cdsspec-compiler.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b808484) | patch
model: re-check release sequences lazily
authorBrian Norris <banorris@uci.edu>
Fri, 24 Aug 2012 00:54:39 +0000 (17:54 -0700)
committerBrian Norris <banorris@uci.edu>
Sat, 25 Aug 2012 01:58:24 +0000 (18:58 -0700)
commit802e014ba228bb6bc689ff1d31e8423097be9826
tree32eaf2e7516cf4720e9b958c7aba34e96c6cdadatree | snapshot
parentb8084847aa9aeec879968c6879d7e6a20c08ea1fcommit | diff
model: re-check release sequences lazily

For now, I write this "lazy check" as follows:

Whenever one of the following occurs:
* a Promise is fulfilled
* a mo_graph edge is added

Then I recheck all the actions (for the relevant object location) that are
waiting in the lazy release head queue.
model.cc diff | blob | history
This is the public repository for the CDSSpec specification compiler.