![]() |
MySQL 9.0.0
Source Code Documentation
|
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). | |
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.