--- a/prio/Paper/Paper.thy Wed Feb 01 17:40:00 2012 +0000
+++ b/prio/Paper/Paper.thy Wed Feb 01 17:46:36 2012 +0000
@@ -499,7 +499,7 @@
in Section \ref{model} does prevent indefinite priority inversion and therefore fulfills
the fundamental requirement of Priority Inheritance protocol. Another purpose of this paper
is to show how this model can be used to guide a concrete implementation. As discussed in
- Section 5.6.5 of \cite{Vahalia:1996:UI}, the implementation of Priority Inheritance in Solaris
+ Section 5.6.5 of \cite{Vahalia96}, the implementation of Priority Inheritance in Solaris
uses sophisticated linking data structure. Except discussing two scenarios to show how
the data structure should be manipulated, a lot of details of the implementation are missing.
In \cite{Faria08,conf/fase/JahierHR09,WellingsBSB07} the protocol is described formally
--- a/prio/Paper/document/root.bib Wed Feb 01 17:40:00 2012 +0000
+++ b/prio/Paper/document/root.bib Wed Feb 01 17:46:36 2012 +0000
@@ -33,7 +33,7 @@
}
@Book{Vahalia96,
- author = {Uresh Vahalia},
+ author = {U.~Vahalia},
title = {{UNIX} {I}nternals: the {N}ew {F}rontier},
publisher = {Prentice-Hall},
year = {1996}
@@ -157,23 +157,3 @@
URL = "http://dx.doi.org/10.1007/BF01088832",
}
-@Book{Vahalia:1996:UI,
- author = "U. Vahalia",
- title = "{UNIX} Internals, {The New Frontiers}",
- publisher = "Pren{\-}tice-Hall",
- pages = "xxxiii + 601",
- year = "1996",
- ISBN = "0-13-101908-2",
- isbn-13 = "978-0-13-101908-9",
- LCCN = "QA76.76.063V33 1996",
- bibdate = "Mon Sep 23 08:50:16 1996",
- price = "US\$47.75",
- acknowledgement = "Nelson H. F. Beebe, University of Utah, Department
- of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake
- City, UT 84112-0090, USA, Tel: +1 801 581 5254, FAX: +1
- 801 581 4148, e-mail: \path|beebe@math.utah.edu|,
- \path|beebe@acm.org|, \path|beebe@computer.org|
- (Internet), URL:
- \path|http://www.math.utah.edu/~beebe/|",
- bibsource = "http://www.math.utah.edu/pub/tex/bib/css.bib",
-}
\ No newline at end of file