35 \renewcommand{\isasymiota}{} |
36 \renewcommand{\isasymiota}{} |
36 |
37 |
37 \newcommand{\numbered}[1]{\refstepcounter{equation}{\rm(\arabic{equation})}\label{#1}} |
38 \newcommand{\numbered}[1]{\refstepcounter{equation}{\rm(\arabic{equation})}\label{#1}} |
38 \definecolor{mygrey}{rgb}{.80,.80,.80} |
39 \definecolor{mygrey}{rgb}{.80,.80,.80} |
39 |
40 |
40 \newtheorem{definition}{Definition} |
41 %\newtheorem{definition}{Definition} |
41 \newtheorem{theorem}[definition]{Theorem} |
42 %\newtheorem{theorem}[definition]{Theorem} |
42 \newtheorem{lemma}[definition]{Lemma} |
43 %\newtheorem{lemma}[definition]{Lemma} |
43 \newtheorem{proof}{Proof} |
44 %\newtheorem{proof}{Proof} |
44 \renewcommand{\theproof}{} |
45 %\renewcommand{\theproof}{} |
45 \newcommand{\qed}{\hfill \mbox{\raggedright \rule{0.1in}{0.1in}}} |
46 %\newcommand{\qed}{\hfill \mbox{\raggedright \rule{0.1in}{0.1in}}} |
46 |
47 |
47 |
48 |
48 \begin{document} |
49 \begin{document} |
49 \renewcommand{\thefootnote}{$\star$} |
50 \renewcommand{\thefootnote}{$\star$} |
50 \footnotetext[1]{This is a revised, corrected and expanded version of \cite{ZhangUrbanWu12}.} |
51 \footnotetext[1]{This is a revised, corrected and expanded version of \cite{ZhangUrbanWu12}.} |
51 \renewcommand{\thefootnote}{\arabic{footnote}} |
52 \renewcommand{\thefootnote}{\arabic{footnote}} |
52 |
53 |
53 \title{Priority Inheritance Protocol Proved Correct} |
54 \title{Priority Inheritance Protocol Proved Correct} |
54 \author{Xingyuan Zhang, Christian Urban and Chunhan Wu} |
55 \author{Xingyuan Zhang$^1$, Christian Urban$^2$ and Chunhan Wu$^1$} |
55 %\institute{PLA University of Science and Technology, China \and |
56 \institute{PLA University of Science and Technology, China \and |
56 % King's College London, United Kingdom} |
57 King's College London, United Kingdom} |
57 \maketitle |
58 \maketitle |
58 |
59 |
59 \begin{abstract} |
60 \begin{abstract} |
60 In real-time systems with threads, resource locking and |
61 In real-time systems with threads, resource locking and |
61 priority sched\-uling, one faces the problem of Priority |
62 priority sched\-uling, one faces the problem of Priority |