********************************************************************** * JCSP ("CSP for Java") libraries * Copyright (C) 1996-2001 Peter Welch and Paul Austin. * * This library is free software; you can redistribute it and/or * modify it under the terms of the GNU Lesser General Public * License as published by the Free Software Foundation; either * version 2.1 of the License, or (at your option) any later version. * * This library is distributed in the hope that it will be useful, * but WITHOUT ANY WARRANTY; without even the implied warranty of * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU * Lesser General Public License for more details. * * You should have received a copy of the GNU Lesser General Public * License along with this library; if not, write to the Free Software * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307, * USA. * * Author contact: P.H.Welch@ukc.ac.uk * * ***********************************************************************
Modifiers | Name | Description |
---|---|---|
static int |
AlternativeSelect |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
AlternativeSelectWithTimeout |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
AltingBarrierCoordinateStartEnable |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
Any2AnyChannelIntRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
Any2AnyChannelIntWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
Any2AnyChannelIntXRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
Any2AnyChannelIntXWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
Any2AnyChannelRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
Any2AnyChannelWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
Any2AnyChannelXRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
Any2AnyChannelXWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
Any2OneChannelIntRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
Any2OneChannelIntWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
Any2OneChannelIntXRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
Any2OneChannelIntXWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
Any2OneChannelRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
Any2OneChannelWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
Any2OneChannelXRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
Any2OneChannelXWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
BarrierSync |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
BucketFallInto |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
One2AnyChannelIntRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
One2AnyChannelIntWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
One2AnyChannelIntXRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
One2AnyChannelIntXWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
One2AnyChannelRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
One2AnyChannelWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
One2AnyChannelXRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
One2AnyChannelXWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
One2OneChannelIntRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
One2OneChannelIntWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
One2OneChannelIntXRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
One2OneChannelIntXWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
One2OneChannelRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
One2OneChannelWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
One2OneChannelXRead |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered. |
static int |
One2OneChannelXWrite |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
static int |
StopRun |
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered. |
Type | Name and description |
---|---|
static void |
finish() Finish logging of spurious wakeups. |
static long |
getEarlyTimeout() This returns the allowed early timeout (in msecs). |
static int[] |
getSpuriousWakeUpCounts() Returns the counts of spurious wakeups so far. |
static int |
numberEarlyTimeouts() Returns the number of early timeouts accepted so far. |
static int |
numberSpuriousWakeUps() Returns the number of spurious wakeups so far. |
static String |
report() This returns a report on the counts of spurious wakeups and early timeouts so far. |
static void |
setEarlyTimeout(long earlyTimeout) This sets the allowed early timeout (in msecs). |
static void |
start() Start logging of spurious wakeups. |
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
Note: this field is not operative in the current JCSP release. Spurious wakeups on AltingBarriers are handled correctly -- just not recorded.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (getSpuriousWakeUpCounts()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
This indexes the counts of spurious wakeups (report()), indicating the class and operation that suffered.
Finish logging of spurious wakeups. This should be set after any concurrency has finished. There is no concurrency protection!
This returns the allowed early timeout (in msecs).
Returns the counts of spurious wakeups so far. This array is indexed by the public constants in this class. Only a clone is returned.
Returns the number of early timeouts accepted so far.
Returns the number of spurious wakeups so far.
This returns a report on the counts of spurious wakeups and early timeouts so far. A breakdown of spurious wakeup counts is given only if there are some.
This sets the allowed early timeout (in msecs). Some JVMs timeout on calls of wait(timeout) early - this specifies how early JCSP will tolerate. ``Timeouts'' returned earlier than the set threshold are treated as spurious wakeups (i.e. the process is put back to sleep).
This should be set before any concurrency is started. It should only be set once. There is no concurrency protection!
earlyTimeout
- the allowed early timeout (in msecs).Start logging of spurious wakeups. This should be set before any concurrency is started. It should only be set once. There is no concurrency protection!