MySQL 8.0.31
Source Code Documentation
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.