Repository files navigation

co_fsm is a C++20 header-only finite state machine library.The states are represented as coroutines whichco_await for events.This makes it possible to do things like:

• Suspend the execution of FSM and later resume either from the state where it left off when it was suspended, or from another other state;
• Make changes to the transition table during the life-time of the FSM object;
• Programmatically create arbitrarily many states and arbitrarily large transition tables without manual configuration;
• Connect and disconnect FSMs living in separate source files without having to recompile everything. So a state in one FSM can send an event to a state in another FSM;
• Suspend the execution of the FSM in one thread and resume in another thread.

Events are objects instantiated from a customized class derived from an event base class.The event base class has an optional identifier that is used to validate and invalidate events.

The library usessymmetric transferin transiting from one state to another. This makes the transitions quite fast.

It is often difficult to track the transition pattern in a complicated FSM. Symmetric transfer makes it easy to inject logger code into the transfer point where the control is handed over from one state to another to track sequence of events("State A at time T sent event E which was received by state B"). This is demonstrated in the examples below.

Coroutines generally use heap to store the local variables and other stuff for internal book keeping. Heap allocations take place only when the FSM is being configured.During the running of the state machine, the library does not allocate or free memory (unless the business logic within the state coroutine does so.)

This library is a derivate work based ontirimatangi/CoFSM.The main differences compared to the original library are:

• simplified the architecture allowing a higher flexibility to implement events;
• changed the identification of events from text (string) to numeric id; nevertheless the ids can be serialized as texts;
• transition map flexibility by customization of "state handle - event id" pair and their hashing;
• changed the coding style to standard-library like coding style;
• adapted examples.

Runnable code can be found in folderexample/ping-pong.

Runnable code can be found in folderexample/morse.

Runnable code can be found in folderexample/rgb.

Runnable code and makefile can be found in folderexample/ring.

If something goes wrong, astd::runtime_error(message) is thrown. The message tells what the problem was. If you catch this exception while debugging, the message can be accessed withwhat().

No other types of exceptions are thrown.

The examples have been tested with clang 16, gcc 11, gcc 12 and msvc 14.