equal
deleted
inserted
replaced
51 \begin{document} |
51 \begin{document} |
52 \renewcommand{\thefootnote}{$\star$} |
52 \renewcommand{\thefootnote}{$\star$} |
53 \footnotetext[1]{This paper is a revised, corrected and expanded version of \cite{ZhangUrbanWu12}. |
53 \footnotetext[1]{This paper is a revised, corrected and expanded version of \cite{ZhangUrbanWu12}. |
54 Compared with that paper we give an actual implementation of our formalised scheduling |
54 Compared with that paper we give an actual implementation of our formalised scheduling |
55 algorithm in C and the operating system PINTOS. Our implementation follows closely all results |
55 algorithm in C and the operating system PINTOS. Our implementation follows closely all results |
56 we proved about optimisations.} |
56 we proved about optimisations of the Priority Inheritance Protocol.} |
57 \renewcommand{\thefootnote}{\arabic{footnote}} |
57 \renewcommand{\thefootnote}{\arabic{footnote}} |
58 |
58 |
59 \title{Priority Inheritance Protocol Proved Correct} |
59 \title{Priority Inheritance Protocol Proved Correct} |
60 \author{Xingyuan Zhang$^1$, Christian Urban$^2$ and Chunhan Wu$^1$} |
60 \author{Xingyuan Zhang$^1$, Christian Urban$^2$ and Chunhan Wu$^1$} |
61 \institute{PLA University of Science and Technology, China \and |
61 \institute{PLA University of Science and Technology, China \and |