%%% -*-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
                 management and interprocess communication features of
                 the {Mach} operating system",
  type =         "Thesis (M.S.)",
  school =       "Worcester Polytechnic Institute",
  address =      "Worcester, MA, USA",
  pages =        "xiv + 139",
  year =         "1991",
  bibdate =      "Sun Sep 29 10:41:24 MDT 1996",
  acknowledgement = ack-nhfb,
  keywords =     "MACH (Computer operating system); Operating systems
                 (Computers) -- Evaluation; UNIX System V (Computer
                 file); Virtual storage (Computer science)",
}

@InProceedings{Ju:1991:EAD,
  author =       "Dz-ching Ju and Wai-mee-Ching",
  title =        "Exploitation of {APL} data parallelism on a
                 shared-memory {MIMD} machine",
  crossref =     "ACM:1991:TAS",
  journal =      j-SIGPLAN,
  volume =       "26",
  number =       "7",
  pages =        "61--72",
  month =        jul,
  year =         "1991",
  CODEN =        "SINODQ",
  ISSN =         "0362-1340",
  bibdate =      "Sat Sep 28 20:03:34 MDT 1996",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Electr. and Comput. Eng., Texas Univ.,
                 Austin, TX, USA",
  classification = "C5440 (Multiprocessor systems and techniques); C6110
                 (Systems analysis and programming); C6140D (High level
                 languages); C6150C (Compilers, interpreters and other
                 processors); C6150J (Operating systems)",
  keywords =     "APL data parallelism; Array operations; C language;
                 Experimental APL/C compiler; High level APL primitives;
                 Loop fusion technique; Mach kernel primitives; Mach
                 operating system; Ordinary APL programs; Parallel
                 constructs; Parallel run-time environment; Primitive
                 function; RP3; Run-time overhead; Scalar primitive
                 functions; Shared-memory MIMD machine; Synchronization
                 support",
  thesaurus =    "APL; C language; Operating systems [computers];
                 Parallel machines; Parallel programming; Program
                 compilers",
}

@InProceedings{Julin:1991:GES,
  author =       "D. P. Julin and J. J. Chew and J. M. Stevenson and P.
                 Guedes and P. Neves and P. Roy",
  title =        "Generalized emulation services for {Mach
                 3.0}-overview, experiences and current status",
  crossref =     "USENIX:1991:PUM",
  pages =        "13--26",
  year =         "1991",
  bibdate =      "Sat Sep 28 19:47:51 MDT 1996",
  acknowledgement = ack-nhfb,
  affiliation =  "Carnegie Mellon Univ., Pittsburgh, PA, USA",
  classification = "C6110J (Object-oriented programming); C6150J
                 (Operating systems); C6155 (Computer communications
                 software)",
  keywords =     "Common facilities; General-purpose facilities; Generic
                 service interfaces; Independent servers; Interface
                 translator; Mach 3 micro-kernel; Object-oriented
                 technology; Ongoing project; Operating systems; Smart
                 emulation library; Standard interfaces; System state;
                 Unix BSD; User-level",
  thesaurus =    "Computer communications software; File servers;
                 Object-oriented programming; Unix",
}

@InProceedings{Kuechlin:1991:IMP,
  author =       "W. Kuechlin and D. Lutz and N. Nevin",
  title =        "Integer multiplication in {PARSAC-2} on stock
                 microprocessors",
  crossref =     "Mattson:1991:AAA",
  pages =        "206--217",
  year =         "1991",
  bibdate =      "Sat Sep 28 19:47:51 MDT 1996",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Comput. and Inf. Sci., Ohio State Univ.,
                 Columbus, OH, USA",
  classification = "C4240P (Parallel programming and algorithm theory);
                 C5230 (Digital arithmetic methods); C7310
                 (Mathematics)",
  keywords =     "Assembly subroutines; C; CISC; Integer multiplication;
                 Mach; Microprocessors; NS32332; Parallelization;
                 PARSAC-2; RISC processor architectures; Shared memory
                 Encore Multimax; SPARC",
  thesaurus =    "Digital arithmetic; Mathematics computing; Parallel
                 algorithms",
}

@Article{Lacapra:1991:MOS,
  author =       "F. Lacapra",
  title =        "The {MACH} operating system",
  journal =      j-ELETTROTECNICA,
  volume =       "78",
  number =       "6",
  pages =        "539--543",
  month =        jun,
  year =         "1991",
  CODEN =        "ETRTAF",
  ISSN =         "0013-6131",
  bibdate =      "Sat Sep 28 20:03:34 MDT 1996",
  acknowledgement = ack-nhfb,
  affiliation =  "Uniteam, Milan, Italy",
  classification = "C6120 (File organisation); C6150J (Operating
                 systems)",
  keywords =     "Characteristics; History; MACH operating system;
                 Memory object; Unix; Virtual memory",
  language =     "Italian",
  pubcountry =   "Italy",
  thesaurus =    "Operating systems [computers]; Unix; Virtual storage",
}

@InProceedings{Malan:1991:MA,
  author =       "G. Malan and R. Rashid and D. Golub and R. Baron",
  title =        "{DOS} as a {Mach 3.0} application",
  crossref =     "USENIX:1991:PUM",
  pages =        "27--40",
  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 = "C6150J (Operating systems); C7430 (Computer
                 engineering)",
  keywords =     "Common DOS functions; Common DOS software; DOS
                 functionality; DOS operating system; Frequently loaded
                 DOS drivers; High memory area; High-speed space combat
                 simulation system; I/O devices; I386/i486 architecture;
                 Latency demands; Mach features; Machine-dependent
                 kernel modifications; Multiple virtual DOS
                 environments; Multithreaded emulation; PC architecture;
                 Performance sensitive PC entertainment software;
                 Timing; Unix emulation; Unix Server; VGA display;
                 Virtual 8086 mode; Virtual machine environment; Wing
                 Commander",
  thesaurus =    "IBM computers; Microcomputer applications; Supervisory
                 programs; Unix; Virtual machines",
}

@MastersThesis{Mallal:1991:EMP,
  author =       "Rizwan Mallal",
  title =        "Emulation of the {Mach PMAP} module for {the MC88200}
                 {MMU} on the {Silicon Graphics Iris} workstations",
  type =         "Thesis (M. S.)",
  school =       "University of Vermont",
  address =      "Burlington, VT, USA",
  pages =        "vi + 40",
  year =         "1991",
  bibdate =      "Fri May 01 07:49:50 1998",
  acknowledgement = ack-nhfb,
  keywords =     "MIPS-X (Microprocessor); Motorola 88200
                 (Microprocessor); Operating systems (Computers)",
}

@InProceedings{Matsuoka:1991:FPC,
  author =       "S. Matsuoka and S. Furuso and A. Yonezawa",
  title =        "A fast parallel conservative garbage collector for
                 concurrent object-oriented systems",
  crossref =     "IEEE:1991:PIW",
  pages =        "87--93",
  year =         "1991",
  bibdate =      "Sat Sep 28 19:47:51 MDT 1996",
  acknowledgement = ack-nhfb,
  affiliation =  "Dept. of Inf. Sci., Tokyo Univ., Japan",
  classification = "C6110J (Object-oriented programming); C6120 (File
                 organisation); C6150J (Operating systems); C6150N
                 (Distributed systems)",
  keywords =     "Concurrent object-oriented systems; Fast parallel
                 conservative garbage collector; LUNA-88K; Mach 2.5;
                 Operating systems; Shared objects; Storage management;
                 Synchronization; Virtual memory",
  thesaurus =    "Object-oriented programming; Operating systems
                 [computers]; Parallel processing; Storage management;
                 Virtual storage",
}

@InProceedings{Mitchell:1991:MRC,
  author =       "David W. Mitchell",
  title =        "{Mach} Resource Control in {OSF/1}",
  crossref =     "USENIX:1991:PUM",
  pages =        "123--130",
  year =         "1991",
  bibdate =      "Tue Feb 20 15:42:13 MST 1996",
  bibsource =    "ftp://ftp.uu.net/library/bibliography",
  affiliation =  "Open Software Foundation Development",
}

@InProceedings{Nakajima:1991:MEM,
  author =       "J. Nakajima and Y. H. Matsumoto",
  title =        "Multimedia\slash realtime extensions for the {Mach}
                 operating system",
  crossref =     "Anonymous:1991:PSU",
  pages =        "183--198",
  year =         "1991",
  bibdate =      "Sat Sep 28 19:47:51 MDT 1996",
  acknowledgement = ack-nhfb,
  affiliation =  "Human Interface Lab., Fujitsu Labs., Ltd, Kanagawa,
                 Japan",
  classification = "C6150J (Operating systems); C6160Z (Other DBMS)",
  keywords =     "Asynchronous event notification; Continuous media;
                 Device drivers; Event handler; Flexible multimedia
                 processing environment; Mach operating system;
                 Multimedia applications; POSIX; Preemptive deadline
                 scheduling; Real time issues; System designers; Time
                 constraints",
  thesaurus =    "Input-output programs; Multimedia systems; Real-time
                 systems; Scheduling; Unix",
}

@MastersThesis{Nangia:1991:TBF,
  author =       "Ashvini Nangia",
  title =        "Transaction based fault-tolerant computing in {Mach}",
  type =         "Thesis (M.S.)",
  school =       "Worcester Polytechnic Institute",
  address =      "Worcester, MA, USA",
  pages =        "v + 67",
  year =         "1991",
  bibdate =      "Sun Sep 29 10:41:24 MDT 1996",
  acknowledgement = ack-nhfb,
  keywords =     "Fault-tolerant computing; MACH (Computer operating
                 system); Transaction systems (Computer systems)",
}

@MastersThesis{Nichols:1991:DSU,
  author =       "Bradford Nichols",
  title =        "Distributed services using the {Mach} external memory
                 management interface",
  type =         "Thesis (M.S.)",
  school =       "Worcester Polytechnic Institute",
  address =      "Worcester, MA, USA",
  pages =        "v + 94",
  year =         "1991",
  bibdate =      "Sun Sep 29 10:41:24 MDT 1996",
  acknowledgement = ack-nhfb,
  keywords =     "Computer storage devices; Electronic data processing
                 -- Distributed processing; MACH (Computer operating
                 system)",
}

@InProceedings{Paciorek:1991:DMO,
  author =       "N. Paciorek and S. {Lo Verso} and A. Langerman",
  title =        "Debugging multiprocessor operating system kernels",
  crossref =     "Anonymous:1991:SIS",
  pages =        "185--201",
  year =         "1991",
  bibdate =      "Sat Sep 28 19:47:51 MDT 1996",
  acknowledgement = ack-nhfb,
  affiliation =  "Encore Comput. Corp., Marlborough, MA, USA",
  classification = "C6150G (Diagnostic, testing, debugging and
                 evaluating systems); C6150J (Operating systems); C6150N
                 (Distributed systems)",
  keywords =     "Encore Mach; General debugging tools; Locking
                 problems; Multiprocessor debugging; Multiprocessor
                 kernels; OSF/1; Parallelized operating systems; Unix
                 based multiprocessing operating systems",
  thesaurus =    "Multiprocessing programs; Program debugging; Unix",
}

@TechReport{Pham:1991:EMD,
  author =       "T. Q. Pham",
  title =        "Experimental migration of a distributed application to
                 a multithreaded environment",
  number =       "HPL-91-155",
  institution =  "Hewlett-Packard Laboratories",
  address =      "Palo Alto, CA, USA",
  pages =        "37",
  month =        oct,
  year =         "1991",
  bibdate =      "Sat Sep 28 19:47:51 MDT 1996",
  acknowledgement = ack-nhfb,
  classification = "C6110B (Software engineering techniques); C6150J
                 (Operating systems); C6150N (Distributed systems)",
  keywords =     "Application migration; Context switches; Distributed
                 applications; Fully sharable addressing space;
                 Interprocess communication; Light-weight computation
                 threads; Low-overhead computation; MACH; Multithreaded
                 operating system; Re-architecture; Shared memory;
                 UNIX",
  thesaurus =    "Distributed processing; Operating systems [computers];
                 Software portability",
}

@MastersThesis{Rao:1991:PCI,
  author =       "Somesh S. Rao",
  title =        "Performance comparison of interprocess communication
                 in {Mach} and {Unix}",
  type =         "Thesis (M.S.)",
  school =       "Worcester Polytechnic Institute",
  address =      "Worcester, MA, USA",
  pages =        "vii + 113",
  year =         "1991",
  bibdate =      "Sun Sep 29 10:41:24 MDT 1996",
  acknowledgement = ack-nhfb,
  keywords =     "Interprocess communication (Computer science); Mach
                 (Computer operating system); UNIX (Computer file); X
                 Window System (Computer system)",
}

@InProceedings{Rashid:1991:MA,
  author =       "Richard Rashid and Gerald Malan and David Golub and
                 Robert Baron",
  title =        "{DOS} as a {Mach} 3.0 Application",
  crossref =     "USENIX:1991:PUM",
  pages =        "27--40",
  year =         "1991",
  bibdate =      "Tue Feb 20 15:42:13 MST 1996",
  bibsource =    "ftp://ftp.uu.net/library/bibliography",
  affiliation =  "Carnegie Mellon University",
}

@Misc{Rashid:1991:MDO,
  author =       "Richard Rashid",
  title =        "{Mach} distributed operating systems\slash {Unix\slash
                 AIX}",
  publisher =    pub-IEEE,
  address =      pub-IEEE:adr,
  pages =        "156",
  year =         "1991",
  ISBN =         "0-8186-2504-X (notes), 0-8186-2503-1 (video)",
  LCCN =         "????",
  bibdate =      "Sun Sep 29 10:41:24 MDT 1996",
  note =         "2 videocassettes (VHS) (163 min.)",
  series =       "1991 IBM Colloquium in Computer Science Technology",
  acknowledgement = ack-nhfb,
  annote =       "VHS format. ``Video notes from the 1991 IBM Colloquium
                 in Computer Science Technology Series'' -- guide t.p.
                 Dr. Rashid discusses Mach system goals, status
                 (portability, performance, industry, impact),
                 technology (basic abstractions, IPC, VM), open system
                 kernel (basic concepts and goals, implementation), and
                 futures.",
  keywords =     "Operating systems (Computers); UNIX (Computer
                 operating system).",
}

@InProceedings{Reynolds:1991:KSN,
  author =       "F. Reynolds and J. Heller",
  title =        "Kernel support for network protocol servers",
  crossref =     "USENIX:1991:PUM",
  pages =        "149--162",
  year =         "1991",
  bibdate =      "Sat Sep 28 19:47:51 MDT 1996",
  acknowledgement = ack-nhfb,
  affiliation =  "Open Software Found., Cambridge, MA, USA",
  classification = "C5610N (Network interfaces); C5620 (Computer
                 networks and techniques); C6150N (Distributed
                 systems)",
  keywords =     "CPU utilization; Kernel interrupt handler; Message
                 based device interface; Network device interface;
                 Network packets; Network performance; OSF/1 network
                 driver compatibility; Performance measurements;
                 Programmable packet filter; Protocol server
                 compression; Protocol servers; Shared memory
                 communication channel; Software architectures; User
                 space device drivers; User space network protocol
                 server; User space protocol servers",
  thesaurus =    "Computer interfaces; Input-output programs; Network
                 operating systems; Network servers",
}

@Article{Schwan:1991:RT,
  author =       "K. Schwan and Hongyi Zhou and A. Gheith",
  title =        "Real-time threads",
  journal =      j-OPER-SYS-REV,
  volume =       "25",
  number =       "4",
  pages =        "35--46",
  month =        oct,
  year =         "1991",
  CODEN =        "OSRED8",
  ISSN =         "0163-5980",
  bibdate =      "Sat Sep 28 19:47:51 MDT 1996",
  acknowledgement = ack-nhfb,
  affiliation =  "Coll. of Comput., Georgia Inst. of Technol., Atlanta,
                 GA, USA",
  classification = "C6150J (Operating systems)",
  keywords =     "BBN Butterfly multiprocessor; Mach cthreads interface;
                 Operating systems portability; Real-time operating;
                 Real-time threads package; Schedulability; Unix",
  thesaurus =    "Operating systems [computers]; Real-time systems;
                 Software portability",
}

@InProceedings{Sebes:1991:DTM,
  author =       "Edward John Sebes",
  title =        "Distributed Trusted {Mach} Architecture",
  crossref =     "USENIX:1991:PUM",
  pages =        "251--262",
  year =         "1991",
  bibdate =      "Tue Feb 20 15:42:13 MST 1996",
  bibsource =    "ftp://ftp.uu.net/library/bibliography",
  affiliation =  "Trusted Information Systems",
}

@InProceedings{Sebes:1991:OAD,
  author =       "E. J. Sebes",
  title =        "Overview of the architecture of {Distributed Trusted
                 Mach}",
  crossref =     "USENIX:1991:PUM",
  pages =        "251--262",
  year =         "1991",
  bibdate =      "Sat Sep 28 19:47:51 MDT 1996",
  acknowledgement = ack-nhfb,
  affiliation =  "Trusted Inf. Syst., Mountain View, CA, USA",
  classification = "C6130S (Data security); C6150J (Operating systems);
                 C6150N (Distributed systems)",
  keywords =     "B3 trusted version; Distributed IPC; Distributed
                 systems functionality; Distributed Trusted Mach;
                 DTMach; Interprocess communications mechanisms; Mach
                 operating system; Security mechanisms; System servers;
                 TMach; Transparent network communications; Trusted
                 Mach",
  thesaurus =    "Network operating systems; Security of data; Unix",
}

@TechReport{Sechrest:1991:ULP,
  author =       "Stuart Sechrest and Yoonho Park",
  title =        "User-level physical memory management for {Mach}",
  type =         "Technical report",
  number =       "CSE-TR-112-91",
  institution =  "University of Michigan, Computer Science and
                 Engineering Division, Dept. of Electrical Engineering
                 and Computer Science",
  address =      "Ann Arbor, MI, USA",
  pages =        "11",
  year =         "1991",
  bibdate =      "Sun Sep 29 10:41:24 MDT 1996",
  abstract =     "We have developed an extended version of Mach 3.0 that
                 allows physical memory managers to run as user-level
                 processes, and which allows the memory requirements of
                 these managers to be balanced. Physical memory is a
                 resource for which there are a number of potential
                 competitors whose diverse uses of physical memory may
                 require diverse management policies. Flexibility in
                 physical memory management policy is important to
                 database managers, multimedia file systems and
                 persistent object storage managers. Our architecture
                 allows the control of physical memory page frames to be
                 assigned to processes running outside the kernel, with
                 page frame records shared between the kernel and these
                 managers. Control of page frames can be reassigned
                 among physical memory managers by a balance manager.",
  acknowledgement = ack-nhfb,
  keywords =     "Memory management (Computer science)",
}

@InProceedings{Sechrest:1991:UPM,
  author =       "Stuart Sechrest and Yoonho Park",
  title =        "User-Level Physical Memory Management for {Mach}",
  crossref =     "USENIX:1991:PUM",
  pages =        "189--200",
  year =         "1991",
  bibdate =      "Tue Feb 20 15:42:13 MST 1996",
  bibsource =    "ftp://ftp.uu.net/library/bibliography",
  affiliation =  "University of Michigan",
}

@MastersThesis{Shah:1991:IDL,
  author =       "Dhruve Shah",
  title =        "Implementation of a dynamic load balancing facility in
                 a distributed workstation environment under the {Mach}
                 operating system",
  type =         "Thesis (M.S.)",
  school =       "Worcester Polytechnic Institute",
  address =      "Worcester, MA, USA",
  pages =        "vii + 82",
  year =         "1991",
  bibdate =      "Sun Sep 29 10:41:24 MDT 1996",
  acknowledgement = ack-nhfb,
  keywords =     "Electronic data processing -- Distributed processing;
                 MACH (Computer operating system); Multiprocessors.",
}

@PhdThesis{Shekita:1991:HPF,
  author =       "Eugene J. Shekita",
  title =        "High-Per\-for\-mance Implementation Techniques for
                 Next-Generation Database Systems",
  type =         "Thesis (Ph.D.)",
  school =       "Computer Sciences Department, University of
                 Wisconsin--Madison",
  address =      "Madison, WI, USA",
  pages =        "viii + 142",
  month =        may,
  year =         "1991",
  bibdate =      "Thu Jul 21 09:40:01 1994",
  note =         "Available as Technical Report TR 1026.",
  abstract =     "Database systems have traditionally been designed for
                 business applications. In the last decade, however, it
                 has become increasingly clear that application areas
                 such as computer-aided design and manufacturing
                 (CAD/CAM), computer-aided software engineering (CASE),
                 image processing, etc., can also benefit from database
                 technology. Unfortunately, the relational database
                 systems that are used for business applications are
                 often ill suited for these sorts of applications. More
                 recently, several `next-generation' database systems,
                 which are often classified as extended relational
                 database systems or object-oriented database systems,
                 have appeared to address the demands of these emerging
                 application areas. Of course, whether these
                 next-generation database systems actually succeed will
                 largely depend on their performance. This thesis