Memory Controllers

Memory Controllers#

Memory controllers define structures and functions representing higher-level data types used by engines during execution.

Monitor#

The monitor structure defined here tracks the monitor internal state and stores the pointers to all the memory used by R2U2 during execution.

There are 4 major types of fields in the monitor structure:

  1. The vector clock, made up of the time stamp, BZ and TL program counters, and progress indicator.

  2. Instruction memory, including an instruction table for both BZ and TL instructions and auxiliary string information.

  3. Output pointers, defining how to return produced verdicts.

  4. Memory domain pointers, pointing to arrays or arenas of memory defined by the memory controllers and manipulated by the engines.

The macro R2U2_DEFAULT_MONITOR is also defined here which provides a .bss friendly instantiation of a monitor.

Shared Connection Queue#

The primary working memory of the temporal engine, shared connection queues are many-reader, single-writer, circular buffers.

The SCQ memory arena consists of two arrays. The first holding control metadata information for each SCQ (e.g., lower bound, upper bound, scq location, etc.), and the second consisting of all SCQ slots (which each SCQ reserves a portion by setting the appropriate control metadata).

For SCQ operational semantics and sizing, see [1] and [2].

Contents