SIGINT
so that it does not quit the program at once but allows the application to clean up. More...Exception infrastructure, signals, threads and nondeterminism. Also in this category, if added later, are event loops and scheduling. Depends on: The gen and util packages.
|
True iff cancel is requested for this thread.
|
|
Check for signals, thread cancels and such at this point. The actual code that is run by checkpoint is registered with register_pointchecker. It is typically used to throw exceptions upon signals or thread cancel. |
|
Handle
After the first |
|
Handle the signal that will cause xc to be thrown.
|
|
Install a pointchecker to throw an exception upon the signal sig.
|
|
Report that there is one more fereign thread running. By foreign thread is meant one that is not created by libmore. This function must be called _before_ the thread is started. If you run foreign threads and don't want to bother, just call notify_foreign_thread() once at startup. If you don't need to access the libmore objects from these foreign threads, you don't need to call this function at all. |
|
Register a function to be run by checkpoint. It is important to the efficiency to keep the number of registered pointcheckers at an absolute minimum, as checkpoint must call them all. Therefore, the intention is that each library using libmore registers only one pointchecker if reeded, and does all checks there. There is an arbitrary limit of to the number of pointcheckers that can be registered, and an exception is thrown if this limit is exceeded. |
|
True iff the caller is the only thread. This provides a quick check whether mutex locking is needed. |
|
The thread descriptor of the thread from which this function is called. The main thread returns an undefined descriptor at the moment, though this may change. |
|
Report that there is one less foreign (not created by libmore) thread running. This must be called _after_ the thread is stopped. |
|
Unregister a function registered by register_pointchecker.
|