rsm.cc
void 
rsm::commit_change(unsigned vid) 
{
  ScopedLock ml(&rsm_mutex);
  commit_change_wo(vid);
}
/*
 * Config informs rsm whenever it has successfully 
 * completed a view change
 */
Config informs rsm whenever it has successfully
completed a view change
Config informs rsm whenever it has successfully completed a view change
void 
rsm::commit_change(unsigned vid) 
{
  ScopedLock ml(&rsm_mutex);
  commit_change_wo(vid);
}
void rsm :: commit_change ( unsigned vid ) { ScopedLock ml ( & rsm_mutex ) ; commit_change_wo ( vid ) ; }
Config informs rsm whenever it has successfully
 completed a view change
Config informs rsm whenever it has successfully completed a view change