Operation --Not Named-- RACE_Message_Queue (RACE_QueueLevelStrategy** qls), in Class RACE_Message_Queue

Documentation
Initialize an <RACE_Message_Queue>. The <high_water_mark>
determines how many bytes can be stored in a queue before it's
considered "full." Supplier threads must block until the queue
is no longer full. The <low_water_mark> determines how many
bytes must be in the queue before supplier threads are allowed to
enqueue additional <RACE_Message_Block>s. By default, the
<high_water_mark> equals the <low_water_mark>, which means that
suppliers will be able to enqueue new messages as soon as a
consumer removes any message from the queue. Making the
<low_water_mark> smaller than the <high_water_mark> forces
consumers to drain more messages from the queue before suppliers
can enqueue new messages, which can minimize the "silly window
syndrome."


Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics