Re: [boost] Review request: Boost.FSM

From: Steven Watanabe (steven_at_[hidden])
Date: 2007-01-08 16:02:24

AMDG

    There is a potential deadlock in locking_state_machine.hpp

locking_state_machine<...> fsm1;
locking_state_machine<...> fsm2;

Thread A
    fsm1.operator=(fsm2) {
        scoped_lock that_lock(fsm2.m_Mutex);
Thread B
    fsm2.operator=(fsm1) {
        scoped_lock that_lock(fsm1.m_Mutex);

The two threads deadlock.      

In Christ,
Steven Watanabe