Model::InterruptibleThread Class Reference

Inheritance diagram for Model::InterruptibleThread:

Public Member Functions
virtual void	requestInterrupt (Node *writeRequestTarget)=0
	Requests an interrupt in the operation of the thread due to a writer needing access to the specified node. More...

Member Function Documentation

requestInterrupt()

virtual void Model::InterruptibleThread::requestInterrupt ( Node *  writeRequestTarget )

pure virtual

Requests an interrupt in the operation of the thread due to a writer needing access to the specified node.

A interruptible thread uses this method to implement interrupt behavior. This could include setting an interrupt flag, or posting an interrupt message on the thread's message queue if event processing was started with exec().

Threads which perform long operations (such as verification) should generally be interruptible to allow the user to interact with the system.

NOTE: If the thread has acquired the lock corresponding to writeRequestTarget multiple times, this method will be called once for each nested acquire operation.