A Bibliography of Publications about the

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: [email protected], [email protected], [email protected] (Internet) WWW URL: http://www.math.utah.edu/~beebe/ 01 March 2018 Version 1.35

Title word cross-reference 4-7 [BS91]. 4.3BSD [BL90c, BL90b]. 4th [SBC+94].

5th [USE95a].

+ + 1 [BRS 85, BCF 91, BM91, EHP94, Mit91, 6000 [Jaf93]. Uhl92, Wah90]. 1-MK [MYS+93]. 11th [IEE94a]. 12th [Jam92]. 13th [IEE94b]. ’86 [ACM86]. ’89 [IEE89a, IEE89b, Voe89]. 14th [ACM93a]. 18th [Ano95]. 1986 8th [TP94]. [ACM86]. 1992 [Jam92]. 9 [MMR91]. 90-06 [Ver90]. 90-VAPP 2 [KLN91, PAO93]. 2-4 [Bit92]. ’20 [Bur90]. ’90s [Wil88]. ’92 [Ano93a]. 20th [Ano93a]. 21st [IEE94f]. [ACM92a, Bd92b, Vor92]. ’93 [SBC+94]. ’94 22nd [Ciz94]. 29-March [IEE88a]. 2nd [IEE94a, NDB94, TP94]. ’95 [IEE95a]. 9th [GHR89]. [IEE95b, MMR91].

+ 3.0 [BDMVL93a, GJ91, JCS 91, LHFL93, AAECC [MMR91]. AAECC-9 [MMR91]. + MRGB91, RS95, WKF 92]. 3.0-overview abstraction [MST93]. ACCENT [Ras87]. + [JCS 91]. 3.0/UX [RS95]. 3/DE Access [BTMD89, BJ94, Roy93]. ACM [THKS95]. 32nd [IEE93c].

1 2

[Ciz94]. Activations Assurance [BL89, IEE89a]. Assuring [BDMVL93b, BD92a, BDMVL93a]. Adding [FM93]. Asynchronous [Jen94]. Atlanta [BD92a, BDMVL93b, BDMVL93a]. address [Ano91b, USE91b]. Audio [SBC+94]. [CLFL94, Che93, Ros94]. Addressed August [USE88, USE92c, USE93c, Ver90]. [CMS90, IKWS92]. Advanced Australia [Ano89a]. Australian [Ano89a]. [Ano89a, HS94a, TS90]. Aerospace automated [Vor92]. automatically [CJ91]. [IEE88b]. AIX [Ras91]. AL Automation [IEE94c]. Autumn [IEE88c, IEE90b]. algebra [MMR91]. [Ano90b, Ano92a]. Avalon [CLNW90]. algebraic [MMR91]. algorithm Avalon/Common [CLNW90]. [BAA94, Saa92]. Algorithms [Ano89b, MMR91]. allocation [NUMS94]. B3 [E+91]. BACH [GAR+93]. Bad [Ver90]. alternative [Pat93]. Alto [IEE91]. balancing [Jal92, Sha91]. Baltimore American [Boa90]. analysis [Ano95]. Bandwidth [Mai93]. Barbara [Car93, DW95, Jaf93]. anatomy [YTC94]. [IEE95b]. Barcelona [Ano93b, NDB94]. Annual [Ano93a, Ano93d, Ciz94, IEE89a, Based [Bab90b, Chexx, Mor96, And90, IEE92b, IEE94f, Shr89]. Antilles [HS94a]. Bab89, Bab90a, BBP92, BHM+93, Cha94, Antonio [IEE93c]. API [NUMS94]. APL CJMT93, DLR+92, GAR+93, GADV91, [CJ91, cJmC91]. Apple [Ano92d]. LBLM90, LMR93, Min95, Nan91, PRK95, Application SC93, THKS95, TK94, Yep92, YT91]. basis [Ano89b, RMGB91, RSS93, RS95, EKM+99, [Dri92, Tev87b]. battle [TBG+87]. BBN GJ92, MRGB91, Pha91, TN95]. [WGR93]. Beach [USE92b]. Belgium Application-transparent [RS95]. [Bd92b]. Bell [May88]. Bell-La [May88]. Applications [ACM86, Ano93b, BRS+85, belongs [Wel91]. Benchmark Boa90, Ciz94, Gir94, Gol90, IEE88b, IEE92b, [FKL91, KF93]. benchmarks [FKJ+92]. IEE95c, IEE95d, Mai93, BM95, CB89, CB90, benefit [NDB94]. Berkeley [Bas91]. Berlin Dan93, GJ94, MST94, Tok95]. [EHP94]. between [vRBC+92]. bit [Dra91]. applications-RT-Mach [Tok95]. Bologna [TP94]. Boston applicative [GW90a]. Applied [MMR91]. [ACM89, ACM92b, IEE94d, Mai93]. Approach Boulder [ACM93c]. boundary [Pet93]. [BL90c, BRG+89, BL90b, Tev87a]. April breakpoints [Yep92]. Bruges [Bd92b]. [ACM89, Ano92c, Gir94, IEE94f, IEE95b, buffer [BRG+89, Ros89]. buffers USE92a, USE93a, USE93b]. Arcade [BKW94, Koo93]. build [Dea93]. Building [Rob94]. Architectural [Chexx, CFH+93a, TN95]. Burlington [ACM89, ACM92b, LHC93]. Architecture [USE90]. Butterfly [WGR93]. [Ano93a, BST95, CMS90, GSR93, IEE94f, Jam92, Seb91b, Tev87a, BS91, BGJ+91, C [CFK+91, CKS93, GJ92, JM92, MUI95, BGJ+92, MYS+93, Seb91a, VBD+92, Wil88]. TI94a, USE92c]. C* [Cha94]. CA Architecture-independent [Tev87a]. [ACM91, ACM92a, ACM93b, Ano93a, Architectures [Ano93c, USE92a, USE93d]. Ano93c, Ano94, GHR89, IEE89b, IEE89c, Architektur [Jam92]. artificial [YT91]. IEE89d, IEE91, IEE92a, IEE93b, IEE93d, Ashville [ACM93a]. ASPLOS IEE94b, IEE95a, IEE95b, USE92b]. Cache [ACM89, ACM92b]. ASPLOS-III [ACM89]. [CMS90]. cached [VBD+92]. caches ASPLOS- [ACM92b]. assist [WLT93]. [IKWS92, WB92]. caching assistants [LMR93]. Association [USE91c]. [BKW94, Roy93]. California 3

[USE91a, USE93d, USE94, IEE88a]. Calls Concurrency [Bla90b, MLB+97, Bla90a]. [Pat93]. Cambridge [USE93c]. Camelot concurrent [Spe87, SPB88]. Cannes [Ano92c]. capacity [BO96, JM92, MFY91, MBS95, TI94a]. [MST93, MST94]. Caracas [Gir94]. Case Conference [MLB+97]. Casper [VBD+92]. catalyst [ACM86, ACM89, ACM92a, ACM92b, [Ras89]. Cathedral [IEE88a]. Cenju ACM93b, Amm90, Ano89a, Ano90b, Ano90c, [THKS95]. Cenju-3 [THKS95]. Ano91a, Ano92a, Ano93d, Ano95, Bur90, Cenju-3/DE [THKS95]. Center [Ano95]. Ciz94, EHP94, Gir94, HS94b, IEE88a, Centre [Ano89a]. Cern [Ver90, Ver90]. IEE88b, IEE89a, IEE89b, IEE90a, IEE92b, Challenge [Ciz94]. checkpointing IEE93c, IEE93d, IEE94c, IEE94d, Ish92, [CN92, RS95]. Chicago MSNS91, MMH93, MS95, Shr89, TP94, [IEE92b, IEE94f, IEE95c]. chip [NUMS94]. USE91c, USE92c, USE94, USE95b, Vor92]. Chorus [BCC+91, Imaxx]. City [USE95a]. Configurable [IEE94e, BHSC98, GMSS94]. Clara [ACM93b]. class [CJMT93]. Client CONPAR [Bur90]. Conservative [BST95, GJ92]. client-server [GJ92]. [BL90c, BL90b, MFY91, Ono93]. cluster [Cha94]. clusters [RP94]. CMU considerations [LHC93]. Consistency [Mac91, Mac92, McD89, Tob93]. co [WB92, BRG+89, Ros89]. construct [BJ95, ACM93c]. co-resident [BJ95]. codes [NCS+90, RNJ+90]. constructing [MMR91]. collector [MFY91, Ono93]. [BHSC98]. continuations Common [Dea93, DBRD91, Lie92]. continuous [Mac91, Mac92, McD89, CLNW90]. [And90, TN95, Tok95]. Control Communication [IEE93c, Mit91, BJ94, EKM+99, GKK94, [GBB93b, Bas91, BHSC98, DBRD91, Min95, TBG+87, TK94, KONT95]. GBB93a, Joh91, Lie92, Rao91]. controlling [MR95]. convenience [PRK95]. Communications [Ano92c]. Comparative Convention [Ano95]. copying [Ono93]. [PM18]. Comparison core [Bit92]. correcting [MMR91]. [Jal92, GW90a, Rao91]. Comparisons correctness [BT92]. coupled [BAA94]. [KF93]. COMPASS [IEE89a]. compatible Coyote [BHSC98]. creation [MBS95]. [SR89]. COMPCON critical [BT92]. Cronus [Sou97]. [IEE88a, IEE89b, IEE95a]. Competitive Cronus/Mach [Sou97]. cryptography [BGW89]. Compilers [ACM93c, SS96]. [BCB88]. Cube [TS90]. current [JCS+91]. Complexity [Ciz94]. Computational customizable [KLM+93]. [Ano90a]. Computer [ACM93b, Ano93a, Ano93d, Ciz94, Cra90, Dallas [USE91c]. Dana [IEE94b]. Data IEE88a, IEE88b, IEE89a, IEE89b, IEE90a, [DA92, cJmC91, SGM90]. Database [She91]. IEE92a, IEE92b, IEE94f, IEE94c, Ish92, databases [Red92]. DC [Ano90a, Ano90c]. BJ94, Jen94, TMJY91, TS90]. Computers debugger [CB89, CB90]. Debugging [Ano89b, SS96, JM92]. Computing [Hov91, PLL91, Yep92]. December [Amm90, Ano92a, Bab90b, Ciz94, Gir94, [ACM93a, IEE88b, IEE88c, IEE93c, IEE93e]. HS94a, IEE93a, IEE94d, IEE95d, Jam92, decentralized [Jen94]. Decision [IEE93c]. USE93c, Ver90, Bab89, Bab90a, BJ95, decomposition [MB93]. default [GD91]. Bry88, CLNW90, EHP94, Far89, Nan91, demultiplexing [YMBM94]. Dependable NCS+90, RNJ+90, SED+89]. concepts [EHP94]. description [Leh89]. Design [Bau92, DF94]. concepts-design [Bau92]. [ACM92a, Ano93b, Ano94, CLR94, For88, 4

KD95, NUS+93, TST96, UNS+94, BHMR91, [ACM93c, Ano89b, Bla91, Tev87a]. Eos BHM+93, Bau92, BO96, IKWS92, LHC93, [GADV91]. EPEX [Bol89]. Equus [Far89]. OKID92, SCSK93, Wil88]. Developing error [MMR91]. error-correcting [FKJ+92, BCR91a, BCR91b, OT95]. [MMR91]. EUROMICRO [Ano93b]. Development Europe [Ano92c, NDB94]. European [MYS+93, ABG+86, GW90b, Tev87b]. [EHP94, TP94]. EUUG [Ano90b]. Developments [Rag92]. Device Evaluation [HCF+94, KONT95, PM18, [GSR93, Dan93]. Diego TN91, For88, FKS92, Joh91, Wen88]. [Ano93a, Ano93c, IEE93d, USE93d]. Digest evolution [Ras87]. Evolving [FL94]. [IEE89b, IEE93a, IEE95a, IEE88a]. Digital examples [Bau92, DF94, Leh89]. exception [SBC+94, And90, LMR93]. discardable [Bla88, BGH+89]. exclusion [BRE92]. [Sub91]. Distributed [ACM93c, Amm90, Executing [GSR93]. Execution Ano88a, Ano91b, Ano92a, Ano92b, CKS93, [CJ91, MUI95, Cha94]. expected [Ano88a]. GGDD92, Gir94, IEE90b, IEE93d, IEE94e, Experience [Ano92a, BCR91a, BCR91b, IEE94b, MLB+97, Nic91, Seb91b, SPB88, CR92b, CR92a, CFH+93b, Duc91, BCF+93, USE91b, USE92b, BBP92, Bau92, BM92, BHM+93, BCC+91, Dan93, Imaxx]. BGW89, BCC+91, CLR94, CNTS93, Experiences [Ano91b, MGZ93, TN95, CLNW90, CCGS92, DW95, For88, FKS92, USE91b, USE92b, JCS+91]. experiment Hag94, Imaxx, JR86, KF93, NCS+90, Pad95, [MHP94]. Experimental PRK95, Pha91, Ras91, RNJ+90, Rob94, [IEE90b, Pha91, FKS92]. Exploitation Sha91, Spe87, SED+89, TI94a, Tev87a, [cJmC91]. Exploiting [Ano89b]. exporting WLT93, Yep92, YT91, FM93, Seb91a]. [ST93]. Extensible [BST95, Tof89]. distributed-memory [BM92]. Extension [KTN93]. Extensions Distribution [Mil94, MGZ93]. divisible [NYM92, NM91, Tok95]. external [BAA94]. Dourdan [CJ92]. DPMI [KN93, Nic91, Rob94, Sub91]. [GMR93]. driven [Wen88]. driver [Min93]. Drivers [GSR93, Dan93]. DROL [TST96]. Fachtagung [Jam92]. facilities [Jal92]. Durham [Boa90, IEE93e]. Dutch [HS94a]. facility [Bla88, BGH+89, Sha91, Spe87]. Dynamic [TK94, Jal92, SZ92, Sha91]. failures [IMP94]. fair [TS90]. Fast [Bar91, BRE92, Lie92, SCB93, MFY91, OMOP93]. ECOOP [TP94]. EDCC [EHP94]. Fastest [AG95]. Fault [Bab89, Bab90a, EDCC-1 [EHP94]. edge [Ano92d]. edition Bab90b, Chexx, EKM+99, IEE93a, ACCB93, [McD89]. effective [BFS89]. effects BHMR91, Nan91, RSS93, SC93]. [IKWS92]. Efficient Fault-Tolerant [Bab90b, Chexx, IEE93a, [BAA94, IMP94, YMBM94, CFH+93a]. Bab89, Bab90a, EKM+99, ACCB93, Nan91]. Eighth [MS95]. ElipSys [DLR+92]. Fe [USE93a, USE93b]. features Embedding [BCB88]. Emulation [BBP92, Joh91, TS90]. February [Mal91, Dra91, JCS+91]. Emulator [Pat93]. [IEE88a, IEE89b]. Fifth Enabling [Mai93]. endpoints [YMBM94]. [ACM92b, MSNS91]. file [Roy93, Wel91]. Engineering [BS91, Bit92]. enhanced files [TTG+87]. filesystem [LBLM90]. fine [JM92]. entities [FKS92]. Environment [BHSC98, BM95]. fine-grain [BHSC98]. [BRS+85, CP97, MUI95, TST96, Bry88, fine-grained [BM95]. First Cha94, GMR93, GW90b, GADV91, Pha91, [Ano94, EHP94]. FL [IEE88b]. FLEX Roy93, Sha91, SED+89]. Environments [CFH+93a]. Flexible 5

[SPB88, CFH+93a, KN93, WW94]. Flight Huntsville [IEE88c, IEE90b]. hybrid [Ano90a]. Florence [Ano92b]. FME [Ono93]. [NDB94]. follow [Ano88a]. formal [GJ94, NDB94]. foundation I/O [FGB91b, FGB91a]. IBM [ABG+86, RBF+89, Wah90]. Fourth [Jaf93, McD89]. Identification [BST95]. [IEE88b, IEE89a, IEE89b, IEE93b, IEE94c]. IEEE [IEE88a]. IFAC [Bd92b]. IFIP framework [And90]. France [Gir94]. II [Ano90b, Ano92c, CJ92, IEE93a]. Francisco [WGR93, Ano91b, HS94b, IEE89d, USE91b]. [ACM92a, IEE88a, IEE89b, IEE95a, USE94]. III [ACM89, USE92b, USE93a, USE93b]. FreeBSD [PM18]. FT [EKM+99]. image [WGR93]. impact [CB93]. FT-RT-Mach [EKM+99]. FTCS [IEE93a]. implement [DBRD91]. Implementation FTCS-23 [IEE93a]. FTM [MHP94]. [ACM92a, Ano94, Bar91, MUI95, Mil94, functional [FKS92]. future PC90, Sha91, She91, THKS95, TST96, [GGDD92, Tev87b, TS89]. Wen88, BS91, For88, FKS92, Jal92, LHFL93, OKID92, OMOP93, TI94a]. GA [Ano91b, USE91b]. Gaithersburg implementations [GW90a]. [IEE89a]. garbage [MFY91]. general Implementing [BJ95, OMOP93, SED+89]. Generalized [CB89, CB90, Red92, TNML93]. [JCS+91]. Generation [She91, Fur94]. improvements [BCF+91]. Improving generational [Ono93]. Generic [SJ95]. [PRK95]. In-kernel [LHFL93]. Germany [EHP94, Jam92, Ver90]. GI Independent [USE93c, Tev87a]. indexed [Jam92]. GI-ITG-Fachtagung [Jam92]. [WB92]. indivisible [BAA94]. industrial GI-ITG-Meeting [Jam92]. Global [Fur94, NDB94]. InfoJapan’90 [Ish92]. [Ano92c]. goals [KD95]. Gothic [BBP92]. Information grain [BHSC98]. grained [BM95]. [Ano95, IEE93d, IEE95a, Ish92]. Graphics [Mal91]. Group [Ano89a, Boa90]. infrastructure [GKK94]. Institute Grove [ACM91, GHR89, IEE89d]. Guest [HS94a]. Integer [KLN91]. Integrated [Hov91]. Guide [And90, IEE94c, NKAT93]. integration [BCF+93, CFH+93b, Hag94, HCF+94]. [Sou97]. Integrity [IEE89a]. Intellectual [IEE89b, IEE88a]. intelligence [YT91]. Hammersmith [Ano89b]. handling intelligent [PHY+92]. interactive [MR95]. [Bla88, BGH+89, BM91, Koo93]. Hardware interface [BTG+88, KN93, MR95, Min93, [Ano93b, WLT93, GAR+93]. harmonizing Nic91, Rob94, TTG+87]. Interfaces [Ish92]. Hawaii [Hov91, GJ91]. interim [Spe87]. Internals [HS94b, MSNS91, MMH93, MS95, Shr89]. [Bit90]. International Herrenalb [Ver90]. Heterogeneous [ACM89, ACM92b, Amm90, Ano93a, Bur90, [CP97]. HI CJ92, GHR89, HS94b, IEE88a, IEE89b, [HS94b, MSNS91, MMH93, MS95, Shr89]. IEE90a, IEE91, IEE92b, IEE93a, IEE93d, High [GHR89, Mai93, She91, SED+89, IEE94f, IEE94c, IEE94d, IEE94e, IEE95b, BM92, MB93]. High-Bandwidth [Mai93]. IEE95d, MMR91, MSNS91, MMH93, MS95, High-Performance [She91, BM92, MB93]. NDB94, SBC+94, Shr89, Vor92]. highly [LBLM90]. highly-parallelized [Spe87]. interpretation [May88]. [LBLM90]. Hill [IEE88a]. history [SC93]. interprocess [Bas91, Joh91, Rao91]. HoME [OKID92]. Hotel [IEE88a]. interrupt [SCB93]. Introduction 6

[Rob90, Bol89]. inversion [NKAT93]. [CLNW90, Mac91, Mac92, McD89]. load investigation [WGR93]. invocations [Jal92, MGZ93, Sha91]. Local [Mil94]. [GMSS94]. IP [And90, CJMT93, Moy93]. Location [USE93c]. IPC Location-Independent [USE93c]. lock [Bar91, KTN93, Koo93, MLB+97, OMOP93]. [Car93, CPW93]. Logic [Vor92, DLR+92]. Iris [Mal91]. ISCA [Ano93a]. ISMM lookaside [BKW94, BRG+89, Ros89]. [Amm90]. issues [BTM88]. Italy loosely [BAA94]. Lottery [WW94]. [Ano92b, TP94]. ITG [Jam92]. IV [Bur90]. Louisiana [USE95b]. Low [Ros89, DW95]. Low-synchronization [Ros89]. LPAR January [Vor92]. [Ano90c, HS94b, IEE93d, MSNS91, MMH93, MS95, Shr89, USE91c, USE94, USE95b]. M [SGM90]. MA Japan [IEE95d, Ish92]. Java [MKT98]. [ACM89, ACM92b, IEE94d, Mai93, USE93c]. Joint [Bur90]. July [Ano89a, TP94, Vor92]. Maarten [HS94a]. Mac [PM18]. Mach June [ACM92a, Ano89b, Ano91a, Bd92b, [AKST93, EKM+99, KONT95, Ras89, TN91, IEE89a, IEE93a, USE95a]. USE91a, USE93a, USE93b, ABG+86, ACCB93, BTG+88, JR86, Lac91, Ras87, Kailua [Shr89]. Kailua-Kona [Shr89]. Tev87b, TBG+87, TTG+87, And90, Bab89, Kauai [MSNS91]. Kernel Bab90a, Bab90b, Bacxx, BCB88, BRS+85, [ABG+86, Ano93c, CRRS93, JR86, Leh89, Bar91, BD92a, BDMVL93b, BDMVL93a, RH91, TST96, TBG+87, USE92a, USE93d, Bas91, Bau92, BB93, Bit90, BS91, Bit92, BHMR91, BTG+88, Bit92, BTMD89, Car93, Bla88, BGH+89, Bla90a, Bla90b, BGJ+91, CLR94, Dri92, GMSS94, GD91, LHFL93, Bla91, BGJ+92, Bol89, BCC+91, BL90c, May88, Ras89, RJO+89, RT90, SR89, Wel91, BL90b, BKLL93, BTM88, BL89, Bro97, WKF+92, Pet92]. kernelized [DA92]. BCCR91, Car93, CLR94, CNTS93, CB89, Kernels [USE92a, BM95, CPW93, LHC93, CB90, Cha94, CR92b, CR92a, CMS90, PLL91, SCB93]. Kiel [Jam92]. Kona CJMT93, Chexx, Dan93, Dan94, Dra91, [Shr89]. KTK [GMSS94]. Dra92, Dri92, DW95, Duc91, EKM+99, ES90, FM93, FKJ+92, FL94, For88, Lake [USE95a]. Lancaster [SBC+94]. FGB91b, FGB91a, GBB93a, GBB93b, Gol90, Language GD91, GJ91, Hov91, Imaxx, Jaf93, Jal92, [ACM92a, BO96, CFK+91, GW90a, JR86]. Joh91, JCS+91, KF93, KTN93, Koo93, Languages [ACM86, ACM89, ACM92b, Kup93, KD95, LBLM90, Leh89, LHFL93, ACM93c, IEE90a, SS96, Ono93]. Large MRGB91, Mal91, McD89]. Mach [BRS+85, CR92b, CR92a, Koo93, Ros89, [MR95, MUI95, MGZ93, MZDG93, Mil94, YMBM94]. Large-Scale MLB+97, Min95, Mit91, Mit93, MKT98, [BRS+85, CR92b, CR92a, Ros89]. latency Mor96, Moy93, NM91, NYM92, NKAT93, [Jef94]. lecture [BS91, Bit92]. Level Nan91, Nic91, OMOP93, Pad95, PRK95, [GSR93, SP91b, Dea93, DW95, OT94, OT95, Pat93, Pet92, PAO93, Rao91, RBF+89, SP91a, TNML93]. Leverage RJO+89, RT90, RMGB91, Ras91, Red92, [IEE89b, IEE88a]. leverage/COMPCON Rob94, RSS93, RS95, Saa92, SR89, ST93, [IEE88a]. Libraries [Ano89b]. library Seb91b, Seb91a, SP91a, SP91b, Sha91, [Dea93, Moy93]. Life [Pet93]. Linkage Sou97, Spe87, SJ95, THKS95, TST96, [Ros94]. Linux [Bro97]. Lisp Tev87a, TS89, TN95, Tof89, Tok95, USE90, 7

Uhl92, WKF+92, Wie92, Yep92]. Mach-1 methods [Che93, GJ94, NDB94]. Mexico [BRS+85]. Mach-Based [USE93a, USE93b]. Micro [USE92a, [Mor96, Cha94, LBLM90, PRK95]. BHMR91, BM95, Car93, CLR94, Dri92]. Mach-US [SJ95]. Mach/4.3BSD micro-kernel [BL90c, BL90b]. Mach/EPEX [Bol89]. [BHMR91, Car93, CLR94, Dri92]. Mach/IBM [McD89]. Machine Micro-Kernels [USE92a, BM95]. [Cra90, cJmC91]. Macintosh [Bro97]. making [Ano95]. managed [BGJ+91, BGJ+92, CN92, MZDG93, Mil94, [NUS+93, UNS+94]. Management THKS95, BCF+93, BO96, CNTS93, [SP91b, BGW89, BM91, BFS89, DBRD91, CJMT93, GMR93, KD95, LMR93, MGZ93]. Jef94, Joh91, Lie92, MR95, MDRK93, Microkernel-based [THKS95, LMR93]. NKAT93, Nic91, Rob94, RSS93, SP91a, [Ano93c, USE93d, vRBC+92]. SCB93, Tev87a, Uhl92, WW94, WB92]. Microprocessing [Ano93b]. manager [GD91]. Managing microprocessor [GAR+93]. [Ano92c, Sub91, MST93]. Manual microprocessor-based [GAR+93]. [Ano93d, BTG+88, Mac91, Mac92, McD89]. microprocessors [KLN91]. Manufacturing [IEE94c]. mapped Microprogramming [Ano93b]. [MDRK93, TTG+87]. March [Ano92d]. microtasking [GW90a]. [Ano91b, Ano92c, Ano93d, Ciz94, IEE88a, midrange [AG95]. Midwest [Ano93d]. IEE89b, IEE90a, IEE94e, IEE95a, Jam92, Migrating [FL94]. Migration USE91b, USE92b]. Marketplace [Ano92c]. [MZDG93, MDP+00, Pha91, WGR93]. Markov [Saa92]. Maryland [Ano95]. MIKE [CNTS93]. MIMD [cJmC91]. Masix [CLR94]. Matching [BM95]. MIPS [MYS+93]. mission [BT92]. Matchmaker [JR86]. May MITRE [GJ94]. MK [MYS+93]. MKM [ACM93b, Ano93a, IEE89c, IEE92a, IEE94d, [Leh89]. MMU [Mal91]. Mobile [USE93c]. IEE94a, IEE95c, SS96]. MC88200 [Mal91]. Model MD [IEE89a]. measure [FKJ+92]. [FL94, May88, Saa92, TS89, WKF+92]. Measurement [ACM93b]. measurements Modeling [ACM93b, AKST93]. modern [Dan93, Dan94, Leh89]. Measuring [BM95]. module [Mal91]. monitor [CPW93]. mechanisms [BHMR91]. media [GAR+93, Tof89, Leh89]. monitoring [And90, TN95, Tok95]. meditation [MR95, PHY+92, TI94b]. Monterey [BTMD89]. Meeting [Ano94, USE91a]. move [Far89]. movement [Ano92c, Ciz94, Jam92]. Melbourne [DA92]. Moving [GD91]. MSD [GW90b]. [Ano89a]. Memory Multi [BJ94, CJMT93, GJ91]. multi-class [ACM93c, BB93, Bit90, BCCR91, SP91b, [CJMT93]. multi-server [GJ91]. BM92, BGW89, BCF+91, BJ94, BFS89, Multi-view [BJ94]. multicast [vRBC+92]. BM95, CR92b, CR92a, CB93, CRRS93, multicomputer [Roy93]. Multimedia For88, GD91, IKWS92, JM92, Joh91, [IEE94d, NM91, NYM92, Dan93, MST94, cJmC91, MDRK93, NUMS94, Nic91, Pad95, Dan94]. Multimedia/Realtime Red92, Rob94, RP94, Ros89, Saa92, SGM90, [NYM92, NM91]. multiple SP91a, TI94a, Tev87a, TTG+87, WLT93]. [CCGS92, GMR93, NUMS94, YMBM94]. memory-mapped [MDRK93]. message multiple-API [NUMS94]. multiplication [BTMD89, Tof89]. messages [KLN91]. Multiprocessor [Koo93, YMBM94]. method [FKS92]. [Ano91b, BRS+85, SZG92, USE91b, USE92b, 8

BAA94, CPW93, CR92b, CR92a, JM92, OOPSLA [ACM86]. Open PLL91, Ros89, SZ92, TI94a]. [Ano93b, Ras89, RBF+89, Wah90]. Multiprocessors [ACM93c, WWT89]. OpenForum [Ano92a]. Operating multithreaded [CB89, CB90, Pha91]. [ACM89, ACM91, ACM92b, ACM93a, mutual [BRE92]. MVM [GMR93]. Ano94, BRS+85, BT92, Bla90b, BCR91c, CJ92, IEE89d, IEE91, IEE93b, IEE94a, Napa [IEE93b]. Nashville [Ano91a]. MBS95, MHP94, RP94, SBC+94, THKS95, National [Ano95]. NATO [HS94a]. Tok95, Ano88a, BCF+93, Bla90a, BGJ+91, NATUG [Boa90]. NATUG-2 [Boa90]. NC BGJ+92, BJ95, BL89, BCR91a, BCR91b, [ACM93a, Boa90, IEE93e]. nCUBE CPW93, CLR94, CLFL94, CB93, CCGS92, [MUI95]. need [KLM+93]. Nemesis DBRD91, Dri92, DW95, FKJ+92, FKS92, [Ros94]. Netherlands [Ano92a]. Network Fuk93, Fur94, GGDD92, Jal92, Jef94, Joh91, [Bar91, SBC+94, Bas91, BL90a, OMOP93, KLM+93, Lac91, LMR93, MST94, MRZ94, Pet93, Ras87, RH91, TNML93]. networking NUMS94, NM91, PLL91, Rag92, Ras87, [MB93]. Networks [CP97]. neural [BL90a]. RBF+89, Ras91, Rob90, Ros94, SR89, Sha91, Newport [USE92b]. Next [Fur94, She91, Sta94, SCB93, TS89, Tof89, WWT89]. Cra90, Min93, TMJY91, TS90, Wil88]. operations [Min95]. OptiMach [Bacxx]. Next-Generation [She91]. Nice [Ano90b]. Optimal [NUMS94, Ben92]. Optimistic Nineteenth [Ano93b]. North [Boa90]. [Bacxx]. optimization [Koo93]. NOSSDAV [SBC+94]. notes [BS91, Bit92]. Orientated [ACM86]. Orientation November [Ano90a, Ano92a, Ano94, BS91, [CJ92, IEE91]. Oriented Bit92, SBC+94, USE91a]. NT [AG95]. [TP94, BCF+93, BCC+91, CNTS93, Dri92, NUMA [BFS89]. NY GJ91, Hag94, Imaxx, JR86, KD95, MFY91, [Amm90, IEE94c, SS96]. Min93, Ono93, TS89]. Orlando [IEE88b]. Orleans [IEE90a, MMR91, USE95b]. OS/2 O [FGB91b, FGB91a]. O.S. [Hov91]. [PAO93]. OS/network [Pet93]. OSDI Oakland [IEE89c, IEE92a]. Object [Ano94]. OSF [Bit92, BCF+91, BM91, [ACM86, CJ92, Dri92, GJ91, HCF+94, Mit91, MYS+93, Uhl92, Wah90]. OSF/1 IEE91, SJ95, TP94, BCF+93, BBP92, [Bit92, BCF+91, BM91, Mit91, MYS+93, BHM+93, BCC+91, CNTS93, CFH+93b, Uhl92, Wah90]. OSF/1-MK [MYS+93]. GADV91, Hag94, Imaxx, JR86, KD95, Other [Ano93c, USE92a, USE93d]. MFY91, Min95, Min93, Ono93, TS89]. Overview [Seb91a, FKL91, JCS+91]. object-based [BBP92, GADV91]. Object-Orientated [ACM86]. PA [Ano88b, IEE94e]. Pacific Object-Oriented [TP94, GJ91, BCF+93, [ACM91, GHR89, IEE89d]. packages BCC+91, CNTS93, Hag94, Imaxx, JR86, [OT95]. packet [YMBM94]. Padula KD95, MFY91, Min93, Ono93, TS89]. [May88]. Page [Dra91, SC93, Saa92]. pager Objects [BST95, GMSS94, MDRK93]. [Sub91]. pages [Sub91]. paging [KN93]. OCCAM [Ano89a]. October [ACM86, Palo [IEE91]. Papers ACM91, ACM92b, ACM93c, Amm90, [IEE89b, IEE93a, IEE95a, IEE88a]. Ano90b, Ano95, Boa90, EHP94, HS94a, paradigm [CCGS92]. Parafrase [YTC94]. IEE90b, IEE91, IEE93b, IEE94c, IEE94b, Parafrase-2 [YTC94]. Parallel [Amm90, IEE95d, Ish92, MMR91, NDB94, USE90]. Ano89b, Ano92b, Bur90, CP97, Fuk93, OlDiLa [Bau92]. on-chip [NUMS94]. Gir94, IEE93d, IEE95b, Nil92, THKS95, 9

BL90a, Bry88, BCR91c, CFK+91, DF94, [IEE89a, MDP+00, BM91]. Processing DLR+92, MFY91, TI94b, Tev87a, Tob93]. [Bur90, IEE95b, SPB88, Nil92, SGM90, Parallelism SED+89, Tob93, WWT89]. Processor [Ano89b, Bla90b, Bla90a, cJmC91]. [MST93, MST94, Wen88]. Processors Parallelization [BL90c, BL90b]. [Bla91]. production [YT91]. parallelized [CJ91, LBLM90]. Programming Parallelizing [BM91]. PARSAC [KLN91]. [ACM86, ACM89, ACM92a, ACM92b, Bd92b, PARSAC-2 [KLN91]. passing [BTMD89]. BKLL93, CP97, TP94, BO96, BCR91c, PC [Cha94, CFK+91]. Performance CFK+91, CNTS93, CCGS92, DF94, DLR+92, [BL90a, Dan93, Dan94, GHR89, Jaf93, JM92, NCS+90, RNJ+90, TI94b, Vor92]. Joh91, Rao91, She91, BM92, Car93, CPW93, programs CB93, FKJ+92, For88, FKS92, IKWS92, [Cha94, CJ91, GMR93, YTS88, Yep92]. KF93, LHFL93, MB93, SED+89, TS90]. proportional [WW94]. persistence [VBD+92]. Persistent proportional-share [WW94]. prospective [HCF+94, CRRS93, MDRK93]. personal [Fur94]. Protection [LMR93]. Personality [PAO93]. [Hag94, BM95, CLFL94, MRZ94]. Protocol Petersburg [Vor92]. Phoenix [Ciz94]. [MB93, RH91]. protocols [TNML93]. Physical [SP91b, SP91a]. Physics [Cra90]. Prototype [E+91, PC90, WKF+92]. Pittsburgh [Ano88b, IEE94e]. platform Providing [Cha94, Min95]. purpose [CNTS93]. PMAP [Mal91]. Point [IEE94b]. [BJ95, SED+89]. policy [Bla91, Min95]. Port [Koo93]. porting [CR92b, CR92a]. Portland QOS [TK94, KONT95]. QoS-Control [ACM86, USE88, USE92c]. Practice [KONT95]. [Ano92a]. prefetching [BKW94, SC93]. Preprints [Bd92b]. present [GGDD92]. R [GKK94]. R-TICS [GKK94]. Raleigh Primitives [GBB93b, GBB93a]. Principles [IEE93e]. reactive [PHY+92]. reader [ACM91, ACM93a]. priority [Ben92]. reader-writer [Ben92]. Real [Bla91, CJMT93, NKAT93, SCB93]. [BB93, Bd92b, Ciz94, HS94a, IEE88c, priority-based [CJMT93]. Privacy IEE93e, IEE94a, IEE95c, IEE95d, KONT95, [IEE89c, IEE92a]. problem [Ben92]. KTN93, MKT98, ST93, SZG91, Sta94, Proceeding [MMH93]. Proceedings TST96, Ano95, BJ95, Dan93, EKM+99, [ACM86, ACM89, Amm90, Ano88b, Ano89a, Fur94, GKK94, LHC93, MRZ94, NCS+90, Ano90b, Ano90c, Ano91a, Ano92a, Ano92c, OT94, OT95, RNJ+90, SZG92, SZ92, TN91, Ano93c, Ano93d, Ano94, Boa90, Bur90, TK94, AKST93, Dan94, NKAT93, TN95]. CJ92, Ciz94, GHR89, HS94a, HS94b, IEE88c, Real-Time IEE89a, IEE89c, IEE89d, IEE90b, IEE91, [Bd92b, IEE88c, IEE93e, IEE94a, IEE95c, IEE92a, IEE92b, IEE93b, IEE93c, IEE93e, IEE95d, KONT95, KTN93, MKT98, TST96, IEE93d, IEE94f, IEE94c, IEE94d, IEE94a, ST93, SZG91, Sta94, BJ95, Dan93, EKM+99, IEE94e, IEE94b, IEE95b, IEE95c, IEE95d, Fur94, GKK94, LHC93, MRZ94, NCS+90, MSNS91, MS95, SBC+94, Shr89, TP94, OT94, OT95, RNJ+90, SZG92, SZ92, TN91, USE88, USE91a, USE91c, USE92a, USE92c, TK94, AKST93, Dan94, NKAT93, TN95]. USE93a, USE93b, USE93c, USE93d, USE94, Real-World [Ciz94]. Realtime USE95b, Ver90, Ano95, EHP94, Ish92, [NYM92, DW95, Jen94, NM91]. reasoning MMR91, NDB94, USE90, Vor92]. Process [Vor92]. Rechensystemen [Jam92]. 10

Recoverable [Pad95, CRRS93]. IEE89a, IEE89c, IEE92a, USE88, USE95a]. recoverable-persistent [CRRS93]. SEDMS [Ano91b, USE91b, USE92b]. self Recovery [Bacxx, Gol90, Red92]. [YTS88]. self-securing [YTS88]. semi Redirecting [Pat93]. reference [Dra91]. [Saa92]. semi-Markov [Saa92]. September refined [May88]. refinement [Bau92]. [ACM86, ACM93c, Ano88b, Ano92b, Reflection [OT95]. Related [HCF+94]. Ano93b, Ano93c, Bur90, CJ92, GHR89, Reliable [CLNW90, IEE94b, vRBC+92, IEE89d, IEE92b, Mai93, USE93d, Ver90]. BHMR91, BHM+93, NCS+90, RNJ+90]. Server [BST95, MKT98, ACCB93, Bas91, Remote [MLB+97, MBS95]. replacement For88, GJ91, GJ92, ES90]. Servers [Dra91, Saa92]. Report [Mit93, Spe87]. [KONT95, SJ95, BHMR91, Dan93, LHFL93, requirement [BT92]. Research RH91]. service [CJMT93, MB93]. services [Boa90, IEE92a, Nil92]. Researches [BHSC98, JCS+91, Nic91]. Seventh [Tob93]. reserves [MST93, MST94]. [Ano93d, HS94b]. share [WW94, Ano92c]. resident [BJ95, SGM90]. Resource Shared [BCCR91, HCF+94, BGW89, [Mit91, MR95, WW94]. results [MHP94]. CR92b, CR92a, CFH+93b, For88, Jef94, review [AG95]. RIG [Ras87]. RISC JM92, cJmC91, Pad95, Rob94, RP94, Ros89, [Jaf93]. RP3 [Bry88, BCR91a, BCR91b, TTG+87, WLT93]. shared-memory BCR91c, CR92b, CR92a, CJ91]. RPC [CR92b, CR92a, cJmC91, Ros89]. Sharing [Duc91, IMP94]. RT [EKM+99, EKM+99, [CLFL94]. SICS [Nil92]. Sigmetrics KTN93, McD89, MR95, Tok95]. RT-IPC [ACM93b]. signal [BM91]. SIGPLAN [KTN93]. RT-Mach [EKM+99, MR95]. [ACM92a]. Silicon [Mal91]. Simple RTOSS [IEE94a]. Run [BFS89]. simulations [BL90a]. single [ACM93c, MDRK93, SS96]. Run-Time [CLFL94, Ros94]. single-address-space [ACM93c, SS96, MDRK93]. running [CLFL94]. Sint [HS94a]. SISAL [GW90a]. [GMR93, Yep92]. Runtime [TST96]. Sixteenth [IEE92b]. Sixth [MMH93]. Russia [Vor92]. Sizing [TS90]. small [Koo93, WWT89]. small-scale [WWT89]. Smalltalk Safety [IEE89a]. Salt [USE95a]. San [OKID92]. Society [ACM92a, Ano93a, Ano93c, IEE88a, IEE89b, [IEE88a, IEE89b, IEE92a, Ish92]. Software IEE93c, IEE93d, IEE95a, USE93d, USE94]. [Ano89b, Ano93b, BKW94, Che93, HS94b, Santa [ACM93b, IEE95b, USE93a, USE93b]. IEE89a, IEE92b, IEE94a, Shr89, TMJY91, Scalable [SS96]. Scale Uhl92, Wah90, BRG+89, GW90b, NUS+93, [BRS+85, CR92b, CR92a, Ros89, WWT89]. RJO+89, RT90, TI94b, Tof89, UNS+94, Scaling [Ciz94]. Scheduler Voe89, WGR93]. software-managed [BDMVL93b, BD92a, BDMVL93a, AKST93]. [NUS+93, UNS+94]. solution [Ben92]. Scheduling [Bla90a, Bla90b, WWT89, Some [BBP92]. sound [Min93]. space BAA94, Bla91, PHY+92, WW94, Wen88]. [CLFL94, Ros94]. Spain [Ano93b, NDB94]. schizophrenic [SCSK93]. School [Ver90]. Spring [Ano92c, IEE88a, IEE89b]. Sprite Science [Ciz94]. Sciences [Kup93]. SR [BO96]. St [Vor92]. Stardust [HS94b, MSNS91, MMH93, MS95, Shr89]. [CP97]. status [JCS+91]. Step [Bau92]. Seattle [IEE94a, USE92a]. Second stock [KLN91]. storage [MDRK93]. [CJ92, IEE89d, IEE93d, IEE94e, IEE95d, StrongBox [YTS88]. structure [CB93]. NDB94, Shr89]. secure [Ben92]. securing Structured [BCCR91]. Study [YTS88]. Security [Ano95, BTM88, IEE88b, [HS94a, MLB+97]. Subjects [BST95]. Suite 11

[FKL91, KF93]. suited [BCF+93]. Summer GGDD92, GAR+93, GADV91, GKK94, [Ano91a]. Supercomputer [WGR93]. IMP94, Jal92, Jef94, Jen94, JR86, KLM+93, Supercomputers [Ano88b]. MFY91, MRZ94, NUMS94, Ras89, RBF+89, superdatabase [PC90]. Superhighway Ras91, Rob90, Sta94]. systems-supporting [IEE95a]. Support [ACM89, ACM92b, [BJ95]. systems/Unix/AIX [Ras91]. Bla90b, BJ95, HCF+94, Hov91, SBC+94, BCF+93, BO96, Bla90a, BCR91c, CN92, Task [MZDG93, MBS95]. Tasking CFH+93b, CRRS93, GMSS94, JR86, MST94, [MLB+97]. Tasks [Bacxx, GSR93, BAA94]. MR95, MDRK93, MBS95, Red92, RH91, TC2000 [WGR93]. TCP RP94, Tok95, YTS88, Yep92]. Supporting [And90, CJMT93, Moy93]. TCP/IP [BCC+91, BCCR91, Imaxx, BJ95, VBD+92]. [And90, CJMT93, Moy93]. Technical Switzerland [Bur90]. Symposium [Ano92a, USE92c, USE95b]. Techniques [ACM91, ACM93a, Ano90a, Ano91b, [She91, BFS89]. Technologies Ano93a, Ano93b, Ano93c, Ano94, IEE88c, [IEE95a, Mai93]. Technology IEE89c, IEE92a, IEE93a, IEE93e, IEE94f, [Ano89a, Ano90a, HS94b, IEE94c, IEE95c, IEE94b, IEE95b, IEE95c, MMR91, Mit93, Voe89, BCF+93, Ish92, Rag92, TMJY91]. NDB94, USE91a, USE91b, USE92b, USE93a, Telecommunications [Ano89a]. Temporal USE93b, USE93c, USE93d, USE95a]. [MRZ94]. testbed [Dan93, SGM90, Dan94]. synchronization [Ros89, TN91]. synthesis Third [ACM89, IEE88a, IEE93a]. [WGR93]. System Thirteenth [ACM91]. Thirty [Ano93b, Bla90b, Chexx, ES90, FGB91a, [IEE88a, IEE89b]. Thirty-Fourth [IEE89b]. HCF+94, HS94b, Jaf93, MSNS91, MMH93, Thirty-Third [IEE88a]. Thread MS95, Pat93, SBC+94, Shr89, SPB88, [DF94, FL94, DBRD91, Lie92, OT95]. THKS95, Ano88a, BBP92, BHM+93, BCB88, Threads [Duc91, NCS+90, RNJ+90, Dea93, BT92, BHSC98, Bla90a, BGJ+91, BGJ+92, OT94, SZG91, SZG92, SZ92, TI94b, BJ94, BCC+91, BTM88, BL89, BCR91a, TBG+87, TK94]. Three [GJ94]. TICS BCR91b, BCR91c, CPW93, CLR94, [GKK94]. Time [ACM93c, Bd92b, HS94a, CLFL94, CB93, Che93, CFH+93b, DLR+92, IEE88c, IEE93e, IEE94a, IEE95c, IEE95d, Dri92, DW95, FKJ+92, FGB91b, FKS92, KONT95, KTN93, MKT98, SS96, TST96, GJ91, Hag94, Imaxx, Joh91, Lac91, LMR93, BJ95, Dan93, EKM+99, Fur94, GKK94, MST94, MBS95, Min95, Moy93, MHP94, Jef94, LHC93, MRZ94, MDRK93, NCS+90, NM91, PLL91, PRK95, PHY+92, Rag92, OT94, OT95, RNJ+90, ST93, SZG91, Ras87, RJO+89, RT90, RP94, Ros94, SR89, SZG92, SZ92, Sta94, TN91, TK94, Wen88, Sha91, SCB93, SCSK93, TS89, Tof89, Tok95, AKST93, Dan94, NKAT93, TN95]. Wel91, WWT89, YT91, E+91, SGM90]. time-driven [Wen88]. time-shared [Jef94]. Systems [ACM86, ACM89, ACM91, timers [ST93]. TLB [Uhl92]. TLBs ACM92b, ACM93b, ACM93a, Amm90, [NUS+93, UNS+94]. TMach [May88]. TN Ano91b, Ano92b, Ano94, Ano95, GHR89, [Ano91a]. Tokyo [IEE95d, Ish92]. Tolerant IEE88c, IEE89a, IEE89d, IEE90b, IEE91, [Bab90b, Chexx, IEE93a, ACCB93, Bab89, IEE93b, IEE93e, IEE93d, IEE94d, IEE94a, Bab90a, BHMR91, EKM+99, Nan91, RSS93]. IEE94e, IEE94b, IEE95d, Jam92, She91, tool [CFH+93a, TI94b]. Tools [Ano89b]. SS96, USE91b, USE92b, BCF+93, BAA94, top [CLR94, CNTS93, FKS92, MGZ93, Bau92, BJ95, CJ92, CFH+93a, CCGS92, MZDG93]. Toulouse [IEE93a]. tracing DA92, DF94, DBRD91, Fuk93, Fur94, [Che93, GAR+93]. Track [Shr89]. tradeoffs 12

[NUS+93, UNS+94]. train [EKM+99]. GBB93a, GBB93b, BHMR91, BM95, FKS92, Transaction [GHR89, Nan91, SPB88, KF93, Nic91, WKF+92]. UT [USE95a]. SGM90, Spe87, SED+89]. Translation Utrecht [Ano92a]. UX [RS95]. [BRG+89, BKW94, Ros89]. Transparent [Gol90, RSS93, RS95]. Transputer V [ACM92b]. validation [AKST93]. VAPP [Ano89a, Boa90]. transputers [SR89]. [Bur90]. Variants [Mor96]. Vector [Bur90]. treatment [IMP94]. Troy [IEE94c, SS96]. Vehicles [Ano90a]. Venezuela [Gir94]. Trusted [BST95, E+91, FM93, Seb91b, Vermont [USE90]. version [OKID92]. Seb91a, BCB88, BTM88, BL89, ES90]. versus [PM18]. Victoria [Ano89a]. Video Twenty [HS94b, IEE93a, MSNS91, MMH93, [SBC+94]. view [BJ94]. Virtual MS95, Shr89]. Twenty-Eighth [MS95]. [Bit90, BCCR91, BCF+91, CRRS93, Twenty-Fifth [MSNS91]. Twenty-Second IKWS92, Joh91, Red92, Saa92, Tev87a]. [Shr89]. Twenty-Seventh [HS94b]. Virtually [CMS90, IKWS92, WB92]. VMS Twenty-Sixth [MMH93]. Twenty-Third [WKF+92, Wie92]. vnode [LBLM90]. Vol [IEE93a]. TX [IEE93c, USE91c]. [HS94b]. Vol.II [Shr89]. volumes [Koo93].

UK [Ano89b, SBC+94]. uniprocessors WA [IEE94a, USE92a]. Wailea [BRE92]. universal [CCGS92, Dri92]. Unix [HS94b, MMH93, MS95]. WARASA [Imaxx, ABG+86, Ano88b, Bas91, Jal92, [JM92]. Washington [Ano90a, Ano90c]. Mor96, SJ95, Tev87b, TBG+87, TTG+87, well [BCF+93]. West [Ver90]. WG10.3 USE88, USE95a, Ano88a, Ano92d, BCC+91, [Gir94]. Whitewater [Ano93d]. Who Dri92, Rao91, Ras91, Roy93, TS89]. USA [Ano92d]. WI [Ano93d]. Window [ACM86, ACM89, ACM91, ACM92a, [ES90, E+91]. windows [Ano92d, GMR93]. ACM92b, ACM93b, ACM93a, ACM93c, Winter [Ano90c, USE91c, USE94]. within Amm90, Ano88b, Ano90a, Ano90c, Ano91a, [BJ95]. without [Lie92]. Work [HCF+94]. Ano91b, Ano93a, Ano93c, Ano93d, Ano94, Working [Gir94]. Workshop Boa90, Ciz94, GHR89, HS94b, IEE88b, [ACM93c, Ano88b, Ano92b, Bd92b, CJ92, IEE88c, IEE89a, IEE89b, IEE89c, IEE89d, GHR89, IEE89d, IEE90b, IEE91, IEE93b, IEE90a, IEE90b, IEE91, IEE92a, IEE92b, IEE94a, IEE94e, IEE95d, SBC+94, USE88, IEE93b, IEE93c, IEE93e, IEE93d, IEE94f, USE92a, USE90]. Workstation [Ano92b, IEE94c, IEE94d, IEE94a, IEE94e, IEE94b, IEE89d, IEE93b, BM92, Sha91, SCSK93]. IEE95a, IEE95b, IEE95c, Mai93, MMR91, Workstations [CP97, AG95, Mal91]. MSNS91, MMH93, MS95, Shr89, SS96, World [Ciz94]. WPI [FKL91, KF93]. USE88, USE91a, USE91c, USE92a, USE92b, wrappers [KD95]. writer [Ben92]. Writing USE92c, USE93a, USE93b, USE93c, [GJ92, Dan93]. WRTP [Bd92b]. WWOS USE93d, USE94, USE95b]. usage [MST93]. [IEE89d]. WWOS-II [IEE89d]. USENIX [USE90, Ano88b, Ano90c, Ano91a, Ano93c, Ano94, USE92c]. User X [ES90, E+91]. X11 [Ano89a, GSR93, OT94, SP91a, SP91b, [And90, GBB93a, GBB93b]. Dea93, Mac91, Mac92, McD89, Moy93, OT95, PRK95, ST93, TNML93]. York [Amm90]. User-Level [GSR93, SP91b, OT94, SP91a, Dea93, OT95]. Zurich [Bur90]. Users [Boa90]. Using [Dea93, DBRD91, REFERENCES 13

References Support for Programming Lan- guages and Operating Systems, Accetta:1986:MNK Boston, MA, USA, April 3– [ABG+86] Mike Accetta, Robert Baron, 6, 1989. ACM Press, New David Golub, Richard Rashid, York, NY 10036, USA, 1989. Avadis Tevanian, and Michael ISBN 0-89791-300-0. LCCN Young. MACH: a new ker- QA76.9.A73I565 1989. ACM nel foundation for UNIX de- order number 556890. Also velopment. Technical report, published as Computer archi- Carnegie Mellon University, tecture news, v. 17, no. 2 (Apr. Dept., Pitts- 1989), Operating systems re- burgh, PA, USA, 1986. 18 pp. view, v. 23, special issue (Apr. URL https://www.cs.ubc. 1989), and SIGPLAN notices, ca/~norm/508/2009W1/mach_ v. 24, special issue (May 1989). usenix86.pdf. ACM:1991:TAS Arevalo:1993:FSM [ACM91] ACM, editor. Thirteenth ACM Symposium on Operating Sys- [ACCB93] S. Arevalo, J. Carretero, J. L. tems Principles, Pacific Grove, Castellanos, and F. Barco. A CA, USA, October 13–16, fault-tolerant server on MACH. 1991, volume 25(5) of Oper- In Anonymous [Ano93b], pages ating Systems Review.ACM 793–800. CODEN MMICDT. Press, New York, NY 10036, ISSN 0165-6074. USA, 1991. CODEN OSRED8. ACM:1986:OOO ISSN 0163-5980. ACM order number 534910. [ACM86] ACM, editor. OOPSLA ’86. Object-Orientated Program- ACM:1992:ASC ming Systems, Languages and [ACM92a] ACM, editor. ACM SIGPLAN Applications. Conference Pro- ’92 Conference on Program- ceedings. Portland, OR, USA, ming Language Design and Im- 29 September–2 October 1986, plementation, San Francisco, volume 21(11) of ACM SIG- CA, USA, June 17–19, 1992, PLAN Notices. ACM Press, volume 27(7) of ACM SIG- New York, NY 10036, USA, PLAN Notices. ACM Press, November 1986. CODEN SIN- New York, NY 10036, USA, ODQ. ISSN 0362-1340 (print), July 1992. CODEN SINODQ. 1523-2867 (print), 1558-1160 ISSN 0362-1340 (print), 1523- (electronic). 2867 (print), 1558-1160 (elec- ACM:1989:APT tronic). ACM:1992:FIC [ACM89] ACM, editor. ASPLOS-III Pro- ceedings. Third International [ACM92b] ACM, editor. Fifth Inter- Conference on Architectural national Conference on Ar- REFERENCES 14

chitectural Support for Pro- September – 2 October 1992, gramming Languages and Op- volume 28(1). ACM Press, New erating Systems (ASPLOS-V), York, NY 10036, USA, Jan- Boston, MA, USA, October 12– uary 1993. CODEN SINODQ. 15, 1992, volume 27(9) of ACM ISSN 0362-1340 (print), 1523- SIGPLAN Notices. ACM Press, 2867 (print), 1558-1160 (elec- New York, NY 10036, USA, tronic). September 1992. CODEN SIN- ODQ. ISSN 0362-1340 (print), Apiki:1995:FNW 1523-2867 (print), 1558-1160 [AG95] S. Apiki and R. Grehan. Fastest (electronic). NT workstations (midrange ACM:1993:ASO workstations review). Byte Magazine, 20(3):115–120, 122, [ACM93a] ACM, editor. 14th ACM Sym- March 1995. CODEN BYT- posium on Operating Systems EDJ. ISSN 0360-5280. Principles, Ashville, NC, USA, Arakawa:1993:MVR December 5–8, 1993, volume 27(5) of Operating Systems Re- [AKST93] H. Arakawa, D. I. Katcher, view. ACM Press, New York, J. K. Strosnider, and H. Tokuda. NY 10036, USA, December Modeling and validation of the 1993. CODEN OSRED8. ISSN Real-Time Mach Scheduler. In 0163-5980. ACM [ACM93b], pages 195– 206. CODEN PEREDN. ISSN ACM:1993:ASC 0163-5999 (print), 1557-9484 [ACM93b] ACM, editor. 1993 ACM Sig- (electronic). metrics Conference on Mea- Ammar:1990:PII surement and Modeling of Computer Systems, Santa [Amm90] R. A. Ammar, editor. Proceed- Clara, CA, USA, May 17–21, ings of the ISMM International 1993, volume 21(1) of Per- Conference Parallel and Dis- formance Evaluation Review. tributed Computing, and Sys- ACM Press, New York, NY tems, New York, NY, USA, Oc- 10036, USA, June 1993. CO- tober 10–12, 1990. Acta Press, DEN PEREDN. ISSN 0163- Anaheim, CA, USA, 1990. 5999 (print), 1557-9484 (elec- ISBN 0-88986-162-5. LCCN tronic). QA76.9.D5 I86 1990. ACM:1993:WLC Anderson:1990:IDC

[ACM93c] ACM, editor. Workshop [And90] David P. Anderson. Inte- on Languages, Compilers and grated digital continuous me- Run-Time Environments for dia: a framework based on Distributed Memory Multipro- Mach, X11, and TCP/IP. Re- cessors, Boulder, CO, USA, 30 port UCB/CSD 90/566, Uni- REFERENCES 15

versity of California, Berke- Anonymous:1990:CTF ley, Computer Science Division, Berkeley, CA, USA, March 22, [Ano90a] Anonymous, editor. Computa- 1990. 22 pp. tional Technology for Flight Ve- hicles Symposium, Washington, Anonymous:1988:DOS DC, USA, November 5–7, 1990, volume 1(2–4) of Computing [Ano88a] Anonymous. Distributed op- Systems in Engineering. ????, erating system is expected to ????, 1990. CODEN COSEEO. follow Unix. Nikkei Electron- ISSN 0956-0521. ics, 456:169–178, ???? 1988. Anonymous:1990:PAE CODEN NIERE4. ISSN 0385- 1680. [Ano90b] Anonymous, editor. Proceed- Anonymous:1988:UPW ings of the Autumn 1990 EUUG Conference, Nice, France, Oc- [Ano88b] Anonymous, editor. USE- tober 22–26, 1990. European NIX Proceedings. Workshop UNIX Users Group, Bunting- on UNIX and Supercomputers, ford, Herts, UK, 1990. ISBN Pittsburgh, PA, USA, Septem- 0-9513181-8-7. LCCN ???? ber 26–27, 1988. USENIX, Anonymous:1990:PWU Berkeley, CA, USA, 1988. [Ano90c] Anonymous, editor. Pro- Anonymous:1989:CAT ceedings of the Winter 1990 USENIX Conference, Wash- [Ano89a] Anonymous, editor. Centre ington, DC, USA, January 22– for Advanced Technology in 26, 1990. USENIX, Berkeley, Telecommunications Australian CA, USA, 1990. Transputer and OCCAM User Group Conference Proceedings, Anonymous:1991:PSU Melbourne, Victoria, Australia, July 6–7, 1989. Centre for Adv. [Ano91a] Anonymous, editor. Proceed- Technol. Telecommun, Mel- ings of the Summer 1991 USE- bourne, Vic., Australia, 1989. NIX Conference, Nashville, TN, USA, June 10–14, 1991. Anonymous:1989:SPC USENIX, Berkeley, CA, USA, 1991. [Ano89b] Anonymous, editor. Soft- Anonymous:1991:SIS ware for Parallel Computers. Exploiting Parallelism Through [Ano91b] Anonymous, editor. SEDMS Software Environments, Tools, II. Symposium on Experiences Algorithms and Application Li- with Distributed and Multipro- braries, Hammersmith, UK, cessor Systems, Atlanta, GA, June 12–15, 1989. Unicom USA, March 21–22, 1991. USE- Seminars, Uxbridge, UK, 1989. NIX, Berkeley, CA, USA, 1991. REFERENCES 16

Anonymous:1992:DCP Anonymous:1993:AIS

[Ano92a] Anonymous, editor. Dis- [Ano93a] Anonymous, editor. 20th tributed Computing, Practice Annual International Sympo- and Experience Proceedings sium on Computer Architec- of the Autumn 1992 Open- ture ISCA ’20, San Diego, CA, Forum Technical Conference, USA, May 16–19, 1993, vol- Utrecht, Netherlands, Nether- ume 21(2). IEEE Computer So- lands, November 25–27, 1992. ciety Press, 1109 Spring Street, EurOpen, Buntingford, Herts, Suite 300, Silver Spring, MD UK, 1992. 20910, USA, May 1993. CO- DEN CANED2. ISBN 0-8186- Anonymous:1992:PDW 3810-9 (paper), 0-8186-3811- 7 (microfiche), 0-8186-3812-5 [Ano92b] Anonymous, editor. Paral- (case). ISSN 0163-5964 (print), lel and Distributed Worksta- 1943-5851 (electronic). LCCN tion Systems Workshop, Flo- QA76.9.A73 I58 1993. ACM or- rence, Italy, September 1991, der number 415930. IEEE cata- volume 8(1–3) of Future Gen- log number 93CH3284-7. IEEE eration Computer Systems. El- Computer Society Press order sevier Science Publishers, Ams- number 3810-02. terdam, The Netherlands, July Anonymous:1993:NES 1992. CODEN FGSEVI. ISSN 0167-739X (print), 1872-7115 [Ano93b] Anonymous, editor. Nine- (electronic). teenth EUROMICRO Sympo- sium on Microprocessing and Anonymous:1992:PSE Microprogramming (EUROMI- CRO 93). Open System De- [Ano92c] Anonymous, editor. Proceed- sign: Hardware. Software and ings. SHARE Europe Spring Applications, Barcelona, Spain, Meeting: Managing Commu- September 6–9, 1993, volume nications in a Global Mar- 38(1–5) (or 38(2–5)??) of ketplace, Cannes, France, 30 Microprocessing and Micro- March–3 April 1992. SHARE programming. North-Holland, Europe (SEAS), Geneva, Switzer- Amsterdam, The Netherlands, land, 1992. September 1993. CODEN MMICDT. ISSN 0165-6074. Anonymous:1992:WEW Anonymous:1993:PUS

[Ano92d] Anonymous. Who has the edge [Ano93c] Anonymous, editor. Proceed- in windows, Apple, Microsoft ings of the USENIX Sym- or Unix. Wharton Report, 171: posium on Microkernels and 1–6, November 1992. CODEN Other Kernel Architectures, WHREEK. ISSN 0950-1800. San Diego, CA, USA, Septem- REFERENCES 17

ber 20–21, 1993. USENIX, Babaoglu:1989:FTC Berkeley, CA, USA, 1993. [Bab89] Ozalp Babao˘glu. Fault-tolerant Anonymous:1993:SAM computing based on Mach. [Ano93d] Anonymous, editor. Sev- Technical report TR 89-1032, enth Annual Midwest Com- Cornell University, Dept. of puter Conference. Proceed- Computer Science, Ithaca, NY, ings Manual, Whitewater, WI, USA, August 1989. 20 pp. USA, March 26, 1993. Univ. Babaoglu:1990:FCBa Wisconsin-Whitewater, White- water, WI, USA, 1993. [Bab90a] Ozalp¨ Babao˘glu. Fault-tolerant Anonymous:1994:PFU computing based on Mach. Op- erating Systems Review, 24(1): [Ano94] Anonymous, editor. Pro- 27–39, January 1990. CODEN ceedings of the First USENIX OSRED8. ISSN 0163-5980. Symposium on Operating Sys- Babaoglu:1990:FCBb tems Design and Implementa- tion (OSDI), Monterey, CA, [Bab90b] Ozalp Babao˘glu. Fault-tolerant USA, November 14–17, 1994. computing based on Mach. In USENIX, Berkeley, CA, USA, USENIX [USE90], pages 185– 1994. 199. LCCN QA76.9.M45 M33 Anonymous:1995:NIS 1990. [Ano95] Anonymous, editor. 18th Na- Bacon:19xx:OOR tional Information Systems Se- curity Conference: October 10– [Bacxx] David F. Bacon. OptiMach: Optimistic recovery of Mach 13, 1995, Baltimore Conven- tasks. In ????, page ?? USE- tion Center, Baltimore, Mary- land, proceedings, making se- NIX, Berkeley, CA, USA, 19xx. ISBN ???? LCCN ???? curity real. National Institute for Standards and Technology, Barrera:1991:FMN Gaithersburg, MD, USA, 1995. LCCN QA76.9.A25 N38 1995. [Bar91] Joseph S. Barrera, III. A fast Two volumes. Mach network IPC implemen- tation. In USENIX [USE91a], Bataineh:1994:ESA pages 1–12. LCCN QA76.8.U65 [BAA94] S. Bataineh and B. Al-Asir. Ef- U83 1991. ficient scheduling algorithm for Basavaiah:1991:MIC divisible and indivisible tasks in loosely coupled multiproces- [Bas91] Muralidhar Basavaiah. Mach sor systems. Software Engineer- interprocess communication ing Journal, 9(1):13–18, Jan- server and network server uary 1994. CODEN SEJOED. on Berkeley UNIX. Thesis ISSN 0268-6961. (m.s.), Arizona State Univer- REFERENCES 18

sity, Tempe, AZ, USA, 1991. Boyer:1991:SOD viii + 91 pp. [BCC+91] F. Boyer, J. Cayuela, P. Y. Baumgarten:1992:SSR Chevalier, A. Freyssinet, and [Bau92] U. Baumgarten. Step by D. Hagimont. Supporting an step refinement of concepts- object-oriented distributed sys- design of distributed systems tem: experience with Unix, with OlDiLa and Mach exam- Mach and Chorus. In Anony- ples. In Jammel [Jam92], pages mous [Ano91b], pages 283–299. 262–273. ISBN 3-540-55340- Bryant:1991:SSS 1 (Berlin), 0-387-55340-1 (New York). LCCN QA76.9.A73G5 [BCCR91] R. Bryant, P. Carini, H.-Y. 1992. Chang, and B. Rosenburg. Sup- porting structured shared vir- Bernadat:1993:RMM tual memory under Mach. In [BB93] Philippe Bernadat and David USENIX [USE91a], pages 59– Black. Real memory Mach. 76. LCCN QA76.8.U65 U83 In USENIX [USE93a], pages 1991. 235–251. ISBN 1-880446-49-9. Black:1991:OVM LCCN QA 76.76 O63 U85 1993. [BCF+91] D. Black, J. Carter, G. Fein- Banatre:1992:SFG berg, R. MacDonald, S. Man- [BBP92] M. Banatre, Y. Belhamissi, and galat, E. Shienbrood, J. Van I. Puaut. Some features of Sciver, and Ping Wang. OSF/1 Gothic: a distributed object- virtual memory improvements. based system. In Cabrera In USENIX [USE91a], pages and Jul [CJ92], pages 117–123. 87–103. LCCN QA76.8.U65 ISBN 0-8186-3015-9. LCCN U83 1991. QA76.76.O63 I59 1992. IEEE Balter:1993:MTW catalog number 92TH0477-0. + IEEE Computer Society Press [BCF 93] R. Balter, P. Y. Chevalier, order number 3015. A. Freyssinet, D. Hagimont, S. Lacourte, and X. Rousset Barker:1988:ECT de Pina. Is the microker- [BCB88] W. C. Barker, P. Cochrane, and nel technology well suited for M. Branstad. Embedding cryp- the support of object-oriented tography into a Trusted Mach operating systems: the Guide system. In IEEE [IEE88b], experience. In Anonymous pages 379–383. ISBN 0- [Ano93c], pages 1–11. 8186-0895-1. LCCN TL787 Bryant:1991:EDRa .A471 1988; QA76.9.A25 A39 1988. IEEE catalog number [BCR91a] R. Bryant, Hung-Yang Chang, 88CH2629-5. IEEE Computer and B. Rosenburg. Experi- Society order number 895. ence developing the RP3 oper- REFERENCES 19

ating system. Computing Sys- BartonDavis:1993:ASA tems, 4(3):183–216, Summer 1991. CODEN CMSYE2. ISSN [BDMVL93a] P. Barton-Davis, D. McNamee, 0895-6340. R. Vaswani, and E. D. La- zowska. Adding scheduler ac- Bryant:1991:EDRb tivations to Mach 3.0. In USE- [BCR91b] R. Bryant, Hung-Yang Chang, NIX [USE93a], pages 119–136. and B. Rosenburg. Experi- ISBN 1-880446-49-9. LCCN ence developing the RP3 oper- QA 76.76 O63 U85 1993. ating system. In Anonymous Barton-Davis:1993:ASA [Ano91b], pages 1–18. [BDMVL93b] Paul Barton-Davis, Dylan Mc- Bryant:1991:OSS Namee, Raj Vaswani, and Ed- [BCR91c] R. M. Bryant, H.-Y. Chang, ward Lazowska. Adding sched- and B. S. Rosenburg. Oper- uler activations to Mach 3.0. ating system support for par- In USENIX [USE93a], pages allel programming on RP3. 119–136. ISBN 1-880446-49-9. IBM Journal of Research and LCCN QA 76.76 O63 U85 1993. Development, 35(5/6):617–634, Benson:1992:OSS September/November 1991. CODEN IBMJAE. ISSN 0018- [Ben92] G. Benson. An optimal solu- 8646 (print), 2151-8556 (elec- tion to the secure reader-writer tronic). problem. In IEEE [IEE92a], pages 251–258. ISBN 0-8186- Barton-Davis:1992:ASA 2825-1. LCCN QA 76.9 A25 [BD92a] Paul Barton-Davis. Adding I34 1992. IEEE catalog num- scheduler activations to Mach ber 92CH3157-5. IEEE Com- 3.0. Technical report 92- puter Society Press order num- 08-03, University of Washing- ber 2825. ton, Dept. of Computer Science Bolosky:1989:SET and Engineering, Seattle, WA, USA, August 1992. 30 pp. Re- [BFS89] W. J. Bolosky, R. P. Fitzgerald, vised October 1992. and M. L. Scott. Simple but Boullart:1992:RPW effective techniques for NUMA memory management. Operat- [Bd92b] L. Boullart and J. A. de ing Systems Review, 23(5):19– la Puente, editors. Real- 31, ???? 1989. CODEN OS- Time Programming (WRTP RED8. ISSN 0163-5980. ’92). Preprints of the IFAC Black:1989:MEH Workshop, Bruges, Belgium, June 23–26, 1992. Pergamon [BGH+89] David L. Black, David B. Press, Oxford, UK, 1992. Golub, Karl Hauth, Avadis ISBN 0-08-041894-5. LCCN Tevanian, and Richard Sanzi. QA76.54.R423 1992. The Mach exception handling REFERENCES 20

facility. ACM SIGPLAN No- Banatre:1993:EDR tices, 24(1):45–56, January 1989. CODEN SINODQ. ISSN [BHM+93] M. Banatre, P. Heng, G. Muller, 0362-1340 (print), 1523-2867 N. Peyrouze, and B. Rochat. (print), 1558-1160 (electronic). An experience in the design of a reliable object based system. In Black:1991:MOS IEEE [IEE93d], pages 187–190. [BGJ+91] D. L. Black, D. B. Golub, D. P. ISBN 0-8186-3330-1. LCCN Julin, R. F. Rashid, R. P. QA76.58 .I54 1993. IEEE cata- Draves, R. W. Dean, A. Forin, log number 93TH0493-7. J. Barrera, H. Tokuda, G.-R. Malan, and D. Bohman. Micro- Banatre:1991:HDR kernel operating system archi- tecture and Mach. Journal of [BHMR91] M. Banatre, P. Heng, G. Muller, Information Processing, 14(4): and B. Rochat. How to design 442–453, ???? 1991. CODEN reliable servers using fault tol- JIPRDE. ISSN 0387-6101. erant micro-kernel mechanisms. In USENIX [USE91a], pages Black:1992:MOS 223–231. LCCN QA76.8.U65 [BGJ+92] David L. Black, David B. U83 1991. Golub, Daniel P. Julin, Richard F. Bhatti:1998:CSC Rashid, Richard P. Draves, Randall W. Dean, Alessan- [BHSC98] Nina T. Bhatti, Matti A. dro Forin, Joseph Barrera, Hiltunen, Richard D. Schlicht- Hideyuki Tokuda, Gerald ing, and Wanda Chiu. Coy- Malan, and David Bohman. ote: a system for construct- Microkernel operating system ing fine-grain configurable com- architecture and Mach. In munication services. ACM USENIX [USE92a], pages 11– Transactions on Computer Sys- 30. ISBN 1-880446-42-1. LCCN tems, 16(4):321–366, Novem- QAX 32. ber 1998. CODEN AC- Black:1989:CMD SYEC. ISSN 0734-2071. URL http://www.acm.org: [BGW89] D. L. Black, A. Gupta, and W.- 80/pubs/citations/journals/ D. Weber. Competitive man- tocs/1998-16-4/p321-bhatti/ agement of distributed shared . memory. In IEEE [IEE89b], pages 184–190. ISBN 0-8186- Bitar:1990:MVM 1909-0 (paperback), 0-8186- 5909-2 (microfiche), 0-8186- [Bit90] Nawaf Bitar. Mach Virtual 9909-4 (case). LCCN QA75.5 Memory Internals. UNIX- .C58 1989. IEEE catalog num- AT&T, Washington, DC, USA, ber 89CH2686-4. 1990. various pp. REFERENCES 21

Bitar:1992:MOC prefetching and caching for translation lookaside buffers. [Bit92] Nawaf Bitar. Mach: the OSF/1 In Anonymous [Ano94], pages core kernel: November 2-4, 243–253. 1992, Engineering 819.238: lecture notes. University of Cal- Branstad:1989:ATM ifornia, Los Angeles, University [BL89] M. Branstad and J. Landauer. Extension Dept. of Business, Assurance for the Trusted Engineering, and Management, Mach operating system. In Short Course Program, Los An- IEEE [IEE89a], pages 103– geles, CA, USA, 1992. various 108. IEEE catalog number pp. 89CH2656-7. Bodorik:1994:MAC Board:1990:PPN [BJ94] P. Bodorik and D. N. Jutla. [BL90a] J. A. Board, Jr. and J. Shue- Multi-view access control mem- Jen Lu. Performance of parallel ory computer system. In Ciz- neural network simulations. In mar [Ciz94], pages 241–248. Board [Boa90], pages 185–200. ISBN 0-89791-634-4. LCCN QA76.7 A849 1994. Boykin:1990:MCA Bollella:1995:SRC [BL90b] J. Boykin and A. Langer- [BJ95] G. Bollella and K. Jeffay. Sup- man. Mach/4.3BSD: a conser- port for real-time computing vative approach to paralleliza- within general purpose oper- tion. Computing Systems, 3(1): ating systems-supporting co- 69–99, Winter 1990. CODEN resident operating systems. In CMSYE2. ISSN 0895-6340. IEEE [IEE95c], pages 4–14. Boykin:1990:MAC ISBN 0-8186-6980-2. LCCN QA76.54.S95 1995. IEEE cat- [BL90c] Joseph Boykin and Alan alog number 95TH8055. Langerman. Mach/4.3BSD: a conservative approach to par- Boykin:1993:PUM allelization. Computing Sys- [BKLL93] Joseph Boykin, David Kirschan, tems, 3(1):69–100, 1990. CO- Alan Langerman, and Susan DEN CMSYE2. ISSN 0895- LoVerso. Programming under 6340. Mach. Addison-Wesley, Read- Black:1988:MEH ing, MA, USA, 1993. ISBN 0- 201-52739-1. xvii + 490 pp. [Bla88] David L. Black. The Mach ex- LCCN QA76.8.N49 P76 1993. ception handling facility. Re- search paper CMU-CS-88-129, Bala:1994:SPC Carnegie Mellon University, [BKW94] K. Bala, M. Frans Kaashoek, Computer Science Dept., Pitts- and W. E. Weihl. Software burgh, PA, USA, 1988. 12 pp. REFERENCES 22

Black:1990:SSCa 83–91. CODEN FGSEVI. ISSN 0167-739X (print), 1872-7115 [Bla90a] David L. Black. Scheduling (electronic). support for concurrency and parallelism in the Mach oper- Bryce:1995:MMM ating system. Research pa- per CMU-CS-90-125, Carnegie [BM95] G. Bryce and G. Muller. Mellon University, Computer Matching micro-kernels to Science Dept., Pittsburgh, PA, modern applications using fine- USA, April 1990. 16 pp. A re- grained memory protection. In vised version of this paper ap- IEEE [IEE95d], pages 272–279. pears in the May 1990 issue of ISBN 0-8186-7106-8. LCCN IEEE Computer [Bla90b]. QA76.54.I59 1995. IEEE cat- alog number 95TB100002. Black:1990:SSCb Benson:1996:DMS [Bla90b] David L. Black. Scheduling support for concurrency and [BO96] G. D. Benson and R. A. Ols- parallelism in the Mach oper- son. The design of microkernel ating system. Computer,23 support for the SR concurrent (5):35–43, May 1990. CO- . In Szy- DEN CPTRB4. ISSN 0018- manski and Sinharoy [SS96], 9162 (print), 1558-0814 (elec- pages 227–240. ISBN 0-7923- tronic). See [Bla90a]. 9635-9. LCCN QA76.58.L37 Black:1991:PPP 1996.

[Bla91] D. L. Black. Processors, prior- Board:1990:TRA ity, and policy: Mach schedul- ing for new environments. In [Boa90] J. A. Board, editor. Transputer USENIX [USE91c], pages 1–12. Research and Applications 2. NATUG-2 Proceedings of the Bolinger:1991:PSH North American Transputer Users Group, Durham, NC, [BM91] D. Bolinger and S. Man- USA, October 18–19, 1989. galat. Parallelizing signal han- IOS Press, Amsterdam, The dling and process manage- Netherlands, 1990. ment in OSF/1. In USE- NIX [USE91a], pages 105–122. Bolmarcich:1989:IME LCCN QA76.8.U65 U83 1991. Bisiani:1992:DHW [Bol89] A. S. Bolmarcich. An introduc- tion to Mach/EPEX. Research [BM92] R. Bisiani and O. Martin. report RC 14369 (#64355), A distributed-memory, high- IBM T.J. Watson Research performance workstation. In Center, Yorktown Heights, NY, Anonymous [Ano92b], pages USA, 1989. 13 pp. REFERENCES 23

Bershad:1992:FME large-scale multiprocessor ap- plications. IEEE Software,2 [BRE92] B. N. Bershad, D. D. Redell, (4):65–67, July 1985. CO- and J. R. Ellis. Fast mu- DEN IESOEG. ISSN 0740-7459 tual exclusion for uniproces- (print), 0740-7459 (electronic). sors. In ACM [ACM92b], pages 223–233. CODEN SINODQ. Bryant:1988:RPC ISSN 0362-1340 (print), 1523- [Bry88] R. Bryant. The RP3 par- 2867 (print), 1558-1160 (elec- allel computing environment. tronic). In Anonymous [Ano88b], pages Black:1989:TLB 69–92. Bitar:1991:MAI [BRG+89] D. L. Black, R. F. Rashid, D. B. Golub, C. R. Hill, and R. V. [BS91] Nawaf Bitar and Eric R. Shien- Baron. Translation lookaside brood, editors. Mach, ar- buffer consistency: a software chitecture and implementation: approach. In ACM [ACM89], November 4-7, 1991, Engineer- pages 113–122. ISBN 0-89791- ing 819.221: lecture notes. 300-0. LCCN QA76.9.A73I565 University of California, Los 1989. ACM order number Angeles, University Extension 556890. Also published as Com- Dept. of Business, Engineer- puter architecture news, v. 17, ing, and Management, Short no. 2 (Apr. 1989), Operating Course Program, Los Angeles, systems review, v. 23, special CA, USA, 1991. issue (Apr. 1989), and SIG- PLAN notices, v. 24, special is- Benzel:1995:ISO sue (May 1989). [BST95] T. C. V. Benzel, E. J. Sebes, Brown:1997:LMM and H. Tajalli. Identification of subjects and objects in a [Bro97] Victoria L. Brown. Linux? trusted extensible client server on the Macintosh? with architecture. In Anonymous Mach? Linux Journal, 37:??, [Ano95], pages 83–99. LCCN May 1997. CODEN LIJOFX. QA76.9.A25 N38 1995. Two ISSN 1075-3583 (print), 1938- volumes. 3827 (electronic). URL http: //noframes.linuxjournal. Bevier:1992:OSC com/lj-issues/2093.html. [BT92] W. R. Bevier and T. Taylor. Baron:1985:MOE Operating system correctness is a mission critical requirement. [BRS+85] Robert Baron, Richard Rashid, In A. K. Agrawala, K. D. Gor- Ellen Siegel, Avadis Tevanian, don, and P. Hwang, editors, and Michael Young. Mach-1: Mission critical operating sys- An operating environment for tems, pages 21–23. IOS Press, REFERENCES 24

Amsterdam, The Netherlands, Springer-Verlag, Berlin, Ger- 1992. many / Heidelberg, Germany / Baron:1988:MKI London, UK / etc., 1990. ISBN 3-540-53065-7. LCCN [BTG+88] Robert V. Baron, Avadis Teva- QA76.58.J65 1990. nian, David Golub, Richard Rashid, William Bolosky, CaraDonna:1993:LPA Richard P. Draves, Jonathan [Car93] Joseph P. CaraDonna. A lock Chew, David Black, and performance analysis of the Michael Young. MACH kernel Mach 3.0 micro-kernel. The- interface manual. Research pa- sis (m.s.), Worcester Polytech- per, Carnegie Mellon Univer- nic Institute, Worcester, MA, sity, Computer Science Dept., USA, 1993. 156 pp. Pittsburgh, PA, USA, 1988. 81 pp. Caswell:1989:IMD

Branstad:1988:SIT [CB89] Deborah L. Caswell and [BTM88] M. Branstad, H. Tajalli, and David L. Black. Implement- F. Mayer. Security issues of the ing a Mach debugger for mul- Trusted Mach system. In IEEE tithreaded applications. Re- [IEE88b], pages 362–367. ISBN search paper CMU-CS-89-154, 0-8186-0895-1. LCCN TL787 Carnegie Mellon University, .A471 1988; QA76.9.A25 A39 Computer Science Dept., Pitts- 1988. IEEE catalog number burgh, PA, USA, November 88CH2629-5. IEEE Computer 1989. 13 pp. To appear in Society order number 895. the Conference Proceedings of Winter 1990 USENIX Tech- Branstad:1989:AMM nical Conference and Exhibi- tion, Washington, DC, Jan- [BTMD89] M. Branstad, H. Tajalli, uary, 1990. F. Mayer, and D. Dalva. Access meditation in a message pass- Caswell:1990:IMD ing kernel. In IEEE [IEE89c], pages 66–72. ISBN 0-8186- [CB90] D. Caswell and D. Black. Im- 1939-2. LCCN QA 76.9 A25 plementing a Mach debugger I43 1989. IEEE catalog num- for multithreaded applications. ber 89CH2703-7. In Anonymous [Ano90c], pages 25–39. Burkhart:1990:CIJ Chen:1993:IOS [Bur90] H. Burkhart, editor. CON- PAR 90-VAPP IV. Joint In- [CB93] J. B. Chen and B. N. Bershad. ternational Conference on Vec- The impact of operating sys- tor and Parallel Processing. tem structure on memory sys- Proceedings, Zurich, Switzer- tem performance. In ACM land, September 10–13, 1990. [ACM93a], pages 120–133. CO- REFERENCES 25

DEN OSRED8. ISSN 0163- Chandranmenon:1994:PEE 5980. [Cha94] Girish P. Chandranmenon. Cohn:1992:UDP Providing an execution en- [CCGS92] D. L. Cohn, M. R. Casey, P. M. vironment for C* programs Greenawalt, and J. E. Sal- on a Mach-based PC cluster. danha. A universal distributed Thesis (m.s.), University of programming paradigm for New Hampshire, Durham, NH multiple operating systems. In 03824, USA, 1994. ix + 34 pp. USENIX [USE92b], pages 191– Chen:1993:SMS 203. Carter:1993:FTB [Che93] J. B. Chen. Software methods for system address tracing. In [CFH+93a] J. B. Carter, B. Ford, M. Hi- IEEE [IEE93b], pages 178–185. bler, R. Kuramkote, J. Law, ISBN 0-8186-4000-6. LCCN J. Lepreau, D. B. Orr, QA76.76.O63W667 1993. IEEE L. Stoller, and M. Swanson. catalog number 93TH0553-8. FLEX: a tool for building ef- ficient and flexible systems. In Chen:19xx:BFS IEEE [IEE93b], pages 198–202. [Chexx] Rong Chen. Building A fault- ISBN 0-8186-4000-6. LCCN tolerant system based on Mach. QA76.76.O63W667 1993. IEEE In ????, page ?? USE- catalog number 93TH0553-8. NIX, Berkeley, CA, USA, 19xx. Chevalier:1993:ESO ISBN ???? LCCN ???? Cizmar:1994:AAC [CFH+93b] P. Y. Chevalier, A. Freyssinet, D. Hagimont, S. Krakowiak, [Ciz94] Dawn Cizmar, editor. 22nd An- S. Lacourte, and X. Rousset nual 1994 ACM Computer Sci- de Pina. Experience with ence Conference. Scaling Up: shared object support in the Meeting the Challenge of Com- Guide system. In Anonymous plexity in Real-World Comput- [Ano93c], pages 157–173. ing Applications. Proceedings, Phoenix, AZ, USA, March 8– Canetti:1991:PCP 10, 1994. ACM Press, New [CFK+91] R. Canetti, L. P. Fertig, S. A. York, NY 10036, USA, 1994. Kravitz, D. Malki, R. Y. Pin- ISBN 0-89791-634-4. LCCN ter, S. Porat, and A. Teperman. QA76.7 A849 1994. The parallel C (pC) program- Ching:1991:EAP ming language. IBM Journal of Research and Development, [CJ91] W.-M. Ching and D. Ju. Ex- 35(5/6):727–741, September/ ecution of automatically par- November 1991. CODEN IBM- allelized APL programs on JAE. ISSN 0018-8646 (print), RP3. IBM Journal of Research 2151-8556 (electronic). and Development, 35(5/6): REFERENCES 26

767–777, September/November Carr:1993:DC 1991. CODEN IBMJAE. ISSN 0018-8646 (print), 2151-8556 [CKS93] H. Carr, R. Kessler, and (electronic). M. Swanson. Distributed C++. In ACM [ACM93c], page 81. Cabrera:1992:PSI CODEN SINODQ. ISSN 0362- 1340 (print), 1523-2867 (print), [CJ92] Luis-Felipe Cabrera and Eric 1558-1160 (electronic). Jul, editors. Proceedings of the Second International Work- Chase:1994:SPS shop on Object Orientation in Operating systems, Dour- [CLFL94] J. S. Chase, H. M. Levy, M. J. dan, France, September 24–25, Feeley, and E. D. Lazowska. 1992. IEEE Computer Society Sharing and protection in a Press, 1109 Spring Street, Suite single-address-space operating 300, Silver Spring, MD 20910, system. ACM Transactions on USA, 1992. ISBN 0-8186- Computer Systems, 12(4):271– 3015-9. LCCN QA76.76.O63 307, November 1994. CODEN I59 1992. IEEE catalog num- ACSYEC. ISSN 0734-2071. ber 92TH0477-0. IEEE Com- puter Society Press order num- Clamen:1990:RDC ber 3015. [CLNW90] S. M. Clamen, L. D. Leiben- Ju:1991:EAD good, S. M. Nettles, and [cJmC91] Dz ching Ju and Wai mee J. M. Wing. Reliable Ching. Exploitation of APL with data parallelism on a shared- Avalon/Common Lisp. In memory MIMD machine. In IEEE [IEE90a], pages 169–179. ACM [ACM91], pages 61–72. ISBN 0-8186-2036-6. LCCN CODEN SINODQ. ISSN 0362- QA76.7 .I576 1990. IEEE cata- 1340 (print), 1523-2867 (print), log number 90CH2854-8. IEEE 1558-1160 (electronic). ACM Computer Society Press order order number 534910. number 2036. Chen:1993:PMS Card:1994:DMD

[CJMT93] P.-F. Chen, J.-Y. Juang, G.-K. [CLR94] R. Card, H. Le Van Gong, Ma, and R.-L. Tsai. A priority- and P.-G. Raverdy. Design based multi-class service TCP/ of the Masix distributed op- IP on Mach microkernel. Asia- erating system on top of the Pacific Engineering Journal, Mach micro-kernel. In Gi- Part A [Electrical Engineering], rault [Gir94], pages 277–286. 3(3–4):347–363, September– CODEN ITATEC. ISBN 0- December 1993. CODEN APE- 444-81870-7. ISSN 0926-5473. JEM. ISSN 0129-5411. LCCN QA76.58 .I4447 1994. REFERENCES 27

Chao:1990:MVA CaraDonna:1993:MLP [CMS90] Chia Chao, Milon Mackey, and [CPW93] J. P. CaraDonna, N. Paciorek, Bart Sears. Mach on a virtually and C. E. Wills. Measuring addressed cache architecture. lock performance in multipro- In USENIX [USE90], pages 31– cessor operating system ker- ?? LCCN QA76.9.M45 M33 nels. In Anonymous [Ano93c], 1990. pages 37–56. Chen:1992:MSC Chang:1992:EPMb [CN92] Rong Chen and T. P. Ng. Mi- [CR92a] H. H. Y. Chang and B. Rosen- crokernel support for check- burg. Experience porting Mach pointing. In Anonymous to the RP3 large-scale shared- [Ano92a], pages 35–43. memory multiprocessor. In Ishida [Ish92], pages 259–267. Castro:1993:MDO CODEN FGSEVI. ISBN 0- [CNTS93] M. Castro, N. Neves, P. Tran- 444-88937-X. ISSN 0167-739X coso, and P. Sousa. MIKE: a (print), 1872-7115 (electronic). distributed object-oriented pro- LCCN QA75.I49 1990. gramming platform on top of Chang:1992:EPMa the Mach microkernel. In USE- NIX [USE93c], pages 253–272. [CR92b] Henry H. Y. Chang and Bryan ISBN 1-880446-51-0. LCCN Rosenburg. Experience port- QA 76.76 O63 U86 1993. ing Mach to the RP3 large-scale shared-memory multiprocessor. Cabillic:1997:SEP Future Generation Computer [CP97] Gilbert Cabillic and Isabelle Systems, 7(2–3):259–267, April Puaut. Stardust: An environ- 1992. CODEN FGSEVI. ISSN ment for parallel programming 0167-739X (print), 1872-7115 on networks of heterogeneous (electronic). workstations. Journal of Par- Crandall:1990:NCP allel and Distributed Comput- ing, 40(1):65–80, January 10, [Cra90] Richard E. Crandall. The 1997. CODEN JPDCER. ISSN NeXT computer as physics ma- 0743-7315 (print), 1096-0848 chine. Computers in Physics,4 (electronic). URL http://www. (2):132–141, March–April 1990. idealibrary.com/links/doi/ CODEN CPHYE2. ISSN 0894- 10.1006/jpdc.1996.1271/production; 1866 (print), 1558-4208 (elec- http://www.idealibrary. tronic). com/links/doi/10.1006/jpdc. Chew:1993:KSR 1996.1271/production/pdf; http://www.idealibrary. [CRRS93] Khien-Mien Chew, A. J. Reddy, com/links/doi/10.1006/jpdc. T. H. Romer, and A. Sil- 1996.1271/production/ref. berschatz. Kernel support REFERENCES 28

for recoverable-persistent vir- RED8. ISSN 0163-5980. ACM tual memory. In USENIX order number 534910. [USE93c], pages 215–234. ISBN Dean:1993:UCB 1-880446-51-0. LCCN QA 76.76 O63 U86 1993. [Dea93] R. W. Dean. Using contin- uations to build a user-level Dean:1992:DMK threads library. In USENIX [DA92] R. W. Dean and F. Armand. [USE93c], pages 137–151. ISBN Data movement in kernelized 1-880446-51-0. LCCN QA 76.76 systems. In USENIX [USE92a], O63 U86 1993. pages 243–261. ISBN 1-880446- Demeure:1994:TSC 42-1. LCCN QAX 32. [DF94] I. Demeure and J. Farhat. Dannenberg:1993:PMM Thread systems: concepts and examples (parallel program- [Dan93] Roger B. Dannenberg. Per- ming). Technique et science formance measurements of the informatiques : TSI, 13(6): multimedia testbed on Mach 765–795, ???? 1994. CO- 3.0: experience writing real- DEN TTSIDJ. ISSN 0752- time device drivers, servers, 4072, 0264-7419. and applications. Research paper CMU-CS-93-205, School Dorochevsky:1992:EPP of Computer Science, Carnegie [DLR+92] M. Dorochevsky, Liang-Liang Mellon University, Pittsburgh, Li, M. Reeve, K. Schuerman, PA, USA, July 21, 1993. 22 pp. and A. Veron. ElipSys: a Dannenberg:1994:PMM parallel programming system based on logic. In Voronkov [Dan94] Roger B. Dannenberg. Per- [Vor92], pages 469–471. CO- formance measurements of the DEN LNCSD9. ISBN 3-540- Multimedia Testbed on Real- 55727-X (Berlin), 0-387-55727- Time Mach. Research pa- X (New York). ISSN 0302-9743 per CMU-CS-94-141, School (print), 1611-3349 (electronic). of Computer Science, Carnegie LCCN QA76.63 .I55 1992. Mellon University, Pittsburgh, PA, USA, April 1994. 18 pp. Draves:1991:PRR Draves:1991:UCI [Dra91] R. P. Draves. Page replace- ment and reference bit em- [DBRD91] R. P. Draves, B. N. Bershad, ulation in Mach. In USE- R. F. Rashid, and R. W. NIX [USE91a], pages 201–212. Dean. Using continuations to LCCN QA76.8.U65 U83 1991. implement thread management Draves:1992:M and communication in operat- ing systems. In ACM [ACM91], [Dra92] Richard Draves. Mach. In pages 122–136. CODEN OS- USENIX [USE92a], pages 11– REFERENCES 29

30. ISBN 1-880446-42-1. LCCN Echtle:1994:DCF QAX 32. [EHP94] Klaus Echtle, D. Hammer, and Dripke:1992:MUU David Powell, editors. De- pendable computing — EDCC- [Dri92] A. Dripke. Mach—a univer- 1: first European Dependable sal Unix kernel. object oriented Computing Conference, Berlin, micro-kernel as operating sys- Germany, October 4–6, 1994: tem basis. Elektronik, 41(8): proceedings, volume 852 of Lec- 80, 82–84, April 1992. CODEN ture Notes in Computer Sci- EKRKAR. ISSN 0013-5658. ence. Springer-Verlag, Berlin, Germany / Heidelberg, Ger- Duchamp:1991:ETR many / London, UK / etc., 1994. CODEN LNCSD9. ISBN [Duc91] Dan Duchamp. Experience 0-387-58426-9. ISSN 0302-9743 with threads and RPC in Mach. (print), 1611-3349 (electronic). In USENIX [USE91b], pages LCCN QA76.9.F38 E33 1994. 87–104. LCCN QA76.5 .S948 1991. Egan:1999:FTR + Drummond:1995:LLA [EKM 99] A. Egan, D. Kutz, D. Mikulin, R. Melhem, and D. Moss´e. [DW95] J. Drummond and M. Wu. A Fault-tolerant RT-Mach (FT- low level analysis of the real- RT-Mach) and an applica- time Mach distributed operat- tion to real-time train control. ing system. In IEEE [IEE95c], Software—Practice and Expe- pages 46–47. ISBN 0-8186- rience, 29(4):379–395, April 6980-2. LCCN QA76.54.S95 10, 1999. CODEN SPEXBL. 1995. IEEE catalog number ISSN 0038-0644 (print), 1097- 95TH8055. 024X (electronic). URL http:/ /www3.interscience.wiley. Epstein:1991:PSA com/cgi-bin/abstract?ID= 55001841; http://www3. [E+91] Jeremy Epstein et al. A pro- interscience.wiley.com/cgi- totype B3 Trusted X Window bin/fulltext?ID=55001841& System. In Proceedings of the PLACEBO=IE.pdf. Seventh Annual Computer Se- Epstein:1990:PUM curity Applications Conference. IEEE Computer Society Press, [ES90] Jeremy Epstein and Marvin 1109 Spring Street, Suite 300, Shugerman. A Trusted X Win- Silver Spring, MD 20910, USA, dow System Server for Trusted December 1991. The architec- Mach. In Proceedings of ture for TRW’s high assurance the USENIX Mach Conference. multi-level secure X prototype. ????, Burlington, VT, USA, See [ES90]. October 1990. This paper REFERENCES 30

describes the initial architec- Finkel:1991:OWB ture of the Trusted X Win- dow System prototype devel- [FKL91] D. Finkel, R. E. Kinicki, and oped at TRW. This paper was J. A. Lehmann. An overview superseded by the paper at the of the WPI Benchmark Suite. Seventh Annual Computer Se- Performance evaluation review: curity Applications Conference a quarterly publication of the [E+91]. Special Interest Committee on Measurement and Evaluation, Farncombe:1989:EM 19(2):33–35, August 1991. CO- DEN PEREDN. ISSN 0163- [Far89] M. Farncombe. Equus— 5999 (print), 1557-9484 (elec- computing on the move. In tronic). Anonymous [Ano89b], pages 95–96. Fujinaga:1992:IMF

Forin:1991:ISMb [FKS92] M. Fujinaga, T. Kato, and K. Suzuki. An implementation [FGB91a] Alessandro Forin, David Golub, method of IN functional enti- and Brian Bershad. An I/O ties on top of distributed op- system for Mach 3.0. In USE- erating system and its perfor- NIX [USE91a], pages 163–176. mance evaluation using experi- LCCN QA76.8.U65 U83 1991. mental system. IEICE Trans- Forin:1991:ISMa actions on Communications, E75-B(10):1043–1051, October [FGB91b] Alessandro Forin, David Golub, 1992. CODEN ITCMEZ. ISSN and Brian N. Bershad. An I/O 0916-8516. system for Mach 3.0. Research Ford:1994:EMM paper CMU-CS-91-191, School of Computer Science, Carnegie [FL94] Bryan Ford and Jay Lepreau. Mellon University, Pittsburgh, Evolving Mach 3.0 to A migrat- PA, USA, October 1991. 11 pp. ing thread model. In USENIX [USE94], pages 97–114. ISBN Finkel:1992:DBM 1-880446-58-8. LCCN QA 76.76 [FKJ+92] David Finkel, Robert Kinicki, O63 U84 1994. Aju John, Bradford Nichols, Fine:1993:ADT and Somesh S. Rao. Develop- ing benchmarks to measure the [FM93] T. Fine and S. E. Minear. performance of the Mach op- Assuring Distributed Trusted erating system. Technical re- Mach. In IEEE [IEE93c], pages port 92-1, Worcester Polytech- 206–217. ISBN 0-7803-1298-8. nic Institute, Computer Science LCCN TJ 217 I11c 1993. Four Dept., Worcester, MA, USA, volumes. IEEE catalog number January 1992. 18 pp. 93CH3307-6. REFERENCES 31

Forin:1988:DIP B. Nelson. BACH: a hard- ware monitor for tracing [For88] Alessandro Forin. Design, microprocessor-based systems. implementation, and perfor- Microprocessors and Microsys- mance evaluation of a dis- tems, 17(8):443–459, October tributed shared memory server 1993. CODEN MIMID5. ISSN for Mach. Research pa- 0141-9331. per CMU-CS-88-165, Carnegie Ginsberg:1993:UMCa Mellon University, Computer Science Dept., Pittsburgh, PA, [GBB93a] Michael Ginsberg, Robert V. USA, 1988. v + 22 pp. Baron, and Brian N. Bershad. Using the Mach communication Fukuda:1993:POS primitives in X11. Research [Fuk93] A. Fukuda. Parallel operating paper CMU-CS-93-121, School systems. Joho-Shori (J. Infor- of Computer Science, Carnegie mation Processing Soc. Japan), Mellon University, Pittsburgh, 34(9):1139–1149, September PA, USA, March 1993. 8 pp. 1993. CODEN JOSHA4. ISSN Ginsberg:1993:UMCb 0447-8053. Furht:1994:NGR [GBB93b] Michael Ginsberg, Robert V. Baron, and Brian N. Bershad. [Fur94] B. Furht. Next generation Using the Mach communication of real-time operating systems: primitives in X11. In USENIX industrial prospective. In Ha- [USE93a], pages 103–110. ISBN lang and Stoyenko [HS94a], 1-880446-49-9. LCCN QA 76.76 pages 595–596. ISBN 3-540- O63 U85 1993. 57558-8. LCCN QA76.54.R4216 Golub:1991:MDM 1994. Gruber:1991:EEO [GD91] D. B. Golub and R. P. Draves. Moving the de- [GADV91] O. Gruber, L. Amsaleg, fault memory manager out of L. Daynes, and P. Valduriez. the Mach kernel. In USE- Eos, an environment for object- NIX [USE91a], pages 177–188. based systems. In Milutinovic LCCN QA76.8.U65 U83 1991. et al. [MSNS91], pages 757– Giraud:1992:DOS 768 (vol. 1). ISBN 0-8186- 2420-5. LCCN ???? Four [GGDD92] M. Giraud, M. Gabassi, I. De- volumes. IEEE catalog number meure, and B. Dupouy. Dis- 91TH0394-7. tributed operating systems — Grimsrud:1993:BHM present and future. Techni- cal Report 93NJ00003, EDF— [GAR+93] K. Grimsrud, J. Archibald, Electricit´e de France, Clamart, M. Ripley, K. Flanagan, and France, December 1992. 21 pp. REFERENCES 32

Gawlick:1989:HPT in C++. In USENIX [USE92c], pages 279–293. [GHR89] D. Gawlick, M. Haynie, and A. Reuter, editors. High Per- Guttman:1994:TAF formance Transaction Systems. 2nd International Workshop [GJ94] J. D. Guttman and D. M. Proceedings, Pacific Grove, Johnson. Three applica- CA, USA, September 28–30, tions of formal methods at 1987. Springer-Verlag, Berlin, MITRE. In Naftalin et al. Germany / Heidelberg, Ger- [NDB94], pages 55–65. CO- many / London, UK / etc., DEN LNCSD9. ISBN 0- 1989. ISBN 3-540-51085-0. 387-58555-9. ISSN 0302-9743 LCCN ???? (print), 1611-3349 (electronic). LCCN QA76.76.D47 I593 1994. Girault:1994:APD [Gir94] Claude Girault, editor. Ap- Gu:1994:RRI plications in Parallel and [GKK94] G. Gu, B. Krogh, and J. Kindy. Distributed Computing. IFIP R-TICS: a real-time infrastruc- WG10.3 Working Conference, ture for control systems. In Caracas, Venezuela, April 18– IEEE [IEE94c], pages 358–363. 22, 1994, volume A-44 of ISBN 0-8186-6510-6. LCCN IFIP Transactions. A. Com- TS155.63.I57 1994. puter Science and Technol- ogy. North-Holland, Amster- Golub:1993:MER dam, The Netherlands, 1994. CODEN ITATEC. ISBN 0- [GMR93] D. B. Golub, R. Manikun- 444-81870-7. ISSN 0926-5473. dalam, and F. L. Rawson. LCCN QA76.58 .I4447 1994. MVM—an environment for running multiple DOS, Win- Guedes:1991:OIM dows and DPMI programs on [GJ91] P. Guedes and D. P. Julin. the microkernel. In USENIX Object-oriented interfaces in [USE93c], pages 173–190. ISBN the Mach 3.0 multi-server 1-880446-51-0. LCCN QA 76.76 system. In IEEE [IEE91], O63 U86 1993. pages 114–117. ISBN 0-8186- Gheith:1994:KKS 2265-2. LCCN QA76.64 .I56 1991. IEEE catalog number [GMSS94] A. Gheith, B. Mukherjee, 91TH0392-1. IEEE Computer D. Silva, and K. Schwan. KTK: Society Press order number kernel support for configurable 2265. objects and invocations. In Guedes:1992:WCA IEEE [IEE94e], pages 92–103. ISBN 0-8186-5390-6. LCCN [GJ92] P. Guedes and D. Julin. Writ- QA76.9.D5I595 1994. IEEE ing a client-server application catalog number 94TH0651-0. REFERENCES 33

Goldberg:1990:TRM S. Lacourte, J. Mossi`ere, and X. Rousset de Pina. Persistent [Gol90] Arthur Goldberg. Transparent shared object support in the recovery of Mach applications. Guide system: Evaluation and In USENIX [USE90], pages related work. ACM SIGPLAN 169–184. LCCN QA76.9.M45 Notices, 29(10):129–144, Octo- M33 1990. ber 1994. CODEN SINODQ. Golub:1993:ADD ISSN 0362-1340 (print), 1523- 2867 (print), 1558-1160 (elec- [GSR93] D. B. Golub, G. G. Sotomayor, tronic). and F. L. Rawson. An architec- ture for device drivers execut- Hoven:1991:MIS ing as user-level tasks. In USE- NIX [USE93b], pages 153–172. [Hov91] Rand A. Hoven. Mach inter- ISBN 1-880446-49-9. LCCN faces to support guest O.S. de- QA 76.76 O63 U85 1993. bugging. In USENIX [USE91a], pages 131–148 (or 131–147??). Garsden:1990:CMI LCCN QA76.8.U65 U83 1991. [GW90a] H. Garsden and A. L. Wendel- Halang:1994:RTC born. A comparison of micro- tasking implementations of the [HS94a] Wolfgang A. Halang and applicative language SISAL. In Alexander D. Stoyenko, edi- Burkhart [Bur90], pages 697– tors. Real Time Computing. 708. ISBN 3-540-53065-7. Proceedings of the NATO Ad- LCCN QA76.58.J65 1990. vanced Study Institute, Sint Maarten, Dutch Antilles, Oc- Gould:1990:MSD tober 5–17, 1992, volume 127 [GW90b] E. Gould and B. White. The of NATO ASI series. Series 2.6 MSD software development F, Computer and systems sci- environment. In Anonymous ences. Springer-Verlag, Berlin, [Ano90b], pages 65–70. ISBN Germany / Heidelberg, Ger- 0-9513181-8-7. LCCN ???? many / London, UK / etc., 1994. ISBN 3-540-57558-8. Hagimont:1994:PGO LCCN QA76.54.R4216 1994. [Hag94] D. Hagimont. Protection in Hesham:1994:PTH the Guide object-oriented dis- tributed system. In Tokoro [HS94b] E.-R. Hesham and B. D. and Pareschi [TP94], pages Shriver, editors. Proceedings of 280–298. ISBN 3-540-58202-9. the Twenty-Seventh Hawaii In- LCCN QA76.64.E95 1994. ternational Conference on Sys- Hagimont:1994:PSO tem Sciences. Vol. II: Soft- ware Technology, Wailea, HI, [HCF+94] Daniel Hagimont, P.-Y. Cheva- USA, January 4–7, 1994. IEEE lier, A. Freyssinet, S. Krakowiak, Computer Society Press, 1109 REFERENCES 34

Spring Street, Suite 300, Silver Computer Society Press, 1109 Spring, MD 20910, USA, 1994. Spring Street, Suite 300, Silver ISBN 0-8186-5060-5. LCCN Spring, MD 20910, USA, 1988. ???? IEEE catalog number ISBN 0-8186-4894-5. LCCN 94TH0607-2. QA76.54 .R43 1988. IEEE cat- IEEE:1988:DPI alog number 88CH2618-7. IEEE:1989:CPF [IEE88a] IEEE, editor. Digest of pa- pers: intellectual leverage/ [IEE89a] IEEE, editor. COMPASS ’89 COMPCON Spring 88, Febru- Proceedings of the Fourth An- ary 29-March 4, 1988, Thirty- nual Conference on Computer Third IEEE Computer Soci- Assurance. Systems Integrity, ety International Conference, Software Safety and Process Cathedral Hill Hotel, San Fran- Security, Gaithersburg, MD, cisco, California. IEEE Com- USA, June 19–23, 1989. IEEE puter Society Press, 1109 Computer Society Press, 1109 Spring Street, Suite 300, Sil- Spring Street, Suite 300, Sil- ver Spring, MD 20910, USA, ver Spring, MD 20910, USA, 1988. ISBN 0-8186-0828-5 (pa- 1989. IEEE catalog number perback), 0-8186-4828-7 (mi- 89CH2656-7. crofiche), 0-8186-8828-9 (hard- IEEE:1989:DPC cover). LCCN QA75.5 .C58 1988. [IEE89b] IEEE, editor. Digest of Pa- IEEE:1988:FAC pers. COMPCON Spring ’89. Thirty-Fourth IEEE Computer [IEE88b] IEEE, editor. Fourth Aerospace Society International Confer- Computer Security Applica- ence: Intellectual Leverage, tions Conference, Orlando, FL, San Francisco, CA, USA, USA, December 12–16, 1988. February 27 – March 3, 1989. IEEE Computer Society Press, IEEE Computer Society Press, 1109 Spring Street, Suite 300, 1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA, Silver Spring, MD 20910, USA, 1988. ISBN 0-8186-0895-1. 1989. ISBN 0-8186-1909- LCCN TL787 .A471 1988; 0 (paperback), 0-8186-5909- QA76.9.A25 A39 1988. IEEE 2 (microfiche), 0-8186-9909-4 catalog number 88CH2629-5. (case). LCCN QA75.5 .C58 IEEE Computer Society order 1989. IEEE catalog number number 895. 89CH2686-4. IEEE:1988:PRS IEEE:1989:PIS [IEE88c] IEEE, editor. Proceedings. [IEE89c] IEEE, editor. Proceedings 1989 Real-Time Systems Sympo- IEEE Symposium on Security sium, Huntsville, AL, USA, and Privacy, Oakland, CA, December 6–8, 1988. IEEE USA, May 1–3, 1989. IEEE REFERENCES 35

Computer Society Press, 1109 MD 20910, USA, 1990. IEEE Spring Street, Suite 300, Silver catalog number 90TH0337-6. Spring, MD 20910, USA, 1989. IEEE:1991:PIW ISBN 0-8186-1939-2. LCCN QA 76.9 A25 I43 1989. IEEE [IEE91] IEEE, editor. Proceedings. 1991 catalog number 89CH2703-7. International Workshop on Ob- ject Orientation in Operating IEEE:1989:WOS Systems, Palo Alto, CA, USA, [IEE89d] IEEE, editor. Workstation Op- October 17–18, 1991. IEEE erating Systems: Proceedings Computer Society Press, 1109 of the Second Workshop on Spring Street, Suite 300, Silver Workstation Operating Systems Spring, MD 20910, USA, 1991. (WWOS-II), Pacific Grove, ISBN 0-8186-2265-2. LCCN CA, USA, September 27–29, QA76.64 .I56 1991. IEEE cata- 1989. IEEE Computer Society log number 91TH0392-1. IEEE Press, 1109 Spring Street, Suite Computer Society Press order 300, Silver Spring, MD 20910, number 2265. USA, 1989. IEEE catalog num- IEEE:1992:PIC ber 89TH0281-6. [IEE92a] IEEE, editor. Proceedings. 1992 IEEE:1990:ICC IEEE Computer Society Sym- posium on Research in Secu- [IEE90a] IEEE, editor. 1990 Inter- rity and Privacy, Oakland, CA, national Conference on Com- USA, May 4–6, 1992. IEEE puter Languages, New Or- Computer Society Press, 1109 leans, LA, USA, March 12– Spring Street, Suite 300, Silver 15, 1990. IEEE Computer So- Spring, MD 20910, USA, 1992. ciety Press, 1109 Spring Street, ISBN 0-8186-2825-1. LCCN Suite 300, Silver Spring, MD QA 76.9 A25 I34 1992. IEEE 20910, USA, 1990. ISBN 0- catalog number 92CH3157-5. 8186-2036-6. LCCN QA76.7 IEEE Computer Society Press .I576 1990. IEEE catalog num- order number 2825. ber 90CH2854-8. IEEE Com- puter Society Press order num- IEEE:1992:PSA ber 2036. [IEE92b] IEEE, editor. Proceedings. The IEEE:1990:PIW Sixteenth Annual International Computer Software and Ap- [IEE90b] IEEE, editor. Proceedings. plications Conference, Chicago, IEEE Workshop on Experi- IL, USA, September 21–25, mental Distributed Systems, 1992. IEEE Computer Society Huntsville, AL, USA, October Press, 1109 Spring Street, Suite 11–12, 1990. IEEE Computer 300, Silver Spring, MD 20910, Society Press, 1109 Spring USA, 1992. ISBN 0-8186-3000- Street, Suite 300, Silver Spring, 0. LCCN ???? REFERENCES 36

IEEE:1993:DPF IEEE:1993:PSI [IEE93d] IEEE, editor. Proceedings of [IEE93a] IEEE, editor. Digest of Pa- the Second International Con- pers FTCS-23 The Twenty- ference on Parallel and Dis- Third International Symposium tributed Information Systems, on Fault-Tolerant Computing, San Diego, CA, USA, January Toulouse, France, June 22–24, 20–22, 1993. IEEE Computer 1993. IEEE Computer Soci- Society Press, 1109 Spring ety Press, 1109 Spring Street, Street, Suite 300, Silver Spring, Suite 300, Silver Spring, MD MD 20910, USA, 1993. ISBN 20910, USA, August 1993. 0-8186-3330-1. LCCN QA76.58 ISBN 0-8186-3680-7. LCCN .I54 1993. IEEE catalog num- QA76.5.I58 1993. IEEE cata- ber 93TH0493-7. log number 93CH3267-2. IEEE Computer Society order num- IEEE:1993:PRS ber 3680-02. [IEE93e] IEEE, editor. Proceedings. IEEE:1993:PFW Real-Time Systems Sympo- sium, Raleigh Durham, NC, [IEE93b] IEEE, editor. Proceedings. USA, December 1–3, 1993. Fourth Workshop on Worksta- IEEE Computer Society Press, tion Operating Systems, Napa, 1109 Spring Street, Suite 300, CA, USA, October 14–15, Silver Spring, MD 20910, USA, 1993. IEEE Computer Society 1993. ISBN 0-8186-4480- Press, 1109 Spring Street, Suite X. LCCN QA76.54.R434 300, Silver Spring, MD 20910, 1993. IEEE catalog number USA, 1993. ISBN 0-8186-4000- 93CH3376-1. 6. LCCN QA76.76.O63W667 IEEE:1994:PIW 1993. IEEE catalog number 93TH0553-8. [IEE94a] IEEE, editor. Proceedings 11th IEEE Workshop on Real-Time IEEE:1993:PIC Operating Systems and Soft- ware. RTOSS ’94, Seattle, WA, [IEE93c] IEEE, editor. Proceedings of the USA, 18–19 May 1994. IEEE 32nd IEEE Conference on De- Computer Society Press, 1109 cision and Control, San Anto- Spring Street, Suite 300, Silver nio, TX, USA, December 15– Spring, MD 20910, USA, 1994. 17, 1993. IEEE Computer So- ISBN 0-8186-5710-3. LCCN ciety Press, 1109 Spring Street, QA76.54.I173 1994. IEEE cat- Suite 300, Silver Spring, MD alog number 94TH0639-5. 20910, USA, 1993. ISBN 0- IEEE:1994:PSR 7803-1298-8. LCCN TJ 217 I11c 1993. Four volumes. IEEE [IEE94b] IEEE, editor. Proceedings. 13th catalog number 93CH3307-6. Symposium on Reliable Dis- REFERENCES 37

tributed Systems, Dana Point, Spring, MD 20910, USA, 1994. CA, USA, October 25–27, ISBN 0-8186-5390-6. LCCN 1994. IEEE Computer Society QA76.9.D5I595 1994. IEEE Press, 1109 Spring Street, Suite catalog number 94TH0651-0. 300, Silver Spring, MD 20910, USA, 1994. ISBN 0-8186-6575- IEEE:1994:PAI 0. LCCN QA 76.9 D5 S94 [IEE94f] IEEE, editor. Proceedings the 1994. IEEE catalog number 21st Annual International Sym- 94CH35714. posium on Computer Architec- IEEE:1994:PFI ture, Chicago, IL, USA, April 18–21, 1994. IEEE Computer [IEE94c] IEEE, editor. Proceedings of Society Press, 1109 Spring the Fourth International Con- Street, Suite 300, Silver Spring, ference on Computer Integrated MD 20910, USA, 1994. ISBN Manufacturing and Automa- 0-8186-5510-0. ISSN 0163- tion Technology, Troy, NY, 5964 (print), 1943-5851 (elec- USA, October 10–12, 1994. tronic). LCCN QA76.9.A73 IEEE Computer Society Press, I58 1994. ACM order number 1109 Spring Street, Suite 300, 415940. IEEE catalog number Silver Spring, MD 20910, USA, 94CH3397-7. IEEE Computer 1994. ISBN 0-8186-6510-6. Society order number 5510-02. LCCN TS155.63.I57 1994. IEEE:1994:PIC IEEE:1995:DPC [IEE94d] IEEE, editor. Proceedings [IEE95a] IEEE, editor. Digest of Papers. of the International Confer- COMPCON ’95. Technologies ence on Multimedia Comput- for the Information Super- ing and Systems, Boston, MA, highway, San Francisco, CA, USA, May 15–19, 1994. IEEE USA, March 5–9, 1995. IEEE Computer Society Press, 1109 Computer Society Press, 1109 Spring Street, Suite 300, Silver Spring Street, Suite 300, Silver Spring, MD 20910, USA, 1994. Spring, MD 20910, USA, 1995. ISBN 0-8186-5530-5. LCCN ISBN 0-8186-7029-0. LCCN QA76.575.I623 1994. IEEE cat- QA 75.5 C58 1995. IEEE cata- alog number 94TH0631-2. log number 95CH35737. IEEE:1994:PSI IEEE:1995:PIP [IEE94e] IEEE, editor. Proceedings Sec- [IEE95b] IEEE, editor. Proceedings 9th ond International Workshop on International Parallel Process- Configurable Distributed Sys- ing Symposium, Santa Bar- tems, Pittsburgh, PA, USA, bara, CA, USA, April 25–28, March 21–23, 1994. IEEE 1995. IEEE Computer Soci- Computer Society Press, 1109 ety Press, 1109 Spring Street, Spring Street, Suite 300, Silver Suite 300, Silver Spring, MD REFERENCES 38

20910, USA, 1995. ISBN 0- II:19xx:SOD 8186-7074-6. LCCN QA 76.58 I56 1995. IEEE catalog num- [Imaxx] Imag Institute. Supporting ber 95TH8052. an object-oriented distributed system: experience with unix, IEEE:1995:PRT Mach and Chorus. Tech- nical report, Imag Institute, [IEE95c] IEEE, editor. Proceedings. 19xx. URL ftp://imag. Real-Time Technology and Ap- fr/pub/GUIDE/doc/07mach- plications Symposium, Chicago, chorus.ps.Z. IL, USA, May 15–17, 1995. Issarny:1994:ETF IEEE Computer Society Press, 1109 Spring Street, Suite 300, [IMP94] V. Issarny, G. Muller, and Silver Spring, MD 20910, I. Puaut. Efficient treatment USA, 1995. ISBN 0-8186- of failures in RPC systems. In 6980-2. LCCN QA76.54.S95 IEEE [IEE94b], pages 170–180. 1995. IEEE catalog number ISBN 0-8186-6575-0. LCCN 95TH8055. QA 76.9 D5 S94 1994. IEEE catalog number 94CH35714. IEEE:1995:PSI Ishida:1992:IIT [IEE95d] IEEE, editor. Proceedings [Ish92] H. Ishida, editor. InfoJapan’90: Second International Work- information technology harmo- shop on Real-Time Comput- nizing with society: proceed- ing Systems and Applications, ings of the InfoJapan’90 Com- Tokyo, Japan, October 25–27, puter Conference, October 2– 1995. IEEE Computer Society 5, 1990, Tokyo, Japan, vol- Press, 1109 Spring Street, Suite ume 7(2–3) of Future Gener- 300, Silver Spring, MD 20910, ation Computer Systems. In- USA, 1995. ISBN 0-8186- formation Processing Society 7106-8. LCCN QA76.54.I59 of Japan and Elsevier Science 1995. IEEE catalog number Publishers, Tokyo, Japan and 95TB100002. Amsterdam, The Netherlands, April 1992. CODEN FGSEVI. Inouye:1992:EVA ISBN 0-444-88937-X. ISSN 0167-739X (print), 1872-7115 [IKWS92] J. Inouye, R. Konuru, J. Walpole, (electronic). LCCN QA75.I49 and B. Sears. The effects of vir- 1990. tually addressed caches on vir- Jaffer:1993:PAM tual memory design and per- formance. Operating Systems [Jaf93] Saeed Nawaz Jaffer. Perfor- Review, 26(4):14–29, October mance analysis of Mach on the 1992. CODEN OSRED8. ISSN IBM RISC System 6000. The- 0163-5980. sis (m.s.), Massachusetts Insti- REFERENCES 39

tute of Technology, Department pages 86–90. ISBN 0-8186- of Electrical Engineering and 5710-3. LCCN QA76.54.I173 Computer Science, Cambridge, 1994. IEEE catalog number MA, USA, 1993. 88 pp. 94TH0639-5. Jalan:1992:CID Jensen:1994:ADR

[Jal92] Ajay Jalan. Comparison and [Jen94] E. D. Jensen. Asynchronous de- implementation of dynamic centralized realtime computer load balancing facilities under systems. In Halang and the UNIX and Mach operat- Stoyenko [HS94a], pages 347– ing systems. Thesis (m.s.), 371. ISBN 3-540-57558-8. Worcester Polytechnic Insti- LCCN QA76.54.R4216 1994. tute, Worcester, MA, USA, 1992. vi + 69 pp. Jiang:1992:WEC Jammel:1992:ARG [JM92] Y. Jiang and A. Makinouchi. [Jam92] Alfons Jammel, editor. Ar- WARASA: an enhanced C++ chitektur von Rechensystemen. for concurrent programming on 12. GI-ITG-Fachtagung (Ar- shared memory multiprocessor chitecture of Computing Sys- computers. In IEEE [IEE92b], tems. 12th GI-ITG-Meeting), pages 257–262. ISBN 0-8186- Kiel, Germany, March 23–25, 3000-0. LCCN ???? 1992. Springer-Verlag, Berlin, John:1991:PEV Germany / Heidelberg, Ger- many / London, UK / etc., [Joh91] Aju John. Performance eval- 1992. ISBN 3-540-55340-1 uation of the virtual memory (Berlin), 0-387-55340-1 (New management and interprocess York). LCCN QA76.9.A73G5 communication features of the 1992. Mach operating system. The- Julin:1991:GES sis (m.s.), Worcester Polytech- nic Institute, Worcester, MA, [JCS+91] D. P. Julin, J. J. Chew, J. M. USA, 1991. xiv + 139 pp. Stevenson, P. Guedes, P. Neves, and P. Roy. Generalized em- Jones:1986:MMK ulation services for Mach 3.0- overview, experiences and cur- [JR86] Michael B. Jones and Richard F. rent status. In USENIX Rashid. MACH and Match- [USE91a], pages 13–26. LCCN maker: Kernel and language QA76.8.U65 U83 1991. support for object-oriented dis- tributed systems. Research pa- Jeffay:1994:LMT per CMU-CS-87-150, Carnegie [Jef94] K. Jeffay. On latency man- Mellon University, Computer agement in time-shared operat- Science Dept., Pittsburgh, PA, ing systems. In IEEE [IEE94a], USA, 1986. 11 pp. REFERENCES 40

Kurtzman:1995:DGO Khalidi:1993:FEP

[KD95] S. Kurtzman and K. Datta- [KN93] Y. A. Khalidi and M. N. Nel- tri. Design goals of object- son. A flexible external pag- oriented wrappers for the Mach ing interface. In Anonymous microkernel. In IEEE [IEE95a], [Ano93c], pages 127–140. pages 367–372. ISBN 0-8186- 7029-0. LCCN QA 75.5 C58 Kawachiya:1995:EQS 1995. IEEE catalog number 95CH35737. [KONT95] K. Kawachiya, M. Ogata, N. Nishio, and H. Tokuda. Kinicki:1993:CMD Evaluation of QoS-Control [KF93] R. E. Kinicki and D. Finkel. servers on real-time mach. Lec- Comparisons of Mach dis- ture Notes in Computer Sci- tributed performance using the ence, 1018:117–??, 1995. CO- WPI Benchmark Suite. In DEN LNCSD9. ISSN 0302- Mudge et al. [MMH93], pages 9743 (print), 1611-3349 (elec- 40–49 (vol. 2). ISBN 0-8186- tronic). 3230-5. LCCN ???? Four Koontz:1993:PBM volumes. IEEE catalog number 93TH0501-7. [Koo93] K. W. Koontz. Port buffers: Kiczales:1993:NCO a Mach IPC optimization for handling large volumes of [KLM+93] G. Kiczales, J. Lamping, small messages. In USENIX C. Maeda, D. Keppel, and [USE93c], pages 89–102. ISBN D. NcManee. The need for 1-880446-51-0. LCCN QA 76.76 customizable operating sys- O63 U86 1993. tems. In IEEE [IEE93b], pages 165–169. ISBN 0-8186-4000- Kitayama:1993:RIE 6. LCCN QA76.76.O63W667 [KTN93] Takuro Kitayama, Hideyuki 1993. IEEE catalog number Tokuda, and Tatsuo Nakajima. 93TH0553-8. RT-IPC: An IPC extension for Kuechlin:1991:IMP real-time Mach. In USE- NIX [USE93d], pages 91–104. [KLN91] W. Kuechlin, D. Lutz, and ISBN 1-880446-52-9. LCCN N. Nevin. Integer multiplica- QA76.9.A73 U83 1993. tion in PARSAC-2 on stock mi- croprocessors. In Mattson et al. Kupfer:1993:SM [MMR91], pages 206–217. CO- DEN LNCSD9. ISBN 3-540- [Kup93] Michael D. Kupfer. Sprite on 54522-0 (Berlin), 0-387-54522-0 Mach. In USENIX [USE93a], (New York). ISSN 0302-9743 pages 307–322. ISBN 1-880446- (print), 1611-3349 (electronic). 49-9. LCCN QA 76.76 O63 U85 LCCN QA268 .A35 1991. 1993. REFERENCES 41

Lacapra:1991:MOS Liedtke:1992:FTM

[Lac91] F. Lacapra. The MACH oper- [Lie92] J. Liedtke. Fast thread manage- ating system. Elettrotecnica,78 ment and communication with- (6):539–543, June 1991. CO- out continuations. In USENIX DEN ETRTAF. ISSN 0013- [USE92a], pages 213–221. ISBN 6131. 1-880446-42-1. LCCN QAX 32. Langerman:1990:HMV Loucks:1993:MOS [LBLM90] A. Langerman, J. Boykin, [LMR93] L. Loucks, R. Manikundalam, S. LoVerso, and S. Mangalat. A and Iii Rawson, F. L. . A highly-parallelized Mach-based microkernel-based operating vnode filesystem. In Anony- system for personal digital as- mous [Ano90c], pages 297–312. sistants. In IEEE [IEE93b], pages 9–13. ISBN 0-8186-4000- Lehr:1989:MMK 6. LCCN QA76.76.O63W667 [Leh89] Theodore F. Lehr. MKM: 1993. IEEE catalog number Mach Kernel Monitor descrip- 93TH0553-8. tion, examples and measure- MacLachlan:1991:CCL ments. Research paper CMU- [Mac91] Rob MacLachlan. CMU Com- CS-89-131, Carnegie Mellon mon Lisp user’s manual. Re- University, Computer Science search paper CMU-CS-91-108, Dept., Pittsburgh, PA, USA, School of Computer Science, March 1989. iii + 20 pp. Carnegie Mellon University, Lo:1993:ACD Pittsburgh, PA, USA, Febru- ary 1991. vi + 168 pp. This [LHC93] S. L. A. Lo, N. C. Hutchinson, is a revised version of Technical and S. T. Chanson. Architec- Report CMU-CS-87-156. tural considerations in the de- sign of real-time kernels. In MacLachlan:1992:CCL IEEE [IEE93e], pages 138–147. [Mac92] Rob MacLachlan. CMU Com- ISBN 0-8186-4480-X. LCCN mon Lisp user’s manual. Re- QA76.54.R434 1993. IEEE cat- search paper CMU-CS-92-161, alog number 93CH3376-1. School of Computer Science, Lepreau:1993:ISM Carnegie Mellon University, Pittsburgh, PA, USA, July [LHFL93] J. Lepreau, M. Hibler, B. Ford, 1992. v + 142 pp. Supersedes and J. Law. In-kernel servers Technical Reports CMU-CS- on Mach 3.0: implementation 87-156 and CMU-CS-91-108. and performance. In USENIX Maitan:1993:ETH [USE93a], pages 39–55. ISBN 1-880446-49-9. LCCN QA 76.76 [Mai93] Jacek Maitan, editor. En- O63 U85 1993. abling Technologies for High- REFERENCES 42

Bandwidth Applications, Boston, Milojicic:1995:OSS MA, USA, September 10–11, 1992, volume 1785 of Proceed- [MBS95] D. S. Milojicic, D. L. Black, ings of the SPIE — The In- and S. Sears. Operating sys- ternational Society for Optical tem support for concurrent re- Engineering. Society of Photo- mote task creation. In IEEE optical Instrumentation Engi- [IEE95b], pages 486–492. ISBN neers (SPIE), Bellingham, WA, 0-8186-7074-6. LCCN QA 76.58 USA, 1993. CODEN PSISDG. I56 1995. IEEE catalog number ISBN 0-8194-0964-2. ISSN 95TH8052. 0277-786X (print), 1996-756X McDonald:1989:CCL (electronic). LCCN TK5105.5 .E44 1993. [McD89] David B. McDonald. CMU Common Lisp user’s man- Mallal:1991:EMP ual Mach/IBM RT edition. Carnegie Mellon University, [Mal91] Rizwan Mallal. Emulation of Computer Science Dept., Pitts- the Mach PMAP module for burgh, PA, USA, 1989. v + 120 the MC88200 MMU on the pp. Revised version of technical Silicon Graphics Iris worksta- report CMU-CS-87-156. tions. Thesis (m. s.), University of Vermont, Burlington, VT, Milojicic:2000:PM USA, 1991. vi + 40 pp. [MDP+00] Dejan S. Milo´iˇci´c, Fred Douglis, Yves Paindaveine, Mayer:1988:IRB Richard Wheeler, and Songnian [May88] F. L. Mayer. An interpreta- Zhou. Process migration. ACM tion of a refined Bell-La Padula Computing Surveys, 32(3):241– model for the TMach ker- 299, 2000. CODEN CMSVAN. nel. In IEEE [IEE88b], pages ISSN 0360-0300 (print), 1557- 368–378. ISBN 0-8186-0895- 7341 (electronic). URL 1. LCCN TL787 .A471 1988; http://www.acm.org/pubs/ QA76.9.A25 A39 1988. IEEE articles/journals/surveys/ catalog number 88CH2629-5. 2000-32-3/p241-miloiic/p241- IEEE Computer Society order miloiic.pdf; http://www. number 895. acm.org/pubs/citations/journals/ surveys/2000-32-3/p241-miloiic/ Maeda:1993:PSD . Millard:1993:RSS [MB93] C. Maeda and B. N. Bershad. Protocol service decomposition [MDRK93] B. R. Millard, P. Dasgupta, for high-performance network- S. Rao, and R. Kuramkote. ing. In ACM [ACM93a], pages Run-time support and stor- 244–255. CODEN OSRED8. age management for memory- ISSN 0163-5980. mapped persistent objects. In REFERENCES 43

IEEE [IEE93c], pages 508–515. 3-528-05424-7. xx + 149 pp. ISBN 0-7803-1298-8. LCCN LCCN QA76.9.D5M55 1994. TJ 217 I11c 1993. Four vol- With a foreword by J¨urgen umes. IEEE catalog number Nehmer. 93CH3307-6. Minnick:1993:OIN Matsuoka:1991:FPC [Min93] M. Minnick. An object- [MFY91] S. Matsuoka, S. Furuso, and oriented interface to the NeXT A. Yonezawa. A fast par- sound driver. In Maitan allel conservative garbage col- [Mai93], pages 238–239. CO- lector for concurrent object- DEN PSISDG. ISBN 0- oriented systems. In IEEE 8194-0964-2. ISSN 0277-786X [IEE91], pages 87–93. ISBN 0- (print), 1996-756X (electronic). 8186-2265-2. LCCN QA76.64 LCCN TK5105.5 .E44 1993. .I56 1991. IEEE catalog num- Minear:1995:PPC ber 91TH0392-1. IEEE Com- puter Society Press order num- [Min95] S. E. Minear. Providing policy ber 2265. control over object operations in a Mach based system. In Milojicic:1993:ELD USENIX [USE95a], pages 141– [MGZ93] D. S. Milojicic, P. Giese, and 155. W. Zint. Experiences with load Mitchell:1991:MRC distribution on top of the Mach microkernel. In Anonymous [Mit91] David W. Mitchell. Mach re- [Ano93c], pages 19–36. source control in OSF/1. In USENIX [USE91a], pages 123– Muller:1994:OSR 130. LCCN QA76.8.U65 U83 1991. [MHP94] G. Muller, M. Hue, and N. Pey- rouze. Operating system: Mitchell:1993:MSR results of the FTM exper- [Mit93] Dave Mitchell. Mach sympo- iment. In Echtle et al. sium report. ;login: the USE- [EHP94], pages 491–508. CO- NIX Association newsletter,18 DEN LNCSD9. ISBN 0- (3):3–7, May/June 1993. CO- 387-58426-9. ISSN 0302-9743 DEN LOGNEM. ISSN 1044- (print), 1611-3349 (electronic). 6397. LCCN QA76.9.F38 E33 1994. Miyoshi:1998:RTJ Milojicic:1994:LDI [MKT98] Akihiko Miyoshi, Takuro Ki- [Mil94] Dejan S. Milojicic. Local Distri- tayama, and Hideyuki Tokuda. bution: Implementation for the A real-time Java server for Mach Microkernel. Friedrich real-time Mach. Paral- Vieweg und Sohn, Braun- lel and Distributed Comput- schweig, Germany, 1994. ISBN ing Practices, 1(2):??, ???? REFERENCES 44

1998. CODEN ???? ISSN codes: 9th International Sym- 1097-2803. URL http:// posium, AAECC-9, New Or- www.cs.okstate.edu/~pdcp/ leans, LA, USA, October 7– vols/vol01/vol01no2abs.html# 11, 1991: proceedings, volume miyoshi. 539 of Lecture Notes in Com- puter Science. Springer-Verlag, Milojicic:1997:CCS Berlin, Germany / Heidelberg, [MLB+97] Dejan S. Milojicic, Alan Germany / London, UK / etc., Langerman, David L. Black, 1991. CODEN LNCSD9. ISBN Michelle Dominijanni, Ran- 3-540-54522-0 (Berlin), 0-387- dall W. Dean, and Steven J. 54522-0 (New York). ISSN Sears. Concurrency: a case 0302-9743 (print), 1611-3349 study in remote tasking and (electronic). LCCN QA268 distributed IPC in Mach. .A35 1991. IEEE Concurrency, 5(2):39– Morin:1996:MUV 49, April/June 1997. CODEN IECMFX. ISSN 1092-3063 [Mor96] Richard Morin. Mach-based (print), 1558-0849 (electronic). UNIX variants. SunExpert URL http://dlib.computer. Magazine, 7(9):30, 32, 33, org/pd/books/pd1997/pdf/ September 1996. ISSN 1053- p2039.pdf; http://www. 9239. Discusses the University computer.org/concurrency/ of Utah’s Mach 4 project (see pd1997/p2039abs.htm. http://www.cs.utah.edu/projects/flux/mach4/html/) the GNU Hurd project (see Mudge:1993:PTH http://www.cs.pdx.edu/ trent/gnu/hurd/) [MMH93] T. N. Mudge, V. Milutinovic, and the commercial Mach and L. Hunter, editors. Pro- Ten implementation that runs ceeding of the Twenty-Sixth Mach on top of MacOS (see Hawaii International Con- http://www.tenon.com/). ference on System Sciences, Wailea, HI, USA, January 5– Moy:1993:TIU 8, 1993. IEEE Computer Soci- [Moy93] Evelyn Moy. A TCP/IP user ety Press, 1109 Spring Street, library in a Mach 3.0 sys- Suite 300, Silver Spring, MD tem. Thesis (m.s.), University 20910, USA, 1993. ISBN 0- of Washington, Seattle, WA, 8186-3230-5. LCCN ???? Four USA, 1993. vi + 44 pp. volumes. IEEE catalog number 93TH0501-7. Mercer:1995:IIR Mattson:1991:AAA [MR95] C. W. Mercer and R. Ra- [MMR91] H. F. Mattson, Teo Mora, jkumar. An interactive in- and T. R. N. Rao, editors. terface and RT-Mach support Applied algebra, algebraic al- for monitoring and control- gorithms, and error-correcting ling resource management. In REFERENCES 45

IEEE [IEE95c], pages 134–139. 1109 Spring Street, Suite 300, ISBN 0-8186-6980-2. LCCN Silver Spring, MD 20910, USA, QA76.54.S95 1995. IEEE cat- 1991. ISBN 0-8186-2420- alog number 95TH8055. 5. LCCN ???? Four vol- umes. IEEE catalog number Malan:1991:MA 91TH0394-7. [MRGB91] G. Malan, R. Rashid, D. Golub, Mercer:1993:PCR and R. Baron. DOS as a Mach 3.0 application. In USENIX [MST93] C. W. Mercer, S. Savage, and [USE91a], pages 27–40. LCCN H. Tokuda. Processor capac- QA76.8.U65 U83 1991. ity reserves: an abstraction for managing processor usage. In Mercer:1994:TPR IEEE [IEE93b], pages 129–134. [MRZ94] C. Mercer, R. Rajkumar, and ISBN 0-8186-4000-6. LCCN J. Zelenka. Temporal pro- QA76.76.O63W667 1993. IEEE tection in real-time operating catalog number 93TH0553-8. systems. In IEEE [IEE94a], Mercer:1994:PCR pages 79–83. ISBN 0-8186- 5710-3. LCCN QA76.54.I173 [MST94] C. W. Mercer, S. Savage, and 1994. IEEE catalog number H. Tokuda. Processor capac- 94TH0639-5. ity reserves: operating system support for multimedia appli- Mudge:1995:PTH cations. In IEEE [IEE94d], [MS95] T. Mudge and B. D. Shriver, pages 90–99. ISBN 0-8186- editors. Proceedings of the 5530-5. LCCN QA76.575.I623 Twenty-Eighth Hawaii Inter- 1994. IEEE catalog number national Conference on Sys- 94TH0631-2. tem Sciences, Wailea, HI, Midorikawa:1995:INC USA, January 3–6, 1995. IEEE Computer Society Press, 1109 [MUI95] Hiroko Midorikawa, Shigeru Spring Street, Suite 300, Silver Uchiyama, and Hajime Iizuka. Spring, MD 20910, USA, 1995. An implementation of nCUBE ISBN 0-8186-6930-6. LCCN C execution environment un- ???? Five volumes. der Mach. Conference proceed- Milutinovic:1991:PTH ings / IEEE Pacific Rim Con- ference on Communications, [MSNS91] V. Milutinovic, B. D. Shriver, Computers and Signal Process- J. F. Nunamaker, Jr., and R. H. ing, pages 55–58, May 1995. Sprague, Jr., editors. Proceed- ISSN 0893-4266. ings of the Twenty-Fifth Hawaii Murase:1993:DOM International Conference on System Sciences, Kauai, HI, [MYS+93] T. Murase, S. Yoshida, T. Sakon, USA, January 7–10, 1992. Y. Maeyama, P. Halstead, and IEEE Computer Society Press, K. Chiba. Development of REFERENCES 46

OSF/1-MK on MIPS architec- 873 of Lecture Notes in Com- ture. Sumitomo Electric Tech- puter Science. Springer-Verlag, nical Review, 36:72–76, June Berlin, Germany / Heidelberg, 1993. CODEN SETRAY. ISSN Germany / London, UK / etc., 0376-1207. 1994. CODEN LNCSD9. ISBN Milojicic:1993:TMT 0-387-58555-9. ISSN 0302-9743 (print), 1611-3349 (electronic). [MZDG93] Dejan Milojicic, Wolfgang Zint, LCCN QA76.76.D47 I593 1994. Andreas Dangel, and Peter Giese. Task migration on the Nichols:1991:DSU top of the Mach microkernel. [Nic91] Bradford Nichols. Distributed In USENIX [USE93a], pages services using the Mach exter- 273–289. ISBN 1-880446-49-9. nal memory management inter- LCCN QA 76.76 O63 U85 1993. face. Thesis (m.s.), Worcester Nangia:1991:TBF Polytechnic Institute, Worces- ter, MA, USA, 1991. v + 94 [Nan91] Ashvini Nangia. Transaction pp. based fault-tolerant comput- ing in Mach. Thesis (m.s.), Nilsson:1992:PPR Worcester Polytechnic Insti- tute, Worcester, MA, USA, [Nil92] M. Nilsson. Parallel process- 1991. v + 67 pp. ing research at SICS. Joho- Shori (J. Information Process- Northcutt:1990:TPC ing Soc. Japan), 33(4):421–426, [NCS+90] J. D. Northcutt, R. K. Clark, ???? 1992. CODEN JOSHA4. S. E. Shipman, D. P. Maynard, ISSN 0447-8053. E. D. Jensen, F. D. Reynolds, Nakajima:1993:IMP and B. Dasarathy. Threads: a programming construct for reli- [NKAT93] T. Nakajima, T. Kitayama, able real-time distributed com- H. Arakawa, and H. Tokuda. puting. In Ammar [Amm90], Integrated management of pri- pages 299–304. ISBN 0-88986- ority inversion in Real-Time 162-5. LCCN QA76.9.D5 I86 Mach. In IEEE [IEE93e], 1990. pages 120–130. ISBN 0-8186- 4480-X. LCCN QA76.54.R434 Naftalin:1994:FIB 1993. IEEE catalog number [NDB94] Maurice Naftalin, Tim Den- 93CH3376-1. vir, and Miquel Bertran, edi- Nakajima:1991:MEM tors. FME ’94: industrial ben- efit of formal methods: Sec- [NM91] J. Nakajima and Y. H. Mat- ond International Symposium sumoto. Multimedia/realtime of Formal Methods Europe, extensions for the Mach oper- Barcelona, Spain, October 24– ating system. In Anonymous 28, 1994: proceedings, volume [Ano91a], pages 183–198. REFERENCES 47

Nagle:1994:OAO Ogata:1992:DIH [OKID92] K. Ogata, S. Kurihara, M. Inari, [NUMS94] D. Nagle, R. Uhlig, T. Mudge, and N. Doi. The design and S. Sechrest. Optimal and implementation of HoME allocation of on-chip memory (Smalltalk version). In ACM for multiple-API operating sys- [ACM92a], pages 44–54. CO- tems. In IEEE [IEE94f], pages DEN SINODQ. ISBN 0- 358–369. ISBN 0-8186-5510- 89791-475-9. ISSN 0362- 0. ISSN 0163-5964 (print), 1340 (print), 1523-2867 (print), 1943-5851 (electronic). LCCN 1558-1160 (electronic). LCCN QA76.9.A73 I58 1994. ACM or- QA76.7.S53 1992. URL http:/ der number 415940. IEEE cata- /www.acm.org:80/pubs/citations/ log number 94CH3397-7. IEEE proceedings/pldi/143095/ Computer Society order num- p44-ogata/. ber 5510-02. Orman:1993:FGI Nagle:1993:DTS [OMOP93] H. Orman, Iii Menze, E. , [NUS+93] D. Nagle, R. Uhlig, T. Stan- S. O’Malley, and L. Peterson. ley, S. Sechrest, T. Mudge, and A fast and general implemen- R. Brown. Design tradeoffs tation of Mach IPC in a net- for software-managed TLBs. In work. In USENIX [USE93a], Anonymous [Ano93a], pages pages 75–88. ISBN 1-880446- 27–38. CODEN CANED2. 49-9. LCCN QA 76.76 O63 U85 ISBN 0-8186-3810-9 (paper), 1993. 0-8186-3811-7 (microfiche), 0- Onodera:1993:GCC 8186-3812-5 (case). ISSN 0163- 5964 (print), 1943-5851 (elec- [Ono93] T. Onodera. A genera- tronic). LCCN QA76.9.A73 tional and conservative copy- I58 1993. ACM order num- ing collector for hybrid object- ber 415930. IEEE catalog num- oriented languages. Software ber 93CH3284-7. IEEE Com- —Practice and Experience,23 puter Society Press order num- (10):1077–1093, October 1993. ber 3810-02. CODEN SPEXBL. ISSN 0038- 0644 (print), 1097-024X (elec- Nakajima:1992:MEM tronic). Oikawa:1994:URT [NYM92] Jun Nakajima, Masatomo Ya- zaki, and Hitoshi Matsumoto. [OT94] S. Oikawa and H. Tokuda. Multimedia/realtime exten- User-level real-time threads. In sions for Mach 3.0. In USENIX IEEE [IEE94a], pages 7–11. [USE92a], pages 161–176 (or ISBN 0-8186-5710-3. LCCN 161–175??). ISBN 1-880446-42- QA76.54.I173 1994. IEEE cat- 1. LCCN QAX 32. alog number 94TH0639-5. REFERENCES 48

Oikawa:1995:RDU Peterson:1993:LOB

[OT95] S. Oikawa and H. Tokuda. Re- [Pet93] L. L. Peterson. Life on the flection of developing user-level OS/network boundary. Operat- real-time thread packages. Op- ing Systems Review, 27(2):94– erating Systems Review, 29(4): 98, April 1993. CODEN OS- 63–76, October 1995. CODEN RED8. ISSN 0163-5980. OSRED8. ISSN 0163-5980. Pham:1991:EMD Padmanaban:1995:RDS [Pha91] T. Q. Pham. Experimental mi- [Pad95] Radhachandran Padmanaban. gration of a distributed appli- Recoverable distributed shared cation to a multithreaded en- memory on Mach. Thesis vironment. Technical Report (m.s.), University of North Car- HPL-91-155, Hewlett–Packard olina at Charlotte, Charlotte, Laboratories, Palo Alto, CA, NC, USA, 1995. ix + 71 pp. USA, October 1991. 37 pp. Phelan:1993:OPM Paul:1992:IRM [PAO93] James M. Phelan, James W. + Arendt, and Gary R. Ormsby. [PHY 92] C. J. Paul, L. E. Holloway, An OS/2 personality on Mach. D. Yan, J. K. Strosnider, and In USENIX [USE93a], pages B. H. Krogh. An intelligent re- 191–201. ISBN 1-880446-49-9. active monitoring and schedul- LCCN QA 76.76 O63 U85 1993. ing system. IEEE Control Systems Magazine, 12(3):78– Patience:1993:RSC 86, June 1992. CODEN IS- [Pat93] Simon Patience. Redirecting MAD7. ISSN 0272-1708. system calls in Mach 3.0, an al- Paciorek:1991:DMO ternative to the emulator. In USENIX [USE93a], pages 57– [PLL91] N. Paciorek, S. Lo Verso, and 73. ISBN 1-880446-49-9. LCCN A. Langerman. Debugging QA 76.76 O63 U85 1993. multiprocessor operating sys- tem kernels. In Anonymous Pu:1990:IPS [Ano91b], pages 185–201.

[PC90] C. Pu and S.-W. F. Chen. Papadimitriou:2018:MVF Implementation of a proto- type superdatabase. In IEEE [PM18] Stergios Papadimitriou and [IEE90b], pages 3–7. IEEE cat- Lefteris Moussiades. Mac OS alog number 90TH0337-6. versus FreeBSD: A comparative Peterson:1992:MK evaluation. Computer, 51(2): 44–53, February 2018. CODEN [Pet92] J. L. Peterson. The Mach Ker- CPTRB4. ISSN 0018-9162 nel. In Anonymous [Ano92c], (print), 1558-0814 (electronic). pages 571–578. URL https://www.computer. REFERENCES 49

org/csdl/mags/co/2018/02/ 1989. CODEN DTMNAT. mco2018020044-abs.html. ISSN 0011-6963. Park:1995:IUC Rashid:1991:MDO

[PRK95] Sang Seo Park, In Ho Ra, and [Ras91] Richard Rashid. Mach dis- Sung Jo Kim. Improving user tributed operating systems/ convenience on a Mach-based Unix/AIX, 1991. ISBN 0-8186- distributed system. Journal 2504-X (notes), 0-8186-2503-1 of the Korea Information Sci- (video). 2 videocassettes (VHS) ence Society = Chongbo Kwa- (163 min.). hakhoe nonmunji, 22(3):393– 402, March 1995. CODEN Rashid:1989:MFO HJKHDC. ISSN 0258-9125. [RBF+89] R. Rashid, R. Baron, A. Forin, Ragoonaden:1992:DOS D. Golub, M. Jones, D. Orr, [Rag92] K. Ragoonaden. Developments and R. Sanzi. Mach: a foun- in operating system technology. dation for open systems (op- BT Technology Journal, 10(4): erating systems). In IEEE 85–95, October 1992. CODEN [IEE89d], pages 109–113. IEEE BTJUEH. ISSN 0265-0193. catalog number 89TH0281-6. Rao:1991:PCI Reddy:1992:IRS

[Rao91] Somesh S. Rao. Performance [Red92] Aram Jyothy Reddy. Imple- comparison of interprocess menting recovery support for communication in Mach and virtual memory databases in Unix. Thesis (m.s.), Worcester Mach 3.0. Thesis (m.a.), Uni- Polytechnic Institute, Worces- versity of Texas at Austin, ter, MA, USA, 1991. vii + 113 Austin, TX, USA, 1992. ix + pp. 36 pp. Rashid:1987:RAM Reynolds:1991:KSN [Ras87] Richard F. Rashid. From RIG to ACCENT to MACH: The [RH91] F. Reynolds and J. Heller. evolution of a network oper- Kernel support for network ating system. Research pa- protocol servers. In USE- per, Carnegie Mellon Univer- NIX [USE91a], pages 149–162. sity, Computer Science Dept., LCCN QA76.8.U65 U83 1991. Pittsburgh, PA, USA, 1987. 23 Rashid:1989:MSS pp. + Rashid:1989:COS [RJO 89] R. Rashid, D. Julin, D. Orr, R. Sanzi, R. Baron, A. Forin, [Ras89] R. Rashid. A catalyst for open D. Golub, and M. Jones. systems (mach kernel). Data- Mach: a system software ker- mation, 35(10):32–33, May nel. In IEEE [IEE89b], pages REFERENCES 50

176–178. ISBN 0-8186-1909- Rosenburg:1989:LTL 0 (paperback), 0-8186-5909- 2 (microfiche), 0-8186-9909-4 [Ros89] B. S. Rosenburg. Low- (case). LCCN QA75.5 .C58 synchronization translation 1989. IEEE catalog number lookaside buffer consistency 89CH2686-4. in large-scale shared-memory multiprocessor. Operating Sys- Rashid:1991:MA tems Review, 23(5):137–166, [RMGB91] Richard Rashid, Gerald Malan, ???? 1989. CODEN OSRED8. David Golub, and Robert ISSN 0163-5980. Baron. DOS as a Mach Roscoe:1994:LNS 3.0 application. In USENIX [USE91a], pages 27–40. LCCN [Ros94] T. Roscoe. Linkage in the QA76.8.U65 U83 1991. Nemesis single address space operating system. Operating Reynolds:1990:TPC Systems Review, 28(4):48–55, [RNJ+90] F. D. Reynolds, J. D. North- October 1994. CODEN OS- cutt, E. D. Jensen, R. K. Clark, RED8. ISSN 0163-5980. S. E. Shipman, B. Dasarathy, Roy:1993:UFA and D. P. Maynard. Threads: a programming construct for reli- [Roy93] P. J. Roy. Unix file access able real-time distributed com- and caching in a multicom- puting. International Journal puter environment. In USENIX of Mini and Microcomputers, [USE93a], pages 21–37. ISBN 12(3):119–127, ???? 1990. CO- 1-880446-49-9. LCCN QA 76.76 DEN IJMMDE. ISSN 0702- O63 U85 1993. 0481. Rockhold:1994:OSS Robertson:1990:IOS [RP94] R. L. Rockhold and J. L. Pe- [Rob90] L. Robertson. Introduction to terson. Operating system sup- operating systems. In Verkerk port for shared memory clus- [Ver90], pages 309–336. ters. In Hesham and Shriver [HS94b], pages 86–95. ISBN 0- Robbins:1994:ADS 8186-5060-5. LCCN ???? IEEE [Rob94] James P. Robbins. Ar- catalog number 94TH0607-2. cade distributed shared mem- Russinovich:1995:ACM ory and the Mach external memory management interface. [RS95] M. Russinovich and Z. Segall. M.s.c.s.e., Department of Com- Application-transparent check- puter Science and Engineer- pointing in Mach 3.0/UX. In ing, University of Notre Dame, Mudge and Shriver [MS95], Notre Dame, IN 46556, USA, pages 114–123 (vol. 1). ISBN 0- 1994. iv + 28 pp. Thesis di- 8186-6930-6. LCCN ???? Five rected by David L. Cohn. volumes. REFERENCES 51

Russinovich:1993:ATF 3-540-58404-8, 0-387-58404-8 (New York). ISSN 0302-9743 [RSS93] M. Russinovich, Z. Segall, and (print), 1611-3349 (electronic). D. P. Siewiorek. Application LCCN TK7881.4 .N394 1993. transparent fault management DM58.00. in fault tolerant Mach. In IEEE [IEE93a], pages 10–19. Song:1993:PPB ISBN 0-8186-3680-7. LCCN [SC93] Inshik Song and Yookun Cho. QA76.5.I58 1993. IEEE cata- Page prefetching based on fault log number 93CH3267-2. IEEE history. In USENIX [USE93a], Computer Society order num- pages 203–213. ISBN 1-880446- ber 3680-02. 49-9. LCCN QA 76.76 O63 U85 Rashid:1990:MSS 1993. [RT90] R. F. Rashid and H. Tokuda. Stodolsky:1993:FIP Mach: a system software ker- [SCB93] D. Stodolsky, J. B. Chen, and nel. In Anonymous [Ano90a], B. N. Bershad. Fast interrupt pages 163–169. CODEN priority management in operat- COSEEO. ISSN 0956-0521. ing system kernels. In Anony- Saavedra:1992:SMM mous [Ano93c], pages 105–110. [Saa92] Cesar Alfredo Saavedra. A Swanson:1993:DSW semi-Markov model of the Mach virtual memory page re- [SCSK93] M. Swanson, T. Critchlow, placement algorithm. Thesis L. Stoller, and R. Kessler. (m.s.), University of Kansas, The design of the schizophrenic Computer Science, Lawrence, workstation system. In USE- KS, USA, 1992. 73 pp. NIX [USE93a], pages 291–306. ISBN 1-880446-49-9. LCCN Shepherd:1994:NOS QA 76.76 O63 U85 1993. [SBC+94] D. Shepherd, G. Blair, G. Coul- Sebes:1991:OAD son, N. Davies, and F. Garcia, editors. Network and Operat- [Seb91a] E. J. Sebes. Overview of ing System Support for Digi- the architecture of Distributed tal Audio and Video. 4th In- Trusted Mach. In USE- ternational Workshop, NOSS- NIX [USE91a], pages 251–262. DAV ’93. Proceedings, Lan- LCCN QA76.8.U65 U83 1991. caster, UK, 3–5 November Sebes:1991:DTM 1993, volume 846 of Lec- ture Notes in Computer Sci- [Seb91b] Edward John Sebes. Dis- ence. Springer-Verlag, Berlin, tributed trusted Mach ar- Germany / Heidelberg, Ger- chitecture. In USENIX many / London, UK / etc., [USE91a], pages 251–262. 1994. CODEN LNCSD9. ISBN LCCN QA76.8.U65 U83 1991. REFERENCES 52

Spector:1989:HPD Shriver:1989:PTA

+ [SED 89] A. Z. Spector, J. L. Eppinger, [Shr89] B. D. Shriver, editor. Proceed- D. S. Daniels, R. Draves, J. J. ings of the Twenty-Second An- Bloch, D. Duchamp, R. F. nual Hawaii International Con- Pausch, and D. Thompson. ference on System Sciences. High performance distributed Vol.II: Software Track, Kailua- transaction processing in a gen- Kona, HI, USA, January 3–6, eral purpose computing envi- 1989. IEEE Computer Society ronment. In Gawlick et al. Press, 1109 Spring Street, Suite [GHR89], pages 220–242. ISBN 300, Silver Spring, MD 20910, 3-540-51085-0. LCCN ???? USA, 1989. ISBN 0-8186-1912- Salem:1990:SMT 0. LCCN ???? IEEE catalog number 89TH0243-6. [SGM90] K. Salem and H. Garcia- Molina. System M: a trans- Stevenson:1995:MUG action processing testbed for memory resident data. IEEE [SJ95] J. Mark Stevenson and Daniel P. Transactions on Knowledge Julin. Mach-US: UNIX on and Data Engineering, 2(1): generic OS object servers. In 161–172, March 1990. CODEN USENIX [USE95b], pages 119– ITKEEH. ISSN 1041-4347. 130. ISBN 1-880446-67-7. LCCN QA 76.76 O63 U88 1995. Shah:1991:IDL Sours:1997:CMI [Sha91] Dhruve Shah. Implementation of a dynamic load balancing [Sou97] Susan Pawlowski Sours. Cronus/ facility in a distributed work- Mach integration. Technical station environment under the Report RL-TR-97-134, Rome Mach operating system. The- Laboratory, Air Materiel Com- sis (m.s.), Worcester Polytech- mand, Rome, NY, USA, 1997. nic Institute, Worcester, MA, vii + 142 pp. USA, 1991. vii + 82 pp. Shekita:1991:HPF Sechrest:1991:ULP [She91] Eugene J. Shekita. High- [SP91a] Stuart Sechrest and Yoonho Performance Implementation Park. User-level physical mem- Techniques for Next-Generation ory management for Mach. Database Systems. Thesis Technical report CSE-TR-112- (ph.d.), Computer Sciences 91, University of Michigan, Department, University of Computer Science and Engi- Wisconsin–Madison, Madison, neering Division, Dept. of Elec- WI, USA, May 1991. viii + 142 trical Engineering and Com- pp. Available as Technical Re- puter Science, Ann Arbor, MI, port TR 1026. USA, 1991. 11 pp. REFERENCES 53

Sechrest:1991:UPM USA, May 22–24, 1995. Kluwer Academic Publishers, Dor- [SP91b] Stuart Sechrest and Yoonho drecht, The Netherlands, 1996. Park. User-level physical mem- ISBN 0-7923-9635-9. LCCN ory management for Mach. In QA76.58.L37 1996. USENIX [USE91a], pages 189– 200. LCCN QA76.8.U65 U83 Savage:1993:RMT 1991. [ST93] S. Savage and H. Tokuda. Real- Spector:1988:CFD time Mach timers: exporting time to the user. In USENIX [SPB88] A. Z. Spector, R. F. Pausch, [USE93c], pages 111–118. ISBN and G. Bruell. CAMELOT: 1-880446-51-0. LCCN QA 76.76 a flexible, distributed trans- O63 U86 1993. action processing system. In IEEE [IEE88a], page ?? Stankovic:1994:ROS ISBN 0-8186-0828-5 (paper- [Sta94] J. A. Stankovic. Real-time op- back), 0-8186-4828-7 (mi- erating systems. In Halang and crofiche), 0-8186-8828-9 (hard- Stoyenko [HS94a], pages 65–82. cover). LCCN QA75.5 .C58 ISBN 3-540-57558-8. LCCN 1988. QA76.54.R4216 1994. Spector:1987:CDT Subramanian:1991:MDP [Spe87] Alfred Z. Spector. Camelot: a [Sub91] I. Subramanian. Managing distributed transaction facility discardable pages with an ex- for Mach and the Internet — ternal pager. In USENIX an interim report. Research pa- [USE91a], pages 77–85. LCCN per CMU-CS-87-129, Carnegie QA76.8.U65 U83 1991. Mellon University, Computer Science Dept., Pittsburgh, PA, Schwan:1992:TDM USA, 1987. 36 pp. [SZ92] K. Schwan and Hongyi Zhou. Sane:1989:OSK Toward dynamic, multipro- cessor real-time threads. In [SR89] A. Sane and S. S. S. P. Rao. Boullart and de la Puente An operating system kernel [Bd92b], pages 149–154. ISBN for transputers compatible with 0-08-041894-5. LCCN QA76.54.R423 Mach. In Anonymous [Ano89a], 1992. page 161. Schwan:1991:RT Szymanski:1996:LCR [SZG91] K. Schwan, Hongyi Zhou, and [SS96] Boleslaw K. Szymanski and A. Gheith. Real-time threads. Balaram Sinharoy, editors. Operating Systems Review,25 Languages, Compilers and (4):35–46, October 1991. CO- Run-Time Systems for Scal- DEN OSRED8. ISSN 0163- able Computers, Troy, NY, 5980. REFERENCES 54

Schwan:1992:MRT mentation of Mach microkernel- based parallel operating system [SZG92] K. Schwan, Hongyi Zhou, and “Cenju-3/DE”. NEC Technical A. Gheith. Multiprocessor real- Journal = NEC giho, 48(12): time threads. Operating Sys- 120–??, ???? 1995. CODEN tems Review, 26(1):54–65, Jan- NECGEZ. ISSN 0285-4139. uary 1992. CODEN OSRED8. ISSN 0163-5980. Tabata:1994:ICC Tevanian:1987:MTU [TI94a] Y. Tabata and H. Iizuka. An implementation of Concurrent + [TBG 87] Avadis Tevanian, David Black, C on a distributed memory David Golub, Richard Rashid, multiprocessor. Technical Re- Eric Cooper, and Michael ports of Seikei University,31 Young. MACH threads and (2):93–98, September 1994. the UNIX kernel: The bat- CODEN SDKHEO. ISSN 0919- tle for control. Research pa- 9888. per, Carnegie Mellon Univer- sity, Computer Science Dept., Tanaka:1994:SMT Pittsburgh, PA, USA, 1987. 12 [TI94b] S. Tanaka and H. Iizuka. pp. A software monitoring tool Tevanian:1987:AIV for parallel programming with threads. Technical Reports [Tev87a] Avadis Tevanian. Architecture- of Seikei University, 31(2):99– independent virtual memory 102, September 1994. CODEN management for parallel and SDKHEO. ISSN 0919-9888. distributed environments: the Tokuda:1994:DQC Mach approach. Research pa- per CMU-CS-88-106, Carnegie [TK94] H. Tokuda and T. Kitayama. Mellon University, Computer Dynamic QOS control based on Science Dept., Pittsburgh, PA, real-time threads. In Shepherd USA, 1987. x + 126 pp. et al. [SBC+94], pages 114– Tevanian:1987:MBF 123. CODEN LNCSD9. ISBN 3-540-58404-8, 0-387-58404-8 [Tev87b] Avadis Tevanian. MACH: a ba- (New York). ISSN 0302-9743 sis for future UNIX develop- (print), 1611-3349 (electronic). ment. Research paper CMU- LCCN TK7881.4 .N394 1993. CS-87-139, Carnegie Mellon DM58.00. University, Computer Science Tevanian:1991:STA Dept., Pittsburgh, PA, USA, 1987. 5 pp. [TMJY91] A. Tevanian, Jr., T. Matte- Takano:1995:IMM son, D. Jaffee, and B. Ya- mamoto. Software technology [THKS95] Y. Takano, C. Howson, K. Kon- at NeXT computer. In Anony- ishi, and T. Sugawara. Imple- mous [Ano91a], page 313. REFERENCES 55

Tokuda:1991:ERS sity, Pomona, CA, USA, 1989. vii + 56 pp. [TN91] H. Tokuda and T. Nakajima. Evaluation of real-time syn- Tokuda:1995:OSS chronization in real-time mach. In USENIX [USE91a], pages [Tok95] H. Tokuda. Operating sys- 213–221. LCCN QA76.8.U65 tem support for continuous me- U83 1991. dia applications-RT-Mach ex- tensions. In IEEE [IEE95d], Tezuka:1995:EBC pages 256–262. ISBN 0-8186- 7106-8. LCCN QA76.54.I59 [TN95] H. Tezuka and T. Nakajima. 1995. IEEE catalog number Experiences with building a 95TB100002. continuous media application on Real-Time Mach. In Tokoro:1994:OPE IEEE [IEE95d], pages 88–95. ISBN 0-8186-7106-8. LCCN [TP94] M. Tokoro and R. Pareschi, QA76.54.I59 1995. IEEE cat- editors. Object-Oriented Pro- alog number 95TB100002. gramming. 8th European Con- ference, ECOOP ’94. Proceed- Thekkath:1993:INP ings, Bologna, Italy, July 4–8, 1994. Springer-Verlag, Berlin, [TNML93] C. A. Thekkath, T. D. Nguyen, Germany / Heidelberg, Ger- E. Moy, and E. D. Lazowska. many / London, UK / etc., Implementing network proto- 1994. ISBN 3-540-58202-9. cols at user level. IEEE/ LCCN QA76.64.E95 1994. ACM Transactions on Net- working, 1(5):554–565, October Tevanian:1989:MMF 1993. CODEN IEANEP. ISSN 1063-6692. [TS89] A. Tevanian, Jr. and B. Smith. Tobe:1993:RPP Mach: the model for future Unix (object-oriented operat- [Tob93] Y. Tobe. Researches on paral- ing system). Byte Magazine,14 lel processing at CMU. Joho- (12):411–417, November 1989. Shori (J. Information Process- CODEN BYTEDJ. ISSN 0360- ing Soc. Japan), 34(7):909–914, 5280. July 1993. CODEN JOSHA4. Thompson:1990:SCN ISSN 0447-8053. Toftner:1989:ESM [TS90] Tom Thompson and Ben Smith. Sizing up the Cube: The [Tof89] Elizabeth Claire Toftner. An NeXT Computer – advanced extensible software message features, fair performance. Byte monitor for the Mach operating Magazine, 15(1):169–176, Jan- system. Thesis (m.s.), Califor- uary 1990. CODEN BYTEDJ. nia Polytechnic State Univer- ISSN 0360-5280. REFERENCES 56

Takashio:1996:DID R. Brown. Design tradeoffs for software-managed TLBs. ACM [TST96] K. Takashio, H. Shitomi, and Transactions on Computer Sys- M. Tokoro. Design and im- tems, 12(3):175–205, August plementation of DROL run- 1994. CODEN ACSYEC. ISSN time environment on real-time 0734-2071. Mach kernel. Lecture Notes in Computer Science, 1107:257– USENIX:1988:PUS ??, 1996. CODEN LNCSD9. [USE88] USENIX, editor. Proceed- ISSN 0302-9743 (print), 1611- ings. UNIX Security Workshop, 3349 (electronic). Portland, OR, USA, August Tevanian:1987:UIS 29–30, 1998. USENIX, Berke- ley, CA, USA, 1988. [TTG+87] Avadis Tevanian, Jr., Mary Thompson, David Golub, USENIX:1990:MUW Richard Rashid, William Bolosky, [USE90] USENIX, editor. Mach: USE- Michael Young, and Richard NIX workshop proceedings: Oc- Sanzi. A UNIX interface for tober 4–5, 1990, Burlington, shared memory and memory Vermont. USENIX, Berkeley, mapped files under MACH. Re- CA, USA, 1990. LCCN search paper, Carnegie Mellon QA76.9.M45 M33 1990. University, Computer Science Dept., Pittsburgh, PA, USA, USENIX:1991:PUM 1987. 14 pp. URL http: //cs.cmu.edu/afs/cs.cmu. [USE91a] USENIX, editor. Proceedings of edu/project/mach/public/ the USENIX Mach Symposium: doc/published/mapfiles87. November 20–22, 1991, Mon- ps. terey, California, USA. USE- NIX, Berkeley, CA, USA, 1991. Uhlig:1992:STM LCCN QA76.8.U65 U83 1991. [Uhl92] Richard Uhlig. Software TLB USENIX:1991:SIS management in OSF/1 and Mach 3.0. Technical re- [USE91b] USENIX, editor. SEDMS II port CSE-TR-156-93, Univer- — Symposium on Experiences sity of Michigan, Computer Sci- with Distributed and Multipro- ence and Engineering Division, cessor Systems: March 21–22, Dept. of Electrical Engineer- 1991, Atlanta, GA. USENIX, ing and Computer Science, Ann Berkeley, CA, USA, March 21– Arbor, MI, USA, December 4, 22, 1991. LCCN QA76.5 .S948 1992. 13 pp. 1991. Uhlig:1994:DTS USENIX:1991:UAP [UNS+94] R. Uhlig, D. Nagle, T. Stan- [USE91c] USENIX, editor. USENIX As- ley, T. Mudge, S. Sechrest, and sociation. Proceedings of the REFERENCES 57

Winter 1991 USENIX Confer- USENIX:1993:PUMa ence, Dallas, TX, USA, Jan- uary 21–25, 1991. USENIX, [USE93b] USENIX, editor. Proceedings of Berkeley, CA, USA, 1991. the USENIX Mach III Sympo- sium: April 19–21, 1993, Santa USENIX:1992:PUW Fe, New Mexico, USA. USE- NIX, Berkeley, CA, USA, 1993. [USE92a] USENIX, editor. Proceedings ISBN 1-880446-49-9. LCCN of the USENIX Workshop on QA 76.76 O63 U85 1993. Micro-Kernels and Other Ker- USENIX:1993:PUMb nel Architectures: 27–28 April, 1992, Seattle, WA, USA. USE- [USE93c] USENIX, editor. Proceedings NIX, Berkeley, CA, USA, 1992. of the USENIX Mobile and ISBN 1-880446-42-1. LCCN Location-Independent Comput- QAX 32. ing Symposium, Cambridge, MA, USA, August 2–3, 1993. USENIX:1992:SIS USENIX, Berkeley, CA, USA, 1993. ISBN 1-880446-51-0. [USE92b] USENIX, editor. SEDMS LCCN QA 76.76 O63 U86 1993. III. Symposium on Experi- ences with Distributed and Mul- USENIX:1993:PUS tiprocessor Systems, Newport [USE93d] USENIX, editor. Proceed- Beach, CA, USA, March 26– ings of the USENIX Sym- 27, 1992. USENIX, Berkeley, posium on Microkernels and CA, USA, 1992. Other Kernel Architectures: September 20–21, 1993, San USENIX:1992:UCT Diego, California, USA. USE- NIX, Berkeley, CA, USA, 1993. [USE92c] USENIX, editor. USENIX ISBN 1-880446-52-9. LCCN C++ Technical Conference QA76.9.A73 U83 1993. Proceedings, Portland, OR, USA, August 10–13, 1992. USENIX:1994:PWU USENIX, Berkeley, CA, USA, 1992. [USE94] USENIX, editor. Proceedings of the Winter 1994 USENIX USENIX:1993:MIS Conference: January 17–21, 1994, San Francisco, Califor- [USE93a] USENIX, editor. Proceedings of nia, USA. USENIX, Berkeley, the USENIX Mach III Sympo- CA, USA, 1994. ISBN 1- sium, April 19–21, 1993, Santa 880446-58-8. LCCN QA 76.76 Fe, New Mexico, USA. USE- O63 U84 1994. NIX, Berkeley, CA, USA, April USENIX:1995:UUS 19–21, 1993. ISBN 1-880446- 49-9. LCCN QA 76.76 O63 U85 [USE95a] USENIX, editor. 5th USENIX 1993. UNIX Security Symposium, REFERENCES 58

June 5–7, 1995. Salt Lake City, soning: international confer- UT. USENIX, Berkeley, CA, ence, LPAR ’92, St. Peters- USA, June 5–7, 1995. burg, Russia, July 15–20, 1992: proceedings, volume 624 of Lec- USENIX:1995:PUT ture Notes in Artificial In- [USE95b] USENIX, editor. Proceedings telligence and Lecture Notes of the 1995 USENIX Technical in Computer Science. Springer- Conference: January 16–20, Verlag, Berlin, Germany / Hei- 1995, New Orleans, Louisiana, delberg, Germany / London, USA. USENIX, Berkeley, CA, UK / etc., 1992. CODEN USA, 1995. ISBN 1-880446-67- LNCSD9. ISBN 3-540-55727-X 7. LCCN QA 76.76 O63 U88 (Berlin), 0-387-55727-X (New 1995. York). ISSN 0302-9743 (print), 1611-3349 (electronic). LCCN Vaughan:1992:CCA QA76.63 .I55 1992. [VBD+92] F. Vaughan, T. Lo Basso, vanRenesse:1992:RMB A. Dearle, C. Marlin, and + C. Barter. Casper: a cached [vRBC 92] R. van Renesse, K. Birman, architecture supporting persis- R. Cooper, B. Glade, and tence. Computing Systems, P. Stephenson. Reliable multi- 5(3):337–363, Summer 1992. cast between microkernels. In CODEN CMSYE2. ISSN 0895- USENIX [USE92a], pages 269– 6340. 283. ISBN 1-880446-42-1. LCCN QAX 32. Verkerk:1990:CSC Wahl:1990:OSF [Ver90] C. Verkerk, editor. 1989 Cern School of Computing. Proceed- [Wah90] P. Wahl. The Open Soft- ings (CERN 90-06), Bad Her- ware Foundation: OSF/1. Of- renalb, West Germany, August fice Management, 38(4):14–18, 20 – September 2, 1989. CERN, April 1990. CODEN OF- Geneva, Switzerland, 1990. MADG. ISSN 0343-2319. Wheeler:1992:CMV Voelcker:1989:TS [WB92] B. Wheeler and B. N. Ber- [Voe89] J. Voelcker. Technology ’89: shad. Consistency management software. IEEE Spectrum,26 for virtually indexed caches. In (1):37–39, January 1989. CO- ACM [ACM92b], pages 124– DEN IEESAM. ISSN 0018- 136. CODEN SINODQ. ISSN 9235 (print), 1939-9340 (elec- 0362-1340 (print), 1523-2867 tronic). (print), 1558-1160 (electronic). Voronkov:1992:LPA Welch:1991:FSB [Vor92] A. Voronkov, editor. Logic pro- [Wel91] B. Welch. The file system be- gramming and automated rea- longs in the kernel. In USE- REFERENCES 59

NIX [USE91a], pages 233–250. Wilson:1993:HAD LCCN QA76.8.U65 U83 1991. Wendorf:1988:IET [WLT93] A. W. Wilson, Jr., R. P. LaRowe, Jr., and M. J. Teller. [Wen88] J. W. Wendorf. Implementa- Hardware assist for distributed tion and evaluation of a time- shared memory. In IEEE driven scheduling processor. In [IEE93c], pages 246–255. ISBN IEEE [IEE88c], pages 172–180. 0-7803-1298-8. LCCN TJ 217 ISBN 0-8186-4894-5. LCCN I11c 1993. Four volumes. IEEE QA76.54 .R43 1988. IEEE cat- catalog number 93CH3307-6. alog number 88CH2618-7. Waldspurger:1994:LSF Wolfer:1993:IIS [WGR93] J. Wolfer, T. Grace, and [WW94] C. A. Waldspurger and W. E. J. Roberge. An investiga- Weihl. Lottery scheduling: flex- tion of image synthesis soft- ible proportional-share resource ware migration to the BBN management. In Anonymous TC2000 Butterfly II Supercom- [Ano94], pages 1–11. puter. In Anonymous [Ano93d], pages 23–32. Wendorf:1989:SOS Wiecek:1992:VM [WWT89] J. W. Wendorf, R. G. Wen- [Wie92] Cheryl A. Wiecek. VMS on dorf, and H. Tokuda. Schedul- Mach. Operating Systems Re- ing operating system processing view, 26(2):15, April 1992. CO- on small-scale multiprocessors. DEN OSRED8. ISSN 0163- In Shriver [Shr89], pages 904– 5980. 913 (vol. 2). ISBN 0-8186-1912- Williams:1988:NAD 0. LCCN ???? IEEE catalog number 89TH0243-6. [Wil88] T. Williams. The NeXT ar- chitecture: design for the ’90s? Yep:1992:DSB Computer Design, 27(22):27– 28, December 1988. CODEN [Yep92] Christy Yep. A debugging CMPDAM. ISSN 0010-4566. support based on breakpoints Wiecek:1992:MPV for distributed programs run- ning under Mach. Thesis [WKF+92] C. A. Wiecek, C. G. Kaler, (m.comp.sc.), Concordia Uni- S. Fiorelli, W. C. Davenport, versity, Ottawa, ON, Canada, Jr., and R. C. Chen. A model 1992. various pp. Avail- and prototype of VMS using able from National Library the Mach 3.0 kernel. In USE- of Canada = Biblioth´eque NIX [USE92a], pages 187–203. nationale du Canada, Uni- ISBN 1-880446-42-1. LCCN versity Microfilms order no. QAX 32. UMI00444621. REFERENCES 60

Yuhara:1994:EPD [YMBM94] M. Yuhara, C. Maeda, B. N. Bershad, and J. E. B. Moss. Efficient packet demultiplexing for multiple endpoints and large messages. In USENIX [USE94], pages 153–165. ISBN 1-880446- 58-8. LCCN QA 76.76 O63 U84 1994. Yoshida:1991:PSB [YT91] H. Yoshida and T. Takahara. A production system based on distributed artificial intelli- gence. Academic Reports, Fac- ulty of Engineering, Tokyo In- stitute of Polytechnics, 14(1): 13–21, ???? 1991. CODEN TOKIDC. ISSN 0387-6055. Yang:1994:AP [YTC94] Chao-Tung Yang, Shian-Shyong Tseng, and Chang-Sheng Chen. The anatomy of parafrase-2. Proceedings of the National Science Council, Republic of China, Part A [Physical Sci- ence and Engineering], 18(5): 450–462, September 1994. CO- DEN PNAEE2. ISSN 0255- 6588. Yee:1988:SSS [YTS88] B. S. Yee, J. D. Tygar, and A. Z. Spector. StrongBox: sup- port for self-securing programs. In USENIX [USE88], page 50.