%%% -*-BibTeX-*-
%%% ====================================================================
%%% BibTeX-file{
%%% author = "Nelson H. F. Beebe",
%%% version = "1.20",
%%% date = "23 March 2007",
%%% time = "06:48:04 MDT",
%%% filename = "mach.bib",
%%% address = "University of Utah
%%% Department of Mathematics, 110 LCB
%%% 155 S 1400 E RM 233
%%% Salt Lake City, UT 84112-0090
%%% USA",
%%% telephone = "+1 801 581 5254",
%%% FAX = "+1 801 581 4148",
%%% URL = "http://www.math.utah.edu/~beebe",
%%% checksum = "20212 9160 41582 402080",
%%% email = "beebe at math.utah.edu, beebe at acm.org,
%%% beebe at computer.org (Internet)",
%%% codetable = "ISO/ASCII",
%%% keywords = "BibTeX, bibliography, Mach operating system",
%%% license = "public domain",
%%% supported = "yes",
%%% docstring = "This is a bibliography of publications about
%%% the Mach operating system.
%%%
%%% At version 1.20, the year coverage looked
%%% like this:
%%%
%%% 1985 ( 1) 1991 ( 66) 1997 ( 4)
%%% 1986 ( 3) 1992 ( 58) 1998 ( 2)
%%% 1987 ( 6) 1993 ( 81) 1999 ( 1)
%%% 1988 ( 17) 1994 ( 51) 2000 ( 1)
%%% 1989 ( 31) 1995 ( 27)
%%% 1990 ( 36) 1996 ( 4)
%%% 19xx ( 3)
%%%
%%% Article: 70
%%% Book: 4
%%% InCollection: 1
%%% InProceedings: 172
%%% Manual: 1
%%% MastersThesis: 18
%%% Misc: 1
%%% PhdThesis: 1
%%% Proceedings: 93
%%% TechReport: 31
%%%
%%% Total entries: 392
%%%
%%% The checksum field above contains a CRC-16
%%% checksum as the first value, followed by the
%%% equivalent of the standard UNIX wc (word
%%% count) utility output of lines, words, and
%%% characters. This is produced by Robert
%%% Solovay's checksum utility.",
%%% }
%%% ====================================================================
@Preamble{
"\hyphenation{
Ya-za-ki
data-base
USE-NIX
}"
}
%%% ====================================================================
%%% Acknowledgement abbreviations:
@String{ack-nhfb = "Nelson H. F. Beebe,
University of Utah,
Department of Mathematics, 110 LCB,
155 S 1400 E RM 233,
Salt Lake City, UT 84112-0090, USA,
Tel: +1 801 581 5254,
FAX: +1 801 581 4148,
e-mail: \path|beebe@math.utah.edu|,
\path|beebe@acm.org|,
\path|beebe@computer.org| (Internet),
URL: \path|http://www.math.utah.edu/~beebe/|"}
%%% ====================================================================
%%% Journal abbreviations:
@String{j-BT-TECH-J = "BT Technology Journal"}
@String{j-BYTE = "Byte Magazine"}
@String{j-COMP-ARCH-NEWS = "ACM SIGARCH Computer Architecture News"}
@String{j-COMP-DESIGN = "Computer Design"}
@String{j-COMP-PHYSICS = "Computers in Physics"}
@String{j-COMP-SURV = "ACM Computing Surveys"}
@String{j-COMP-SYS = "Computing Systems"}
@String{j-COMPUT-SYST-ENG = "Computing Systems in Engineering"}
@String{j-COMPUTER = "Computer"}
@String{j-DATAMATION = "Datamation"}
@String{j-ELECTRONIK = "Elektronik"}
@String{j-ELETTROTECNICA = "Elettrotecnica"}
@String{j-FUT-GEN-COMP-SYS = "Future Generation Computer Systems"}
@String{j-IBM-JRD = "IBM Journal of Research and Development"}
@String{j-IEEE-CONCURR = "IEEE Concurrency"}
@String{j-IEEE-CONTROL-SYST-MAG = "IEEE Control Systems Magazine"}
@String{j-IEEE-SOFTWARE = "IEEE Software"}
@String{j-IEEE-SPECTRUM = "IEEE Spectrum"}
@String{j-IEEE-TRANS-KNOWL-DATA-ENG = "IEEE Transactions on Knowledge and Data
Engineering"}
@String{j-IEEE-TRANS-NETWORKING = "IEEE\slash ACM Transactions on Networking"}
@String{j-IEICE-TRANS-COMMUN = "IEICE Transactions on Communications"}
@String{j-IFIP-TRANS-A = "IFIP Transactions. A. Computer Science and
Technology"}
@String{j-INT-J-MINI-MICROCOMPUTERS = "International Journal of Mini and
Microcomputers"}
@String{j-J-INF-PROCESS = "Journal of Information Processing"}
@String{j-J-KOREA-INFO-SCI-SOCIETY = "Journal of the Korea Information Science
Society = Chongbo Kwahakhoe nonmunji"}
@String{j-J-PAR-DIST-COMP = "Journal of Parallel and Distributed
Computing"}
@String{j-JOHO-SHORI = "Joho-Shori (J. Information Processing Soc.
Japan)"}
@String{j-LECT-NOTES-COMP-SCI = "Lecture Notes in Computer Science"}
@String{j-LINUX-J = "Linux Journal"}
@String{j-LOGIN = ";login: the USENIX Association newsletter"}
@String{j-MICROPROC-MICROPROG = "Microprocessing and Microprogramming"}
@String{j-MICROPROC-MICROSYS = "Microprocessors and Microsystems"}
@String{j-NEC-TECH-J = "NEC Technical Journal = NEC giho"}
@String{j-NIKKEI-ELECTRONICS = "Nikkei Electronics"}
@String{j-OPER-SYS-REV = "Operating Systems Review"}
@String{j-PARALLEL-DIST-COMP-PRACT = "Parallel and Distributed Computing
Practices"}
@String{j-PERF-EVAL-REV = "Performance evaluation review: a quarterly
publication of the Special Interest
Committee on Measurement and Evaluation"}
@String{j-PROC-SPIE = "Proceedings of the SPIE --- The International
Society for Optical Engineering"}
@String{j-SEJ = "Software Engineering Journal"}
@String{j-SIGPLAN = "ACM SIG{\-}PLAN Notices"}
@String{j-SPE = "Soft{\-}ware\emdash Prac{\-}tice and
Experience"}
@String{j-SUNEXPERT = "SunExpert Magazine"}
@String{j-TOCS = "ACM Transactions on Computer Systems"}
@String{j-WHARTON-REPORT = "Wharton Report"}
%%% ====================================================================
%%% Publishers and their addresses:
@String{pub-ACM = "ACM Press"}
@String{pub-ACM:adr = "New York, NY 10036, USA"}
@String{pub-AW = "Ad{\-d}i{\-s}on-Wes{\-l}ey"}
@String{pub-AW:adr = "Reading, MA, USA"}
@String{pub-ESP = "Elsevier Science Publishers"}
@String{pub-ESP:adr = "Amsterdam, The Netherlands"}
@String{pub-EUROPEN = "EurOpen"}
@String{pub-EUROPEN:adr = "Buntingford, Herts, UK"}
@String{pub-EUUG = "European UNIX Users Group"}
@String{pub-EUUG:adr = "Buntingford, Herts, UK"}
@String{pub-IEEE = "IEEE Computer Society Press"}
@String{pub-IEEE:adr = "1109 Spring Street, Suite 300, Silver
Spring, MD 20910, USA"}
@String{pub-IOS = "IOS Press"}
@String{pub-IOS:adr = "Amsterdam, The Netherlands"}
@String{pub-KLUWER = "Kluwer Academic Publishers"}
@String{pub-KLUWER:adr = "Dordrecht, The Netherlands"}
@String{pub-NH = "North-Hol{\-}land"}
@String{pub-NH:adr = "Amsterdam, The Netherlands"}
@String{pub-NIST = "National Institute for Standards and
Technology"}
@String{pub-NIST:adr = "Gaithersburg, MD, USA"}
@String{pub-SPIE = "Society of Photo-optical Instrumentation
Engineers (SPIE)"}
@String{pub-SPIE:adr = "Bellingham, WA, USA"}
@String{pub-SV = "Springer Verlag"}
@String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/
London, UK~/ etc."}
@String{pub-USENIX = "USENIX"}
@String{pub-USENIX:adr = "Berkeley, CA, USA"}
@String{pub-VIEWEG = "Friedrich Vieweg und Sohn"}
@String{pub-VIEWEG:adr = "Braunschweig, Germany"}
%%% ====================================================================
%%% Series abbreviations:
@String{ser-LNAI = "Lecture Notes in Artificial Intelligence"}
@String{ser-LNCS = "Lecture Notes in Computer Science"}
@String{ser-SIGPLAN = "ACM SIG{\-}PLAN Notices"}
%%% ====================================================================
%%% Bibliography entries, sorted by year and then by citation label.
@Article{Baron:1985:MOE,
author = "Robert Baron and Richard Rashid and Ellen Siegel and
Avadis Tevanian and Michael Young",
title = "{Mach-1}: An Operating Environment for Large-Scale
Multiprocessor Applications",
journal = j-IEEE-SOFTWARE,
volume = "2",
number = "4",
pages = "65--67",
month = jul,
year = "1985",
CODEN = "IESOEG",
ISSN = "0740-7459",
bibdate = "Wed Jan 29 06:29:41 1997",
bibsource = "Database/Graefe.bib",
abstract = "Also published in SIAM Computing?",
}
@TechReport{Accetta:1986:MNK,
author = "Mike Accetta and Robert Baron and David Golub and
Richard Rashid and Avadis Tevanian and Michael Young",
title = "{MACH}: {A} new Kernel foundation for {UNIX}
development",
institution = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "18",
year = "1986",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
series = "Research paper. Carnegie Mellon University. Computer
Science Dept.",
acknowledgement = ack-nhfb,
annote = "This research was sponsored by the Defense Advanced
Research Projects Agency (DOD), ARPA order no.4864,
monitored by the Space and Naval Warfare Systems
Command.",
keywords = "Computer software -- Development; UNIX (Computer
operating system)",
}
@TechReport{Jones:1986:MMK,
author = "Michael B. Jones and Richard F. Rashid",
title = "{MACH} and {Matchmaker}: Kernel and language support
for object-oriented distributed systems",
type = "Research paper",
number = "CMU-CS-87-150",
institution = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "11",
year = "1986",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
acknowledgement = ack-nhfb,
annote = "This research was sponsored by the Defense Advanced
Research Projects Agency (DOD), ARPA order no.3597,
monitored by the Air Force Avionics Laboratory.",
keywords = "Electronic data processing -- Distributed
processing.",
}
@TechReport{Rashid:1987:RAM,
author = "Richard F. Rashid",
title = "From {RIG} to {ACCENT} to {MACH}: The evolution of a
network operating system",
type = "Research paper",
institution = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "23",
year = "1987",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
acknowledgement = ack-nhfb,
annote = "This research was sponsored by the Defense Advanced
Research Projects Agency (DOD), ARPA order no.3597,
monitored by the Air Force Avionics Laboratory.",
keywords = "Computer software -- Development; Electronic data
processing -- Distributed processing.",
}
@TechReport{Spector:1987:CDT,
author = "Alfred Z. Spector",
title = "Camelot: a distributed transaction facility for {Mach}
and the {Internet} --- an interim report",
type = "Research paper",
number = "CMU-CS-87-129",
institution = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "36",
year = "1987",
bibdate = "Wed Jun 5 05:29:35 MDT 1996",
acknowledgement = ack-nhfb,
annote = "Supported by IBM and the Defense Advanced Research
Projects Agency, ARPA 4976, monitored by the Air Force
Avionics Laboratory.",
keywords = "Data base management; Operating systems (Computers)",
}
@TechReport{Tevanian:1987:AIV,
author = "Avadis Tevanian",
title = "Architecture-independent virtual memory management for
parallel and distributed environments: the {Mach}
approach",
type = "Research paper",
number = "CMU-CS-88-106",
institution = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "x + 126",
year = "1987",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
acknowledgement = ack-nhfb,
annote = "Supported by the Defense Advanced Research Projects
Agency. Monitored by the Space and Naval Warfare
Systems Command.",
keywords = "Memory.",
}
@TechReport{Tevanian:1987:MBF,
author = "Avadis Tevanian",
title = "{MACH}: a basis for future {UNIX} development",
type = "Research paper",
number = "CMU-CS-87-139",
institution = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "5",
year = "1987",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
acknowledgement = ack-nhfb,
annote = "Sponsored by the Defense Advanced Projects Research
Agency (DOD). Monitored by the Space and Naval Warfare
Systems Command.",
keywords = "Computer networks; Multiprocessors; UNIX (Computer
operating system)",
}
@TechReport{Tevanian:1987:MTU,
author = "Avadis Tevanian and David Black and David Golub and
Richard Rashid and Eric Cooper and Michael Young",
title = "{MACH} threads and the {UNIX} Kernel: The battle for
control",
type = "Research paper",
institution = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "12",
year = "1987",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
acknowledgement = ack-nhfb,
annote = "This research was sponsored by the Defense Advanced
Research Projects Agency (DOD), ARPA order no.3597,
monitored by the Air Force Avionics Laboratory.",
keywords = "Computer software -- Development; UNIX (Computer
operating system)",
}
@TechReport{Tevanian:1987:UIS,
author = "Avadis {Tevanian, Jr.} and Mary Thompson and David
Golub and Richard Rashid and William Bolosky and
Michael Young and Richard Sanzi",
title = "A {UNIX} interface for shared memory and memory mapped
files under {MACH}",
type = "Research paper",
institution = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "14",
year = "1987",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
acknowledgement = ack-nhfb,
keywords = "UNIX (Computer operating system)",
}
@Article{Anonymous:1988:DOS,
author = "Anonymous",
title = "Distributed operating system is expected to follow
{Unix}",
journal = j-NIKKEI-ELECTRONICS,
volume = "456",
pages = "169--178",
month = "????",
year = "1988",
CODEN = "NIERE4",
ISSN = "0385-1680",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
classification = "C6150J (Operating systems)",
keywords = "Carnegie Melon University; Distributed operating
system; Future-generation computer systems; Large-scale
parallel processing; Mach; Research projects;
Superdistributed processing; Unix",
language = "Japanese",
pubcountry = "Japan",
thesaurus = "Operating systems [computers]; Parallel processing",
}
@InProceedings{Barker:1988:ECT,
author = "W. C. Barker and P. Cochrane and M. Branstad",
title = "Embedding cryptography into a {Trusted Mach} system",
crossref = "IEEE:1988:FAC",
pages = "379--383",
year = "1988",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Trusted Inf. Syst. Inc., Glenwood, MD, USA",
classification = "B6210L (Computer communications); B7930 (Military
communications); C5620 (Computer networks and
techniques); C6130 (Data handling techniques); C6150J
(Operating systems)",
keywords = "Embedded cryptorelated functions; Embedded network
security prototype; Embedding cryptography; Management
secure data network systems; Protocols; TCP/IP; TIS
prototype; Transport control protocol/internet
protocol; Trusted Information Systems; Trusted Mach
operating system; Unclassified cryptography",
thesaurus = "Computer networks; Cryptography; Data communication
systems; Network operating systems; Protocols",
}
@TechReport{Baron:1988:MKI,
author = "Robert V. Baron and Avadis Tevanian and David Golub
and Richard Rashid and William Bolosky and Richard P.
Draves and Jonathan Chew and David Black and Michael
Young",
title = "{MACH} kernel interface manual",
type = "Research paper",
institution = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "81",
year = "1988",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
acknowledgement = ack-nhfb,
keywords = "Electronic data processing -- Distributed processing;
Operating systems (Computers)",
}
@TechReport{Black:1988:MEH,
author = "David L. Black",
title = "The {Mach} exception handling facility",
type = "Research paper",
number = "CMU-CS-88-129",
institution = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "12",
year = "1988",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
acknowledgement = ack-nhfb,
annote = "Sponsored by Defense Advanced Research Projects Agency
(DOD).",
keywords = "Computer networks.",
}
@InProceedings{Branstad:1988:SIT,
author = "M. Branstad and H. Tajalli and F. Mayer",
title = "Security issues of the {Trusted Mach} system",
crossref = "IEEE:1988:FAC",
pages = "362--367",
year = "1988",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Trusted Inf. Syst. Inc., Glenwood, MD, USA",
classification = "C6130 (Data handling techniques); C6150J (Operating
systems); C7150 (Military)",
keywords = "B3 requirements; Class B3 TCB; Protection mechanisms;
Server-oriented system; TMach; TMach TCB; Trusted
computer base; Trusted Computer System Evaluation
Criteria; Trusted Mach system; Trusted servers",
thesaurus = "Military computing; Network operating systems;
Security of data",
}
@InProceedings{Bryant:1988:RPC,
author = "R. Bryant",
title = "The {RP3} parallel computing environment",
crossref = "Anonymous:1988:UPW",
pages = "69--92",
year = "1988",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "IBM Res. Div., Thomas J. Watson Res. Center, Yorktown
Heights, NY, USA",
classification = "C5440 (Multiprocessor systems and techniques);
C6150J (Operating systems)",
keywords = "Batch execution; CMU; IBM; Interleaved storage; Local
area network; Mach system; Parallel computing
environment; Processor allocation; Research Parallel
Processing Prototype; RP3; RT PC; Scheduling; Shared
memory machine; Storage allocation; Unix",
thesaurus = "Operating systems [computers]; Parallel machines;
Parallel programming; Scheduling; Storage allocation;
Unix",
}
@TechReport{Forin:1988:DIP,
author = "Alessandro Forin",
title = "Design, implementation, and performance evaluation of
a distributed shared memory server for {Mach}",
type = "Research paper",
number = "CMU-CS-88-165",
institution = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "v + 22",
year = "1988",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
acknowledgement = ack-nhfb,
annote = "Sponsored by the Defense Advanced Research Projects
Agency (DOD). Monitored by the Space and Naval Warfare
Systems Command.",
keywords = "Computer storage devices; Operating systems
(Computers)",
}
@InProceedings{Mayer:1988:IRB,
author = "F. L. Mayer",
title = "An interpretation of a refined {Bell-La Padula} model
for the {TMach} kernel",
crossref = "IEEE:1988:FAC",
pages = "368--378",
year = "1988",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Trusted Inf. Syst. Inc., Glenwood, MD, USA",
classification = "C6110B (Software engineering techniques); C6130
(Data handling techniques); C6150J (Operating
systems)",
keywords = "Activation; Discretionary-security property; TMach
kernel; Trusted subjects",
thesaurus = "Operating systems [computers]; Security of data",
}
@InProceedings{Spector:1988:CFD,
author = "A. Z. Spector and R. F. Pausch and G. Bruell",
title = "{CAMELOT}: {A} Flexible, Distributed Transaction
Processing System",
crossref = "IEEE:1988:DPI",
pages = "??--??",
year = "1988",
bibdate = "Mon Jul 25 11:37:40 1994",
annote = "Camelot executes on a variety of uni- and
multi-processors on top of the UNIX-compatible Mach
operating system. Automatic management of threads,
nested transactions, flexible synchronization, long and
short transactions, small and large data objects,
non-blocking commit protocols, logging, multiple
servers, multiple disks per node. Data type library
supports B-trees, extensible hash tables, and dynamic
storage allocation.",
}
@InProceedings{Wendorf:1988:IET,
author = "J. W. Wendorf",
title = "Implementation and evaluation of a time-driven
scheduling processor",
crossref = "IEEE:1988:PRS",
pages = "172--180",
year = "1988",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "North American Philips Corp., Briarcliff Manor, NY,
USA",
classification = "C6150J (Operating systems)",
keywords = "Mach operating system kernel; Time-driven scheduling
processor; VAX 11/784 multiprocessor",
thesaurus = "Multiprocessing systems; Operating systems
[computers]; Scheduling",
}
@Article{Williams:1988:NAD,
author = "T. Williams",
title = "The {NeXT} architecture: design for the '90s?",
journal = j-COMP-DESIGN,
volume = "27",
number = "22",
pages = "27--28",
month = dec,
year = "1988",
CODEN = "CMPDAM",
ISSN = "0010-4566",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
classification = "C5220 (Computer architecture); C5430
(Microcomputers); C6150J (Operating systems)",
keywords = "Application kit; Buffered DMA controllers; Graphical
user interface; Interface builder; Mach; Multitasking
operating system; Nextstep; Nubus; Object oriented
programming tools; Window server; Workspace manager",
thesaurus = "Computer architecture; Computer interfaces;
Microcomputers; Operating systems [computers];
Programming environments; User interfaces",
}
@InProceedings{Yee:1988:SSS,
author = "B. S. Yee and J. D. Tygar and A. Z. Spector",
title = "{StrongBox}: support for self-securing programs",
crossref = "USENIX:1988:PUS",
pages = "50",
year = "1988",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Carnegie-Mellon Univ.,
Pittsburgh, PA, USA",
classification = "C6130 (Data handling techniques); C6150J (Operating
systems)",
keywords = "4.3 BSD Unix; Camelot; Carnegie Mellon University;
Distributed operating system; Mach; Self-securing
programs; StrongBox; Transaction facility; Transaction
processing",
thesaurus = "Distributed processing; Operating systems [computers];
Security of data; Transaction processing; Unix",
}
@TechReport{Babaoglu:1989:FTC,
author = "Ozalp Babao{\u{g}}lu",
title = "Fault-tolerant computing based on {Mach}",
type = "Technical report",
number = "TR 89-1032",
institution = "Cornell University, Dept. of Computer Science",
address = "Ithaca, NY, USA",
pages = "20",
month = aug,
year = "1989",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
abstract = "We consider the problem of providing automatic and
transparent fault tolerance to arbitrary user
computations based on the Mach operating system. Among
the several alternatives for structuring such a system,
we pursue the ``task-pair backup'' paradigm in detail
and outline how it might be supported by Mach. Some of
the new system calls and protocols that need to be
incorporated into the Mach kernel and server tasks are
sketched.",
acknowledgement = ack-nhfb,
annote = "Supported in part by the Department of Defense
Advanced Research Projects Agency (DARPA).",
keywords = "Fault-tolerant computing; Operating systems
(Computers)",
}
@InProceedings{Black:1989:CMD,
author = "D. L. Black and A. Gupta and W.-D. Weber",
title = "Competitive management of distributed shared memory",
crossref = "IEEE:1989:DPC",
pages = "184--190",
year = "1989",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
classification = "C6120 (File organisation); C6150J (Operating
systems)",
keywords = "Distributed shared memory; Hardware architectures;
Mach operating system; Nonuniform-memory-access
multiprocessors; NUMA multiprocessor; Replication;
Software programming models",
thesaurus = "Buffer storage; Multiprocessing systems; Performance
evaluation; Storage management; Virtual storage",
}
@Article{Black:1989:MEH,
author = "David L. Black and David B. Golub and Karl Hauth and
Avadis Tevanian and Richard Sanzi",
title = "The {Mach} exception handling facility",
journal = j-SIGPLAN,
volume = "24",
number = "1",
pages = "45--56",
month = jan,
year = "1989",
CODEN = "SINODQ",
ISSN = "0362-1340",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Carnegie Mellon Univ.,
Pittsburgh, PA, USA",
classification = "C6115 (Programming support); C6130 (Data handling
techniques); C6150G (Diagnostic, testing, debugging and
evaluating systems); C6150J (Operating systems)",
keywords = "Debuggers; design; Mach (1) multiprocessor operating
system; Mach exception handling facility",
subject = "D.3.3 Software, PROGRAMMING LANGUAGES, Language
Constructs, Control structures",
thesaurus = "Error handling; Multiprogramming; Operating systems
[computers]; Parallel programming",
}
@InProceedings{Black:1989:TLB,
author = "D. L. Black and R. F. Rashid and D. B. Golub and C. R.
Hill and R. V. Baron",
title = "Translation lookaside buffer consistency: a software
approach",
crossref = "ACM:1989:APT",
pages = "113--122",
year = "1989",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
classification = "C5220 (Computer architecture); C5440 (Multiprocessor
systems and techniques); C6110B (Software engineering
techniques); C6150J (Operating systems)",
keywords = "Application performance; Hardware implementations;
Hardware support options; Mach shootdown algorithm;
Minor interrupt structure modification;
Multiprocessors; Performance evaluations; Software
approach; TLB consistency problem; Translation
lookaside buffer",
thesaurus = "Interrupts; Multiprocessing systems; Operating systems
[computers]; Software reliability",
}
@TechReport{Bolmarcich:1989:IME,
author = "A. S. Bolmarcich",
title = "An introduction to {Mach\slash EPEX}",
type = "Research report",
number = "RC 14369 (\#64355)",
institution = "IBM T.J. Watson Research Center",
address = "Yorktown Heights, NY, USA",
pages = "13",
year = "1989",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
acknowledgement = ack-nhfb,
annote = "Sponsored in part by Defense Advanced Research
Projects Agency.",
keywords = "C (Computer program language); FORTRAN (Computer
program language); Mach/EPEX (Computer operating
system)",
}
@Article{Bolosky:1989:SET,
author = "W. J. Bolosky and R. P. Fitzgerald and M. L. Scott",
title = "Simple but effective techniques for {NUMA} memory
management",
journal = j-OPER-SYS-REV,
volume = "23",
number = "5",
pages = "19--31",
month = "????",
year = "1989",
CODEN = "OSRED8",
ISSN = "0163-5980",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Computer Sci., Rochester Univ., NY, USA",
classification = "C5440 (Multiprocessor systems and techniques);
C6150J (Operating systems)",
keywords = "Automatic page placement strategy; False sharing; IBM
ACE multiprocessor workstation; Mach operating system;
Non-uniform memory access times; NUMA memory
management; Optimal page placement; Performance
improvement",
thesaurus = "Parallel architectures; Storage allocation; Virtual
storage",
}
@InProceedings{Branstad:1989:AMM,
author = "M. Branstad and H. Tajalli and F. Mayer and D. Dalva",
title = "Access meditation in a message passing kernel",
crossref = "IEEE:1989:PIS",
pages = "66--72",
year = "1989",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Trusted Inf. Syst. Inc., Glenwood, MD, USA",
classification = "C6130 (Data handling techniques); C6150J (Operating
systems)",
keywords = "Basic system abstractions; Bell and La Padula model;
Between tasks; Controlled sharing; DAC; Discretionary
access control; Discretionary access mediation;
Information flow; Interprocess communication; MAC;
Mandatory access control; Mandatory access meditation;
Mandatory security policy; Message passing kernel;
Operating system; Port access rights; Reference
monitor; Segments; Servers; TCSEC; TMach kernel;
Trusted computer system evaluation criteria; Trusted
computing base; Trusted mach kernel; Trusted systems",
thesaurus = "Operating systems [computers]; Security of data",
}
@InProceedings{Branstad:1989:ATM,
author = "M. Branstad and J. Landauer",
title = "Assurance for the {Trusted Mach} operating system",
crossref = "IEEE:1989:CPF",
pages = "103--108",
year = "1989",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Trusted Inf. Syst. Inc., Glenwood, MD, USA",
classification = "C6150J (Operating systems)",
keywords = "Assurance; Copy-on-write; Kernel; Servers; System
structure; TMach; Trusted; Trusted Mach operating
system; Untrusted",
thesaurus = "Operating systems [computers]",
}
@TechReport{Caswell:1989:IMD,
author = "Deborah L. Caswell and David L. Black",
title = "Implementing a {Mach} debugger for multithreaded
applications",
type = "Research paper",
number = "CMU-CS-89-154",
institution = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "13",
month = nov,
year = "1989",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
note = "To appear in the Conference Proceedings of Winter 1990
USENIX Technical Conference and Exhibition, Washington,
DC, January, 1990.",
abstract = "Multiple threads of control add new challenges to the
task of application debugging, and require the
development of new debuggers to meet these challenges.
This paper describes the design and implementation of
modifications to an existing debugger (gdb) for
debugging multithreaded applications under the Mach
operating system. It also describes the operating
system facilities that support it. Although certain
implementation details are specific to Mach, the
underlying design principles are applicable to other
systems that support threads in a Unix compatible
environment.",
acknowledgement = ack-nhfb,
annote = "Supported by the Space and Naval Warfare Systems
Command.",
keywords = "Debugging in computer science -- Computer programs.",
}
@InProceedings{Farncombe:1989:EM,
author = "M. Farncombe",
title = "{Equus}---computing on the move",
crossref = "Anonymous:1989:SPC",
pages = "95--96",
year = "1989",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
classification = "C6150J (Operating systems)",
keywords = "Development environment; Dynamic load balancing;
Multiple concurrent users; Multiple tasks; Operating
system kernel; Parallel processing system",
thesaurus = "Operating systems [computers]; Parallel processing",
}
@TechReport{Lehr:1989:MMK,
author = "Theodore F. Lehr",
title = "{MKM}: {Mach Kernel Monitor} description, examples and
measurements",
type = "Research paper",
number = "CMU-CS-89-131",
institution = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "iii + 20",
month = mar,
year = "1989",
bibdate = "Thu May 07 17:30:05 1998",
abstract = "Visualization of parallel and distributed algorithms
and their intimate interaction with the operating
system is currently part of the research community's
main agenda. This paper introduces and evaluates MKM,
the Mach kernel monitor. We show that MKM, when coupled
with a user level monitor and visualization system (the
PIE system), is able to fulfill the double role of
visualizing kernel behavior in the presence of a
workload as well as the influence of the operating
system kernel on user algorithms. As MKM is expected to
be widely used as part of the Mach standard
distribution, this paper reports on the MKM design
concepts with emphasis on examples showing the
usefulness of the system. The report concludes with the
measurement and analysis of MKM intrusiveness and ways
to compensate for its overhead.",
acknowledgement = ack-nhfb,
annote = "Sponsored by the Defense Advanced Research Projects
Agency (DOD). Monitored by the Space and Naval Warfare
Systems Command. Monitored by the National Science
Foundation.",
keywords = "Parallel programming (Computer science)",
}
@Manual{McDonald:1989:CCL,
author = "David B. McDonald",
title = "{CMU Common Lisp} user's manual {Mach\slash IBM RT}
edition",
type = "Research paper",
number = "CMU-CS-89-132",
organization = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "v + 120",
year = "1989",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
note = "Revised version of technical report CMU-CS-87-156.",
acknowledgement = ack-nhfb,
annote = "Sponsored by the Defense Advanced Research Projects
Agency (DOD).",
keywords = "LISP (Computer program language)",
}
@Article{Rashid:1989:COS,
author = "R. Rashid",
title = "A catalyst for open systems (Mach kernel)",
journal = j-DATAMATION,
volume = "35",
number = "10",
pages = "32--33",
month = may,
year = "1989",
CODEN = "DTMNAT",
ISSN = "0011-6963",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Carnegie Mellon Univ., Pittsburgh, PA, USA",
classification = "C6150J (Operating systems)",
keywords = "Multiple operating system environments; Open systems;
Open systems standards; OS kernel",
thesaurus = "Multiprocessing programs; Open systems; Operating
systems [computers]; Standardisation",
}
@InProceedings{Rashid:1989:MFO,
author = "R. Rashid and R. Baron and A. Forin and D. Golub and
M. Jones and D. Orr and R. Sanzi",
title = "{Mach}: a foundation for open systems (operating
systems)",
crossref = "IEEE:1989:WOS",
pages = "109--113",
year = "1989",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Sch. of Comput. Sci., Carnegie-Mellon Univ.,
Pittsburgh, PA, USA",
classification = "C6110B (Software engineering techniques); C6150J
(Operating systems)",
keywords = "Hardware resources; Mach kernel; Multiserver Unix;
Multithreaded Unix server; Operating system; OS
emulation; Software development",
thesaurus = "File servers; Open systems; Operating systems
[computers]; Software engineering; Unix",
}
@InProceedings{Rashid:1989:MSS,
author = "R. Rashid and D. Julin and D. Orr and R. Sanzi and R.
Baron and A. Forin and D. Golub and M. Jones",
title = "{Mach}: a system software kernel",
crossref = "IEEE:1989:DPC",
pages = "176--178",
year = "1989",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Carnegie-Mellon Univ.,
Pittsburgh, PA, USA",
classification = "C6115 (Programming support); C6150J (Operating
systems)",
keywords = "Address space; Integrated virtual memory management;
Interprocess communication; Mach IPC mechanisms; Mach
operating system; Multiple threads of control; Object
programming facility; System software kernel;
Transparent system trap callout",
thesaurus = "Object-oriented programming; Operating systems
[computers]; Parallel processing; Virtual storage",
}
@Article{Rosenburg:1989:LTL,
author = "B. S. Rosenburg",
title = "Low-synchronization translation lookaside buffer
consistency in large-scale shared-memory
multiprocessor",
journal = j-OPER-SYS-REV,
volume = "23",
number = "5",
pages = "137--166",
month = "????",
year = "1989",
CODEN = "OSRED8",
ISSN = "0163-5980",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "IBM Res. Div. Thomas J. Watson Res. Center, Yorktown
Heights, NY, USA",
classification = "C5440 (Multiprocessor systems and techniques); C6120
(File organisation); C6150J (Operating systems)",
keywords = "IBM Research Parallel Processor Prototype; Large-scale
shared-memory multiprocessor; MACH operating system;
Mapping information; RP3; Shared page table;
Synchronization costs; TLB; TLB consistency;
Translation lookaside buffer consistency",
thesaurus = "Buffer storage; Multiprocessing programs; Operating
systems [computers]; Storage management;
Synchronisation",
}
@InProceedings{Sane:1989:OSK,
author = "A. Sane and S. S. S. P. Rao",
title = "An operating system kernel for transputers compatible
with {Mach}",
crossref = "Anonymous:1989:CAT",
pages = "161",
year = "1989",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci. and Eng., Indian Inst. of
Technol., Bombay, India",
classification = "C5440 (Multiprocessor systems and techniques);
C6150J (Operating systems)",
keywords = "IIT Bombay; Mach compatible operating system kernel;
Mach primitives; OS kernel; Processor architectures;
Transputers; Unix",
thesaurus = "Multiprocessing systems; Operating systems
[computers]; Parallel architectures; Transputers",
}
@InProceedings{Spector:1989:HPD,
author = "A. Z. Spector and J. L. Eppinger and D. S. Daniels and
R. Draves and J. J. Bloch and D. Duchamp and R. F.
Pausch and D. Thompson",
title = "High performance distributed transaction processing in
a general purpose computing environment",
crossref = "Gawlick:1989:HPT",
pages = "220--242",
year = "1989",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Carnegie Mellon Univ.,
Pittsburgh, PA, USA",
classification = "C6150J (Operating systems)",
keywords = "Camelot Distributed Transaction Facility; Carnegie
Mellon University; Distributed transaction processing;
Mach operating system; Shared abstract data objects;
Shared objects; Transaction processing;
Unix-compatible",
thesaurus = "Distributed processing; Transaction processing",
}
@Article{Tevanian:1989:MMF,
author = "A. {Tevanian, Jr.} and B. Smith",
title = "{Mach}: the model for future {Unix} (object-oriented
operating system)",
journal = j-BYTE,
volume = "14",
number = "12",
pages = "411--417",
month = nov,
year = "1989",
CODEN = "BYTEDJ",
ISSN = "0360-5280",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
classification = "C6150J (Operating systems)",
keywords = "Computer architectures; Interprocess communications;
Mach kernel; Mach object-oriented operating system;
Object-oriented programming; Processor scheduling;
Program needs; Service tasks; Unix computing; Unix
operating system; User-level programs; Virtual memory
management",
thesaurus = "Object-oriented programming; Operating systems
[computers]; Unix",
}
@MastersThesis{Toftner:1989:ESM,
author = "Elizabeth Claire Toftner",
title = "An extensible software message monitor for the {Mach}
operating system",
type = "Thesis (M.S.)",
school = "California Polytechnic State University",
address = "Pomona, CA, USA",
pages = "vii + 56",
year = "1989",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
acknowledgement = ack-nhfb,
keywords = "Computer simulation; Operating systems (Computers)",
}
@Article{Voelcker:1989:TS,
author = "J. Voelcker",
title = "Technology '89: software",
journal = j-IEEE-SPECTRUM,
volume = "26",
number = "1",
pages = "37--39",
month = jan,
year = "1989",
CODEN = "IEESAM",
ISSN = "0018-9235",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
classification = "C6140B (Machine-oriented languages); C6150C
(Compilers, interpreters and other processors); C6150J
(Operating systems)",
keywords = "Mach operating system; Parallel Fortran; Software;
Supercompilers; Unix",
thesaurus = "FORTRAN; Operating systems [computers]; Program
compilers",
}
@InProceedings{Wendorf:1989:SOS,
author = "J. W. Wendorf and R. G. Wendorf and H. Tokuda",
title = "Scheduling operating system processing on small-scale
multiprocessors",
crossref = "Shriver:1989:PTA",
pages = "904--913 (vol. 2)",
year = "1989",
bibdate = "Sun Sep 29 06:28:50 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "North American Philips Corp., Briarcliff Manor, NY,
USA",
classification = "C6150J (Operating systems); C7430 (Computer
engineering)",
keywords = "Assignment policies; Asymmetric handling; Discrete
event simulator; Load conditions; Mach; Operating
system processing; Performance; Preemptive priority;
Scheduling policies; Small-scale multiprocessors;
Symmetric scheduling; System configurations;
VAX-11/784",
thesaurus = "DEC computers; Multiprocessing programs; Operating
systems [computers]; Performance evaluation;
Scheduling; Virtual machines",
}
@TechReport{Anderson:1990:IDC,
author = "David P. Anderson",
title = "Integrated digital continuous media: a framework based
on {Mach}, {X11}, and {TCP\slash IP}",
type = "Report",
number = "UCB/CSD 90/566",
institution = "University of California, Berkeley, Computer Science
Division",
address = "Berkeley, CA, USA",
pages = "22",
day = "22",
month = mar,
year = "1990",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
abstract = "High-quality sound and motion video (`continuous
media') are potentially important elements of
human/computer interfaces. Workstations will soon be
commonly available with bus- based hardware for
audio/video digital conversion and video
compression/decompression, and will be connected by
networks capable of handling continuous media traffic.
This report describes an approach, called integrated
digital continuous media (IDCM), to using continuous
media in distributed computer systems. In the IDCM
approach, continuous media data is handled like other
data. It passes through system hardware (main memory,
I/O bus, and CPU). User programs can input, output,
process, communicate, store and retrieve
continuous-media data in the same software framework
(operating system, network protocols, window system) as
other data types. Furthermore, such programs can run
concurrently, sharing the resources of workstations,
servers, and networks. IDCM has many advantages over
approaches that use separate facilities for storage and
communication of continuous-media data. However, it
raises many difficult system software design issues,
ranging from real-time device scheduling to the design
of user interfaces and programming toolkits. We
enumerate and discuss these issues, and sketch the
design of an IDCM software system that addresses many
of them. Our design is based on industry-standard
software components such as Mach, X11, and TCP/IP. It
includes the Session Reservation Protocol (SRP) for
distributed resource allocation and scheduling, and
Continuous Media Extensions to X (CMEX), an extension
of the X11 window system supporting IDCM.",
acknowledgement = ack-nhfb,
keywords = "Human-computer interaction; User interfaces (Computer
systems)",
}
@Article{Babaoglu:1990:FCBa,
author = "{\"O}zalp Babao{\u{g}}lu",
title = "Fault-tolerant computing based on {Mach}",
journal = j-OPER-SYS-REV,
volume = "24",
number = "1",
pages = "27--39",
month = jan,
year = "1990",
CODEN = "OSRED8",
ISSN = "0163-5980",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Dipartimento di Matematica, Bologna Univ., Italy",
classification = "C6150J (Operating systems)",
keywords = "Fault tolerance; Mach operating system; Protocols;
System calls; User computations",
thesaurus = "Fault tolerant computing; Operating systems
[computers]",
}
@InProceedings{Babaoglu:1990:FCBb,
author = "Ozalp Babao{\u{g}}lu",
title = "Fault-Tolerant Computing Based on {Mach}",
crossref = "USENIX:1990:MUW",
pages = "185--199",
year = "1990",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
bibsource = "ftp://ftp.uu.net/library/bibliography",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Math., University of Bologna",
classification = "C6150J (Operating systems)",
keywords = "Mach kernel; Mach operating system; Protocols; Server
tasks; System calls; Task-pair backup paradigm;
Transparent fault tolerance",
thesaurus = "Fault tolerant computing; Operating systems
[computers]; Unix",
}
@Book{Bitar:1990:MVM,
author = "Nawaf Bitar",
title = "{Mach} Virtual Memory Internals",
publisher = "UNIX-AT\&T",
address = "Washington, DC, USA",
pages = "various",
year = "1990",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
acknowledgement = ack-nhfb,
annote = "Tutorial T6: Mach virtual memory internals. Contains
viewgraphs.",
keywords = "Mach -- Management -- Handbooks, manuals, etc; UNIX
(Computer file) -- Handbooks, manuals, etc; Virtual
storage (Computer science).",
}
@TechReport{Black:1990:SSCa,
author = "David L. Black",
title = "Scheduling support for concurrency and parallelism in
the {Mach} operating system",
type = "Research paper",
number = "CMU-CS-90-125",
institution = "Carnegie Mellon University, Computer Science Dept.",
address = "Pittsburgh, PA, USA",
pages = "16",
month = apr,
year = "1990",
bibdate = "Thu May 07 16:38:03 1998",
note = "A revised version of this paper appears in the May
1990 issue of IEEE Computer \cite{Black:1990:SSCb}.",
abstract = "Changes in the use of multiprocessors are placing new
demands on operating system schedulers. This article
describes some of the new challenges posed by parallel
and concurrent applications, and introduces techniques
developed by the Mach project to meet these challenges.
An overview of the techniques of timesharing scheduling
and a description of the Mach scheduler are also
included. This article describes work to incorporate
processor allocation and control into the Mach
operating system. The design approach divides the
implementation into three components: (1) basic
mechanisms implemented in the kernel, (2) long term
policy implemented in a server, and (3) optional user
implementation of short term policy. Isolating
long-term policy in a server yields the advantages of
policy-mechanism separation, while avoiding the
drawbacks encountered in previous applications of this
principle to multiprocessor scheduling. The design and
implementation of a processor allocation server for a
gang scheduling policy is also described. This article
also describes work to support the effective
multiprogrammed use of multiprocessors. The approach
taken to this problem implements the scheduler in the
kernel, but encourages users to provide hints. This
allows the scheduler to take advantage of user
knowledge without requiring users to implement
sophisticated scheduling modules",
acknowledgement = ack-nhfb,
annote = "Supported by the Defense Advanced Research Projects
Agency through the Space and Naval Warfare Systems
Command.",
keywords = "Operating systems (Computers); Scheduling
(Management)",
}
@Article{Black:1990:SSCb,
author = "David L. Black",
title = "Scheduling Support for Concurrency and Parallelism in
the {Mach} Operating System",
journal = j-COMPUTER,
volume = "23",
number = "5",
pages = "35--43",
month = may,
year = "1990",
CODEN = "CPTRB4",
ISSN = "0018-9162",
bibdate = "Sun May 02 07:39:25 1999",
bibsource = "Distributed/Dcs-1.0.bib; Distributed/Mach.bib;
Misc/Mach.bib",
note = "See \cite{Black:1990:SSCa}.",
abstract = "Traditional time-sharing schedulers are inadequate for
parallel and concurrent programs, which require new
techniques such as processor allocation and handoff
scheduling.",
acknowledgement = ack-nhfb,
affiliation = "Carnegie Mellon Univ., Pittsburgh, PA, USA",
annote = "Many parallel and concurrent applications cannot be
scheduled acceptably by traditional time-sharing means.
Dedicated processors are required to obtain acceptable
performance from some parallel applications. For
concurrent applications, communication and
synchronization performance can be improved by taking
advantage of application-specific scheduling
information. Mach's scheduler has been enhanced to meet
the challenges. Mach allows concurrent programs to
provide handoff and discouragement hints to influence
scheduling decisions.",
classification = "C6150J (Operating systems)",
keywords = "Common uniform-memory-access architectures;
Concurrency support; General-purpose uniprocessors;
Mach operating system; Mach scheduler; Memory access
times; Parallelism; Processor allocation; Programming
models; Time-sharing scheduling",
thesaurus = "Multiprogramming; Operating systems [computers];
Scheduling",
}
@InProceedings{Board:1990:PPN,
author = "J. A. {Board, Jr.} and J. Shue-Jen Lu",
title = "Performance of parallel neural network simulations",
crossref = "Board:1990:TRA",
pages = "185--200",
year = "1990",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Electr. Eng., Duke Univ., Durham, NC, USA",
classification = "C1230 (Artificial intelligence); C5440
(Multiprocessor systems and techniques); C5470
(Performance evaluation and testing); C7430 (Computer
engineering)",
keywords = "BBN Butterfly; C language; Communication overhead;
Constraint satisfaction; INMOS Transputer; MACH
operating system; Network size; Occam 2; Parallel
neural network simulations; Partitioned algorithm;
Performance evaluation; Speedup limit; T800 Transputer;
Transputer Development System programming environment;
Uniform System programming environment",
thesaurus = "Neural nets; Parallel algorithms; Performance
evaluation; Programming environments; Transputers;
Virtual machines",
}
@Article{Boykin:1990:MAC,
author = "Joseph Boykin and Alan Langerman",
title = "{Mach/4.3BSD}: {A} Conservative Approach to
Parallelization",
journal = j-COMP-SYS,
volume = "3",
number = "1",
pages = "69--100",
year = "1990",
CODEN = "CMSYE2",
ISSN = "0895-6340",
}
@Article{Boykin:1990:MCA,
author = "J. Boykin and A. Langerman",
title = "{Mach\slash 4.3BSD}: a conservative approach to
parallelization",
journal = j-COMP-SYS,
volume = "3",
number = "1",
pages = "69--99",
month = "Winter",
year = "1990",
CODEN = "CMSYE2",
ISSN = "0895-6340",
bibdate = "Sat Sep 28 20:03:34 MDT 1996",
acknowledgement = ack-nhfb,
classification = "C6150J (Operating systems)",
keywords = "4.3BSD compatibility code; Algorithms; Data
structures; Distributed environments; Mach; Multi-user
performance; Multiprocessor environments;
Multiprocessor system; Operating system;
Parallelization; Performance bottleneck",
thesaurus = "Network operating systems; Parallel processing",
}
@InProceedings{Caswell:1990:IMD,
author = "D. Caswell and D. Black",
title = "Implementing a {Mach} debugger for multithreaded
applications",
crossref = "Anonymous:1990:PWU",
pages = "25--39",
year = "1990",
bibdate = "Sat Sep 28 20:03:34 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Hewlett Packard Labs., Palo Alto, CA, USA",
classification = "C6150G (Diagnostic, testing, debugging and
evaluating systems); C6150J (Operating systems)",
keywords = "Application debugging; Mach debugger; Mach operating
system; Multithreaded applications; Operating system
facilities; Underlying design principles; Unix
compatible environment",
thesaurus = "Operating systems [computers]; Program debugging;
Unix",
}
@InProceedings{Chao:1990:MVA,
author = "Chia Chao and Milon Mackey and Bart Sears",
title = "{Mach} on a Virtually Addressed Cache Architecture",
crossref = "USENIX:1990:MUW",
pages = "31--??",
year = "1990",
bibdate = "Tue Feb 20 15:42:13 MST 1996",
bibsource = "ftp://ftp.uu.net/library/bibliography",
affiliation = "Hewlett-Packard Laboratories",
}
@InProceedings{Clamen:1990:RDC,
author = "S. M. Clamen and L. D. Leibengood and S. M. Nettles
and J. M. Wing",
title = "Reliable distributed computing with {Avalon\slash
Common Lisp}",
crossref = "IEEE:1990:ICC",
pages = "169--179",
year = "1990",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Sch. of Comput. Sci., Carnegie Mellon Univ.,
Pittsburgh, PA, USA",
classification = "C6140D (High level languages)",
keywords = "Automatic commit and abort processing; Automatic crash
recovery; Avalon/Common Lisp; Caching; Client/server
model; Failure atomicity; IBM RTs; Mach operating
system; Reliable distributed computing; Server
interfaces; Server writers",
thesaurus = "Distributed processing; High level languages",
}
@Article{Crandall:1990:NCP,
author = "R. E. Crandall",
title = "The {NeXT} computer as physics machine",
journal = j-COMP-PHYSICS,
volume = "4",
number = "2",
pages = "132--141",
month = mar # "--" # apr,
year = "1990",
CODEN = "CPHYE2",
ISSN = "0894-1866",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
classification = "C7320 (Physics and Chemistry)",
keywords = "Application interfaces; Application Kit; Computational
physics; Debugging tools; Dense graphics; Displayed
graphics; Experiment; Interface Builder; Mach
UNIX-compatible operating system; Mathematica
application; Messaging; Multitasking; NeXT Computer;
Object-oriented interface; Objective-C compiler;
Physics machine; Physics modeling; PostScript imaging
model; Printed graphics; Profiling tools; Theory;
Window environment",
thesaurus = "Digital simulation; Microcomputer applications;
Microcomputers; Physics computing",
}
@InProceedings{Epstein:1990:PUM,
author = "Jeremy Epstein and Marvin Shugerman",
booktitle = "Proceedings of the USENIX Mach Conference",
title = "A {Trusted X Window System Server} for {Trusted
Mach}",
publisher = "????",
address = "Burlington, VT, USA",
month = oct,
year = "1990",
note = "This paper describes the initial architecture of the
Trusted X Window System prototype developed at TRW.
This paper was superseded by the paper at the Seventh
Annual Computer Security Applications Conference
\cite{Epstein:1991:PSA}.",
}
@InProceedings{Garsden:1990:CMI,
author = "H. Garsden and A. L. Wendelborn",
title = "A comparison of microtasking implementations of the
applicative language {SISAL}",
crossref = "Burkhart:1990:CIJ",
pages = "697--708",
year = "1990",
bibdate = "Sat Sep 28 20:03:34 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Adelaide Univ., SA, Australia",
classification = "C6140D (High level languages); C6150C (Compilers,
interpreters and other processors)",
keywords = "Fine-grained parallelism; Mach operating system;
Microtasking systems; Multiprocessors; Parallel
programming language; SISAL",
thesaurus = "High level languages; Parallel programming; Program
compilers",
}
@InProceedings{Goldberg:1990:TRM,
author = "Arthur Goldberg",
title = "Transparent Recovery of {Mach} Applications",
crossref = "USENIX:1990:MUW",
pages = "169--184",
year = "1990",
bibdate = "Tue Feb 20 15:42:13 MST 1996",
bibsource = "ftp://ftp.uu.net/library/bibliography",
affiliation = "IBM TJ Watson Research Center",
}
@InProceedings{Gould:1990:MSD,
author = "E. Gould and B. White",
title = "The 2.6 {MSD} software development environment",
crossref = "Anonymous:1990:PAE",
pages = "65--70",
year = "1990",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "MT XINU, Berkeley, CA, USA",
classification = "C6115 (Programming support); C6150J (Operating
systems)",
keywords = "2.6 MSD software development environment; BSD user
environment; Compilation environment; IBM RT/PC; Mach
Operating System; Notification tools; RCS-based tools;
Release management; Source tree maintenance; Staged
release levels; Sun 3; Vax; Viewpathing; X Window
System",
thesaurus = "Graphical user interfaces; Operating systems
[computers]; Programming environments; Unix",
}
@InProceedings{Langerman:1990:HMV,
author = "A. Langerman and J. Boykin and S. LoVerso and S.
Mangalat",
title = "A highly-parallelized {Mach}-based vnode filesystem",
crossref = "Anonymous:1990:PWU",
pages = "297--312",
year = "1990",
bibdate = "Sat Sep 28 20:03:34 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Encore Comput. Corp., Marlborough, MA, USA",
classification = "C6110 (Systems analysis and programming); C6120
(File organisation); C6150J (Operating systems)",
keywords = "BSD code; Compatibility code; Filesystem organization;
Highly-parallelized Mach-based vnode filesystem;
Locking policies; Mach operating system; NFS
functionality; Performance analysis; Vnode filesystem
code; Vnode-based filesystem",
thesaurus = "File organisation; Operating systems [computers];
Parallel programming",
}
@TechReport{MacLachlan:1991:CCL,
author = "Rob MacLachlan",
title = "{CMU Common Lisp} user's manual",
type = "Research paper",
number = "CMU-CS-91-108",
institution = "School of Computer Science, Carnegie Mellon
University",
address = "Pittsburgh, PA, USA",
pages = "vi + 168",
month = feb,
year = "1991",
bibdate = "Mon Nov 18 14:18:28 MST 1996",
note = "This is a revised version of Technical Report
CMU-CS-87-156.",
abstract = "CMU Common Lisp is an implementation of Common Lisp
that currently runs under Mach, a Berkeley Unix 4.3
binary compatible operating system. CMU Common Lisp is
currently supported on MIPS-processor DECstations,
SPARC-based workstations from Sun and the IBM RT PC,
and other ports are planned. The largest single part of
this document describes the Python compiler and the
programming styles and techniques that the compiler
encourages. The rest of the document describes
extensions and the implementation dependent choices
made in developing this implementation of Common Lisp.
We have added several extensions, including the
proposed error system, a source level debugger, an
interface to Mach system calls, a foreign function call
interface, support for interprocess communication and
remote procedure call, and other features that provide
a good environment for developing Lisp code.",
acknowledgement = ack-nhfb,
annote = "Sponsored by the Defense Advanced Research Projects
Agency, Information Science and Technology Office.",
keywords = "LISP (Computer program language)",
}
@InProceedings{Northcutt:1990:TPC,
author = "J. D. Northcutt and R. K. Clark and S. E. Shipman and
D. P. Maynard and E. D. Jensen and F. D. Reynolds and
B. Dasarathy",
title = "Threads: a programming construct for reliable
real-time distributed computing",
crossref = "Ammar:1990:PII",
pages = "299--304",
year = "1990",
bibdate = "Sat Sep 28 19:27:02 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Sun Microsystems, Mountain View, CA, USA",
classification = "C6110 (Systems analysis and programming); C6150N
(Distributed systems)",
keywords = "Active entity; Alpha operating system; Concurrency;
Network location; Object invocations; Programming
construct; Reliable real-time distributed computing;
Threads",
thesaurus = "Distributed processing; Operating systems [computers];
Programming; Real-time systems",
}
@InProceedings{Pu:1990:IPS,
author = "C. Pu and S.-W. F. Chen",
title = "Implementation of a prototype superdatabase",
crossref = "IEEE:1990:PIW",
pages = "3--7",
year = "1990",
bibdate = "Sat Sep 28 20:03:34 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Columbia Univ., New York, NY,
USA",
classification = "C6160B (Distributed DBMS)",
keywords = "CAMELOT server; Commit protocols; Distributed commit;
Global concurrency control; Global serialization;
Global supertransaction; Harmony heterogeneous database
system; Heterogeneous commit; Heterogeneous transaction
processing; INGRES; MACH operating system; Nova
relational database manager; SUNOS; Superdatabase
architecture; Supernova; Table driven; Transaction
validation",
thesaurus = "Concurrency control; Distributed databases;
Transaction processing",
}
@InProceedings{Rashid:1990:MSS,
author = "R. F. Rashid and H. Tokuda",
title = "{Mach}: a system software kernel",
crossref = "Anonymous:1990:CTF",
journal = j-COMPUT-SYST-ENG,
volume = "1",
number = "2-4",
pages = "163--169",
year = "1990",
CODEN = "COSEEO",
ISSN = "0956-0521",
bibdate = "Sat Sep 28 20:03:34 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Sch. of Comput. Sci., Carnegie Mellon Univ.,
Pittsburgh, PA, USA",
classification = "C6115 (Programming support); C6150J (Operating
systems)",
keywords = "4.3BSD Unix; Mach operating system; Macintosh
operating system; Real-time environments; Secure
programming environments; System software kernel",
thesaurus = "Apple computers; Operating systems [computers];
Programming environments; Real-time systems; Unix",
}
@Article{Reynolds:1990:TPC,
author = "F. D. Reynolds and J. D. Northcutt and E. D. Jensen
and R. K. Clark and S. E. Shipman and B. Dasarathy and
D. P. Maynard",
title = "Threads: a programming construct for reliable
real-time distributed computing",
journal = j-INT-J-MINI-MICROCOMPUTERS,
volume = "12",
number = "3",
pages = "119--127",
month = "????",
year = "1990",
CODEN = "IJMMDE",
ISSN = "0702-0481",
bibdate = "Sat Sep 28 20:03:34 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Open Software Found., Cambridge, MA, USA",
classification = "C6120 (File organisation); C6150J (Operating
systems)",
keywords = "Alpha operating system; Concurrency; Mach threads;
Programming construct; Real-time applications;
Reliability; Reliable real-time distributed computing;
RPC mechanisms; Thread programming abstraction",
thesaurus = "Data structures; Distributed processing; Operating
systems [computers]; Real-time systems",
}
@InProceedings{Robertson:1990:IOS,
author = "L. Robertson",
title = "Introduction to operating systems",
crossref = "Verkerk:1990:CSC",
pages = "309--336",
year = "1990",
bibdate = "Sat Sep 28 20:03:34 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "CERN, Geneva, Switzerland",
classification = "C6150J (Operating systems)",
keywords = "Apollo Domain; Distributed operating systems; LOCUS;
MACH; Operating systems; SUN NFS",
thesaurus = "Distributed processing; Operating systems
[computers]",
}
@Article{Salem:1990:SMT,
author = "K. Salem and H. Garcia-Molina",
title = "{System M}: a transaction processing testbed for
memory resident data",
journal = j-IEEE-TRANS-KNOWL-DATA-ENG,
volume = "2",
number = "1",
pages = "161--172",
month = mar,
year = "1990",
CODEN = "ITKEEH",
ISSN = "1041-4347",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Maryland Univ., College Park,
MD, USA",
classification = "C6120 (File organisation); C6130 (Data handling
techniques); C6160 (Database management systems
(DBMS))",
keywords = "Backup database copy; Checkpointer; Checkpointing;
Experimental transaction processing; Logging; Mach
operating system; Memory resident data; Primary memory;
System M; Transaction processing testbed",
thesaurus = "Database management systems; Storage management;
Transaction processing",
}
@Article{Thompson:1990:SCN,
author = "Tom Thompson and Ben Smith",
title = "Sizing Up the {Cube}: The {NeXT Computer} -- advanced
features, fair performance",
journal = j-BYTE,
volume = "15",
number = "1",
pages = "169--176",
month = jan,
year = "1990",
CODEN = "BYTEDJ",
ISSN = "0360-5280",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
classification = "C5430 (Microcomputers)",
keywords = "16 MB; 68882 FPU; Class libraries; Cube; Data
acquisition; Display PostScript; DSP56001 digital
signal processor chip; Ejectable 256-megabyte
cartridges; Four-slot NuBus; Graphical front end; GUI;
Interface Builder; Mach Unix kernel; Message
connections; Motorola 68030 CPU; Multitasking operating
system; NeXT Computer; NextStep; Object-oriented
programming tools; Peripheral boards; Proprietary
windowing graphical user interface; RAM; Read/write
magneto-optical drive; Sound generation; Workspace
Manager",
numericalindex = "Memory size 1.7E+07 Byte",
thesaurus = "Microcomputers",
}
@Article{Wahl:1990:OSF,
author = "P. Wahl",
title = "The {Open Software Foundation}: {OSF/1}",
journal = "Office Management",
volume = "38",
number = "4",
pages = "14--18",
month = apr,
year = "1990",
CODEN = "OFMADG",
ISSN = "0343-2319",
bibdate = "Sat Sep 28 20:21:01 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Open Software Found., Munchen, West Germany",
classification = "B6210L (Computer communications); C5620 (Computer
networks and techniques); C6150J (Operating systems)",
keywords = "Berkeley; Commercial application; Database system;
International character; Mach-Kernel technology;
Membership; Networking; Open Software Foundation; Open
software systems; OSF/1 kernel; Security; Standards;
System management; Unix-V; User environments",
language = "German",
pubcountry = "West Germany",
thesaurus = "Open systems; Operating systems [computers]; Software
packages; Software portability; Standards",
}
@InProceedings{Banatre:1991:HDR,
author = "M. Banatre and P. Heng and G. Muller and B. Rochat",
title = "How to design reliable servers using fault tolerant
micro-kernel mechanisms",
crossref = "USENIX:1991:PUM",
pages = "223--231",
year = "1991",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "IRISA, Rennes, France",
classification = "C5440 (Multiprocessor systems and techniques); C5470
(Performance evaluation and testing); C6150J (Operating
systems); C6150N (Distributed systems)",
keywords = "Fault tolerant machine; Fault Tolerant Multiprocessor;
FTM operating system; MACH micro-kernel; MACH/OSF
kernel; Reliable servers; Reliable services; Stable
transactional memories",
thesaurus = "Fault tolerant computing; Multiprocessing systems;
Operating systems [computers]; Unix",
}
@InProceedings{Barrera:1991:FMN,
author = "Joseph S. {Barrera, III}",
title = "A Fast {Mach} Network {IPC} Implementation",
crossref = "USENIX:1991:PUM",
pages = "1--12",
year = "1991",
bibdate = "Tue Feb 20 15:42:13 MST 1996",
bibsource = "ftp://ftp.uu.net/library/bibliography",
affiliation = "Carnegie Mellon University",
}
@MastersThesis{Basavaiah:1991:MIC,
author = "Muralidhar Basavaiah",
title = "{Mach} interprocess communication server and network
server on {Berkeley UNIX}",
type = "Thesis (M.S.)",
school = "Arizona State University",
address = "Tempe, AZ, USA",
pages = "viii + 91",
year = "1991",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
acknowledgement = ack-nhfb,
keywords = "Computer networks; Electronic data processing --
Distributed processing; Operating systems (Computers)",
}
@Article{Black:1991:MOS,
author = "D. L. Black and D. B. Golub and D. P. Julin and R. F.
Rashid and R. P. Draves and R. W. Dean and A. Forin and
J. Barrera and H. Tokuda and G.-R. Malan and D.
Bohman",
title = "Microkernel operating system architecture and {Mach}",
journal = j-J-INF-PROCESS,
volume = "14",
number = "4",
pages = "442--453",
month = "????",
year = "1991",
CODEN = "JIPRDE",
ISSN = "0387-6101",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Res. Inst., Open Software Found., Cambridge, MA, USA",
classification = "C6150J (Operating systems); C6150N (Distributed
systems)",
keywords = "Mach microkernel; Microkernel architectures; MS-DOS;
Operating systems; Unix",
pubcountry = "Japan",
thesaurus = "Network operating systems",
}
@InProceedings{Black:1991:OVM,
author = "D. Black and J. Carter and G. Feinberg and R.
MacDonald and S. Mangalat and E. Shienbrood and J. Van
Sciver and Ping Wang",
title = "{OSF/1} virtual memory improvements",
crossref = "USENIX:1991:PUM",
pages = "87--103",
year = "1991",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
classification = "C6120 (File organisation); C6150J (Operating
systems)",
keywords = "Backing store; Clustered page operations; Deadlock
removal; Eager allocation; Kernel stacks; Mach
derivative; Operating system; OSF/1; Performance;
Robustness; Swapping; Unix; Virtual memory subsystem;
VM code",
thesaurus = "Concurrency control; Operating systems [computers];
Storage allocation; Unix; Virtual storage",
}
@InProceedings{Black:1991:PPP,
author = "D. L. Black",
title = "Processors, priority, and policy: {Mach} scheduling
for new environments",
crossref = "USENIX:1991:UAP",
pages = "1--12",
year = "1991",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Carnegie Mellon Univ., Pittsburgh, PA, USA",
classification = "C6150J (Operating systems)",
keywords = "Allocation policies; Gang scheduling server; Mach
operating system; Mach scheduling; Multicomputer
architectures; Processor allocation facility; Real-time
applications; Timesharing",
thesaurus = "Operating systems [computers]; Resource allocation;
Scheduling; Time-sharing programs",
}
@InProceedings{Bolinger:1991:PSH,
author = "D. Bolinger and S. Mangalat",
title = "Parallelizing signal handling and process management
in {OSF/1}",
crossref = "USENIX:1991:PUM",
pages = "105--122",
year = "1991",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Encore Computer Corp., Marlborough, MA, USA",
classification = "C6110P (Parallel programming); C6150J (Operating
systems)",
keywords = "Mach kernel; Multi-threaded programming model;
Multi-threaded tasks; Multiprocessor-efficient; OSF/1
operating system; Parallelization; Performance
improvements; Process management; Races; Signal
handling; Synchronization problems; System calls; Unix
emulation; Unix process-oriented abstractions",
thesaurus = "Interrupts; Operating systems [computers]; Parallel
programming; Unix",
}
@InProceedings{Boyer:1991:SOD,
author = "F. Boyer and J. Cayuela and P. Y. Chevalier and A.
Freyssinet and D. Hagimont",
title = "Supporting an object-oriented distributed system:
experience with {Unix}, {Mach} and {Chorus}",
crossref = "Anonymous:1991:SIS",
pages = "283--299",
year = "1991",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Unite Mixte Bull-IMAG/Syst., Gieres, France",
classification = "C6110J (Object-oriented programming); C6120 (File
organisation); C6150J (Operating systems); C6150N
(Distributed systems)",
keywords = "Chorus; Distributed shared virtual memory; Guide
object-oriented distributed system; Guide virtual
object memory; Lightweight activities; Mach;
Micro-kernel based version; Operating system; Server
architecture; Unix",
thesaurus = "Multiprocessing programs; Object-oriented programming;
Storage management; Unix; Virtual storage",
}
@Article{Bryant:1991:EDRa,
author = "R. Bryant and Hung-Yang Chang and B. Rosenburg",
title = "Experience developing the {RP3} operating system",
journal = j-COMP-SYS,
volume = "4",
number = "3",
pages = "183--216",
month = "Summer",
year = "1991",
CODEN = "CMSYE2",
ISSN = "0895-6340",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "IBM Thomas J. Watson Res. Center, Yorktown Heights,
NY, USA",
classification = "C5220P (Parallel architecture); C5440
(Multiprocessor systems and techniques); C6150J
(Operating systems)",
keywords = "Hardware; Highly parallel computation; Mach system;
Operating system; Research Parallel Processing
Prototype; RP3; Shared-memory parallel machines;
Software",
thesaurus = "Concurrency control; Operating systems [computers];
Parallel machines; Parallel processing",
}
@InProceedings{Bryant:1991:EDRb,
author = "R. Bryant and Hung-Yang Chang and B. Rosenburg",
title = "Experience developing the {RP3} operating system",
crossref = "Anonymous:1991:SIS",
pages = "1--18",
year = "1991",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "IBM Thomas J. Watson Res. Center, Yorktown Heights,
NY, USA",
classification = "C5440 (Multiprocessor systems and techniques);
C6150J (Operating systems); C6150N (Distributed
systems)",
keywords = "Architectural features; Highly parallel computation;
Mach system; Product machines; Research parallel
processing prototype; Research vehicle; RP3 operating
system; Shared-memory machine; Shared-memory parallel
machines; Software aspects",
thesaurus = "Operating systems [computers]; Parallel machines;
Parallel programming",
}
@Article{Bryant:1991:OSS,
author = "R. M. Bryant and H.-Y. Chang and B. S. Rosenburg",
title = "Operating system support for parallel programming on
{RP3}",
journal = j-IBM-JRD,
volume = "35",
number = "5\slash 6",
pages = "617--634",
month = sep # "\slash " # nov,
year = "1991",
CODEN = "IBMJAE",
ISSN = "0018-8646",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
abstract = "RP3, the Research Parallel Processing Prototype, was a
research vehicle for exploring the hardware and
software aspects of highly parallel computation. RP3
was a shared-memory machine that was designed to be
scalable to 512 processors; a 64-processor machine was
in operation from October 1988 through March 1991. A
parallel-programming environment based on the Mach
operating system was developed, and a variety of
programming models were tested on the machine. To help
user programs realize the full potential of parallelism
on RP3, the RP3 operating system was extended to
support such RP3 architectural features as noncoherent
caches, local and interleaved storage, and a hardware
performance monitor. The system included explicit
job-scheduling and processor-allocation facilities,
facilities for exploiting the RP3 memory hierarchy, and
performance-data collection and logging facilities. The
paper describes these components of the RP3 operating
system, provides the rationale for the design decisions
that were made, and discusses the implementation of
these operating system facilities.",
acknowledgement = ack-nhfb,
affiliation = "IBM Res. Div., Thomas J. Watson Res. Center, Yorktown
Heights, NY, USA",
classification = "C6110P (Parallel programming); C6115 (Programming
support); C6150J (Operating systems); C6150N
(Distributed systems)",
keywords = "Explicit job-scheduling; Hardware performance monitor;
Mach operating system; Noncoherent caches; Parallel
programming; Processor-allocation; Programming models;
Research Parallel Processing Prototype; RP3;
Shared-memory machine",
thesaurus = "Multiprocessing programs; Operating systems
[computers]; Parallel programming; Programming
environments; Resource allocation; Scheduling",
}
@InProceedings{Bryant:1991:SSS,
author = "R. Bryant and P. Carini and H.-Y. Chang and B.
Rosenburg",
title = "Supporting Structured Shared Virtual Memory under
{Mach}",
crossref = "USENIX:1991:PUM",
pages = "59--76",
month = nov,
year = "1991",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
bibsource = "Parallel/par.genetic.linkage.bib",
acknowledgement = ack-nhfb,
affiliation = "IBM Res. Div., Thomas J. Watson Res. Center, Yorktown
Heights, NY, USA",
classification = "C6110P (Parallel programming); C6120 (File
organisation); C6150J (Operating systems)",
keywords = "DSVM approach; High-performance parallel processing;
Loosely coupled environment; Loosely coupled
multicomputer; Mach operating system; Parallel
computation; Shared memory programming model; SSVM;
Standard DSVM model; Structured shared virtual memory;
Traditional message-passing models",
thesaurus = "Parallel programming; Unix; Virtual storage",
}
@Article{Canetti:1991:PCP,
author = "R. Canetti and L. P. Fertig and S. A. Kravitz and D.
Malki and R. Y. Pinter and S. Porat and A. Teperman",
title = "The parallel {C} ({pC}) programming language",
journal = j-IBM-JRD,
volume = "35",
number = "5\slash 6",
pages = "727--741",
month = sep # "\slash " # nov,
year = "1991",
CODEN = "IBMJAE",
ISSN = "0018-8646",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
abstract = "The authors describe pC (parallel C), an extension of
the ANSI C programming language to support medium- to
large-grain parallel programming in both shared- and
distributed-memory environments. pC aims to make
programming for parallel processors accessible to the C
community by enriching the C programming model with a
small set of constructs supporting parallelism. pC
supports shared- and distributed-memory environments
via a hierarchical computational model. A pC
application comprises a static collection of tasks with
disjoint memory spaces. A dynamic collection of threads
runs within each task, sharing the data and code of the
task. Language constructs specify concurrent execution
of threads within a single task. Additional language
constructs specify the interactions between threads
through the following mechanisms: initiation of threads
in remote tasks by remote function call, mailbox-based
message passing, and synchronization primitives. The
paper introduces the computational model and language
constructs of pC and describes a prototype pC compiler
and run-time system for the Mach operating system.
Several program examples illustrate the utility of pC
constructs.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Technion-Israel Inst. of
Technol., Haifa, Israel",
classification = "C6110P (Parallel programming); C6140D (High level
languages); C6150C (Compilers, interpreters and other
processors)",
keywords = "ANSI C programming language; C programming model;
Disjoint memory spaces; Distributed-memory;
Hierarchical computational model; Language constructs;
Mach operating system; Mailbox-based message passing;
Parallel C; Parallel programming; Parallelism; PC; PC
compiler; Remote function call; Run-time system; Shared
memory; Synchronization; Tasks; Threads",
thesaurus = "C language; Parallel languages; Program compilers",
}
@Article{Ching:1991:EAP,
author = "W.-M. Ching and D. Ju",
title = "Execution of automatically parallelized {APL} programs
on {RP3}",
journal = j-IBM-JRD,
volume = "35",
number = "5\slash 6",
pages = "767--777",
month = sep # "\slash " # nov,
year = "1991",
CODEN = "IBMJAE",
ISSN = "0018-8646",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
abstract = "The authors have implemented an experimental APL/C
compiler, which accepts ordinary APL programs and
produces C programs. They have also implemented a
run-time environment that supports the parallel
execution of these C programs on the RP3 computer, a
shared-memory, 64-way MIMD machine built at the IBM
Thomas J. Watson Research Center. The APL/C compiler
uses the front end of the APL/370 compiler and imposes
the same restrictions, but requires no parallelization
directives from the user. The run-time environment is
based on simple synchronization primitives and is
implemented using Mach threads. They report the
speedups of several compiled programs running on RP3
under the Mach operating system. The current
implementation exploits only data parallelism. They
discuss the relationship between the style of an APL
program and its expected benefit from the automatic
parallel execution provided by the compiler.",
acknowledgement = ack-nhfb,
affiliation = "IBM Thomas J. Watson Res. Center, Yorktown Heights,
NY, USA",
classification = "C6140D (High level languages); C6150C (Compilers,
interpreters and other processors); C6150N (Distributed
systems)",
keywords = "APL/370 compiler; APL/C compiler; Automatically
parallelized APL programs; C programs; Data
parallelism; Mach operating system; Mach threads; RP3;
Shared-memory; Synchronization primitives",
thesaurus = "APL; C language; Multiprocessing programs; Program
compilers; Synchronisation",
}
@InProceedings{Draves:1991:PRR,
author = "R. P. Draves",
title = "Page replacement and reference bit emulation in
{Mach}",
crossref = "USENIX:1991:PUM",
pages = "201--212",
year = "1991",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Sch. of Comput. Sci., Carnegie Mellon Univ.,
Pittsburgh, PA, USA",
classification = "C6120 (File organisation); C6150J (Operating
systems)",
keywords = "FIFO; Free pages; Hardware page-referenced
information; Least recently used; Mach 2.5; Mach 3;
Mach kernel; Operating system; Page-referenced
information; Page-replacement algorithm; Reactivation
fault technique; Reference bit emulation; Reference
detection; Reference fault technique; Second chance;
Software techniques; Software TLB miss handler",
thesaurus = "Operating systems [computers]; Storage allocation;
Unix; Virtual storage",
}
@InProceedings{Draves:1991:UCI,
author = "R. P. Draves and B. N. Bershad and R. F. Rashid and R.
W. Dean",
title = "Using continuations to implement thread management and
communication in operating systems",
crossref = "ACM:1991:TAS",
journal = j-OPER-SYS-REV,
volume = "25",
number = "5",
pages = "122--136",
year = "1991",
CODEN = "OSRED8",
ISSN = "0163-5980",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Sch. of Comput. Sci., Carnegie Mellon Univ.,
Pittsburgh, PA, USA",
classification = "C6150G (Diagnostic, testing, debugging and
evaluating systems); C6150J (Operating systems)",
keywords = "Continuations; Control transfer; Control transfer
optimizations; Internal thread; Interprocess
communication facilities; IPC; Mach 3 OS kernel; Mach
operating system; Remote procedure calls; System
performance; Thread management",
thesaurus = "Operating systems [computers]; Optimisation; System
recovery",
}
@InProceedings{Duchamp:1991:ETR,
author = "Dan Duchamp",
title = "Experience with Threads and {RPC} in {Mach}",
crossref = "USENIX:1991:SIS",
pages = "87--104",
year = "1991",
bibdate = "Tue Feb 20 15:42:13 MST 1996",
bibsource = "ftp://ftp.uu.net/library/bibliography",
affiliation = "Computer Science Department, Columbia University",
}
@InProceedings{Epstein:1991:PSA,
author = "Jeremy Epstein and others",
booktitle = "Proceedings of the Seventh Annual Computer Security
Applications Conference",
title = "A Prototype {B3 Trusted X Window System}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
month = dec,
year = "1991",
note = "The architecture for TRW's high assurance multi-level
secure X prototype. See \cite{Epstein:1990:PUM}.",
}
@Article{Finkel:1991:OWB,
author = "D. Finkel and R. E. Kinicki and J. A. Lehmann",
title = "An overview of the {WPI Benchmark Suite}",
journal = j-PERF-EVAL-REV,
volume = "19",
number = "2",
pages = "33--35",
month = aug,
year = "1991",
CODEN = "PEREDN",
ISSN = "0163-5999",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Worcester Polytech. Inst., MA,
USA",
classification = "C5470 (Performance evaluation and testing); C6150G
(Diagnostic, testing, debugging and evaluating
systems); C6150J (Operating systems)",
keywords = "Diagnostic benchmarks; High-level synthetic
benchmarks; Low-level benchmarks; Mach; Operating
system services; Unix; User application programs; WPI
Benchmark Suite",
thesaurus = "Computer testing; Operating systems [computers];
Performance evaluation; Program testing",
}
@TechReport{Forin:1991:ISMa,
author = "Alessandro Forin and David Golub and Brian N.
Bershad",
title = "An {I/O} system for {Mach} 3.0",
type = "Research paper",
number = "CMU-CS-91-191",
institution = "School of Computer Science, Carnegie Mellon
University",
address = "Pittsburgh, PA, USA",
pages = "11",
month = oct,
year = "1991",
bibdate = "Sun Sep 29 10:41:24 MDT 1996",
abstract = "The Mach 3.0 I/O system represents a radical departure
from its predecessor -- Mach 2.5, which relied on the
BSD Unix model of device management. The I/O interface
in Mach 3.0 supports device drivers that are largely
device-independent, implemented at user-level, and
location-independent. Our approach to device management
significantly reduces the size of the kernel's
machine-dependent code, enables us to reduce the length
of the I/O path, and permits us to transparently manage
remote devices on non-shared memory multiprocessor
architectures such as the Hypercube. This paper
describes the structure and performance of Mach's I/O
system.",
acknowledgement = ack-nhfb,
annote = "Supported in part by the Defense Advanced Research
Projects Agency, Information Science and Technology
Office, issued by DARPA/CMO.",
keywords = "Operating systems (Computers)",
}
@InProceedings{Forin:1991:ISMb,
author = "Alessandro Forin and David Golub and Brian Bershad",
title = "An {I/O} System for {Mach} 3.0",
crossref = "USENIX:1991:PUM",
pages = "163--176",
year = "1991",
bibdate = "Tue Feb 20 15:42:13 MST 1996",
bibsource = "ftp://ftp.uu.net/library/bibliography",
affiliation = "Carnegie Mellon University",
}
@InProceedings{Golub:1991:MDM,
author = "D. B. Golub and R. P. Draves",
title = "Moving the default memory manager out of the {Mach}
kernel",
crossref = "USENIX:1991:PUM",
pages = "177--188",
year = "1991",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "Sch. of Comput. Sci., Carnegie Mellon Univ.,
Pittsburgh, PA, USA",
classification = "C6120 (File organisation); C6150J (Operating
systems)",
keywords = "Bootstrap service; Complete operating system;
Deadlocks; Default memory manager; Kernel privileges;
Mach boot sequence; Mach kernel; Mach system services;
Real file system; Standard user-level environment;
System startup time; User program images; User space",
thesaurus = "Operating systems [computers]; Storage management;
Unix",
}
@InProceedings{Gruber:1991:EEO,
author = "O. Gruber and L. Amsaleg and L. Daynes and P.
Valduriez",
title = "{Eos}, an environment for object-based systems",
crossref = "Milutinovic:1991:PTH",
pages = "757--768 (vol. 1)",
year = "1991",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "INRIA, Rocquencourt, Le Chesnay, France",
classification = "C6110J (Object-oriented programming); C6115
(Programming support); C6150N (Distributed systems)",
keywords = "Computation placement; Data-intensive application
domains; Database systems; Distributed object
management; Distribution transparency; Dynamic object
grouping; Eos; Low-overhead garbage collection; Mach
3.0; Object based systems environment; Object sharing;
Operating systems; Parallelism; Persistent collections;
Persistent objects; Programming environment;
Programming languages; Sun 3/60 workstations;
Transaction management",
thesaurus = "Database management systems; Distributed processing;
Object-oriented programming; Operating systems
[computers]; Parallel programming; Programming
environments; Storage management; Transaction
processing",
}
@InProceedings{Guedes:1991:OIM,
author = "P. Guedes and D. P. Julin",
title = "Object-oriented interfaces in the {Mach 3.0}
multi-server system",
crossref = "IEEE:1991:PIW",
pages = "114--117",
year = "1991",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
acknowledgement = ack-nhfb,
affiliation = "OSF Res. Inst., Cambridge, MA, USA",
classification = "C6110J (Object-oriented programming); C6150J
(Operating systems)",
keywords = "Emulation library; Error detection; Mach 3.0;
Micro-kernel; Multi-server system; Object-oriented
interfaces; Object-oriented language; Operating system;
System servers",
thesaurus = "Network servers; Object-oriented programming;
Operating systems [computers]",
}
@InProceedings{Hoven:1991:MIS,
author = "Rand A. Hoven",
title = "{Mach} Interfaces to Support Guest {O.S.} Debugging",
crossref = "USENIX:1991:PUM",
pages = "131--148 (or 131--147??)",
year = "1991",
bibdate = "Sat Sep 28 19:47:51 MDT 1996",
bibsource = "ftp://ftp.uu.net/library/bibliography",
acknowledgement = ack-nhfb,
affiliation = "Hewlett-Packard",
classification = "C6150G (Diagnostic, testing, debugging and
evaluating systems); C6150J (Operating systems)",
keywords = "Debugging interface; Guest OS debugging; Mach
features; Operating systems; Servers; Specialized
debugging features",
thesaurus = "File servers; Operating systems [computers]; Program
debugging; Unix",
}
@MastersThesis{John:1991:PEV,
author = "Aju John",
title = "Performance evaluation of the virtual memory
manage