execution: refactor common CV propagation into its own function
authorBrian Norris <banorris@uci.edu>
Wed, 8 May 2013 17:05:44 +0000 (10:05 -0700)
committerBrian Norris <banorris@uci.edu>
Wed, 8 May 2013 17:09:37 +0000 (10:09 -0700)
commitdd1f275d3e8042282bad49cf85fddfc2a5735166
treebac3b908b5bce1239448f2f55d43582906449cb5
parent4a0000d96b695d084ffa930564a267d15abd91af
execution: refactor common CV propagation into its own function

There are a few occasions where we want to "fixup" a series of clock
vectors after establishing lazy synchronization (and one place where we
currently have a bug). Refactor this out to its own function so I can
reuse it elsewhere.
execution.cc
execution.h