model: maintain a count of the pending lazy synchronizations
authorBrian Norris <banorris@uci.edu>
Fri, 7 Sep 2012 20:12:46 +0000 (13:12 -0700)
committerBrian Norris <banorris@uci.edu>
Fri, 7 Sep 2012 20:12:46 +0000 (13:12 -0700)
commitef196e91ff5e0b6b50f926e7dcc81a5c9dbcb846
tree77d0f19a84094dae456808348416fcae3c5adcd7
parent9cbe08c1b6d700355c43af838dc69799b72b38f3
model: maintain a count of the pending lazy synchronizations

lazy_sync_size should be the sum of the size of all the lists in
lazy_sync_with_release.
model.cc
model.h