|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectcz.vutbr.fit.healing.Healing
cz.vutbr.fit.healing.HealingPriority
class HealingPriority
Method that influences scheduler by the increasing the priority of the thread entering critical section to maximum and take it back when the thread leaves the section.
Constructor Summary | |
---|---|
HealingPriority()
|
Method Summary | |
---|---|
protected void |
afterNormalAccess(RDVariable rdv,
RDThread rdt)
Called after normal access to the variable. |
protected void |
beforeNormalAccess(RDVariable rdv,
RDThread rdt)
Called before normal access to the variable. |
protected void |
enterCriticSection(RDVariable rdv,
RDThread rdt)
Called before enter the critical section. |
protected void |
leaveCriticSection(RDVariable rdv,
RDThread rdt)
Called after exit the critical section. |
Methods inherited from class cz.vutbr.fit.healing.Healing |
---|
endHealing, finalHealing, getHealingMethod, initHealing, isHealedVariable, startHealing |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
HealingPriority()
Method Detail |
---|
protected void enterCriticSection(RDVariable rdv, RDThread rdt)
enterCriticSection
in class Healing
rdv
- critical variableprotected void leaveCriticSection(RDVariable rdv, RDThread rdt)
leaveCriticSection
in class Healing
rdv
- critical variableprotected void beforeNormalAccess(RDVariable rdv, RDThread rdt)
beforeNormalAccess
in class Healing
rdv
- critical variableprotected void afterNormalAccess(RDVariable rdv, RDThread rdt)
afterNormalAccess
in class Healing
rdv
- critical variable
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |