javax.realtime.DSS
Class PriorityCeilingResource

java.lang.Object
  javax.realtime.DSS.Resource
      javax.realtime.DSS.PriorityCeilingResource

public class PriorityCeilingResource

extends Resource

A unit resource managed under a priority ceiling policy:

• The resource is constructed with a positive integer priority ceiling
• If any thread with a priority greater than the priority ceiling attempts to seize the resource, an exception is thrown
• Otherwise, any thread that is given the resource has its priority raised to the resource's priority ceiling while the resource is held

Author:

gary

Field Summary

protected int

priorityCeiling The priority ceiling of this Resource

Fields inherited from class javax.realtime.DSS.Resource

busyTimeThusFar, count, creationTime, holderThread, lastGrant, lastRelease, name, signalPriorityInversion, waiters

Constructor Summary

PriorityCeilingResource(java.lang.String name, int priorityCeiling)

PriorityCeilingResource(java.lang.String name, int priorityCeiling, boolean signalPriorityInversion)
Constructor

Method Summary

void	adjustPriority(RealtimeThread thread) Adjust the priority of this RealtimeThread, according to resources currently held.
int	getPriorityCeiling()
void	release() Release this resource.
void	seize() Seize this resource, waiting if necessary.

Methods inherited from class javax.realtime.DSS.Resource

dutyCycle, finalize, getExtent, giveResourceTo, maxWaiterPriority, printAllStatistics, printStatistics, releaseIfHeld, seize, seizeIfNotHeld, setExtent, toString, waiterIterator

Methods inherited from class java.lang.Object

clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

priorityCeiling

protected int priorityCeiling

The priority ceiling of this Resource

Constructor Detail

PriorityCeilingResource

public PriorityCeilingResource(java.lang.String name,
                               int priorityCeiling,
                               boolean signalPriorityInversion)

Constructor

Parameters:

name - the name of this resource

priorityCeiling - the priority ceiling of this resource

PriorityCeilingResource

public PriorityCeilingResource(java.lang.String name,
                               int priorityCeiling)

Method Detail

seize

public void seize()
           throws java.lang.InterruptedException,
                  ThreadTerminatedException

Seize this resource, waiting if necessary.

Specified by:

seize in class Resource

Throws:

java.lang.InterruptedException

ThreadTerminatedException

release

public void release()
             throws ThreadTerminatedException

Release this resource.

Specified by:

release in class Resource

Throws:

ThreadTerminatedException

adjustPriority

public void adjustPriority(RealtimeThread thread)

Description copied from class: Resource

Adjust the priority of this RealtimeThread, according to resources currently held.

Specified by:

adjustPriority in class Resource

getPriorityCeiling

public int getPriorityCeiling()