|
|||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |
java.util.Random
.RawMemoryAccess
models a range of physical
memory as a fixed sequence of bytes.RawMemoryAccess
with the given parameters,
and set the object to the mapped state.
RawMemoryAccess
with the given parameters, and set
the object to the mapped state.
RawMemoryAccess
class.RealtimeThread
extends
java.lang.Thread
and includes classes and methods to get
and set parameter objects, manage the execution of those threads with a
ReleaseParameters
type of
PeriodicParameters
, and
waiting.RelativeTime(0,0)
.
new RelativeTime(0,0,clock)
.
RelativeTime
object representing an interval based on the parameter
millis plus the parameter nanos.
RelativeTime
object representing an interval based on the parameter
millis plus the parameter nanos.
RelativeTime
object
from the given RelativeTime
object.
RelativeTime
object from the given
RelativeTime
object.
Resource
's, e.g.,
seize
operations on a
PriorityCeilingResource
by a thread with a priority greater than
the resource's priority ceiling.ResourceLimitError
.
ResourceLimitError
.
java.util.Random
usable throughout the JPF run
Clock
to determine the current time.
Clock
to determine the current time.
Clock
to
determine the current time when necessary.
PreemptableResource
.
PriorityInheritanceResource
.
Resource
if held.
RealtimeThread
's
ReleaseParameters
.
EventNotice
FIFOWaiterSet
.
WaiterSet
.
SchedulingParameters
,
ReleaseParameters
,
MemoryParameters
, and
ProcessingGroupParameters
,
of this instance of Schedulable
should no longer be considered in the feasibility analysis of the associated
Scheduler
.
MemoryArea
.
SizeEstimator
size
when estimating the size of the
MemoryArea
.
SizeEstimator
size
when estimating the size of the
MemoryArea
.
length
reference values when estimating the size of the
MemoryArea
.
length
primitive values when estimating the size of
the MemoryArea
.
doInterruptible()
.
RealtimeThread
.
doInterruptible()
.
run()
method of this thread.
|
|||||||||||
PREV LETTER NEXT LETTER | FRAMES NO FRAMES |