Verified Commit 9828eb48 authored by Theo von Arx's avatar Theo von Arx
Browse files

Restructure 'Priority Inversion'

parent d27d4a73
......@@ -49,8 +49,10 @@ A low priority task holds a Semaphore and prevents a high priority task from run
\begin{itemize}
\item \textbf{Disallow preemption} during the execution of critical sections. This may block unrelated tasks with higher priority unnecessarily :(.
\item
\textbf{Priority Inheritance Protocol (PIP)}: When a task $J_i$ blocks one or more higher priority tasks, it temporarily inherits the highest priority of the blocked tasks. Among equal priorities, it is \textbf{first come, first served}\newline
\textbf{Priority Inheritance Protocol (PIP)}: When a task $J_i$ blocks one or more higher priority tasks, it temporarily inherits the highest priority of the blocked tasks. Among equal priorities, it is \textbf{first come, first served}
\item and other methods based on \textcolor{red}{resource access protocols} (PCP,SRP, see 7-13)
\end{itemize}
\subsubsection{Priority Inversion Protocol (PIP)}
\textbf{Terms:}
\begin{itemize}
\item fixed \textcolor{red}{Nominal priority} $P_i$
......@@ -84,8 +86,6 @@ A low priority task holds a Semaphore and prevents a high priority task from run
\end{itemize}
\item and other methods based on \textcolor{red}{resource access protocols} (PCP,SRP, see 7-13)
\end{itemize}
\section{Timing Anomaly (7-26)}
Many software and system architectures are fragile since \textcolor{red}{monotonicity} does not hold in general (= making a part of the system operate faster does not necessarily lead to a faster system execution).\newline
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment