Errata-Liste zum Buch: Stand 13.6.96 ---------------------- ------------- F. Hofmann: Betriebssysteme: Grundkonzepte und Modellvorstellungen 2. Auflage, 1991 Die Errata sind wie folgt aufgebaut: Seite Zeile Beschreibung (Formeln werden als eine Zeile gezaehlt, Seitenueberschriften, Tabellen und Tabellenunterschriften zaehlen nicht mit.) Die korrekte Loesung ist immer in doppelten Anfuehrungs- strichen (") geschrieben. Die Liste ist sicher unvollstaendig, darum wird jeder, der einen Fehler findet oder meint, einen gefunden zu haben, gebeten, mir eine Mail zu schicken. Die mir neu zugeschickten Fehler werden immer am Ende der Liste angehaengt. Martin Geier Seite Zeile Beschreibung ---------------------------------------------------------- 50 24 Bei Satz 2.1 muss unter dem Vereinigungszeichen "1 <= j <= n" stehen (j->i) 57 6 es fehlt eine ")" am Ende der Zeile 57 25 Bei der Definition von schwach prozesstreu muss das erste UND gegen ein "=>" getauscht werden, also "... element A quer => ... " ist korrekt. 58 7 Beim Praedikat lf fehlt der Querstrich von P, also "... ( lf Index P quer ( alpha quer ) ..." 65 14 Bei 4. fehlt der Querstrich bei w, also "4. w quer = ..." 68 1 Bei der Aktion fehlen die Querstriche ueber dem a und ueber dem L, also " a quer ... 'L quer ..." 70 3 statt 'synchronisierenden' muss es "koordinerenden" heissen. 70 5 statt 'Synchronisation' muss es "Koordinierung" heissen. 72 In der Box von PVmultiple muss bei der V-Operation der Semaphor um 1 erhoeht werden, also "... (S Index j = 'S Index j + 1 ) ..." 72 In der Box von PVgeneral muss beim Praedikat der P-Operation auf ">=" abgefragt werden, also "... ('S Index j >= t Index j ) ..." 72 In der Box von PVgeneral muss bei der Menge der Semaphore "J teilmenge { 1, ... ,m }" wie bei PVmultiple geschrieben werden. 74 10 Der Index bei 'F' muss "2,3" lauten. 74 12 Der Index bei 'F' muss "2,3" lauten. 75 4 Der Index bei 'F' muss "2,3" lauten. 77 2 am Ende der Zeile muss es lauten " ... F Index i,2 ( 'q Index i , 'g )" 81 2 L Index 4 fehlt beim typischen Element, "... mit typischem Element ( L Index 1, L Index 2, L Index 3, L Index 4, S Index 1, ..." 82 18,20 Der Text ist zu aendern in "Also muesste in K der Ablauf ..." "aktiv sein und damit ist die ..." 87 7 Es muss lauten "2. w quer = ( ( t, ..." 87 14 "... Existiert kein k" 87 21 "... Wie unter 3." 88 1 Nach der zweiten geschweiften Klammer muss am Anfang stehen " ... /= { x | a ..." 90 4 Der Index muss statt '(i,j,1)' "(i,j,k)" lauten 95 24 "... linear mit der Zahl der beteiligten Betriebsmittel ..." 101 13 Statt '... { fp } x B Index w x N ...' ist "... { fp } x { b } x N ..." zu schreiben. 102 23 "IMPL r[b] = ..." 102 26 Vor END_MODULE ist folgende Zeile einzufuegen: "FORALL b( b Element B Index v AND ( fp,b,n) element 'a IMPL r[b] = 'r[b] -n);" und in der Zeile davor ist am Ende der Zeile der ';' zu streichen aber ein "AND" anzufuegen. 103 17 Bei c) muss der Index von P "j" lauten. 104 13 "... wird ein unmarkierter Pfeil von b nach P eingetragen." 104 27 "... wenn kein Prozess mehr wiederverwendbare" 113 9 Unter dem Maximum muss es lauten "0 < t <= T" 120 11 Bei Satz 3.9 muss nach dem '|' das x gross geschrieben werden, " ... | X >= x Index 0 ] ..." 128 15 In der Formel muss beim letzten Term sowohl im Nenner als auch im Zaehler statt A*'(1) "A*'(z)" stehen. 133 19 Beim letzten Erwartungswert ist aus dem Index ein Hochindex zu machen, also " ... E [ S Hochindex 2 ] ." 135 25 Es muss heissen " E[ D Index i+1 (j) ] = ..." 141 20 Statt '... E[ N quer Index 1 ] ...' ist "... E[ Q quer Index 1 ] ..." zu schreiben. Als Fussnote sollte man sich anmerken, dass E[Q quer] die mittlere Warteschlangenlaenge (Siehe S. 112) ist, nicht der Erwartungswert des Bedienquants. 158 27 "... mit der in 2.5 beschriebenen Methode ..." 171 4 "... ist in Tabelle 4.1 dargestellt." 172 23 In der Formel ist statt 't+1' in allen 3 Faellen "q+1" zu setzen. 174 16 In der ersten Zeile der Formel ist statt ' ... (y Index k' , 0 ) ...' " ... (y Index k'-1 , 0 ) ..." zu schreiben. 180 7 "3. Zusammenfassend ermittelt man" 191 15 Statt 'max' ist 'min' zu setzen, also "... z = min { T | ... " 194 10 Nach /* Referenzindikator */' sind zwei Zeilen einzufuegen: "anwesend: BOOLEAN;" " /* Praesenzindikator */ " 195 3-4 Es ist zu streichen 'Ein- oder' und es muss lauten "... diese Kachel ein Austransfer laeuft ..." 210 34 Es fehlt die ']', also muss es lauten "... [Index(Schluessel)] = ..." 213 32 Es fehlt ein ''', " ... 'neuer_Indexblock)" 213 34 Es fehlt eine ']', "=('Inhalt[Laenge].Schluessel, ..." 214 34 Der Schreibstatus darf nicht schreibend sein " 'Schreibstatus /= schreibend" 223 27 "/* Ausfuehren einer mit Dienst_i ..." 248 26 "Bild 7.3 zu strukturieren. ..." 262 25 Hier ist ein ''' zuviel vorhanden, also "... da das Zugriffsattribut z' nur einmal existiert. ..." 268 25 Der Mann heisst statt 'Buzzo' "Ruzzo" --- Nachtrag vom 3.2.93 ------------------------------------------------------- 70 24 hier steht ein 'wird' zuviel "... Typen erforderlich. Normalerweise ..." 89 15 Bei der Beschreibung der Aktion 'a quer index 1, (i,j,2)' steht nach dem zweiten AND eine Klammer zuviel: statt 'L quer index 1=(lfd,`sbd(lfd).adr),1)' muss es lauten: "L quer index 1=(lfd,'sbd(lfd).adr,1)" 102 21 statt 'B index v vereinigt {fp}' muss es lauten "B index v kreuz {fp}" 150 9 hinter "best_fit" muessen 2 Klammern zu "...best_fit));" 174 26 In der letzten Zeile fehlt der letzte Buchstabe "... zur Bearbeitung anderer" 182 17 hier ist ein 'e' zuviel "... bevor ein Richtungs-" 185 6 hier fehlt ein 'e' "1. Jedem Segment wird eine ..." 202 3 Ein 'n' ist zuviel "den Eintraegen der Datenbloecke ..." 219 16 "b) zum Anlegen ..." 235 16 hinter "* Sektorlaenge;" fehlt die schliessende Klammer "* Sektorlaenge);" --- Nachtrag vom 15.3.93 ------------------------------------------------------- Seite Zeile Beschreibung ---------------------------------------------------------- 23 19 '3...(rep(x)=y) und (E index n ('x,x) impl E index h ('y,y)))' laut Vorlesung vom 09.11.92 heisst es aber: "3. ...(rep(x)=y) impl (E index n ..." (Anm: Kein Inhaltlicher Fehler, nur umgeformt!) 85, 87, 89 Seitenueberschrift: streiche: '2.4. Synchronisationssysteme' setze: "2.5. Implementierung von Prozesssystemen fuer Monoprozessoren" 187, 189, 191, 193, 195, 197 Seitenueberschrift: streiche: '4.7. Segmentierung mit Seitenadressierung' setze: "4.8. Mehrprogrammbetrieb und Demand-Paging" 191 6 Da fehlt in der Herleitung fuer die mittlere Seitenaustauschrate ein "1/k" bei der Summe. Die Zeile muss heissen: = 1 - 1/k * summe x=1 bis T c index k ( x ) 243 Seitenueberschrift fehlt: setze: "6.3. Geraeteverwaltung" 249 19 es fehlt ein 's' "... keinen weiteren Einschraen-" --- Nachtrag vom 09.2.94 ------------------------------------------------------- Seite Zeile Beschreibung ---------------------------------------------------------- 34 23 Es fehlt eine schliessende Klammer 51 31 Ersetze bei a) 'j' durch 'i' "... Laenge( gamma ' ) < i bereits bewiesen. Sei i die Laenge" 146 9 Das Wort "werden" ist zu viel. 146 16 statt "kuerzer" muss es "groesser" heissen. 180 12,17,18 statt "=" muss es "~=" heissen. --- Nachtrag vom 5.9.94 ------------------------------------------------------- Seite Zeile Beschreibung ---------------------------------------------------------- 82 7 falsch: ... mit Semaphor-Vektor S richtig: "... mit Semaphor-Vektor S quer" 103 30 falsch: ... fuer alle b mit 'a ... richtig: "... fuer alle b mit 'z ..." 104 11 falsch: 3. Fuer alle Zuteilungskanten (P,b,n) wird ... richtig: "3. Fuer alle Zuteilungskanten (b,P,n) wird ..." 135 15 dort steht: '...zunaechst an, dass D index i (j) = x ist. ...' Muss da nicht folgendes stehen: '...zunaechst an, dass E [D index i] (j) = x ist. ...' (Denn im weiteren Verlauf wird x durch E[D index i(j)] ersetzt.) 141 14 Da ist zwar kein Fehler, aber ich musste schon genau hinsehen, das da auch wirklich steht ... weiter gilt E [ W'' index k ] ... das [W'' index k] sieht naemlich fast aus wie ein [W' index k] 142 3 In der Summe ist der Index fuer g falsch. Statt 'g index i' muss dort stehen "g index j" --- Nachtrag vom 13.6.96 ------------------------------------------------------- Seite Zeile Beschreibung ---------------------------------------------------------- 138 11 Die Aufsummierung fuer den Wert E[Wk] laeuft nicht ueber E[Ni]*E[Si], sondern ueber E[Qi]*E[Si]