
27 Aug
2010
27 Aug
'10
9:32 p.m.
On Thu, Aug 26, 2010 at 12:14 PM, Christophe Henry <christophe.j.henry@googlemail.com> wrote:
I could replace:
lock() // whatever you need for locking fsm.process_event(event()); unlock();
by:
fsm.process_event();
where process_event would lock at the beginning and unlock at the end, but it seems pretty limited.
It also prematurely imposes a locking granularity that may not be appropriate for all applications. -- Dave Abrahams BoostPro Computing http://www.boostpro.com