Boost C++ Libraries: Ticket #3963: state_machine<>::post_event is not protected

cc set

Fri, 26 Feb 2010 09:04:08 GMT

cc boost@… added

status changed

Andreas Huber — Sun, 04 Apr 2010 09:06:51 GMT

status new → assigned

Andreas Huber — Sun, 04 Apr 2010 10:18:30 GMT

post_event will be made protected. Unfortunately, it *must* forward to a public implementation function, because that is also called from simple_state<>::post_event and template friend support is spotty in some popular compilers. However, I'll add an assert that catches calls to the implementation function, that are made when no event is currently being processed.

status changed; resolution set

Andreas Huber — Sun, 04 Apr 2010 18:45:46 GMT

status assigned → closed
resolution → fixed

(In [61048]) Fixes #3963. post_event() is now protected and forwards to post_event_impl(), which unfortunately must remain public. So, client code can still abuse the class by calling post_event_impl(), but the abuse should now be more obvious. I considered adding an assert to post_event_impl(), so that unauthorized calls from the outside could at least be detected at runtime, but it turned out that an assert requires more additional machinery than expected, which is why it was not implemented.

Thanks for the report!

xuefer@… — Wed, 04 Aug 2010 12:32:09 GMT

what should i do if i want to connect multiple state machines making them interactive with each other? i used to use process_event(), and sometimes post_event() to make it happen after current state processing. i have code that guarantee all posted event will be flushed/processed later

boost@… — Wed, 04 Aug 2010 13:26:20 GMT

Multiple state machines can interact with each other quite nicely if they derive from asynchronous_state_machine instead of state_machine. Despite the name they may also run in the same thread context or without any separate thread at all. This also avoids the need to deal with possible recursions. I used to use synchronous state machines at first, but switched over to asynchronous state machines due to this. The only disadvantage to me is that it is more difficult to access the state machine from the outside, e.g. to retrieve the current machine state for debugging purposes.

Read the part on asynchronous state machines in the tutorial for further information: http://www.boost.org/doc/libs/1_43_0/libs/statechart/doc/tutorial.html#AsynchronousStateMachines