- All Implemented Interfaces:
public class ProcessInterruptedException
- extends Error
This is thrown if a process is interrupted whilst blocked during synchronisation
- processes should never be interrupted.
This is caused by accessing the Java thread executing a JCSP process and invoking its
If this is done to a process blocked on a JCSP synchronisation primitive (such as
a channel communication or timeout), the process will wake up prematurely
-- invalidating the semantics of that primitive.
The wake up is intercepted and this
Error is thrown.
Some browsers, when shutting down an applet, may do this to processes
spawned by an
ActiveApplet that have not died naturally.
Alternatively, this may be raised by processes stopped prematurely as a result of
a call to Parallel.destroy, or by calling stop on the
ProcessManager responsible for the process (or network).
- P.H. Welch
- See Also:
- Serialized Form
|Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
public ProcessInterruptedException(String s)
Submit a bug or feature to firstname.lastname@example.org
Version 1.1-rc4 of the JCSP API Specification (Copyright 1997-2008 P.D.Austin and P.H.Welch - All Rights Reserved)
Java is a trademark or registered trademark of Sun Microsystems, Inc. in the US and other countries.