Prioriteret arvssemafor

Indholdet af denne artikel om computere er , der skal kontrolleres (september 2016).

Forbedre det eller diskuter ting, du skal kontrollere . Hvis du lige har anbragt banneret, bedes du angive de punkter, du skal kontrollere her .

Den prioriterede arvssemafor er en variabel, der anvendes inden for datalogi, der har til formål at undgå prioritetsinversion .

Der er tre opgaver:

  • Th: opgave med høj prioritet
  • Tm: opgave med medium prioritet
  • TL: opgave med lav prioritet

En Th-opgave, der skal ind i et kritisk afsnit, går ned, når:

  • En anden opgave Tl har allerede låst dette kritiske afsnit (Tl arver prioritet fra Th).
  • En højere prioritetsopgave startes.

En opgave Tl går ind i et kritisk afsnit:

  • Det blokerer semaforen.
  • Det går ned, når en højere prioritetsopgave startes.

Når en opgave forlader et kritisk afsnit:

  • Hun genoptager sin startprioritet.
  • Det frigør låsen på semaforen.
  • Hvis der er blokeret opgaver på denne semafor, startes den højeste prioritet.

Prioritetsloftet kan defineres som den maksimale prioritet for de opgaver, der kan tage semaforen .

Fordele

Prioritetsarv løser problemet med blokering ved at sikre, at en opgave kun kan køre et kritisk afsnit, hvis det kører med en højere prioritet end prioritetsniveauerne for de forudgående kritiske sektioner.

Højeste låsemetode

Den opgave, der bruger semaforen, arver en prioritet, der er højere end semaforens prioritetshætte. Denne metode er enkel at implementere, men forlænger prioritetsreverteringsperioder.

Prioriteret loftmetode (PCP)

SE opretholder en variabel: maksimumsværdi eller nuværende loft. En opgave, der forsøger at udføre en kritisk sektion, er suspenderet, medmindre dens prioritet er højere end prioritetsgrænserne for alle semaforer taget af de andre opgaver. Den komplekse implementering.