ut0stateful_latching_rules.h File Reference

The Stateful_latching_rules class template which can be used to describe possible states, latches required to transition between them, and then validate if transitions performed by application take required latches, and that queries for the state are performed when holding enough latches to prevent state from changing. More...

#include <bitset>

Go to the source code of this file.

Classes
class	ut::Stateful_latching_rules< Node, LATCHES_COUNT >
	This is a generic mechanism for verifying correctness of latching rules for state transitions and querying for state of a system. More...
struct	ut::Stateful_latching_rules< Node, LATCHES_COUNT >::edge_t
	The type for a possible transition from one state to another while holding at least a given set of latches. More...

Namespaces
namespace	ut
	This file contains a set of libraries providing overloads for regular dynamic allocation routines which allow for opt-in memory instrumentation through performance schema memory engine (PFS).

Detailed Description

The Stateful_latching_rules class template which can be used to describe possible states, latches required to transition between them, and then validate if transitions performed by application take required latches, and that queries for the state are performed when holding enough latches to prevent state from changing.