Supplementing the Model with Handwritten Code : Synchronizing Tasks

Synchronizing Tasks

User-written procedures are called when the system starts the corresponding activity (i.e., st!(<activity>)). In general, the user code and the simulation share the CPU time. That is, when the user code is executed, the Rational Statemate simulation (or other user activities) are suspended.