Processor Description Languages

226 CHAPTER 9 MADL—An ADL Based on a Formal

nextEdge = 0.0;

eventQueue.insert(clock_event(nextEdge));

while (!eventQueue.empty())

{

event = eventQueue.pop();

if (event.timeStamp ⬎= nextEdge)

{

director.control_step();

nextEdge += regularInterval;

eventQueue.insert(clock_event(nextEdge));

break;

}

event.run();

}

Algorithm 2: Adapted DE scheduler for OSM.

the following control step. At a tr iggering clock edge, a control step is executed

during which the token managers interact with the OSMs at the operation level.

The results of such an interaction affect the internal states of the token managers.

However, as the control step is indivisible in the DE domain,