@Preamble{"\input bibnames.sty " #
"\input path.sty " #
"\hyphenation{}"
}
@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/|"}
@String{j-AUSTRALIAN-COMP-SCI-COMM = "Australian Computer Science
Communications"}
@String{j-BYTE = "Byte Magazine"}
@String{j-CACM = "Communications of the ACM"}
@String{j-COMP-EDU-J = "Computers in education journal"}
@String{j-COMPUT-SECUR = "Computers \& Security"}
@String{j-COMPUTER = "Computer"}
@String{j-DDJ = "Dr. Dobb's Journal of Software Tools"}
@String{j-EUUG-NEWSLETTER = "European UNIX Systems User Group, EUUG
Newsletter"}
@String{j-IEEE-MICRO = "IEEE Micro"}
@String{j-INFORMATIK-INFORMATIONEN-REPORTE = "Informatik, Informationen
Reporte"}
@String{j-J-KOREA-INFO-SCI-SOCIETY = "Journal of the Korea Information Science
Society = Chongbo Kwahakhoe nonmunji"}
@String{j-J-SYST-SOFTW = "The Journal of Systems and Software"}
@String{j-JERIC = "ACM Journal on Educational Resources in
Computing (JERIC)"}
@String{j-LINUX-J = "Linux Journal"}
@String{j-LOGIN = ";login: the USENIX Association newsletter"}
@String{j-MICROPROC-MICROPROG = "Microprocessing and Microprogramming"}
@String{j-MINI-MICRO-SYSTEMS = "Mini-Micro Systems"}
@String{j-OPER-SYS-REV = "Operating Systems Review"}
@String{j-REAL-TIME-SYST = "Real-Time Systems"}
@String{j-SIGADA-LETTERS = "ACM SIGADA Ada Letters"}
@String{j-SIGCSE = "SIGCSE Bulletin (ACM Special Interest Group
on Computer Science Education)"}
@String{pub-ACM = "ACM Press"}
@String{pub-ACM:adr = "New York, NY 10036, USA"}
@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-NIST = "National Institute for Standards and
Technology"}
@String{pub-NIST:adr = "Gaithersburg, MD, USA"}
@String{pub-PEARSON-PH = "Pearson Pren{\-}tice Hall"}
@String{pub-PEARSON-PH:adr = "Upper Saddle River, NJ 07458, USA"}
@String{pub-PH = "Pren{\-}tice-Hall"}
@String{pub-PH:adr = "Englewood Cliffs, NJ 07632, USA"}
@String{pub-SV = "Springer-Verlag Inc."}
@String{pub-SV:adr = "New York, NY, USA"}
@String{pub-USENIX = "USENIX Association"}
@String{pub-USENIX:adr = "Berkeley, CA, USA"}
@String{ser-LNCS = "Lecture Notes in Computer Science"}
@Article{Tanenbaum:1987:MAU,
author = "Andrew S. Tanenbaum",
title = "{MINIX}: {A UNIX} Clone with Source Code for the {IBM
PC}",
journal = j-LOGIN,
volume = "12",
number = "2",
pages = "3--9",
month = mar,
year = "1987",
CODEN = "LOGNEM",
ISSN = "1044-6397",
bibdate = "Sat May 4 19:58:57 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
Misc/usenix.bib",
fjournal = ";login: the USENIX Association newsletter",
}
@Misc{Tanenbaum:1987:MBSa,
author = "Andrew S. Tanenbaum",
title = "{Minix} binaries and sources for {512K IBM PC-AT}'s",
publisher = pub-PH,
address = pub-PH:adr,
edition = "Version 1.2",
year = "1987",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "6 computer disks.",
series = "Prentice-Hall software series",
acknowledgement = ack-nhfb,
annote = "Title from disk label. Reference manual has title and
copyright date: Minix for the IBM PC, XT, and AT /
Andrew S. Tanenbaum. Englewood Cliffs, NJ:
Prentice-Hall, c1988. Boot diskette -- Root file system
-- /USR -- /USER -- Kernal, MM, FS, H, and LIB sources
-- Tools -- Include and commands sources. System
requirements: IBM PC-AT; 512K RAM.",
keywords = "IBM microcomputers -- Programming.; MINIX (Computer
operating system)",
}
@Misc{Tanenbaum:1987:MBSb,
author = "Andrew S. Tanenbaum",
title = "{Minix} binaries and sources for {640K IBM PC}'s",
publisher = pub-PH,
address = pub-PH:adr,
edition = "Version 1.2",
year = "1987",
ISBN = "0-13-583873-8",
ISBN-13 = "978-0-13-583873-0",
LCCN = "????",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "9 computer disks.",
series = "Prentice-Hall software series",
acknowledgement = ack-nhfb,
annote = "Title from disk label. Boot diskette -- Root file
system -- /USR -- /USER -- Kernal and H sources -- LS
and LIB sources -- MM and tools sources -- Include and
commands sources -- Commands sources (part 2). System
requirements: IBM PC; 640K RAM.",
}
@Article{Tanenbaum:1987:MUC,
author = "Andrew S. Tanenbaum",
title = "{MINIX}: a {UNIX} Clone with Source Code for the {IBM
PC}",
journal = j-LOGIN,
volume = "12",
number = "2",
pages = "3--9",
month = mar # "\slash " # apr,
year = "1987",
CODEN = "LOGNEM",
ISSN = "1044-6397",
bibdate = "Tue Feb 20 15:42:13 MST 1996",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.math.utah.edu/pub/tex/bib/minix.bib",
affiliation = "Vrije Universiteit",
fjournal = ";login: the USENIX Association newsletter",
}
@Book{Tanenbaum:1987:OSD,
author = "A. S. Tanenbaum",
title = "Operating Systems: Design and Implementation",
publisher = pub-PH,
address = pub-PH:adr,
year = "1987",
ISBN = "0-13-637331-3",
ISBN-13 = "978-0-13-637331-5",
bibdate = "Sat May 04 19:58:57 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
Misc/TUBScsd/1987.bib",
annote = "Praxisorientierte, gute Darstellung. Ein
vollstaendiges, Unix - aehnliches Betriebssystem -
Minix - wird vollstaendig im Quellcode angegeben.",
descriptor = "Client, Datei, Dateiverwaltung, Dialoggeraet,
Parallel, Prozessorvergabe, Server, Verklemmung,
Virtueller Speicher, Ein/Ausgabe, Prozess,
Speicherverwaltung, Synchronisation, Unix,
Betriebssystem",
}
@Article{Tanenbaum:1987:UCS,
author = "Andrew S. Tanenbaum",
title = "A {UNIX} clone with source code for operating systems
courses",
journal = j-OPER-SYS-REV,
volume = "21",
number = "1",
pages = "20--29",
month = jan,
year = "1987",
CODEN = "OSRED8",
ISSN = "0163-5980 (print), 1943-586X (electronic)",
ISSN-L = "0163-5980",
bibdate = "Sat Aug 26 08:55:35 MDT 2006",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/opersysrev.bib",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGOPS Operating Systems Review",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J597",
keywords = "MINIX",
}
@MastersThesis{Cushing:1988:IMC,
author = "David Bruce Cushing",
title = "The Implementation of multicast communication in the
{MINIX} operating system kernel",
type = "Thesis ({M.Comp.Sc.})",
school = "School of Computer Science, Technical University of
Nova Scotia",
address = "Halifax, NS, Canada",
pages = "viii + 119",
year = "1988",
bibdate = "Wed Apr 12 06:03:19 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Fugini:1988:EUP,
author = "M. G. Fugini and R. Bellinzona and G. Martella",
title = "An extension to {Unix} protection mechanisms to
support flexible resource sharing and discretionary
authorization",
crossref = "IEEE:1988:AIT",
pages = "663--671",
year = "1988",
bibdate = "Mon Sep 30 17:21:43 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "An enhancement is proposed to the standard Unix
protection mechanisms to provide more flexible resource
sharing facilities in Unix-based environments. The Unix
basic privileges, and the concepts of ownership and
user group are enlarged to allow for selective resource
sharing on the basis of a finer protection granularity.
The concepts and the tools for system administration
are extended to multiple authorizers, each responsible
for a set of system objects and for a community of
users. The authors present the tools for specifying the
resource sharing policies: a specification language,
and an environment for management and analysis of these
specifications. The implementation of the protection
mechanisms that support the described extensions is
illustrated; the approach is based on the
restructuration of the kernel of the Unix-like Minix
system.",
acknowledgement = ack-nhfb,
affiliation = "Brescia Univ., Italy",
classification = "C6120 (File organisation); C6130 (Data handling
techniques); C6150J (Operating systems)",
keywords = "access control; Discretionary authorization;
discretionary authorization; Finer protection
granularity; finer protection granularity; flexible
resource sharing facilities; Flexible resource sharing
facilities; Multiple authorizers; multiple authorizers;
Ownership; ownership; resource allocation; Resource
sharing policies; resource sharing policies; security
of data; selective resource sharing; Selective resource
sharing; Specification language; specification
language; standard Unix protection mechanisms; Standard
Unix protection mechanisms; storage allocation; system
administration; System administration; System objects;
system objects; Unix; Unix basic privileges; Unix-based
environments; Unix-like Minix system; User group; user
group",
thesaurus = "Access control; Resource allocation; Security of data;
Storage allocation; Unix",
}
@Article{Koo:1988:SSM,
author = "Yong Wan Koo and Young Chan Kim",
title = "A study on the scheduling mechanism for real time
system",
journal = j-J-KOREA-INFO-SCI-SOCIETY,
volume = "15",
number = "3",
pages = "158--170",
month = jun,
year = "1988",
CODEN = "HJKHDC",
ISSN = "0258-9125",
bibdate = "Mon Sep 30 17:55:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "Preemptive priority based scheduling policy, which is
based upon its CPU processing time in order to use CPU
impartially, doesn't guarantee the satisfiable response
time transaction. This paper presents the preemptive
priority based deadline scheduling policy according to
the priority of processes being determined by its
urgency, so that it may be suitable for real time
processes, that is, it may enable the scheduler to
guarantee good response time and to process deadline
jobs. Two timers supporting deadline scheduler with
real time clock interrupt were implemented in MINIX O.S
under IBM-PC/AT.",
acknowledgement = ack-nhfb,
classification = "C6150J (Operating systems)",
fjournal = "Journal of the Korea Information Science Society =
Chongbo Kwahakhoe nonmunji",
keywords = "Deadline scheduler; IBM-PC/AT; MINIX O.S; Real time
clock interrupt; Real time system; Scheduling
mechanism; Timers",
language = "Korean",
pubcountry = "South Korea",
thesaurus = "Operating systems [computers]; Real-time systems;
Scheduling",
}
@Article{Li:1988:SUI,
author = "Lianzhi Li and Fushun Guo",
title = "The structure and user-interface of {MINIX}",
journal = j-MINI-MICRO-SYSTEMS,
volume = "9",
number = "10",
pages = "7--10, 15",
year = "1988",
CODEN = "XWJXEH",
ISSN = "0364-9342",
bibdate = "Mon Sep 30 17:55:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "The MINIX is a mini-Unix operating system for the IBM
PC/AT and its compatibles. The authors introduce the
internal structure of MINIX, which is divided into four
main parts: process management, I/O management, storage
management and document management. The user interface
and commands of MINIX are also described.",
acknowledgement = ack-nhfb,
classification = "C6150J (Operating systems)",
fjournal = "Mini-Micro Systems",
keywords = "Document management; I/O management; IBM PC/AT;
Mini-Unix operating system; MINIX; Process management;
Storage management; Structure; User-interface",
language = "Chinese",
pubcountry = "China",
thesaurus = "Operating systems [computers]",
}
@InProceedings{Maginnis:1988:DCT,
author = "P. Tobin Maginnis",
title = "Design considerations for the transformation of
{MINIX} into a distributed operating system",
crossref = "ACM:1988:PFS",
pages = "608--615",
year = "1988",
DOI = "https://doi.org/10.1145/322609.323135",
bibdate = "Mon Sep 30 17:21:43 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "MINIX is a version seven UNIX compatible operating
system written for the Intel 8088 CPU and IBM-PC
circuit package. MINIX is being transformed into a
distributed operating system by adding four components
to the basic operating system. These include an
extended IPC service, network service manager, resource
manager, and communication manager. Design
considerations include a definition of distributed
operating systems (DOSs), a description of existing
DOSs, a description of operating system architectural
components which add DOS functionality, a plan for the
placement of these components within the MINIX
environment, an explanation of the types of DOS
communication, and the implementation of DOS
communication.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Inf. Sci., Mississippi Univ.,
University, MS, USA",
classification = "C5620 (Computer networks and techniques); C6150J
(Operating systems)",
keywords = "Communication manager; Distributed operating system;
DOS communication; DOS functionality; IBM-PC; Intel
8088 CPU; IPC service, network service manager; MINIX;
Resource manager; UNIX compatible operating system",
thesaurus = "Computer networks; Network operating systems",
}
@MastersThesis{Naniwadekar:1988:ACD,
author = "Devendra Vithal Naniwadekar",
title = "Approximations to creating a distributed {MINIX}
operating system",
type = "Thesis (M.S.)",
school = "University of Mississippi",
address = "Oxford, MS, USA",
pages = "v + 89",
year = "1988",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Naniwadekar:1988:IRM,
author = "Devendra Naniwadekar",
title = "Implementation of a resource manager for distributed
{MINIX}",
crossref = "ACM:1988:PFS",
pages = "686--686",
year = "1988",
DOI = "https://doi.org/10.1145/322609.323153",
bibdate = "Sat Aug 26 07:01:46 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "MINIX is an operating system written by Andrew S.
Tanenbaum and is very much like UNIX Version 7. It uses
the same system calls and even the shell is
functionally identical to that of UNIX. It is written
in C language and Intel 8088 assembly language. MINIX
has all the functionalities of an operating system
namely, process manager, I/O manager, device driver,
state saver, inter-process communication, memory
manager and file manager, user interface, utilities and
timing service. MINIX, being a modular operating
system, is easy to understand and modify and it is
distributed with source code. Thus, MINIX can be
identified as a suitable candidate for transforming it
into a distributed operating system (DOS). To transform
MINIX into a DOS, a kernel process called NET is
proposed to be added. This will be logically located at
the same hierarchical level as the memory manager and
the file system. NET will be composed of a
communication manager (CM), a network manager(NM), a
resource manager (RM) and extended IPC. These managers
will be transparent to users but will offer
functionality of a DOS. At present, IPC in MINIX takes
place using messages stored in shared buffers. This is
due to the restricted address space of the Intel 8088
microprocessor. User requests are carried out by
sending messages either to the memory manager or the
file system which in turn send messages to the system
and device driver processes and upon successful
completion of the task, return a message to the user
via the same route. The resource manager is an
essential component of a DOS. As the name suggests, it
manages the resources of a system. It maintains an up
to date version of the system's resources and also
keeps track of the status of other systems in the
network. This is achieved by maintaining a global
kernel data structure called the System State Table
(SST). Entries in the SST include logical unit number
of the various hosts, their logical names, physical
station addresses, number of processes running, percent
of idle time, available memory, number of users, number
of open virtual circuits and an 'altruism' factor
indicating willingness to accept remote processes for
running. The SST may be accessed by the NM to map
logical host names to numbers or physical addresses.
The resource manager may be accessed by higher level
components such as the user interface, linking loader
or by advanced programmers by making resource manager
service calls. In this way, the user interface and
parallel loader query the RM to discover the number of
available processors, willingness to accept remote
requests, etc. The resource manager employs two types
of messages: (1) messages are sent at boot time to all
hosts announcing the present status of the local system
including the boot version, and (2) a message is sent
after each time-out interval. If a message is not
received from a remote host after two time-out
intervals, the remote node is presumed to be dead. The
CM interacts with RM concerning the status information.
This status information, piggy-backed onto message
frames, is attached to incoming and outgoing frames. On
incoming frames, the status information is placed in a
temporary buffer for analysis by the RM. The RM also
places local host status information in a second
temporary buffer area so that the CM may piggyback the
status data onto outgoing frames.",
acknowledgement = ack-nhfb,
}
@InProceedings{Navaux:1988:MA,
author = "P. O. A. Navaux and T. S. Cirano and A. S. Carissimi
and J. C. Netto",
title = "{M3P}-project architecture",
crossref = "Silveira:1988:ADV",
pages = "234--244",
year = "1988",
bibdate = "Mon Sep 30 17:55:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "Describes the M3P machine, minix-multimicroprocessor
project, giving its architecture, the concepts about
interprocessor cooperation and one overview of Minix,
an Unix-like system.",
acknowledgement = ack-nhfb,
affiliation = "Univ. Federal do Rio Grande do Sul, Brazil",
classification = "C5220 (Computer architecture); C5440 (Multiprocessor
systems and techniques)",
keywords = "Architecture; Interprocessor cooperation; M3P machine;
Minix; Minix-multimicroprocessor project; Unix-like
system",
language = "Portuguese",
thesaurus = "Computer architecture; Multiprocessing systems",
}
@InProceedings{Ramesh:1988:DDM,
author = "K. S. Ramesh",
title = "Design and development of {MINIX} distributed
operating system",
crossref = "ACM:1988:PFS",
pages = "685--685",
year = "1988",
DOI = "https://doi.org/10.1145/322609.323152",
bibdate = "Sat Aug 26 07:04:36 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "Students and faculty of University of Mississippi are
in the process of transforming MINIX into a truly
distributed operating system. MINIX is a complete
operating system and has all the components such as (1)
Process manager, (2) Memory manager, (3) File manager,
(4) Device drivers, (5) Inter process communication,
(6) Real time clock, (7) General I/O, (8) Utilities,
(9) State saver and (10) Timing service. Unlike major
operating systems which are monolithic in structure,
MINIX is itself a collection of processes that
communicate with each other through message passing.
The design of the MINIX distributed system involves the
addition of a server process called NET to the existing
operating system. The functionality of the NET server
can be broadly classified into four major routines.
They are: (1) the communication manager which transmits
and receives the frames from the remote hosts through
the HSLAN driver installed in kernel. It also performs
the error detection and correction function and
maintains the transmission protocol. (2) The
interprocess communication manager which maps message
buffer into the fixed size frames to be transmitted by
the communication manager. It also has primitives such
as request, reply, flow controlled send to initiate and
maintain a virtual circuit with the remote system. (3)
The resource manager which is employed as a child
process of the NET server process holds the status of
the network. It maintains information such as remote
logical address, number of process running in each
system, resources available at each site etc. (4)
Finally, the network service manager which services the
remote file request from the local process and also the
local file request from the remote host. Addition of
these components in the NET process would enhance the
capabilities of the operating system and provide users
access to remote file systems and remote resources and
also enable users to exploit multiprocessor
capabilities with the help of well defined algorithms
and tools. To accomplish the transformation of MINIX
the following changes have been made to incorporate the
NET process. Modify a system tool called Build which
patches the independent files bootblock, kernel, memory
manager, file manager and init into the memory resident
portion of MINIX. Build was modified so that one more
component NET could be added to the MINIX image. These
were non-trivial changes because in addition to
combining the object module Build also puts the CS \&
DS for all these components at the beginning of kernel
data space, so that kernel can load their memory maps
in the proc table during system initialization.
Increase the storage size in the kernel data space
where the CS \& DS of all the components are stored so
that Build can install the CS \& DS of NET. Assign and
make an entry into the memory manager proc table so
that NET could make system calls to the memory manager.
Assign an entry into the file system proc table and
assign the working directory, real uid, effective uid
for the NET process. The NET process like other
processes is designed such that it will continuously
wait for and respond to messages from other processes.
Initially, it will be blocked waiting to receive a
message from any process. Modify the dump routine to
display the status of the NET process. Finally, the NET
process is designed to continuously wait for its
service request messages from other processes. The NET
process is structured in such a way that the type of
request is resolved and switched into a table of
service routines. On accomplishing the service request
the process loops back to receive the next request,
thus providing the foundation for the development of
the internal NET routines discussed above.",
acknowledgement = ack-nhfb,
}
@InProceedings{Roskos:1988:MSP,
author = "J. Eric Roskos",
title = "{MINIX} security policy model",
crossref = "IEEE:1988:FAC",
volume = "4",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "393--399",
year = "1988",
DOI = "https://doi.org/10.1109/ACSAC.1988.113338",
ISBN = "0-8186-0895-1",
ISBN-13 = "978-0-8186-0895-7",
LCCN = "????",
bibdate = "Fri May 24 09:57:34 MDT 1996",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "Available from IEEE Service Cent (catalog no.
88CH2619-5). Piscataway, NJ, USA.",
abstract = "The author describes how the Bell-La Padula model
might be applied to the current, unrated Minix
operating system. Also discussed are security issues
pertaining to inherited accesses and the method used to
characterize the Minix file permissions in terms of the
more general access matrix model.",
acknowledgement = ack-nhfb,
affiliation = "Inst for Defense Anal, Alexandria, VA, USA",
classification = "723; C6150J (Operating systems)",
conference = "Fourth Aerospace Computer Security Applications
Conference",
conferenceyear = "1988",
keywords = "Access matrix model; Bell-La Padula model; Bell-La
Padula Model; Computer Operating Systems; Computer
Systems, Digital--Security Systems; Data
Processing--Security of Data; File Permission; General
Access Matrix Model; Inherited accesses; Minix file
permissions; Minix operating system; Minix Operating
System; Minix security policy model; Minix Security
Policy Model; Security Systems",
meetingabr = "Fourth Aerosp Comput Secur Appl Conf",
meetingaddress = "Orlando, FL, USA",
meetingdate = "Dec 12--16 1988",
meetingdate2 = "1988 Dec 12--16",
sponsor = "IEEE, Computer Society, Los Alamitos, CA, USA",
thesaurus = "Operating systems [computers]; Security of data",
}
@Book{Tanenbaum:1988:MAS,
author = "Andrew S. Tanenbaum and Johan W. Stevenson and Jost
Muller",
title = "{MINIX} for the {ATARI ST} and {MINIX} manual for the
{ATARI ST}",
publisher = pub-PH,
address = pub-PH:adr,
edition = "Version 1.1.",
year = "1988",
ISBN = "0-13-584392-8 (disks), 0-13-584434-7 (manual)",
ISBN-13 = "978-0-13-584392-5 (disks), 978-0-13-584434-2
(manual)",
LCCN = "QA76.76.O63",
bibdate = "Mon Sep 30 17:55:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "9 computer disks.",
abstract = "MINIX is a new operating system that is similar to
Version 7 of the UNIX operating system. MINIX is widely
used on the IBM PC, and has now been ported to the
Atari ST and Mega ST. Unlike the UNIX system itself,
MINIX comes complete with all the source code. MINIX
features: a system call compatible with V7 UNIX (except
for a few very minor calls); a Kernighan and Ritchie
compatible C compiler; a shell that is functionally
identical to the Bourne shell; full multiprogramming
(fork+exec; background jobs in shell: cc file.c and );
a full screen editor inspired by emacs (modeless,
autoinsert, etc.); over 60 popular utilities (cat, cp,
grep, ls, make, mount, sort, etc.); and over 100
library procedures (atoi, fork, malloc, stdio, strcmp,
etc.) It works with floppy-only systems or with hard
disk systems. A full operating system source code is
included, and the source code for all utilities (except
the C compiler) is also included.",
acknowledgement = ack-nhfb,
annote = "Title from disk label. An operating system for small
computer systems, inspired by V7 of the UNIX operating
system. It has a hierarchical file system, supports
full multitasking, and has a command interpreter,
called the shell, similar to the Bourne shell on UNIX.
Comes with 100 utility programs, nearly all of which
are similar to UNIX programs. System requirements:
Amiga ST; 512K RAM; TOS. Atari ST",
classification = "C6150J (Operating systems)",
keywords = "Atari ST; Bourne shell; Emacs; Floppy disk systems;
Full screen editor; Hard disk systems; Kernighan and
Ritchie compatible C compiler; Library procedures; Mega
ST; MINIX; Multiprogramming; Operating system;
Operating systems (Computers) -- Software.; Source
code; System call; UNIX; Utilities",
thesaurus = "Atari computers; Microcomputer applications; Unix;
User manuals",
}
@Book{Tanenbaum:1988:MIPa,
author = "Andrew S. Tanenbaum",
title = "{MINIX} for the {IBM PC}, {XT}, and {AT}",
publisher = pub-PH,
address = pub-PH:adr,
pages = "xv + 486",
year = "1988",
ISBN = "0-13-584400-2 (paperback)",
ISBN-13 = "978-0-13-584400-7 (paperback)",
LCCN = "QA76.76.O63",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
series = "Prentice-Hall software series",
acknowledgement = ack-nhfb,
keywords = "IBM microcomputers -- Programming.; MINIX (Computer
operating system)",
}
@Misc{Tanenbaum:1988:MIPb,
author = "Andrew S. Tanenbaum",
title = "{Minix} 1.3 for the {IBM PC-AT}'s",
publisher = pub-PH,
address = pub-PH:adr,
edition = "Version 1.3.",
year = "1988",
ISBN = "0-13-583303-5",
ISBN-13 = "978-0-13-583303-2",
LCCN = "????",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "5 computer disks.",
series = "Prentice-Hall software series",
acknowledgement = ack-nhfb,
annote = "Title from disk label. Reference manual has title and
copyright date: Minix for the IBM PC, XT, and AT /
Andrew S. Tanenbaum. Englewood Cliffs, NJ:
Prentice-Hall, c1988. Boot diskette -- Root file system
-- Operating systems sources -- Commands sources.
System requirements: IBM PC-AT; 256K RAM.",
keywords = "IBM microcomputers -- Programming.; MINIX (Computer
operating system)",
}
@Book{Tanenbaum:1988:OSD,
author = "Andrew S. Tanenbaum",
title = "Operating System: Design and Implementation",
publisher = pub-PH,
address = pub-PH:adr,
year = "1988",
ISBN = "0-13-637331-3",
ISBN-13 = "978-0-13-637331-5",
bibdate = "Sat May 4 19:58:57 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
Misc/TUBScsd.bib",
annote = "Alle Grundlegenden Prinzipien fuer das Design und die
Implementierung Werden Beschrieben. die Resultate
Werden Anhand der Unix-aehnlichen Implementierung Minix
Beschrieben, Wobei der C-quellcode Ebenfalls Teil des
Buches Ist.",
descriptor = "Betriebssystem",
}
@MastersThesis{Aas:1989:HMP,
author = "Gisle Aas",
title = "{HP-Minix}: portering av et operativsystem.
(Norwegian). [{HP-Minux}: Porting of an operating
system]",
type = "Hovedoppgave i datafag (Computer Science thesis)",
school = "Universitetet i Troms{\o}",
address = "Troms{\o}, Norway",
pages = "161",
year = "1989",
bibdate = "Wed Apr 12 05:58:18 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
language = "Norwegian",
}
@Article{Durr:1989:MAS,
author = "C. L. Durr",
title = "Multis for the {Atari ST} (multi-user packages)",
journal = "Chip",
month = jul,
year = "1989",
CODEN = "CHIPDP",
ISSN = "0170-6632",
bibdate = "Mon Sep 30 17:55:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "The author compares two software packages that allow
several users to share a PC and that can be run on an
Atari PC. The two are: Minix and OS-9/68000, both
needing a RAM of 1 Mbyte and diskette drive of 360-720
kbyte. The OS-9 costs 1600 DM and has a greater real
time performance than Minix. Minix costs 230 DM and
comes on nine 3.5' discs which include operating
system, utilities, C-compiler and source text. The
author liked Minix's compatibility with Unix v.7. He
describes how both packages are installed and used and
selects prints for comment.",
acknowledgement = ack-nhfb,
classification = "C6150J (Operating systems)",
issue = "no.7 p. 38-42",
keywords = "1 MB; Atari PC; Atari ST; C-compiler; Compatibility;
Minix; Multi-user packages; Operating system;
OS-9/68000; Real time performance; Software packages;
Source text; Unix v.7; Utilities",
language = "German",
numericalindex = "Memory size 1.0E+06 Byte",
pubcountry = "West Germany",
thesaurus = "Atari computers; Multiprogramming; Software packages",
}
@InProceedings{Gammill:1989:DFS,
author = "R. Gammill and J. Hernes",
title = "A distributed file system for {MINIX}",
crossref = "Anonymous:1989:SPA",
pages = "151--160",
year = "1989",
bibdate = "Mon Sep 30 17:55:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "The design and implementation of a distributed file
system for the MINIX operating system is described.
MINIX is a UNIX-like pedagogic operating system for
IBM-compatible personal computers, which was created by
Andrew S. Tanenbaum. Important features of MINIX are
described and reasons for its use in this project are
examined. One such reason is the authors' desire to use
it as the basis of a course on distributed systems and
networks.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., North Dakota State Univ.,
Fargo, ND, USA",
classification = "C6150J (Operating systems)",
keywords = "Course; Distributed file system; Distributed systems;
IBM-compatible personal computers; MINIX operating
system; Networks; UNIX-like pedagogic operating
system",
thesaurus = "Distributed processing; Operating systems [computers];
Unix",
}
@MastersThesis{Guha:1989:EMO,
author = "Amitava Guha",
title = "Enhancement of {Minix} operating system",
type = "Thesis (M.S.)",
school = "Department of Computer Science, Southern Illinois
University at Carbondale",
address = "Carbondale, IL, USA",
pages = "44",
year = "1989",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Gull:1989:MMH,
author = "A. Gull and S. K. Das",
title = "Memory management hardware: panacea or pain?",
crossref = "Anonymous:1989:UEC",
pages = "217--221",
year = "1989",
bibdate = "Mon Sep 30 17:53:27 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "Computer manufacturers have flooded the bottom end of
the market with a diverse range of low budget hardware.
Although the processing power of these machines has
steadily increased, such workstations are typically
devoid of the expensive memory management hardware
often found on larger machines. The authors investigate
the difficulties of supporting Unix on such machines.
They draw examples from two separate reimplementations
of the MINIX operating system both of which support
efficient, if not secure, Unix-like processes without
the aid of memory management hardware.",
acknowledgement = ack-nhfb,
affiliation = "City Univ., London, UK",
classification = "C5430 (Microcomputers); C6120 (File organisation);
C6150J (Operating systems)",
keywords = "Low budget hardware; Memory management; MINIX
operating system; MINIX-ST; Processing power;
Reimplementations; STIX OS; Unix-like processes;
Workstations",
thesaurus = "Operating systems [computers]; Storage management;
Unix; Workstations",
}
@Article{Gull:1989:PMO,
author = "Aarron Gull and Sunil K. Das",
title = "A Port of the {MINIX} Operating System to the {Atari
ST}",
journal = j-EUUG-NEWSLETTER,
volume = "9",
number = "1",
pages = "2--14",
month = "Spring",
year = "1989",
CODEN = "EONLE8",
ISSN = "1011-4211",
bibdate = "Tue Feb 20 15:42:13 MST 1996",
bibsource = "ftp://ftp.uu.net/library/bibliography;
http://www.math.utah.edu/pub/tex/bib/minix.bib;
Misc/usenix.bib",
affiliation = "City University London",
fjournal = "European UNIX Systems User Group, EUUG Newsletter",
}
@Article{Hays:1989:OSC,
author = "James H. Hays",
title = "An Operating Systems Course Using {Minix}",
journal = j-SIGCSE,
volume = "21",
number = "4",
pages = "11--12",
day = "1",
month = dec,
year = "1989",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/74091.74093",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:11 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/sigcse1980.bib;
UnCover library database",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
@MastersThesis{Hernes:1989:DFS,
author = "Jeffrey Lee Hernes",
title = "A distributed file server for {MINIX}",
type = "Thesis (M.S.)",
school = "North Dakota State University",
address = "Fargo, ND, USA",
pages = "iv + 43",
year = "1989",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
series = "Thesis / Computer Science, North Dakota State
University Thesis (North Dakota State University. Dept.
of Computer Science); 1989",
acknowledgement = ack-nhfb,
keywords = "Computer networks.; Electronic data processing --
Distributed processing.; File organization (Computer
science)",
}
@MastersThesis{Kachel:1989:MMB,
author = "Timothy Paul Kachel",
title = "{MINNET}, a {MINIX} based broadcast network using
{RS232}",
type = "Thesis (M.S.)",
school = "North Dakota State University",
address = "Fargo, ND, USA",
pages = "iv + 67",
year = "1989",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
series = "Thesis / Computer Science, North Dakota State
University Thesis (North Dakota State University. Dept.
of Computer Science); 1989",
acknowledgement = ack-nhfb,
keywords = "Computer networks.; MINNET (Computer program)",
}
@MastersThesis{Kobylanski:1989:IPS,
author = "Stanley George Kobylanski",
title = "An implementation of process swapping in {MINIX} (a
message passing oriented operating system)",
type = "Thesis (M.S.)",
school = "Kansas State University",
address = "Manhattan, KS, USA",
pages = "vi + 63 + 59",
year = "1989",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
}
@Article{Anonymous:1990:AOS,
author = "Anonymous",
title = "Alternative Operating Systems, Part 5: {Unix} with a
Microscope: {Minix}, a low-cost {Unix}, runs on
ordinary personal computers",
journal = j-BYTE,
volume = "15",
number = "13",
pages = "345--346",
month = dec,
year = "1990",
CODEN = "BYTEDJ",
ISSN = "0360-5280",
ISSN-L = "0360-5280",
bibdate = "Tue Jan 2 10:01:41 MST 1996",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "In order to solve many software problems, the
operating system must be understood. UNIX is a
complicated operating system and a source license is
very expensive. Minix is an operating system that is
compatible with UNIX version 7. Xenix is a PC version
of UNIX which supports many commercially available
programs.",
acknowledgement = ack-nhfb,
classification = "722; 723",
fjournal = "BYTE Magazine",
journalabr = "Byte",
keywords = "Computer Operating Systems; Computer Software ---
Evaluation; Minix; UNIX; UNIX Version 7; Xenix",
}
@Article{Anonymous:1990:MCL,
author = "Anonymous",
title = "{MINIX}: a `{CLONIX}' for learning how to build
operating systems",
journal = "Novatica",
volume = "16",
number = "86",
pages = "79--82",
year = "1990",
CODEN = "NOVAEC",
ISSN = "0211-2124",
bibdate = "Mon Sep 30 17:21:43 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "Describes the main features of MINIX (Mini-Unix),
designed by Tanenbaum to overcome AT and T restrictions
on using Unix code for educational purposes. MINIX,
well documented in Tanenbaum's book `Operating Systems:
Design and Implementation', runs on IBM PC XT, AT and
compatibles, and is indistinguishable to the user from
Unix 7, except for the absence of certain commands. The
article describes MINIX architecture, processes and
messages, device handles and devices, memory and file
management, and user processes.",
acknowledgement = ack-nhfb,
classification = "C0220 (Education and training); C6150J (Operating
systems)",
keywords = "IBM PC XT; MINIX; Tanenbaum; Unix; Unix 7",
language = "Spanish",
pubcountry = "Spain",
thesaurus = "Computer science education; IBM computers; Operating
systems [computers]; Software packages; Unix",
}
@Article{Chappelow:1990:DIS,
author = "Stephen W. Chappelow and Steven F. Ackerman and
Stephen J. Hartley",
title = "Design and implementation of a swapper for the {MINIX}
operating system",
journal = j-SIGCSE,
volume = "22",
number = "4",
pages = "55--59",
month = dec,
year = "1990",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/122153.122165",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:14 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "The University of Vermont does not offer a course
which provides practical experience working with the
internals of operating systems. To remedy this, an
independent study course was undertaken during the
Spring 1989 semester which involved working with the
internals of a real operating system. The goal of the
project was to design and implement a major component
of an operating system known as the swapper. The basis
for the project was the MINIX operating system, which
is a message-passing operating system that runs on
microcomputers and whose user interface mimics Version
7 UNIX. The structure, algorithms, and implementation
of a swapper are analyzed in detail. Finally, the
practical value of the research experience is
discussed.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci. and Electr. Eng., Vermont Univ.,
Burlington, VT, USA",
classification = "C0220 (Education and training); C6150J (Operating
systems)",
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
keywords = "Independent study course; Message-passing operating
system; MINIX operating system; Swapper; User
interface; Version 7 UNIX",
thesaurus = "Computer science education; Educational courses;
Operating systems [computers]",
}
@InProceedings{Donaldson:1990:TMW,
author = "A. L. Donaldson and J. W. {Taylor, Jr.} and D. M.
Chizmadia",
title = "Trusted {MINIX}: a worked example",
crossref = "Anonymous:1990:NCS",
pages = "307--317 (vol. 1)",
year = "1990",
bibdate = "Mon Sep 30 17:00:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "The Trusted MINIX system is being developed to provide
a worked example of C2 security mechanisms and
assurances based on MINIX Version 1.5. MINIX is a small
UNIX-like operating system for the PC/AT workstation,
originally developed as a teaching tool for operating
systems classes. Although the computer system will
generally be used by only a single user at a time,
MINIX was designed for multi-user, multi-tasking
operation. From this perspective, the security
modifications required for Trusted MINIX are
essentially the same as for any multi-user system.
However, MINIX was designed with a more modular
internal structure than the monolithic UNIX kernel, and
this structure affects how security features are added
to MINIX. The paper gives an overview of the worked
example, both from historical and technical
perspectives.",
acknowledgement = ack-nhfb,
affiliation = "Escom Corp., Oakton, VA, USA",
classification = "C6130S (Data security); C6150J (Operating systems)",
keywords = "C2 security mechanisms; IBM computers; microcomputer
applications; MINIX Version 1.5; Multi-tasking;
multi-tasking; operating systems (computers); PC/AT
workstation; security of data; TCSEC; Trusted MINIX
system; Unix; UNIX kernel; UNIX-like operating system",
thesaurus = "IBM computers; Microcomputer applications; Operating
systems [computers]; Security of data; Unix",
}
@MastersThesis{Fresquez:1990:SIM,
author = "Vicente Fresquez",
title = "A swapping implementation for the {MINIX} operating
system",
type = "Thesis (M.S.)",
school = "University of Texas at El Paso",
address = "El Paso, TX, USA",
pages = "viii + 122",
year = "1990",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
keywords = "Operating systems (Computers); Virtual storage
(Computer science)",
}
@Article{Grehan:1990:MMA,
author = "Rick Grehan",
title = "Multitasking for the Masses: An analysis of different
tools to put multitasking on your desk with just a {PC}
or a {Macintosh}",
journal = j-BYTE,
volume = "15",
number = "2",
pages = "279--280, 282, 284, 286, 288, 334",
month = feb,
year = "1990",
CODEN = "BYTEDJ",
ISSN = "0360-5280",
ISSN-L = "0360-5280",
bibdate = "Mon Sep 30 17:53:27 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "The author describes multitasking and notes that there
are two major varieties of task or context switching:
preemptive and cooperative. There are various way to
bring multitasking to IBM PC/XT compatibles. The
spectrum ranges from complete multitasking environments
(some that try to maintain DOS compatibility, others
that give up the idea of wrestling with DOS and define
a completely new operating system) to multitasking
within the confines of a programming language. The
author briefly describes: DESQview; THeos 86;
Wendin-DOS; QNX; Minix; Xinu; F83; Mack 2; and Modula
2.",
acknowledgement = ack-nhfb,
classification = "C6150J (Operating systems)",
fjournal = "BYTE Magazine",
keywords = "DESQview; DOS compatibility; F83; Mack 2; Minix;
Modula 2; Multitasking environments; Operating system;
Programming language; QNX; THeos 86; Wendin-DOS; Xinu",
thesaurus = "IBM computers; Multiprogramming",
}
@Article{Hartley:1990:EMO,
author = "Stephen J. Hartley",
title = "Experience with {MINIX} in an operating systems lab",
journal = j-SIGCSE,
volume = "22",
number = "3",
pages = "34--38",
month = sep,
year = "1990",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/101085.101096",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:14 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
abstract = "Most standard undergraduate operating systems courses
teach theory and concepts, without exposing students to
the detailed internal operation or source code of an
actual operating system. A. S. Tanenbaum's MINIX
operating system (1987) is designed to give students
`hands-on' experience with the internals of an
operating system in order to illustrate the theory and
concepts. The use of MINIX in an operating systems
laboratory at the University of Vermont is described.
The paper gives an overview of the history and
structure of MINIX and describes some of the projects,
such as file locking, symbolic links, memory
compaction, modifying the CPU scheduler, and named
pipes, that have been used in an Operating Systems
Laboratory course at the University of Vermont.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Trinity Univ., San Antonio, TX,
USA",
classification = "C0220 (Education and training); C6150J (Operating
systems)",
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
keywords = "CPU scheduler; File locking; IBM; Memory compaction;
MINIX; Operating systems; Symbolic links; Unix",
thesaurus = "Computer science education; Operating systems
[computers]",
}
@MastersThesis{Her:1990:ISR,
author = "Sheau-Chuen Her",
title = "Implement a simple remote procedure call model in
Minix",
type = "Thesis (M.S.)",
school = "California State University, Chico",
address = "Chico, CA, USA",
pages = "viii + 43",
year = "1990",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
keywords = "Computer networks.; Electronic data processing --
Distributed processing.; MINIX (Computer operating
system)",
}
@Article{Hoffman:1990:FSM,
author = "P. K. Hoffman and G. {de V. Smit}",
title = "A file server for a multi-transputer {Unix} system",
journal = "South African Computer Journal",
month = oct,
year = "1990",
ISSN = "1015-7999",
bibdate = "Mon Sep 30 17:21:43 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "The DISTRIX operating system is a multiprocessor
UNIX-like distributed operating system. It consists of
a number of satellite processors connected to central
servers. The system is based on the MINIX operating
system, which is in turn based on UNIX Version 7. A
remote procedure calling interface is used in
conjunction with a system wide, end-to-end
communications protocol that connects satellite
processors to the central servers. A cached file server
provides access to all files and devices at the Unix
system call level. The design of the file server is
discussed in depth and the performance evaluated.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Cape Town Univ., Rondebosch,
South Africa",
classification = "C5440 (Multiprocessor systems and techniques); C5690
(Other data communication equipment and techniques);
C6150J (Operating systems)",
issue = "no.3 p. 30-8",
keywords = "Cached file server; Central servers; DISTRIX operating
system; End-to-end communications protocol; File
server; MINIX operating system; Multi-transputer Unix
system; Multiprocessor UNIX-like distributed operating
system; Remote procedure calling interface; Satellite
processors; Unix system call level; UNIX Version 7",
pubcountry = "South Africa",
thesaurus = "File servers; Multiprocessing programs;
Multiprocessing systems; Transputers; Unix",
}
@Article{Koch:1990:MTS,
author = "L. Koch",
title = "{MINIX\slash THL} a training system for instruction in
operating systems",
journal = j-INFORMATIK-INFORMATIONEN-REPORTE,
year = "1990",
ISSN = "0233-2582",
bibdate = "Mon Sep 30 17:21:43 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "Explains the need to formulate training for UNIX.
MINIX/THL is defined as a UNIX system version 7 for
IBM-PC 8088, 8086, 80286 and ATARI ST for minimal
configuration demands. The items in the course, as
distributed by Prentice Hall, are described. Its
structural layers and memory are set out.",
acknowledgement = ack-nhfb,
affiliation = "Tech. Hochschule Leipzig, Germany",
classification = "C0220 (Education and training); C6150J (Operating
systems); C7810C (Computer-aided instruction)",
fjournal = "Informatik, Informationen Reporte",
issue = "no.5 p. 159-65",
keywords = "ATARI ST; IBM-PC; Instruction; MINIX/THL; Operating
systems; Training system; UNIX",
language = "German",
pubcountry = "Germany",
thesaurus = "Computer aided instruction; Computer science
education; Operating systems [computers]; Training;
Unix",
}
@MastersThesis{Larribeau:1990:MDP,
author = "Scott Larribeau",
title = "The {MINIX} development project",
type = "Thesis (M.S.)",
school = "California Polytechnic State University",
address = "San Luis Obispo, CA, USA",
pages = "vi + 145",
year = "1990",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
keywords = "MINIX (Computer operating system); Operating systems
(Computers)",
}
@Article{Meumann:1990:MDD,
author = "M. D. Meumann and M. H. Rennhackkamp",
title = "{MINIX} for a distributed database system",
journal = "South African Computer Journal",
month = oct,
year = "1990",
ISSN = "1015-7999",
bibdate = "Mon Sep 30 17:21:43 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "A user of a distributed database management system
must be able to access data which is stored on a number
of different sites and connected by a network, without
being aware of the physical data distribution. The
NRDNIX distributed database management system consists
of four major components, namely the presentation
manager, communication kernel, database manager and
network manager. The development of a distributed
system requires the addition of communication
capabilities to the supporting operating system. The
MINIX operating system could be considered as a
possible implementation environment. MINIX is based on
the client-server message passing model.
Architecturally it consists of a user layer, a server
layer and two kernel layers. A distributed database
implementation using MINIX can be configured as a
database server process, an extension to the existing
file system, a specialized database file system, a
network operating system process or a distributed
operating system process. MINIX has a number of
drawbacks, namely deadlock, alarm signals, deviations
from the message passing model and memory limitations.
The severity of the fundamental design flaws in MINIX
render it unusable for the implementation of a
distributed database management system.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Stellenbosch Univ., South
Africa",
classification = "C6150J (Operating systems); C6160B (Distributed
DBMS)",
issue = "no.3 p. 23-9",
keywords = "Alarm signals; Client-server message passing model;
Communication capabilities; Communication kernel;
Database manager; Database server process; Deadlock;
Distributed database implementation; Distributed
database management system; Distributed operating
system process; Existing file system; Implementation
environment; Kernel layers; Memory limitations; MINIX
operating system; Network manager; Network operating
system process; NRDNIX distributed database management
system; Physical data distribution; Presentation
manager; Server layer; Specialized database file
system; User layer",
pubcountry = "South Africa",
thesaurus = "Distributed databases; Network operating systems;
Unix",
}
@Article{Rennhackkamp:1990:NDD,
author = "M. H. Rennhackkamp",
title = "The {NRDNIX} distributed database management system",
journal = "South African Computer Journal",
month = jan,
year = "1990",
ISSN = "1015-7999",
bibdate = "Mon Sep 30 17:53:27 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "A distributed database management system must
facilitate integrated processing of data which is
physically distributed over a network of node
computers, while providing locality transparency. The
NRDNIX prototype has locality, logical and physical
independence as goals, together with adequate
availability and efficient throughput. It is
architecturally described in terms of an integration of
the ANSI/X3/SPARC database management system and the
ISO interconnection reference models. Communication
takes place via a broadcast network. The data is
horizontally distributed over the horizontally
controlled nodes, with duplication according to usage.
An adaption of the entity-relationship data model is
supported, with extensions to the relationships to
include update dependencies. Some supporting operating
systems have been considered, including MINIX. However,
a more feasible and popular implementation which is
being used is the development of device drivers for the
XENIX operating system, for example for the network
interface.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Stellenbosch Univ., South
Africa",
classification = "B6210L (Computer communications); C5620W (Other
networks); C6150J (Operating systems); C6160B
(Distributed DBMS)",
issue = "no.1 p. 5-10",
keywords = "ANSI/X3/SPARC database management system; Broadcast
network; Device drivers; Distributed database
management system; Distributed DBMS; Duplication;
Entity-relationship data model; Horizontally controlled
nodes; Integrated processing; ISO interconnection
reference models; Locality transparency; Network
interface; Node computers; NRDNIX distributed database;
NRDNIX prototype; Physical independence; Supporting
operating systems; Throughput; Update dependencies;
XENIX operating system",
pubcountry = "South Africa",
thesaurus = "Computer networks; Distributed databases; Open
systems; Operating systems [computers]",
}
@MastersThesis{Sand:1990:IDF,
author = "Erik Martin Sand",
title = "Implementation of a distributed file system for
{MINIX}: a paper",
type = "Thesis (M.S.)",
school = "North Dakota State University",
address = "?Fargo, ND, USA",
pages = "v + 158",
year = "1990",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
keywords = "Computer networks.; Electronic data processing --
Distributed processing.; Operating systems (Computers)
-- Study and teaching (Higher)",
}
@MastersThesis{Tiwana:1990:ITI,
author = "Gurumukh Singh Tiwana",
title = "Implementation of {TCP\slash IP} in the {Minix}
operating system",
type = "Thesis (M.S.)",
school = "Southern Illinois University at Carbondale",
address = "Carbondale, IL, USA",
pages = "iii + 48 + [1]",
year = "1990",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
}
@Article{Yager:1990:AOSe,
author = "T. Yager",
title = "Alternative Operating Systems, Part 5: {Unix} with a
Microscope: {Minix}, a low-cost {Unix}, runs on
ordinary personal computers",
journal = j-BYTE,
volume = "15",
number = "13",
pages = "345--346",
month = dec,
year = "1990",
CODEN = "BYTEDJ",
ISSN = "0360-5280",
ISSN-L = "0360-5280",
bibdate = "Mon Sep 30 17:21:43 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "For pt.4 see ibid., vol.15, no.12, p.381-5, 1990.
Looks at Minix, a low cost version of Unix ideal for
study purposes. The author discusses how to install
Minix, and looks at its features from the users point
of view. He then looks at the source code, one of
Minix's strengths. The networking capabilities are also
considered.",
acknowledgement = ack-nhfb,
classification = "C6150J (Operating systems)",
fjournal = "BYTE Magazine",
keywords = "Minix; Networking capabilities; Operating systems;
Source code; Study",
thesaurus = "Operating systems [computers]; Unix",
}
@Article{Aguirre:1991:EMD,
author = "G. Aguirre and M. Errecalde and R. Guerrero and C.
Kavka and G. Leguizamon and M. Printista and R.
Gallard",
title = "Experiencing {Minix} as a didactical aid for operating
systems courses",
journal = j-OPER-SYS-REV,
volume = "25",
number = "3",
pages = "32--39",
month = jul,
year = "1991",
CODEN = "OSRED8",
DOI = "https://doi.org/10.1145/122572.122575",
ISSN = "0163-5980 (print), 1943-586X (electronic)",
ISSN-L = "0163-5980",
bibdate = "Mon Sep 30 17:21:43 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/opersysrev.bib",
abstract = "Minix is a Unix clone operating system to be run on
IBM PCs and compatibles. The article describes the
results of some extensions on the internal work of
Minix as an exercise on operating systems design and
implementation that attempts to transfer that
experience to other groups of interest. The paper
intends to be interpreted as a report remarking what
kind of work was done having an extensively documented
copy of the source code of an operating system, taking
into account that the developers are undergraduates in
computer science.",
acknowledgement = ack-nhfb,
affiliation = "Escuela de Inf., Univ. Nacional de San Luis,
Argentina",
classification = "C0220 (Education and training); C6150J (Operating
systems)",
fjournal = "ACM SIGOPS Operating Systems Review",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J597",
keywords = "Computer science; Didactical aid; IBM PCs; Minix;
Operating systems courses; Unix clone",
thesaurus = "Computer science education; Operating systems
[computers]; Unix",
}
@MastersThesis{Anglin:1991:AMP,
author = "Elizabeth Anglin",
title = "Addition of a message passing measure to {MINIX} (a
process-based operating system)",
type = "Thesis (M.S.)",
school = "Kansas State University",
address = "Manhattan, KS, USA",
pages = "iii + 90",
year = "1991",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Archer:1991:TRP,
author = "M. Archer and D. Frincke and K. Levitt",
title = "A template for rapid prototyping of operating
systems",
crossref = "Winkler:1991:SPS",
pages = "119--127",
year = "1991",
bibdate = "Mon Sep 30 17:21:43 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "Rapid prototyping of many classes of systems can be
facilitated by starting from an executable template
specification appropriate to that class. A system
template serves several useful purposes. It organizes
ones thinking about the particular system to be
specified, and speeds the specification process by
pre-specifying structures and operations common to all
systems in a class. If executable, it can be developed
into a system prototype. Though beyond the scope of
this paper, it can organize proofs of properties of the
specification and its implementations by making it
possible to isolate the relevant proof obligations. The
authors templates have an additional property: they
classify sub-specifications according to `kinds' that
needs to be completed differently. The authors
illustrate rapid prototyping from a template for
operating systems, specifically showing how to obtain a
rapid prototype of the MINIX system. This approach may
also be useful for other classes of systems, such as
architectures.",
acknowledgement = ack-nhfb,
affiliation = "Div. of Comput. Sci., California Univ., Davis, CA,
USA",
classification = "C6110B (Software engineering techniques); C6150J
(Operating systems)",
keywords = "Executable template specification; MINIX system;
Operating systems; Proof obligations; Rapid
prototyping; Specification process;
Sub-specifications",
thesaurus = "Operating systems [computers]; Software prototyping",
}
@MastersThesis{Ference:1991:IMC,
author = "James M. Ference",
title = "Implementation of {Minix} on the {CT-MiniFrame}",
type = "Thesis (M.S.)",
school = "San Francisco State University",
address = "San Francisco, CA, USA",
pages = "xi + 380",
year = "1991",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
keywords = "Operating systems (Computers)",
}
@MastersThesis{Meier:1991:PM,
author = "Harald Meier",
title = "{Portierung von Minix auf 68000-rechner}",
school = "Technische Universit{\"{a}}t Braunschweig",
address = "Braunschweig, Germany",
year = "1991",
bibdate = "Fri Dec 18 11:04:47 1998",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
Misc/TUBScsd.bib",
descriptor = "68000, Betriebssystem, Minix, Task",
}
@Article{Mull:1991:EST,
author = "Allison J. Mull and P. Tobin Maginnis",
title = "Evolutionary steps toward a distributed operating
system: theory and implementation",
journal = j-OPER-SYS-REV,
volume = "25",
number = "4",
pages = "4--13",
month = oct,
year = "1991",
CODEN = "OSRED8",
ISSN = "0163-5980 (print), 1943-586X (electronic)",
ISSN-L = "0163-5980",
bibdate = "Mon Sep 30 17:13:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/opersysrev.bib",
abstract = "Generally speaking, distributed operating system (DOS)
designers seem more concerned with resource sharing,
global file system transparency, and implementation
methodology. The authors feel that a DOS may provide
the platform for linear speedup of applications if
performance considerations are given highest priority
in the design of the DOS. Work has been underway to
test the implementation of such a DOS design in the
MINIX environment.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. and Inf. Sci., Mississippi Univ.,
University, MS, USA",
classification = "C6150J (Operating systems); C6150N (Distributed
systems)",
fjournal = "ACM SIGOPS Operating Systems Review",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J597",
keywords = "Distributed operating system; DOS; MINIX environment;
Performance",
thesaurus = "Network operating systems; Unix",
}
@MastersThesis{Smith:1991:RPU,
author = "Richard Smith",
title = "Real-time processing under the {MINIX} system",
type = "Thesis (M.Sc.)",
publisher = "National Library of Canada = Biblioth{\`e}que
nationale du Canada",
school = "University of Regina",
address = "Regina, Saskatchewan, Canada",
year = "1991",
ISBN = "0-315-70349-0",
ISBN-13 = "978-0-315-70349-0",
LCCN = "????",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "2 microfiches. University Microfilms order no.
UMI00319115.",
series = "Canadian theses = Th{\`e}ses canadiennes",
acknowledgement = ack-nhfb,
}
@Misc{Tanenbaum:1991:M,
author = "Andrew S. Tanenbaum",
title = "{MINIX}",
publisher = pub-PH,
address = pub-PH:adr,
edition = "Version 1.5.",
year = "1991",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "12 computer disks.",
acknowledgement = ack-nhfb,
annote = "Title from disk label. Disk 1. PC boot disk -- Disk 2.
AT boot disk -- Disk 3. Universal boot disk -- Disk 4.
Root file system -- Disk 5. System binaries \#1 -- Disk
6. System binaries \#2 -- Disk 7. System binaries \#3
-- Disk 8. Operating system sources -- Disk 9. Commands
sources \#1 -- Disk 10. Commands sources \#2 -- Disk
11. Networking sources -- Disk 12. Boot disk with ST
506 hard disk. An operating system that is system call
compatible with Version 7 of UNIX operating system.
System requirements: IBM PC, XT or AT or PS/2 or
compatibles; 512K; 10 megabyte hard disk; monochrome
Hercules CBA or EGA. IBM PC. IBM AT. IBM XT. IBM
PS/2.",
keywords = "IBM microcomputers -- Programming.; MINIX (Computer
operating system)",
}
@Misc{Tanenbaum:1991:MAS,
author = "Andrew S. Tanenbaum",
title = "{MINIX} 1.5 for the {Atari ST} and {MegaST}",
publisher = pub-PH,
address = pub-PH:adr,
year = "1991",
ISBN = "0-13-585035-5",
ISBN-13 = "978-0-13-585035-0",
LCCN = "QA76.76.O63",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "10 computer disks.",
acknowledgement = ack-nhfb,
annote = "Title from disk label. Presents an operating system
that is system call compatible with version 7 of the
UNIX operating system. Includes the source code for the
complete system (over 125,000 lines of C), but does not
include the C compiler sources. System requirements:
Atari ST or MegaST; at least 1M; 720K disk drive. Atari
ST",
keywords = "Operating systems (Computers) -- Software.",
}
@Misc{Tanenbaum:1991:MIP,
author = "Andrew S. Tanenbaum",
title = "{MINIX} 1.5 5 1/4in for the {IBM PC}, {XT}, {AT}, 386
and {PS/2}",
publisher = pub-PH,
address = pub-PH:adr,
edition = "Version 1.5.",
year = "1991",
ISBN = "0-13-585076-2",
ISBN-13 = "978-0-13-585076-3",
LCCN = "????",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "17 computer disks.",
acknowledgement = ack-nhfb,
annote = "Title from disk label. Disk 1. PC boot disk -- Disk 2.
AT boot disk -- Disk 3. Universal boot disk -- Disk 4.
Root file system -- Disk 5. System binaries \#1 (/usr)
-- Disk 6. System binaries \#2 -- Disk 7. System
binaries \#3 -- Disk 8. System binaries \#4 -- Disk 9.
System binaries \# 5 -- Disk 10. System binaries \#6 --
Disk 11. Operating system sources -- Disk 12. Include,
lib, tools sources -- Disk 13. Commands sources \#1 --
Disk 14. Commands sources \#2 -- Disk 15. Commands
sources \#3 -- Disk 16. Commands sources \#4 -- Disk
17. Networking sources. An operating system that is
system call compatible with Version 7 of UNIX operating
system. System requirements: IBM PC, XT or AT, 386 or
PS/2 or compatibles.",
keywords = "IBM microcomputers -- Programming.; MINIX (Computer
operating system)",
}
@Article{Tsai:1991:ICM,
author = "Shang Rong Tsai and Ru Jing Chen",
title = "Interprocess communication with multicast support in
{DMINIX} operating system",
journal = j-MICROPROC-MICROPROG,
volume = "32",
number = "1-5",
pages = "145--152",
month = aug,
year = "1991",
CODEN = "MMICDT",
ISSN = "0165-6074",
ISSN-L = "0165-6074",
bibdate = "Mon Sep 30 17:21:43 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "17th EUROMICRO Symposium on Microprocessing and
Microprogramming. Hardware and Software Design
Automation.",
abstract = "DMINIX is a distributed operating system derived from
MINIX. The design and implementation of the
interprocess communication in the DMINIX system are
presented in this paper. The design goals of
interprocess communication in DMINIX are to supply a
highly reliable and network transparent environment for
system and user processes, and to make the designs and
developments of distributed software simpler. The
authors followed MINIX's rendezvous strategy in IPC
design to simplify the managements of system buffers.
Network transparency is very important in designing a
large-scale distributed system. With this property the
mobility of processes can be increased. Thus, in the
DMINIX system, a distributed program can be developed
on a single machine and then distributed on network of
computers once the program is logically correct. The
IPC was carefully designed such that it can easily
support more system services such as distributed file
services and process migration. The IPC also supports
multicast. The design of multicast support in the
DMINIX system will be discussed.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Electr. Eng., Nat. Cheng-Kung Univ., Tainan,
Taiwan",
classification = "C5620 (Computer networks and techniques); C6150J
(Operating systems)",
fjournal = "Microprocessing and Microprogramming",
keywords = "Distributed operating system; DMINIX operating system;
Interprocess communication; Multicast support; Network
transparency; System buffers",
thesaurus = "Network operating systems",
}
@InProceedings{Archer:1992:EOS,
author = "M. Archer and J. Bock and D. Frincke and K. Levitt",
title = "Effectiveness of operating system prototyping from a
template: application to {MINIX}",
crossref = "Kanapoulos:1992:SIW",
pages = "55--66",
year = "1992",
DOI = "https://doi.org/10.1109/IWRSP.1991.218623",
bibdate = "Mon Sep 30 17:00:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "In a previous paper, M. Archer et al. (1990) presented
a tool for the rapid prototyping of operating systems
based on an executable template operating system
specification. By extending the template specification,
a designer can generate a rapid prototype of a specific
operating system. The template specification consists
of sorts (object classes) arranged in a hierarchy of
three kinds, where the design decisions made in the
template for each kind are in some sense more general
than those made for its successor kind. The FASE (final
algebra specification and execution) system language
was used as the language for the specification. It is
the authors' belief that the SRM template is general
enough to be used as a basis for rapid prototyping
nearly any non-distributed operating system at the
system call level. It is important to test this belief,
and to show that the speed of prototype development and
the execution speed of a rapid prototype are great
enough for the development of a prototype to be useful
for testing the properties of a design. The authors
answer these questions, demonstrate the usefulness of
having a rapid prototype of an operating system, and
evaluate the template methodology in general.",
acknowledgement = ack-nhfb,
affiliation = "Div. of Comput. Sci., California Univ., Davis, CA,
USA",
classification = "C6110B (Software engineering techniques); C6150J
(Operating systems)",
keywords = "Executable template operating system specification;
FASE; Final algebra specification; MINIX;
Non-distributed operating system; Object classes;
Operating system prototyping; Rapid prototype; Specific
operating system; SRM template; System call level;
System language",
thesaurus = "Formal specification; Operating systems [computers];
Software prototyping; Specification languages",
}
@InProceedings{Louboutin:1992:IPM,
author = "S. R. Y. Louboutin",
title = "An implementation of a process migration mechanism
using {Minix}",
crossref = "Anonymous:1992:EUG",
pages = "213--224",
year = "1992",
bibdate = "Mon Sep 30 17:13:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "An implementation of a process migration mechanism
realised on a network of PCs running under Minix is
described. The design of Minix incorporates modern
operating system design concepts (micro kernal, message
passing, client-server model) and insures a good
process encapsulation which is necessary for such a
realisation. Remote execution is achieved by using
surrogates or stub processes so that the lack of
integration of the platform can be overcome. Despite
the drawback of leaving a residual dependency on the
node where the migrating process has been created it
appears to be an appealing approach particularly
suitable to this system. The isomorphism between the
built-in message passing mechanism and the add-on
Amoeba communication protocol implementing RPC has been
extensively used to this purpose. Minix, even enhanced
with the Amoeba network communication facility is
certainly not a distributed system. However, it
features some of the properties which makes feasible
the realisation of a process migration facility.
Furthermore, Minix does not require an actual network
to develop and test networking software which can be
done on a standalone system. It therefore is a suitable
and inexpensive platform to conduct such experiments.",
acknowledgement = ack-nhfb,
affiliation = "Univ. Coll., Dublin, Ireland",
classification = "B6210L (Computer communications); C5620 (Computer
networks and techniques); C6150J (Operating systems)",
keywords = "Add-on Amoeba communication protocol; Amoeba network
communication facility; Built-in message passing
mechanism; Client-server model; Isomorphism; Message
passing; Micro kernal; Migrating process; Minix; Modern
operating system design concepts; Networking software;
PCs; Process encapsulation; Process migration
mechanism; Remote execution; Residual dependency; RPC;
Stub processes; Surrogates",
thesaurus = "Computer networks; Microcomputer applications; Unix",
}
@InProceedings{Pazzini:1992:TMT,
author = "M. Pazzini and P. Navaux",
title = "{TRIX}, a multiprocessor transputer-based operating
system",
crossref = "Valero:1992:PCT",
pages = "621--630 (vol. 1)",
year = "1992",
bibdate = "Mon Sep 30 17:00:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "Two volumes.",
abstract = "The TRIX project develops an operating system to run
on multiprocessor machines based on INMOS transputers.
The source code used to begin the implementation is the
MINIX operating system, which provides an environment
of communicating sequential processes. Transputers have
been embedded in hardware this environment so the
kernel becomes very small and fast. As the
architectures supported are multiprocessed, the
original MINIX communication scheme has to be changed,
to include locality transparency The TRIX message
passing mechanism uses transputer instructions to send
and receive messages and a new task has been added to
the original MINIX kernel to route outside messages. A
new Memory Manager is being developed, to distribute
and balance the processes load amongst the transputer
network.",
acknowledgement = ack-nhfb,
affiliation = "Dept. de Eletronica e Computacao, Univ. Federal de
Santa Maria, Brazil",
classification = "C5220P (Parallel architecture); C5440
(Multiprocessor systems and techniques); C6150N
(Distributed systems)",
keywords = "Communicating sequential processes; INMOS transputers;
Locality transparency; Message passing mechanism;
MINIX; Multiprocessor machines; Multiprocessor
transputer-based operating system; Source code;
Transputer instructions; TRIX",
thesaurus = "Multiprocessing systems; Network operating systems;
Transputer systems",
}
@Book{Tanenbaum:1992:MRM,
author = "Andrew S. (Andrew Stuart) Tanenbaum and Adrie Koolen
and Johan W. Stevenson",
title = "{Minix} 1.5 reference manual",
publisher = pub-PH,
address = pub-PH:adr,
pages = "vii + 709",
year = "1992",
ISBN = "0-13-579632-6",
ISBN-13 = "978-0-13-579632-0",
LCCN = "QA76.76.O63 M74525 1992",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
keywords = "Microcomputers -- Operating systems",
}
@Article{Wei:1992:DSU,
author = "Yan Wei",
title = "Disk structures of {Unix} file systems",
journal = j-MINI-MICRO-SYSTEMS,
volume = "13",
number = "10",
pages = "60--64",
year = "1992",
CODEN = "XWJXEH",
ISSN = "1000-1220",
bibdate = "Mon Sep 30 17:00:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "The disk structures of file systems in two up-to-date
versions of the Unix system (System V and BSD) are
analysed. Their features are compared to each other.
The i-node and disk block management mechanisms
connected with disk structures are also discussed.
Finally, the disk structure of Minix (a teaching
version of Unix system) file system is introduced.",
acknowledgement = ack-nhfb,
classification = "C6120 (File organisation); C6150J (Operating
systems)",
fjournal = "Mini-Micro Systems",
keywords = "BSD; Disk block management mechanisms; Disk
structures; File systems; I-node; Minix; System V;
Teaching version; Unix system; Up-to-date versions",
language = "Chinese",
pubcountry = "China",
thesaurus = "Storage allocation; Storage management; Unix",
}
@Article{Ciancarini:1993:LMM,
author = "P. Ciancarini and N. Guerrini",
title = "{Linda} meets {Minix}",
journal = j-OPER-SYS-REV,
volume = "27",
number = "4",
pages = "76--92",
month = oct,
year = "1993",
CODEN = "OSRED8",
DOI = "https://doi.org/10.1145/163640.163647",
ISSN = "0163-5980 (print), 1943-586X (electronic)",
ISSN-L = "0163-5980",
bibdate = "Sat Aug 26 08:55:51 MDT 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/opersysrev.bib",
abstract = "Currently much interest is devoted to the development
of systems supporting parallel and distributed
programming over a network of workstations. The authors
explore operating system support for this kind of
programming, that is usually implemented at the user
process level. They have chosen the Linda model as the
basis of a programming system for networks of personal
computers running Minix, a Unix-like operating system.
They briefly describe the Minix operating system and
its services for remote communication based on the
Amoeba protocol. They have extended Minix with new
communication primitives based on Linda; they show
their implementation, describing the new system
architecture, and compare the new system with other
Linda implementations.",
acknowledgement = ack-nhfb,
affiliation = "Bologna Univ., Italy",
classification = "C6110P (Parallel programming); C6140D (High level
languages); C6150N (Distributed systems)",
fjournal = "ACM SIGOPS Operating Systems Review",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J597",
keywords = "Amoeba protocol; Communication primitives; Distributed
programming; Linda; Minix; Operating system support;
Personal computer networks; Remote communication; Unix;
Workstation network",
thesaurus = "Microcomputer applications; Network operating systems;
Parallel languages; Remote procedure calls",
}
@Article{deJonge:1993:LDN,
author = "Wiebren de Jonge and M. Frans Kaashoek and Wilson C.
Hsieh",
title = "The {Logical Disk}: a new approach to improving file
systems",
journal = j-OPER-SYS-REV,
volume = "27",
number = "5",
pages = "15--28",
month = dec,
year = "1993",
CODEN = "OSRED8",
ISSN = "0163-5980 (print), 1943-586X (electronic)",
ISSN-L = "0163-5980",
bibdate = "Sat Aug 26 08:55:54 MDT 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/opersysrev.bib",
note = "14th ACM Symposium on Operating Systems Principles,
Ashville, NC, USA.",
abstract = "The Logical Disk (LD) defines a new interface to disk
storage that separates file management and disk
management by using logical block numbers and block
lists. The LD interface is designed to support multiple
file systems and to allow multiple implementations,
both of which are important given the increasing use of
kernels that support multiple operating system
personalities. A log-structured implementation of LD
(LLD) demonstrates that LD can be implemented
efficiently. LLD adds about 5\% to 10\% to the purchase
cost of a disk for the main memory it requires.
Combining LLD with an existing file system results in a
log-structured file system that exhibits the same
performance characteristics as the Sprite
log-structured file system.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Math. and Comput. Sci., Vrije Univ.,
Amsterdam, Netherlands",
classification = "C6120 (File organisation); C6150J (Operating
systems)",
fjournal = "ACM SIGOPS Operating Systems Review",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J597",
keywords = "Block lists; Disk management; Disk storage; File
management; File systems; Log-structured file system;
Logical block numbers; Logical Disk; MINIX; Multiple
file systems; Operating system personalities;
Performance characteristics; Sprite; UNIX",
thesaurus = "File organisation; Operating systems [computers];
Storage management",
}
@Article{Guerrero:1993:IEA,
author = "R. Guerrero and L. Leguizamon and R. Gallard",
title = "Implementation and evaluation of alternative process
schedulers in {MINIX}",
journal = j-OPER-SYS-REV,
volume = "27",
number = "1",
pages = "79--100",
month = jan,
year = "1993",
CODEN = "OSRED8",
DOI = "https://doi.org/10.1145/160551.160558",
ISSN = "0163-5980 (print), 1943-586X (electronic)",
ISSN-L = "0163-5980",
bibdate = "Sat Aug 26 08:55:36 MDT 2006",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/opersysrev.bib",
abstract = "Minix is a Unix clone Operating System, designed by
Tanembaum ([2], [3]) to allow beginners to do practical
training in Operatin Systems area. In this context the
present paper describes the work done by a group of
students implementing alternative process schedulers
disciplines and their evaluation comparing performance
estimates. Some unexpected deviations in the original
implementation (Minix V. 1. 0), found during software
development, are also reported.",
acknowledgement = ack-nhfb,
affiliation = "Univ Nacional de San Luis",
affiliation = "Dept. de Inf., Univ. Nacional de San Luis, Argentina",
affiliationaddress = "San Luis, Argent",
classification = "722.4; 723.1",
classification = "C0220 (Education and training); C6150J (Operating
systems); C7810C (Computer-aided instruction)",
fjournal = "ACM SIGOPS Operating Systems Review",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J597",
journalabr = "Oper Syst Rev ACM",
keywords = "Alternative process schedulers; Computer operating
systems; Computer software; Evaluation; MINIX;
Performance; Scheduling; Software engineering",
keywords = "Alternative process schedulers disciplines; Beginners;
Performance estimates; Practical training; Software
development; Students; Unix clone operating system",
thesaurus = "Computer science education; Educational computing;
Scheduling; Unix",
}
@Article{Kavka:1993:EDM,
author = "C. Kavka and M. Printista and R. Gallard",
title = "Extending device management in {Minix}",
journal = j-OPER-SYS-REV,
volume = "27",
number = "2",
pages = "35--43",
month = apr,
year = "1993",
CODEN = "OSRED8",
DOI = "https://doi.org/10.1145/155848.155856",
ISSN = "0163-5980 (print), 1943-586X (electronic)",
ISSN-L = "0163-5980",
bibdate = "Sat Aug 26 08:55:41 MDT 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/opersysrev.bib",
abstract = "Minix is a Unix clone operating system, designed by
Tanembaum (1987), to allow beginners to do practical
training in the operating systems area. In this context
the present paper describes the work done by a group of
undergraduates implementing extensions in device
management. Problems in the original code, detected
during the analysis and development stages, are also
reported.",
acknowledgement = ack-nhfb,
affiliation = "Dept. de Inf., Univ. Nacional de San Luis, Argentina",
classification = "C6150J (Operating systems)",
fjournal = "ACM SIGOPS Operating Systems Review",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J597",
keywords = "Device management; Minix; Operating systems; Unix
clone",
thesaurus = "Unix",
}
@MastersThesis{Li:1993:PMV,
author = "Xiaohong Li",
title = "Porting {MINIX} to {VM}",
type = "Thesis (M.S.)",
school = "Teikyo Marycrest University",
address = "Tokyo, Japan (??)",
pages = "v + 83",
year = "1993",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
keywords = "IBM 9370 (Computer); IBM Personal Computer.; Virtual
computer systems.",
}
@Article{Nakao:1993:ACD,
author = "Zensho Nakao and Masaya Kinjo and Masahiro Nakama",
title = "{Ada} and {C}: differences as the language for system
programming",
journal = j-SIGADA-LETTERS,
volume = "13",
number = "5",
pages = "22--31",
month = sep # "\slash " # oct,
year = "1993",
CODEN = "AALEE5",
ISSN = "1094-3641 (print), 1557-9476 (electronic)",
ISSN-L = "1094-3641",
bibdate = "Thu Sep 04 06:50:32 1997",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "Some fundamental differences between Ada and C as the
language for operating system description are listed
up. Specifically, those differences observed in
translating the C-based MINIX operating system into Ada
are presented. The authors also give concrete
illustrative program examples.",
acknowledgement = ack-nhfb,
affiliation = "Fac. of Eng., Ryukyus Univ., Okinawa, Japan",
classification = "721.1; 723.1; 723.1.1; 723.2; C6110 (Systems
analysis and programming); C6140D (High level
languages); C6150C (Compilers, interpreters and other
processors); C6150J (Operating systems)",
conferenceyear = "1993",
fjournal = "ACM SIGADA Ada Letters",
journalabr = "Ada Lett",
keywords = "Ada; Ada (programming language); Ada-based MINIX
operating systems; Boolean algebra; C; C (programming
language); C-based MINIX operating system; C-based
MINIX operating systems; Codes (symbols); Computer
operating systems; Computer systems programming; Data
structures; Data types; Operating system description;
Program translators; Programming languages; Programming
theory; System programming",
thesaurus = "Ada; Ada listings; C language; Operating systems
[computers]; Program interpreters; Programming; Unix",
}
@Article{Rong:1993:LMM,
author = "Tsai Shang Rong and Lian-Jou Tsai",
title = "A Logical Machine Monitor Supporting an Environment
for Development and Execution of Operating Systems",
journal = j-J-SYST-SOFTW,
volume = "21",
number = "1",
pages = "27--39",
month = apr,
year = "1993",
CODEN = "JSSODM",
ISSN = "0164-1212",
ISSN-L = "0164-1212",
bibdate = "Wed Dec 16 08:24:49 MST 1998",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "The logical machine is an approach for designing and
developing operating systems. It partitions
conventional operating systems into two parts, the
logical machine operating system and the logical
machine monitor, which are responsible for user
services and system resource management, respectively.
The logical machine monitor provides a logical machine
interface for the logical machine operating system to
get the resources it needs. A logical machine monitor,
LMM386, has been successfully implemented to provide an
environment for the development and execution of a
logical machine operating systems (LMOS). Also, the
LMM386 introduces a tool for developing LMM386 itself
and the LMOS. This article discusses how to develop a
logical machine system on 80386 machines. An LMOS
derived from MINIX, executed in this environment, was
built to demonstrate the feasibility and merits of the
logical machine concept. By this approach, one can
easily monitor the behaviour of the LMOS. Furthermore,
by applying the concept in a distributed environment,
one can enhance the system capabilities, such as remote
disk mapping, disk replication and fault tolerance,
without changing the internal logic of the LMOS.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Electr. Eng., Nat. Cheng-Kung Univ., Tainan,
Taiwan",
classification = "C6150J (Operating systems); C7430 (Computer
engineering)",
fjournal = "The Journal of systems and software",
journal-URL = "http://www.sciencedirect.com/science/journal/01641212",
keywords = "80386 Machines; Disk replication; Distributed
environment; Fault tolerance; LMM386; Logical machine
monitor; Logical machine operating system; MINIX;
Remote disk mapping; System development; System
resource management; User services; Virtual machine",
thesaurus = "Operating systems [computers]; Virtual machines",
xxauthor = "Shang Rong Tsai and Lian-Jou Tsai",
}
@Article{Tsai:1993:LMM,
author = "Shang Rong Tsai and Lian-Jou Tsai",
title = "A logical machine monitor supporting an environment
for development and execution of operating systems",
journal = j-J-SYST-SOFTW,
volume = "21",
number = "1",
pages = "27--39",
month = apr,
year = "1993",
CODEN = "JSSODM",
ISSN = "0164-1212",
ISSN-L = "0164-1212",
bibdate = "Mon Sep 30 17:00:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "The logical machine is an approach for designing and
developing operating systems. It partitions
conventional operating systems into two parts, the
logical machine operating system and the logical
machine monitor, which are responsible for user
services and system resource management, respectively.
The logical machine monitor provides a logical machine
interface for the logical machine operating system to
get the resources it needs. A logical machine monitor,
LMM386, has been successfully implemented to provide an
environment for the development and execution of a
logical machine operating systems (LMOS). Also, the
LMM386 introduces a tool for developing LMM386 itself
and the LMOS. This article discusses how to develop a
logical machine system on 80386 machines. An LMOS
derived from MINIX, executed in this environment, was
built to demonstrate the feasibility and merits of the
logical machine concept. By this approach, one can
easily monitor the behaviour of the LMOS. Furthermore,
by applying the concept in a distributed environment,
one can enhance the system capabilities, such as remote
disk mapping, disk replication and fault tolerance,
without changing the internal logic of the LMOS.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Electr. Eng., Nat. Cheng-Kung Univ., Tainan,
Taiwan",
classification = "C6150J (Operating systems); C7430 (Computer
engineering)",
fjournal = "The Journal of systems and software",
journal-URL = "http://www.sciencedirect.com/science/journal/01641212",
keywords = "80386 Machines; Disk replication; Distributed
environment; Fault tolerance; LMM386; Logical machine
monitor; Logical machine operating system; MINIX;
Remote disk mapping; System development; System
resource management; User services; Virtual machine",
thesaurus = "Operating systems [computers]; Virtual machines",
}
@MastersThesis{Viken:1993:LRA,
author = "J{\o}rn I. Viken",
title = "{Lindex} --- en reimplementasjon av {MINIX} ved hjelp
av {Linda}. ({Norwegian}) [{Lindex}: a reimplementation
of {MINIX} with the help of {Linda}]",
type = "Hovedoppgave i informatikk (Informatics thesis)",
school = "Universitetet i Oslo",
address = "Oslo, Norway",
pages = "179",
year = "1993",
bibdate = "Wed Apr 12 06:00:34 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
language = "Norwegian",
}
@Article{Ashton:1994:SMT,
author = "P. Ashton and D. Ayers and P. Smith",
title = "{SunOS Minix}: a tool for use in operating system
laboratories",
journal = j-AUSTRALIAN-COMP-SCI-COMM,
volume = "16",
number = "1",
pages = "259--269",
year = "1994",
CODEN = "ACSCDD",
ISSN = "0157-3055",
bibdate = "Mon Sep 30 17:02:30 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "Laboratory work is an essential part of the learning
experience in many areas of computer science, and this
is particularly true in the area of operating systems.
To support laboratory work in operating systems, we
have created SunOS Minix, a version of the Minix
operating system that runs as a process under Sun Unix
(SunOS). To date, projects for two advanced classes on
operating systems have involved extensive work with the
SunOS Minix source code. Also, we are in the process of
developing a novel graphical monitoring and control
interface that will make SunOS Minix a powerful tool
for use in introductory operating system
laboratories.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Comput. Sci., Canterbury Univ., Christchurch,
New Zealand",
classification = "C0220 (Computing education and training); C6150J
(Operating systems)",
fjournal = "Australian Computer Science Communications",
keywords = "Advanced classes; Computer science; Control interface;
Graphical monitoring; Introductory operating system
laboratories; Laboratory work; Minix operating system;
Operating system laboratories; Source code; Sun Unix;
SunOS Minix",
thesaurus = "Computer science education; Operating systems
[computers]; Teaching; Unix",
}
@InProceedings{Tsai:1994:LBF,
author = "Shang Rong Tsai and Jyh-Tzong Chiou and Huan-Ting
Jen",
title = "Load balance facility in distributed {MINIX} system",
crossref = "IEEE:1994:SAI",
pages = "162--169",
year = "1994",
DOI = "https://doi.org/10.1109/EURMIC.1994.390339",
bibdate = "Mon Sep 30 17:06:20 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "This paper presents the design of a load balance
facility with dynamic load balance policy in the
Distributed MINIX operating system. It also discusses
the performance improved with the load balance
facilities. Process migration and remote execution are
used as the basic mechanisms to achieve load balance.
We also design a simple and efficient method to get the
workload of a computer and a method to get process
characteristics. Depending on the workload and process
characteristics, the load balance facilities can decide
which process to migrate and where to migrate
effectively. The experiment shows that the system
performance can be improved with our load balance
facilities.",
acknowledgement = ack-nhfb,
affiliation = "Dept. of Electr. Eng., Nat. Cheng Kung Univ., Tainan,
Taiwan",
classification = "C6150N (Distributed systems software)",
keywords = "Distributed MINIX system; Dynamic load balance policy;
Load balance facility; Process characteristics; Process
migration; Remote execution; System performance",
thesaurus = "Network operating systems; Operating systems
[computers]; Processor scheduling; Resource allocation;
Unix",
}
@MastersThesis{Chang:1995:IWS,
author = "Chiu-liang Chang",
title = "The implementation of a Window system for {MINIX}
1.3",
type = "Thesis (M.S.)",
school = "California State University, Chico",
address = "Chico, CA, USA",
pages = "x + 65",
year = "1995",
bibdate = "Thu Sep 4 06:34:12 MDT 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
}
@MastersThesis{Chittoor:1995:ISS,
author = "Chandra S. Chittoor",
title = "Implementation of sockets on {SunOS Minix}",
type = "Thesis (M.S.)",
school = "Kansas State University",
address = "Manhattan, KS, USA",
pages = "iii + 75",
year = "1995",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
}
@Article{Matsumoto:1995:CSN,
author = "H. Matsumoto and Y. Hashino and H. Yashiro and N.
Shinohara and H. Omura",
title = "Computer simulation on nonlinear interaction of
intense microwaves with space plasmas",
journal = "Transactions of the Institute of Electronics,
Information and Communication Engineers B-II",
volume = "J78B-II",
number = "3",
pages = "119--129",
month = mar,
year = "1995",
CODEN = "DTBTEU",
bibdate = "Mon Sep 30 17:06:20 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "In order to provide a quantitative measure of the
nonlinear effects of intense microwaves on space
plasmas, we conducted computer simulations using an
electromagnetic particle code called KEMPO. It turns
out that the excited level of the Langmuir waves is
smaller than that of the electron cyclotron harmonic
waves. This finding was the opposite of the theoretical
prediction. Interpretation of this apparent
contradiction with the theory is given.",
acknowledgement = ack-nhfb,
affiliation = "Radio Atmos. Sci. Center, Kyoto Univ., Japan",
classification = "A5235M (Nonlinear plasma waves and nonlinear
interactions); A5240D (Electromagnetic wave propagation
in plasma); A9420R (Ionospheric plasma waves,
instabilities, and interactions); B5210H
(Electromagnetic wave propagation in plasma); C7340
(Geophysics computing)",
keywords = "Computer simulation; Electromagnetic particle code;
Electron cyclotron harmonic waves; Intense microwaves;
KEMPO; Langmuir waves; Microwave Ionosphere Nonlinear
Interaction Experiment; MINIX; Nonlinear effects;
Nonlinear interaction; Solar power station; Space
plasmas; Three wave coupling; Wave-wave-particle
interaction",
language = "Japanese",
pubcountry = "Japan",
thesaurus = "Geophysics computing; Ionosphere; Microwave power
transmission; Plasma electromagnetic wave propagation;
Plasma Langmuir waves; Plasma nonlinear waves; Solar
power satellites",
}
@InProceedings{ONeil:1995:GDD,
author = "T. E. O'Neil and B. Knudson",
title = "A Generic Device Driver for the {MINIX} Operating
System",
crossref = "Anonymous:1995:SCC",
pages = "187--193",
year = "1995",
bibdate = "Thu Sep 4 06:34:12 MDT 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
}
@Article{Wainer:1995:IRT,
author = "Gabriel A. Wainer",
title = "Implementing real-time services in {MINIX}",
journal = j-OPER-SYS-REV,
volume = "29",
number = "3",
pages = "75--84",
month = jul,
year = "1995",
CODEN = "OSRED8",
DOI = "https://doi.org/10.1145/206826.206846",
ISSN = "0163-5980 (print), 1943-586X (electronic)",
ISSN-L = "0163-5980",
bibdate = "Sat Aug 26 08:55:46 MDT 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/opersysrev.bib",
abstract = "We present the results of a project devoted to
providing programming facilities to develop hard
real-time software. We have used the MINIX operating
system as a tool. We allow the programmer to define
timing constraints for the tasks, letting the operating
system run these tasks in a timely fashion. In this
way, we can improve productivity, security and costs in
the system development cycle.",
acknowledgement = ack-nhfb,
affiliation = "Dept. de Comput., Buenos Aires Univ., Argentina",
classification = "C6115 (Programming support); C6130S (Data security);
C6150J (Operating systems)",
fjournal = "ACM SIGOPS Operating Systems Review",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J597",
keywords = "Costs; Hard real-time software development; MINIX
operating system; Productivity; Programming facilities;
Real-time services; Security; System development cycle;
Tasks; Timing constraints",
thesaurus = "Operating systems [computers]; Real-time systems;
Security of data; Software cost estimation; Software
tools; Timing",
}
@MastersThesis{Xu:1995:SIP,
author = "Li Xu",
title = "Study of an implementation of processes in {MINIX}",
type = "Thesis (M.S.)",
school = "Mathematics and Computer Science, Central Missouri
State University",
address = "Warrensburg, MO, USA",
pages = "iv + 34",
year = "1995",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
keywords = "MINIX (Computer file)",
}
@MastersThesis{Yang:1995:SMO,
author = "Po-Tsun Yang",
title = "Study of {MINIX} operating system",
type = "Thesis (M.S.)",
school = "Mathematics and Computer Science, Central Missouri
State University",
address = "Warrensburg, MO 64093, USA",
pages = "iv + 27",
year = "1995",
bibdate = "Sat May 4 18:45:07 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
keywords = "MINIX (Computer file); Operating systems (Computers)",
}
@Article{Christie:1996:DAK,
author = "Dave Christie",
title = "Developing the {AMD-K5} architecture: Flying without
instruments: the independent development on the {x86}
processor",
journal = j-IEEE-MICRO,
volume = "16",
number = "2",
pages = "16--26",
month = mar # "\slash " # apr,
year = "1996",
CODEN = "IEMIDZ",
DOI = "https://doi.org/10.1109/40.491459",
ISSN = "0272-1732 (print), 1937-4143 (electronic)",
ISSN-L = "0272-1732",
bibdate = "Thu Dec 14 06:08:58 MST 2000",
bibsource = "Compendex database;
http://www.math.utah.edu/pub/tex/bib/ieeemicro.bib;
http://www.math.utah.edu/pub/tex/bib/minix.bib; Science
Citation Index database (1980--2000)",
note = "Presented at Hot Chips VII, Stanford University,
Stanford, California, August 1995.",
acknowledgement = ack-nhfb,
affiliation = "Advanced Micro Devices",
affiliationaddress = "Austin, TX, USA",
classcodes = "B1265F (Microprocessors and microcomputers); C5130
(Microprocessor chips)",
classification = "714.2; 721.2; 721.3; 722.4; 723.1; 723.5",
corpsource = "Adv. Micro Devices Inc., Austin, TX, USA",
fjournal = "IEEE Micro",
journal-URL = "http://www.computer.org/csdl/mags/mi/index.html",
keywords = "AMD-K5 architecture; Buffer storage; Computer
architecture; Computer hardware; Computer operating
systems; Computer simulation; Computer software;
dependency-driven execution; Execution control logic;
Logic design; Logic gates; Microarchitecture;
microarchitecture; Microcomputers; microprocessor;
Microprocessor chips; microprocessor chips;
Performance; Personal computers; Register transfer
logic; System verification; x86-compatible",
remark = "Brief mention of a working port of MINIX to the
AM29000 RISC microprocessor.",
treatment = "P Practical",
}
@MastersThesis{Vaidyanathan:1996:PMM,
author = "Ranjani Vaidyanathan",
title = "Porting {MINIX} to a multiprocessor platform",
type = "Thesis (M. S.)",
school = "Southwest Texas State University",
address = "San Marcos, TX, US",
pages = "156",
year = "1996",
bibdate = "Thu Sep 4 06:34:12 MDT 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
keywords = "Multiprocessors.; Operating systems (Computers)",
}
@Article{Ashton:1997:UIN,
author = "Paul Ashton",
title = "Using interaction networks for visualization of
message passing",
journal = j-SIGCSE,
volume = "29",
number = "1",
pages = "272--276",
month = mar,
year = "1997",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/268084.268192;
https://doi.org/10.1145/268085.268192",
ISBN = "0-89791-889-4",
ISBN-13 = "978-0-89791-889-3",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 18:57:38 MST 2012",
bibsource = "Compendex database; DBLP;
http://dblp.uni-trier.de/db/conf/sigcse/sigcse1997.html#Ashton97;
http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/sigcse1990.bib",
URL = "ftp://ftp.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Misc/DBLP/1997.bib;
ftp://ftp.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Os/minix.bib",
abstract = "Understanding software structured as separate programs
that communicate via message passing requires
understanding how the various programs interact with
each other, as well as understanding the individual
programs in isolation. An interaction network display
shows in a visual way message passing within and
between programs. We have implemented an interaction
network monitor for the MINIX operating system, for use
in showing students how the system programs and
processes of MINIX interact to provide operating system
services. We give three examples to demonstrate the
insights into message-based systems that can be gained
from studying interaction network displays.",
acknowledgement = ack-nhfb,
affiliation = "Univ of Canterbury",
affiliationaddress = "Christchurch, New Zealand",
classification = "722.4; 723; 723.1",
conference = "Proceedings of the 1997 28th SIGCSE Technical
Symposium on Computer Science Education",
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
journalabr = "SIGCSE Bull",
keywords = "Computer networks; Computer operating systems;
Interaction networks; Interactive computer systems;
Message passing; minix operating systems; Structured
programming",
meetingaddress = "San Jose, CA, USA",
meetingdate = "Feb 27--Mar 1 1997",
meetingdate2 = "02/27--03/01/97",
sponsor = "ACM SIGCSE",
}
@PhdThesis{McGregor:1997:BBD,
author = "Anthony James McGregor",
title = "Block-Based Distributed File Systems",
type = "{Doctor of Philosophy} thesis",
school = "University of Waikato",
address = "Waikato, New Zealand",
pages = "????",
month = "????",
year = "1997",
bibdate = "Fri Oct 24 08:55:09 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://hdl.handle.net/10289/2607;
http://researchcommons.waikato.ac.nz/bitstream/handle/10289/2607/thesis.pdf",
acknowledgement = ack-nhfb,
}
@Article{Olabe:1997:OSD,
author = "M. A. Olabe",
title = "Operating systems design and implementation: an
integrated approach using {Minix}",
journal = j-COMP-EDU-J,
volume = "7",
number = "1",
pages = "59--65",
month = jan # "\slash " # mar,
year = "1997",
CODEN = "CEJOE7",
ISSN = "1069-3769",
bibdate = "Thu Sep 4 10:00:57 MDT 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
classification = "B0120 (Education and training); B6200
(Telecommunication); C0220 (Computing education and
training); C6150J (Operating systems)",
corpsource = "Univ. del Pais Vasco, Bilbao, Spain",
fjournal = "Computers in education journal",
keywords = "computer science education; confidence level;
educational course; educational courses; ETSII-IT,
Bilbao, Spain; file system; input-output; integrated
approach; laboratory exercises; memory management;
Mini-UNIX; Minix; multitasking; operating systems
(computers); operating systems design; operating
systems implementation; process management; source file
modification; teaching; telecommunication engineering
education; telecommunication engineering programme;
Unix",
treatment = "A Application",
}
@Book{Tanenbaum:1997:OSD,
author = "Andrew S. Tanenbaum and Albert S. Woodhull",
title = "Operating Systems: Design and Implementation",
publisher = pub-PH,
address = pub-PH:adr,
edition = "Second",
pages = "xvii + 939",
year = "1997",
ISBN = "0-13-638677-6",
ISBN-13 = "978-0-13-638677-3",
LCCN = "QA76.76.O63T36 1997",
bibdate = "Wed Dec 31 08:29:24 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/master.bib;
http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "Includes CD-ROM.",
price = "US\$62.00",
abstract = "The Second Edition of this best-selling introductory
operating systems text is the only textbook that
successfully balances theory and practice. The authors
accomplish this important goal by first covering all
the fundamental operating systems concepts such as
processes, interprocess communication, input/output,
virtual memory, file systems, and security. These
principles are then illustrated through the use of a
small, but real, UNIX-like operating system called
MINIX that allows students to test their knowledge in
hands-on system design projects. Each book includes a
CD-ROM that contains the full MINIX source code and two
simulators for running MINIX on various computers.",
acknowledgement = ack-nhfb,
libnote = "Not yet in my library.",
tableofcontents = "1: Introduction \\
2: Processes \\
3: Input/Output \\
4: Memory Management \\
5: File Systems \\
6: Reading List and Bibliography \\
Appendix A: MINIX Source Code Listing \\
Appendix B: Index to Files \\
Appendix C: Index to Symbols",
}
@Book{Tanenbaum:1998:OSS,
author = "Andrew S. Tanenbaum and Albert S. Woodhull and Junko
Chigira",
title = "Operetingu shisutemu: sekkei to riron oyobi minikkusu
ni yoru jisso",
publisher = "Purentisuhoru Shuppan",
address = "Tokyo, Japan",
edition = "Second",
pages = "1033",
year = "1998",
ISBN = "4-89471-047-1",
ISBN-13 = "978-4-89471-047-4",
LCCN = "????",
bibdate = "Wed Apr 12 06:12:15 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
language = "Japanese",
}
@MastersThesis{Williams:1998:MLU,
author = "James D. Williams",
title = "A methodology for {Linux} as a user process based on
{Solaris Minix} on the {SPARC} architecture",
type = "Thesis ({M.S.})",
school = "New Mexico State University",
address = "as Cruces, NM 88003-8001, USA",
pages = "xiii + 141",
year = "1998",
bibdate = "Wed Apr 12 06:09:29 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
}
@Article{Cox:2001:PX,
author = "David Cox",
title = "Parsing {XML}",
journal = j-DDJ,
volume = "26",
number = "1",
pages = "96, 98, 100",
month = jan,
year = "2001",
CODEN = "DDJOEB",
ISSN = "1044-789X",
bibdate = "Thu Feb 15 12:14:40 MST 2001",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.ddj.com/ftp/2001/2001_01/minixml.txt;
http://www.ddj.com/ftp/2001/2001_01/minixml.zip",
abstract = "David presents his ``miniXML'' parser for XML that is
written in C++ using the Standard Template Library for
strings and various containers. Additional resources
include minixml.txt (listings) and minixml.zip (source
code).",
acknowledgement = ack-nhfb,
fjournal = "Dr. Dobb's Journal of Software Tools",
}
@Book{Tanenbaum:2001:MOS,
author = "Andrew S. Tanenbaum",
title = "Modern operating systems",
publisher = pub-PH,
address = pub-PH:adr,
edition = "Second",
pages = "xxiv + 951",
year = "2001",
ISBN = "0-13-031358-0",
ISBN-13 = "978-0-13-031358-4",
LCCN = "QA76.76.O63 T359 2001",
bibdate = "Wed Apr 12 05:42:19 MDT 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
z3950.loc.gov:7090/Voyager",
acknowledgement = ack-nhfb,
keywords = "GNU/Linux; MINIX; UNIX; Windows 2000",
subject = "Operating systems (Computers)",
}
@Article{Howatt:2002:OSP,
author = "James Howatt",
title = "Operating systems projects: {Minix} revisited",
journal = j-SIGCSE,
volume = "34",
number = "4",
pages = "109--111",
month = dec,
year = "2002",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/820127.820179",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 16:56:58 MST 2012",
bibsource = "DBLP;
http://dblp.uni-trier.de/db/journals/sigcse/sigcse34.html#Howatt02;
http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/sigcse2000.bib",
URL = "ftp://ftp.math.utah.edu/pub/mirrors/ftp.ira.uka.de/bibliography/Misc/DBLP/2002.bib",
abstract = "The author argues for the use of a real, albeit
educational-strength, operating system, instead of
simulators, on which to base operating systems
projects. Minix developers have created a version that
can be run on Windows and Unix platforms, without the
need for hard-drive partitioning. Sample projects
demonstrate how Minix can be used to reinforce
operating systems concepts.",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
@InProceedings{Ostrand:2002:DFL,
author = "T. J. Ostrand and E. J. Weyuker",
title = "The Distribution of Faults in a Large Industrial
Software System",
crossref = "Frankl:2002:IPA",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "55--64",
year = "2002",
bibdate = "Fri Dec 14 15:10:43 2012",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
keywords = "Minix",
}
@MastersThesis{Lakshmi:2004:IMM,
author = "Narasimhan Krishnan Lakshmi",
title = "Improving {MINIX} memory management",
type = "Thesis ({M.S.})",
school = "Kansas State University",
address = "Manhattan, KS 66506, USA",
pages = "vi + 62",
year = "2004",
bibdate = "Wed Apr 12 06:13:44 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
}
@MastersThesis{Noll:2004:MDD,
author = "Ryan P. Noll",
title = "{Minix} device driver for the {AMD PCnet32}",
type = "Thesis ({B.S.})",
school = "California Polytechnic State University",
address = "San Luis Obispo, CA, USA",
pages = "various",
year = "2004",
bibdate = "Wed Apr 12 06:15:39 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
}
@InProceedings{Swift:2004:RDD,
author = "M. M. Swift and M. Annamalai and B. N. Bershad and H.
M. Levy",
editor = "????",
booktitle = "Proceedings of the 6th Symposium on Operating System
Design and Implementation",
title = "Recovering Device Drivers",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "1--15",
year = "2004",
ISBN = "????",
ISBN-13 = "????",
LCCN = "????",
bibdate = "Fri Dec 14 15:18:04 2012",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
keywords = "Minix",
xxnote = "This OSDI'04 conference proceedings is missing from
the ACM Portal database, and searches in numerous large
library catalogs have failed to locate it??",
}
@Article{Heiser:2005:SES,
author = "Gernot Heiser",
title = "Secure Embedded Systems Need Microkernels",
journal = j-LOGIN,
volume = "30",
number = "6",
pages = "??--??",
month = dec,
year = "2005",
CODEN = "LOGNEM",
ISSN = "1044-6397",
bibdate = "Tue Apr 11 10:52:59 MDT 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/usenix2000.bib;
http://www.usenix.org/publications/login/2005-12/index.html",
URL = "http://www.usenix.org/publications/login/2005-12/pdfs/heiser.pdf",
acknowledgement = ack-nhfb,
fjournal = ";login: the USENIX Association newsletter",
keywords = "MINIX",
}
@InProceedings{Herder:2005:ROS,
author = "Jorrit N. Herder",
editor = "????",
booktitle = "{Proceedings of the First EuroSys Doctoral Workshop,
23 October 2005, Brighton, UK}",
title = "Reliable Operating Systems: Research Summary",
publisher = "????",
address = "????",
pages = "??--??",
year = "2005",
DOI = "????",
ISBN = "????",
ISBN-13 = "????",
LCCN = "????",
bibdate = "Fri Oct 24 08:42:46 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/jorrit-herder/eurosys-dw05-talk.pdf",
acknowledgement = ack-nhfb,
pagecount = "13",
xxtitle = "Design and Implementation of a Reliable Operating
System",
}
@MastersThesis{Herder:2005:TTM,
author = "Jorrit N. Herder",
title = "Towards a True Microkernel Operating System: A
revision of {MINIX} that brings quality enhancements
and strongly reduces the kernel in size by moving
device drivers to user-space",
type = "{Master of Science} thesis",
school = "Department of Computer Science, Faculty of Sciences,
Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "xvi + 117",
day = "23",
month = feb,
year = "2005",
bibdate = "Fri Oct 24 09:05:58 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/doc/herder_thesis.pdf;
http://www.minix3.org/theses/herder-true-microkernel.pdf",
abstract = "An operating system forms the foundation for all of
the user's computer activities. Therefore, it should be
trustworthy and function flawlessly. Unfortunately,
today's operating systems, such as Windows and Linux,
fail to deliver to this ideal, because they suffer from
fundamental design flaws and bugs. Their monolithic
kernel tend be overloaded with functionality that runs
at the highest privilege level. This easily introduces
bugs and breaches the Principle of Least Authorization
(POLA) with all the related risks. A malfunctioning
third-party device driver, for example, can easily reek
havoc on the system and leave it in a state of total
mayhem.\par
Microkernel operating systems have a different design
that makes them less vulnerable to these problems. A
microkernel provides only a minimal set of abstractions
that runs at the highest privilege level. Extended
operating system functionality is typically available
by means of user-space servers. By splitting an
operating system into small, independent parts, the
system becomes less complex and more robust, because
the smaller parts are more manageable and help to
isolate faults, respectively.\par
This thesis describes an effort to create a more
reliable operating system by exploiting modularity.
MINIX was chosen as the base operating system for this
project because it already is relatively small and
simple, but provides POSIX compliance at the same time.
MINIX? kernel can be characterized as a hybrid
microkernel because it includes device drivers. MINIX?
memory manager (MM) and file system (FS), however, are
already implemented as independent user-space
servers.\par
The main contribution of this work is that MINIX was
fully revised to become a true microkernel operating
system. In kernel-space, several system calls were
added to support the user-space device drivers, MINIX?
interprocess communication (IPC) facilities were
improved, and a new shutdown sequence was realized. In
user-space, a new information server (IS) was set up to
handle debugging dumps and a library was created to
maintain a list watchdog timers. These modifications
made it possible to strongly reduce the size of MINIX?
kernel by transforming the PRINTER, MEMORY, AT WINI,
FLOPPY and TTY tasks into independent, user-space
device drivers.",
acknowledgement = ack-nhfb,
}
@InProceedings{Yumerefendi:2005:RAD,
author = "A. R. Yumerefendi and J. S. Chase",
editor = "????",
booktitle = "Proceedings of the 1st Workshop on Hot Topics in
System Dependability",
title = "The Role of Accountability in Dependable Distributed
Systems",
publisher = pub-USENIX,
address = pub-USENIX:adr,
pages = "??--??",
year = "2005",
ISBN = "????",
ISBN-13 = "????",
LCCN = "????",
bibdate = "Fri Dec 14 15:16:56 2012",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
keywords = "Minix",
xxnote = "I cannot locate this proceedings in numerous large
library catalogs, or at the Usenix Web site?? The
earliest holdings there appear to be for HotDep '06.",
}
@MastersThesis{Alting:2006:MPM,
author = "Ingmar A. Alting",
title = "{MinixPPC}: a port of the {MINIX OS} to the {PowerPC}
platform: Creating a programming model for architecture
independency [sic]",
type = "Masters thesis",
school = "Department of Computer Science, Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "xi + 83 + 59",
day = "15",
month = sep,
year = "2006",
bibdate = "Wed Jan 09 08:22:16 2008",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/doc/alting_thesis.pdf",
abstract = "The main goal of this project is to indicate what it
means to port an operating system from one architecture
to another, and provide a programming paradigm that
would make future ports easy and fast.\par
The natively supported architecture of MINIX is the IBM
PC compatible, that's built around the Intel
architecture. This is a CISC architecture with hardware
support for easy stack usage. The choice for the POWER
architecture could not have been further away as this
is a RISC architecture, and completely different in
many ways.\par
This thesis will [sic] focuses on the model created for
creating portable system code. Not to be confused with
portable programs using a standard API. It will
describe the changes made and problems faced porting
the MINIX code base. The places where changes are made
can be viewed as hotspots. For every new architecture
compatibility problems are to be expected there. Some
hotspots are used as example and the solution taken for
MinixPPC is presented to the reader.\par
A number of problems were found at the start of the
project. The MINIX OS is (still) using the old {\tt
a.out} format for it's executables. There is no
(recent) public compiler kit that is able to generate
{\tt a.out} format executables for the PowerPC. A
utility program had to be written to convert a minimum
section count Elf32 executable to {\tt a.out} format.
This way the installed compiler kit from host OS can be
used, which is a recent version of the GNU/C compiler.
Getting the kernel to load and executed by the boot
software of the PowerPC architecture was the next
challenge. With the aid of Open Source software a
preliminary scheme is created until MinixPPC is able to
compile itself. This introduces a new project of
getting a recent version of the GCC compiler kit ported
to MinixPPC.\par
The following reasoning defines the choice for the
driver model used in the creation of MinixPPC.\par
(1) System dependencies are located inside devices
drivers. Defining a method to create and develop device
drivers that have isolated system dependencies
contribute to the portability of the driver (this could
isolate the whole driver).\par
(2) The CPU is (just) a device.\par
(3) Creating a device driver for the CPU isolates the
CPU functionality from the rest of the system.\par
(4) With every device hidden behind its driver,
architecture dependent and independent code are
separated.\par
In principle the CPU could have multiple devices
inside, for example MMU and timers. For MinixPPC a
logical separation is made by creating two drivers for
the CPU, the Memory and System driver. At the moment
MinixPPC is able to boot, access a MINIX v3 file system
and run programs, but there are still problems. Not all
system calls are debugged and the system must be
thoroughly tested. The difficult part of the MinixPPC
project is done, but there is more work ahead. There is
working code and to some degree only hard work is
needed, most of the figuring-out, and trial-and-error
is done.",
acknowledgement = ack-nhfb,
}
@MastersThesis{Alting:2006:PMP,
author = "Ingmar Alting",
title = "{MinixPPC}: A Port of the {MINIX OS} to the {PowerPC}
Platform: Creating a programming model for architecture
independency",
type = "{Master}'s thesis in Computer Science",
school = "Department of Computer Science, Faculty of Sciences,
Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "xii + 83 + 59 (Appendices)",
day = "15",
month = sep,
year = "2006",
bibdate = "Fri Oct 24 09:04:39 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/theses/alting-powerpc-port.pdf",
acknowledgement = ack-nhfb,
}
@Article{Du:2006:NAC,
author = "Wenliang Du and Mingdong Shang and Haizhi Xu",
title = "A novel approach for computer security education using
{Minix} instructional operating system",
journal = j-COMPUT-SECUR,
volume = "25",
number = "3",
pages = "190--200",
month = may,
year = "2006",
CODEN = "CPSEDU",
ISSN = "0167-4048 (print), 1872-6208 (electronic)",
ISSN-L = "0167-4048",
bibdate = "Mon Sep 23 09:46:02 MDT 2019",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computsecur2000.bib;
http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.sciencedirect.com/science/article/pii/S0167404805001550",
acknowledgement = ack-nhfb,
fjournal = "Computers \& Security",
journal-URL = "http://www.sciencedirect.com/science/journal/01674048",
}
@InProceedings{Fraser:2006:AFS,
author = "Timothy Fraser and Nick L. {Petroni, Jr.} and William
A. Arbaugh",
title = "Applying flow-sensitive {CQUAL} to verify {MINIX}
authorization check placement: 3",
crossref = "ACM:2006:PWP",
pages = "3--6",
year = "2006",
DOI = "https://doi.org/10.1145/1134744.1134747",
bibdate = "Sat Aug 26 06:52:32 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "We present the first use of flow-sensitive CQUAL to
verify the placement of operating system authorization
checks. Our analysis of MINIX 3 system servers and
discovery of a non-exploitable Time-Of-Check\slash
Time-Of-Use bug demonstrate the effectiveness of flow
sensitive CQUAL and its advantage over earlier
flow-insensitive versions. We also identify and suggest
alternatives to current CQUAL usability features that
encourage analysts to make omissions that cause the
otherwise sound tool to produce false-negative
results.",
acknowledgement = ack-nhfb,
}
@MastersThesis{Gerofi:2006:DIM,
author = "Bal{\'a}zs Ger{\H{o}}fi",
title = "Design and Implementation of the {MINIX} Virtual File
System",
type = "{Master}'s thesis in Computer Science",
school = "Department of Computer Science, Faculty of Sciences,
Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "xii + 108",
month = aug,
year = "2006",
bibdate = "Fri Oct 24 09:02:17 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/theses/gerofi-minix-vfs.pdf",
acknowledgement = ack-nhfb,
advisor = "Andrew S. Tanenbaum",
}
@MastersThesis{Gerofi:2006:MVD,
author = "Bal{\'a}zs Ger{\H{o}}fi",
title = "{MINIX VFS}: Design and implementation of the {MINIX
Virtual File} system",
type = "Masters thesis",
school = "Department of Computer Science, Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "x + 108",
month = aug,
year = "2006",
bibdate = "Wed Jan 09 08:09:02 2008",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/doc/gerofi_thesis.pdf",
abstract = "The Virtual File system (VFS) is an abstraction layer
over the file system implementations in the operating
system. It handles all system calls related to the file
system and allows for client applications to access
different types of file systems in a uniform way. It
also provides a common interface to several kinds of
file system implementations. The VFS layer was
introduced first in the SunOS and it is present in many
modern operating systems.\par
MINIX 3 is a microkernel based POSIX compliant
operating system designed to be highly reliable,
flexible, and secure. A minimal kernel provides
interrupt handlers, a mechanism for starting and
stopping processes, a scheduler, and interprocess
communication. Standard operating system functionality
that is present in a monolithic kernel is moved to user
space, and no longer runs at the highest privilege
level. Device drivers, the file system, the network
server and high-level memory management run as separate
user processes that are encapsulated in their private
address space.\par
By splitting an operating system into small,
independent modules, the system becomes less complex
and more robust, because the smaller parts are more
manageable and help to isolate faults.\par
This thesis describes the Virtual File system design
and implementation in the MINIX 3 operating system. It
also gives a comparison to other VFS designs.
Exploiting modularity is a key idea behind MINIX,
therefore the design of the Virtual File system layer
is also driven by this idea. The result is a
substantially different architecture from the Virtual
File system layer in other UNIX-like operating
systems.\par
The main contribution of this work is that the MINIX FS
server was fully revised in order to divide it into an
abstract layer and the actual MINIX file system driver.
New data structures and methods were added to the
virtual layer and modifications were realized in the
actual file system implementation.",
acknowledgement = ack-nhfb,
}
@InProceedings{Herder:2006:AFR,
author = "Jorrit N. Herder and Herbert Bos and Ben Gras and
Philip Homburg and Andrew S. Tanenbaum",
editor = "????",
booktitle = "{Proceedings of the 12th ASCI Conference (ASCI '06),
Lommel, Belgium, June 2006}",
title = "The Architecture of a Fault-Resilient Operating
System",
publisher = "????",
address = "????",
pages = "74--81",
year = "2006",
DOI = "????",
ISBN = "????",
ISBN-13 = "????",
LCCN = "????",
bibdate = "Fri Oct 24 08:26:12 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/jorrit-herder/asci06.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Herder:2006:CHD,
author = "Jorrit N. Herder and Herbert Bos and Ben Gras and
Philip Homburg and Andrew S. Tanenbaum",
editor = "{IEEE}",
booktitle = "{Proceedings, 6th European Dependable Computing
Conference EDCC 2006: 18--20 October 2006, Coimbra,
Portugal}",
title = "Construction of a Highly Dependable Operating System",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "3--12",
year = "2006",
DOI = "????",
ISBN = "0-7695-2648-9",
ISBN-13 = "978-0-7695-2648-5",
LCCN = "QA76.9.F38",
bibdate = "Fri Oct 24 08:23:58 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://ieeexplore.ieee.org/servlet/opac?punumber=4020815;
http://www.eu-egee.org/egee_events/events/edcc-6-sixth-european-dependable-computing-conference-18-20-october-2006-coimbra-portugal/;
http://www.minix3.org/doc/EDCC-2006.pdf;
http://www.minix3.org/docs/jorrit-herder/edcc06.pdf",
abstract = "It has been well established that most operating
system crashes are due to bugs in device drivers.
Because drivers are normally linked into the kernel
address space, a buggy driver can wipe out kernel
tables and bring the system crashing to a grinding
halt.\par
We have greatly mitigated this problem by reducing the
kernel to an absolute minimum and running each driver
as a separate, unprivileged user-mode process. In
addition, we implemented a POSIX-conformant operating
system, MINIX 3, as multiple user-mode servers. In this
design, a server or driver failure no longer is fatal
and does not require rebooting the computer.\par
This paper discusses how we designed and implemented
the system, which problems we encountered, and how we
solved these problems. We also discuss the performance
effects of our changes and evaluate how our multiserver
design improves operating system dependability over
monolithic designs.",
acknowledgement = ack-nhfb,
}
@TechReport{Herder:2006:LMB,
author = "Jorrit N. Herder and Herbert Bos and Andrew S.
Tanenbaum",
title = "A Lightweight Method for Building Reliable Operating
Systems Despite Unreliable Device Drivers",
type = "Technical Report",
number = "IR-CS-018",
institution = "Department of Computer Science, Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "14",
month = jan,
year = "2006",
bibdate = "Wed Jan 09 08:04:48 2008",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/doc/reliable-os.pdf",
abstract = "It has been well established that most operating
system crashes are due to bugs in device drivers.
Because drivers are normally linked into the kernel
address space, a buggy driver can wipe out kernel
tables and bring the system crashing to a halt. We have
greatly mitigated this problem by reducing the kernel
to an absolute minimum and running each driver as a
separate, unprivileged process in user space. In
addition, we implemented a POSIX-conformant operating
system as multiple user-mode processes. In this design,
all that is left in kernel mode is a tiny kernel of
under 3800 lines of executable code for catching
interrupts, starting and stopping processes, and doing
IPC. By moving nearly the entire operating system to
multiple, protected user-mode processes we reduce the
consequences of faults, since a driver failure no
longer is fatal and does not require rebooting the
computer. In fact, our system incorporates a
reincarnation server that is designed to deal with such
errors and often allows for full recovery, transparent
to the application and without loss of data. To achieve
maximum reliability, our design was guided by
simplicity, modularity, least authorization, and fault
tolerance. This paper discusses our lightweight
approach and reports on its performance and
reliability. It also compares our design to other
proposals for protecting drivers using kernel wrapping
and virtual machines.",
acknowledgement = ack-nhfb,
}
@Article{Herder:2006:MHR,
author = "Jorrit N. Herder and Herbert Bos and Ben Gras and
Philip Homburg and Andrew S. Tanenbaum",
title = "{MINIX 3}: a Highly Reliable, Self-Repairing Operating
System",
journal = j-OPER-SYS-REV,
volume = "40",
number = "3",
pages = "80--89",
month = jul,
year = "2006",
CODEN = "OSRED8",
DOI = "https://doi.org/10.1145/1151374.1151391",
ISSN = "0163-5980 (print), 1943-586X (electronic)",
ISSN-L = "0163-5980",
bibdate = "Fri Oct 24 08:49:31 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/opersysrev.bib",
URL = "http://www.minix3.org/doc/OSR-2006.pdf;
http://www.minix3.org/docs/jorrit-herder/osr-jul06.pdf",
abstract = "Different kinds of people use computers now than
several decades ago, but operating systems have not
fully kept pace with this change. It is true that we
have point-and-click GUIs now instead of command line
interfaces, but the expectation of the average user is
different from what it used to be, because the user is
different. Thirty or 40 years ago, when operating
systems began to solidify into their current form,
almost all computer users were programmers, scientists,
engineers, or similar professionals doing heavy-duty
computation, and they cared a great deal about speed.
Few teenagers and even fewer grandmothers spent hours a
day behind their terminal. Early users expected the
computer to crash often; reboots came as naturally as
waiting for the neighborhood TV repairman to come
replace the picture tube on their home TVs. All that
has changed and operating systems need to change with
the times.",
acknowledgement = ack-nhfb,
fjournal = "ACM SIGOPS Operating Systems Review",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J597",
}
@Article{Herder:2006:MSP,
author = "Jorrit N. Herder and Herbert Bos and Ben Gras and
Philip Homburg and Andrew S. Tanenbaum",
title = "Modular System Programming in {MINIX 3}",
journal = j-LOGIN,
volume = "31",
number = "2",
pages = "19--28",
month = apr,
year = "2006",
CODEN = "LOGNEM",
DOI = "????",
ISSN = "1044-6397",
bibdate = "Fri Oct 24 08:50:50 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.usenix.org/publications/login/2006-04/index.html",
URL = "http://www.minix3.org/docs/login-2006.pdf;
http://www.usenix.org/publications/login/2006-04/openpdfs/herder.pdf",
abstract = "When the first modern operating systems were being
developed in the early 1960s, the designers were so
worried about performance that these systems were
written in assembly language, even though high-level
languages such as FORTRAN, MAD, and Algol were well
established. Reliability and security were not even on
the radar. Times have changed and we now need to
reexamine the need for reliability in operating
systems.",
acknowledgement = ack-nhfb,
fjournal = ";login: the USENIX Association newsletter",
}
@InProceedings{Herder:2006:RDD,
author = "Jorrit N. Herder",
editor = "????",
booktitle = "{Proceedings of the First EuroSys Authoring Workshop,
Leuven, Belgium, April 2006}",
title = "Reincarnation of Dead Device Drivers",
publisher = "????",
address = "????",
pages = "??--??",
year = "2006",
DOI = "????",
ISBN = "????",
ISBN-13 = "????",
LCCN = "????",
bibdate = "Fri Oct 24 08:41:41 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/jorrit-herder/eurosys-aw06-talk.pdf",
acknowledgement = ack-nhfb,
pagecount = "21",
}
@InProceedings{Herder:2006:RUR,
author = "Jorrit N. Herder and Herbert Bos and Ben Gras and
Philip Homburg and Andrew S. Tanenbaum",
editor = "Chris Jesshope and Colin Egan",
booktitle = "{Advances in Computer Systems Architecture 11th
Asia-Pacific Conference, ACSAC 2006, Shanghai, China,
September 6--8, 2006, Proceedings}",
title = "Reorganizing {UNIX} for Reliability",
crossref = "Jesshope:2006:ACS",
publisher = pub-SV,
address = pub-SV:adr,
bookpages = "xiv + 605",
pages = "81--94",
year = "2006",
DOI = "????",
ISBN = "3-540-40056-7, 3-540-40058-3",
ISBN-13 = "978-3-540-40056-1, 978-3-540-40058-5",
ISSN = "0302-9743 (print), 1611-3349 (electronic)",
ISSN-L = "0302-9743",
LCCN = "QA76.9.A73 A28 2006",
bibdate = "Fri Oct 24 08:25:00 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/doc/ACSAC-2006.pdf;
http://www.minix3.org/docs/jorrit-herder/acsac06.pdf",
abstract = "In this paper, we discuss the architecture of a
modular UNIX-compatible operating system, MINIX 3, that
provides reliability beyond that of most other systems.
With nearly the entire operating system running as a
set of user-mode servers and drivers atop a minimal
kernel, the system is fully compartmentalized.\par
By moving most of the code to unprivileged user-mode
processes and restricting the powers of each one, we
gain proper fault isolation and limit the damage bugs
can do. Moreover, the system has been designed to
survive and automatically recover from failures in
critical modules, such as device drivers, transparent
to applications and without user intervention.\par
We used this new design to develop a highly reliable,
open-source, POSIX-conformant member of the UNIX
family. The resulting system is freely available and
has been downloaded over 75,000 times since its
release.",
acknowledgement = ack-nhfb,
book-DOI = "https://doi.org/10.1007/11859802",
pagecount = "14",
}
@TechReport{Herder:2006:WAD,
author = "J. N. Herder and H. Bos and B. Gras and P. Homburg and
A. S. Tanenbaum",
title = "Who's Afraid of Dead Device Drivers?",
type = "Technical Report",
number = "IR-CS-D29",
institution = "Department of Computer Science, Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "??",
year = "2006",
bibdate = "Fri Dec 14 15:15:37 2012",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
keywords = "Minix",
}
@MastersThesis{Kelly:2006:PMX,
author = "Ivan Kelly",
title = "Porting {MINIX} to {Xen}",
type = "Final year project",
institution = "University of Limerick",
school = "Department of Computer Science, University of
Limerick",
address = "Limerick, Ireland",
pages = "vii + 45",
day = "8",
month = may,
year = "2006",
bibdate = "Fri Oct 24 09:09:23 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://minixonxen.skynet.ie/cgi-bin/trac.cgi/attachment/wiki/Report/Report.pdf?format=raw;
http://www.minix3.org/theses/kelly-xen.pdf",
abstract = "Virtualisation has received a lot of attention from
the I.T. media lately. Paravirtualisation in particular
has drawn a lot of attention due to its high
performance. Paravirtualised virtual machines run at
near native speeds. Operating systems must be modified
to run on paravirtualised platforms.\par
Developers starting out in the field of
paravirtualisation face a steep learning curve. This
project hopes to soften that curve, by supplying
developers with an insight into the porting of an
operating system to a paravirtualised platform. In this
case, the MINIX operating system is ported to the Xen
platform.",
acknowledgement = ack-nhfb,
}
@MastersThesis{Meurs:2006:BPM,
author = "Rogier Meurs",
title = "Building Performance Measurement Tools for the {MINIX
3} Operating System",
type = "{Master}'s thesis",
school = "Department of Computer Science, Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "iv + 59",
month = aug,
year = "2006",
bibdate = "Fri Oct 24 09:05:25 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/doc/meurs_thesis.pdf;
http://www.minix3.org/theses/meurs-profiling-tools.pdf",
abstract = "The efficiency of computer programs has been always a
big theme in the history of computing. In the early
days, programs were written in the machine's native
instruction set to squeeze every bit of performance out
of the CPU. Nowadays most programs are written in
higher level languages which impose an overhead but
ease the job of programming. Some languages are based
on program execution by an interpreter, which slows
down execution even more. However, the programming
language is not the only factor influencing the speed
of execution. A simple programming error or the wrong
choice of data structure or sort algorithm could cause
a program to execute orders of magnitudes slower then
needed. To detect the existence or even find the
location of such an error in a program is not always a
trivial task.",
acknowledgement = ack-nhfb,
}
@Article{Tanenbaum:2006:CWM,
author = "Andrew S. Tanenbaum and Jorrit N. Herder and Herbert
Bos",
title = "Can We Make Operating Systems Reliable and Secure?",
journal = j-COMPUTER,
volume = "39",
number = "5",
pages = "44--51",
month = may,
year = "2006",
CODEN = "CPTRB4",
DOI = "https://doi.org/10.1109/MC.2006.156",
ISSN = "0018-9162 (print), 1558-0814 (electronic)",
ISSN-L = "0018-9162",
bibdate = "Fri Oct 24 08:45:10 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computer2000.bib;
http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "Cover feature.",
URL = "http://www.computer.org/csdl/mags/co/2006/05/r5044-abs.html",
abstract = "Microkernels long discarded as unacceptable because of
their lower performance compared with monolithic
kernels might be making a comeback in operating systems
due to their potentially higher reliability, which many
researchers now regard as more important than
performance. Each of the four different attempts to
improve operating system reliability focuses on
preventing buggy device drivers from crashing the
system. In the Nooks approach, each driver is
individually hand wrapped in a software jacket to
carefully control its interactions with the rest of the
operating system, but it leaves all the drivers in the
kernel. The paravirtual machine approach takes this one
step further and moves the drivers to one or more
machines distinct from the main one, taking away even
more power from the drivers. Both of these approaches
are intended to improve the reliability of existing
(legacy) operating systems. In contrast, two other
approaches replace legacy operating systems with more
reliable and secure ones. The multiserver approach runs
each driver and operating system component in a
separate user process and allows them to communicate
using the microkernel's IPC mechanism. Finally,
Singularity, the most radical approach, uses a
type-safe language, a single address space, and formal
contracts to carefully limit what each module can do.",
acknowledgement = ack-nhfb,
fjournal = "Computer",
journal-URL = "http://www.computer.org/portal/web/csdl/magazines/computer;
http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=2",
}
@Book{Tanenbaum:2006:OSD,
author = "Andrew S. Tanenbaum and Albert S. Woodhull",
title = "Operating systems: design and implementation",
publisher = pub-PEARSON-PH,
address = pub-PEARSON-PH:adr,
edition = "Third",
pages = "xvii + 1054",
year = "2006",
ISBN = "0-13-142938-8",
ISBN-13 = "978-0-13-142938-3",
LCCN = "QA76.76.O63 T36 2006",
bibdate = "Wed Apr 12 05:42:39 MDT 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/unix.bib;
z3950.loc.gov:7090/Voyager",
acknowledgement = ack-nhfb,
keywords = "MINIX 3",
subject = "Operating systems (Computers)",
tableofcontents = "Chapter 1 introduction \\
1.1 What is an operating system? \\
1.2 History of operating systems \\
1.3 Operating system concepts \\
1.4 System calls \\
1.5 Operating system structure \\
1.6 Outline of the rest of this book \\
1.7 Summary \\
Chapter 2 Processes \\
2.1 Introduction to processes \\
2.2 Interprocess communication \\
2.3 Classical IPC problems \\
2.4 Scheduling \\
2.5 Overview of processes in Minix 3 \\
2.6 Implementation of processes in Minix 3 \\
2.7 The system task in Minix 3 \\
2.8 The clock task in Minix 3 \\
2.9 Summary \\
Chapter 3 input/output \\
3.1 Principles of I/O hardware \\
3.2 Principles of I/O software \\
3.3 Deadlocks \\
3.4 Overview of I/O in Minix 3 \\
3.5 Block devices in Minix 3 \\
3.6 RAM disks \\
3.7 Disks \\
3.8 Terminals \\
3.9 Summary \\
Chapter 4 memory management \\
4.1 Basic memory management \\
4.2 Swapping \\
4.3 Virtual memory \\
4.4 Page replacement algorithms \\
4.5 Design issues for paging systems \\
4.6 Segmentation \\
4.7 Overview of the Minix 3 process manager \\
4.8 Implementation of the Minix 3 process manager \\
4.9 Summary \\
Chapter 5 file systems \\
5.1 Files \\
5.2 Directories \\
5.3 File system implementation \\
5.4 Security \\
5.5 Protection mechanisms \\
5.6 Overview of the Minix 3 file system \\
5.7 Implementation of the Minix 3 file system \\
5.8 Summary \\
Chapter 6 Reading list and bibliography \\
6.1 Suggestions for further reading \\
6.2 Alphabetical bibliography \\
Appendix A - Installing Minix 3 \\
Appendix B - Minix 3 source code listing \\
Appendix C - Index to files \\
Index",
}
@Article{Du:2007:SSI,
author = "Wenliang Du and Zhouxuan Teng and Ronghua Wang",
title = "{SEED}: a suite of instructional laboratories for
computer {SEcurity EDucation}",
journal = j-SIGCSE,
volume = "39",
number = "1",
pages = "486--490",
month = mar,
year = "2007",
CODEN = "SIGSD3",
DOI = "https://doi.org/10.1145/1227504.1227474",
ISSN = "0097-8418 (print), 2331-3927 (electronic)",
ISSN-L = "0097-8418",
bibdate = "Sat Nov 17 16:57:32 MST 2012",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/sigcse2000.bib",
abstract = "To provide students with hands-on exercises in
computer security education, we have developed a
laboratory environment (SEED) for computer security
education. It is based on VMware, Minix, and Linux, all
of which are free for educational uses. Based on this
environment, we have developed ten labs, covering a
wide range of security principles. We have used these
labs in our three courses in the last four years. This
paper presents our SEED lab environment, SEED labs, and
our evaluation results.",
acknowledgement = ack-nhfb,
fjournal = "SIGCSE Bulletin (ACM Special Interest Group on
Computer Science Education)",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J688",
}
@InProceedings{Herder:2007:FRD,
author = "Jorrit N. Herder and Herbert Bos and Ben Gras and
Philip Homburg and Andrew S. Tanenbaum",
editor = "{IEEE}",
booktitle = "{Proceedings of the 37th Annual IEEE\slash IFIP
International Conference on Dependable Systems and
Networks (DSN '07), Edinburgh, UK, June 2007}",
title = "Failure Resilience for Device Drivers",
publisher = pub-IEEE,
address = pub-IEEE:adr,
bookpages = "xxv + 817",
pages = "41--50",
year = "2007",
DOI = "????",
ISBN = "0-7695-2855-4",
ISBN-13 = "978-0-7695-2855-7",
LCCN = "QA76.9.F38 I324 2007",
bibdate = "Fri Oct 24 08:22:21 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/jorrit-herder/dsn-dccs07.pdf",
acknowledgement = ack-nhfb,
}
@Article{Herder:2007:RFR,
author = "Jorrit N. Herder and Herbert Bos and Ben Gras and
Philip Homburg and Andrew S. Tanenbaum",
title = "Roadmap to a Failure-Resilient Operating System",
journal = j-LOGIN,
volume = "32",
number = "1",
pages = "14--20",
month = feb,
year = "2007",
CODEN = "LOGNEM",
DOI = "????",
ISSN = "1044-6397",
ISSN-L = "1044-6397",
bibdate = "Fri Oct 24 08:48:06 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/usenix2000.bib;
https://www.usenix.org/publications/login",
URL = "http://www.minix3.org/docs/login-2007.pdf;
https://www.usenix.org/publications/login/february-2007-volume-32-number-1/roadmap-failure-resilient-operating-system",
acknowledgement = ack-nhfb,
fjournal = ";login: the USENIX Association newsletter",
keywords = "MINIX",
}
@MastersThesis{vanMoolenbroek:2007:MSM,
author = "David van Moolenbroek",
title = "Multimedia Support for {MINIX 3}",
type = "{Master}'s thesis in Computer Science",
school = "Department of Computer Science, Faculty of Sciences,
Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "187",
month = sep,
year = "2007",
bibdate = "Fri Oct 24 09:01:09 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/doc/moolenbroek_thesis.pdf;
http://www.minix3.org/theses/moolenbroek-multimedia-support.pdf",
acknowledgement = ack-nhfb,
}
@MastersThesis{Ahmad:2008:MCC,
author = "Feisal S. Ahmad",
title = "{MINIX 3} {C} Compiler Performance: Comparing the
{Amsterdam Compiler Kit} to the {GNU Compiler
Collection} on x86 systems",
type = "{Bachelor}'s thesis",
school = "Department of Computer Science, Faculty of Sciences,
Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "27 + 26 (appendix)",
day = "9",
month = jun,
year = "2008",
bibdate = "Fri Oct 24 09:06:42 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/theses/ahmad-cc-performance.pdf;
http://www.minix3.org/theses/ahmad-cc-performance_appendix.pdf",
acknowledgement = ack-nhfb,
}
@MastersThesis{deSmit:2008:FHS,
author = "Jens de Smit",
title = "Finding hot spots in {MINIX 3}",
type = "{Bachelor}'s thesis",
school = "Department of Computer Science, Faculty of Sciences,
Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "15",
day = "7",
month = jan,
year = "2008",
bibdate = "Fri Oct 24 09:07:30 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/theses/smit-finding-hot-spots.pdf",
acknowledgement = ack-nhfb,
}
@Article{Du:2008:SSI,
author = "Wenliang Du and Ronghua Wang",
title = "{SEED}: a Suite of Instructional Laboratories for
Computer Security Education",
journal = j-JERIC,
volume = "8",
number = "1",
pages = "3:1--3:??",
month = mar,
year = "2008",
CODEN = "????",
DOI = "https://doi.org/10.1145/1348713.1348716",
ISSN = "1531-4278",
bibdate = "Fri Jun 20 10:13:08 MDT 2008",
bibsource = "http://www.acm.org/pubs/contents/journals/jeric/;
http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "The security and assurance of our computing
infrastructure has become a national priority. To
address this priority, higher education has gradually
incorporated the principles of computer and information
security into the mainstream undergraduate and graduate
computer science curricula. To achieve effective
education, learning security principles must be
grounded in experience. This calls for effective
laboratory exercises (or course projects). Although a
number of laboratories have been designed for security
education, they only cover a small portion of the
fundamental security principles. Moreover, their
underlying lab environments are different, making
integration of these laboratories infeasible for a
semester-long course. Currently, security laboratories
that can be widely adopted are still lacking, and they
are in great demand in security education.\par
We have developed a novel laboratory environment
(referred to as SEED). The SEED environment consists of
Minix, an instructional operating system (OS), and
Linux, a production OS; it takes advantage of the
simplicity of Minix and the completeness of Linux, and
provides a unified platform to support a rich set of
laboratories for computer security education. Based on
the SEED environment, we have developed a list of
laboratories that cover a wide spectrum of security
principles. These labs provide opportunities for
students to develop essential skills for secure
computing practice. We have been using these labs in
our courses during the last five years. This article
presents our SEED environment, laboratories, and
evaluation results.",
acknowledgement = ack-nhfb,
articleno = "3",
fjournal = "ACM Journal on Educational Resources in Computing
(JERIC)",
keywords = "education; instructional laboratories; security",
}
@InProceedings{Herder:2008:CIT,
author = "Jorrit N. Herder and Herbert Bos and Ben Gras and
Philip Homburg and Andrew S. Tanenbaum",
editor = "{IEEE}",
booktitle = "{PRDC 2008: the 14th IEEE Pacific Rim International
Symposium on Dependable Computing: proceedings: 15--17
December, 2008, Taipei, Taiwan}",
title = "Countering {IPC} Threats in Multiserver Operating
Systems",
publisher = pub-IEEE,
address = pub-IEEE:adr,
bookpages = "358",
pages = "112--121",
year = "2008",
DOI = "????",
ISBN = "0-7695-3448-1, 1-4244-4094-7",
ISBN-13 = "978-0-7695-3448-0, 978-1-4244-4094-8",
LCCN = "QA76.9.F38 P33 2008",
bibdate = "Fri Oct 24 08:19:04 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://ieeexplore.ieee.org/servlet/opac?punumber=4725263;
http://www.minix3.org/docs/jorrit-herder/prdc08.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Giuffrida:2009:CUN,
author = "Cristiano Giuffrida and Andrew S. Tanenbaum",
editor = "Shail Arora",
booktitle = "{HOTSWUP '09: Proceedings of the second International
Workshop on Hot Topics in Software Upgrades, October
25, 2009, Orlando, Florida}",
title = "Cooperative Update: a New Model for Dependable Live
Update",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "1--6",
year = "2009",
DOI = "????",
ISBN = "1-60558-723-0",
ISBN-13 = "978-1-60558-723-3",
LCCN = "QA76.76.S64 I584 2009",
bibdate = "Fri Oct 24 08:40:54 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://dl.acm.org/citation.cfm?id=1656437;
http://www.cs.vu.nl/%7Egiuffrida/papers/hotswup-2009.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Herder:2009:DDF,
author = "Jorrit N. Herder and David C. van Moolenbroek and Raja
Appuswamy and Bingzheng Wu and Ben Gras and Andrew S.
Tanenbaum",
editor = "{IEEE}",
booktitle = "{LADC 2009: 2009 Fourth Latin-American Symposium on
Dependable Computing: proceedings: 1--4 September 2009,
Jo{\~o} Pessoa, Para{\'\i}ba, Brazil}",
title = "Dealing with Driver Failures in the Storage Stack",
publisher = pub-IEEE,
address = pub-IEEE:adr,
bookpages = "138",
pages = "119--126",
year = "2009",
DOI = "????",
ISBN = "0-7695-3760-X, 1-4244-4678-3 (print)",
ISBN-13 = "978-0-7695-3760-3, 978-1-4244-4678-0 (print)",
LCCN = "QA76.9.F3",
bibdate = "Fri Oct 24 08:16:26 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "Best paper award.",
URL = "http://www.minix3.org/docs/jorrit-herder/ladc09.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Herder:2009:FID,
author = "Jorrit N. Herder and Herbert Bos and Ben Gras and
Philip Homburg and Andrew S. Tanenbaum",
editor = "{IEEE}",
booktitle = "{Proceedings of the 39th IEEE\slash IFIP International
Conference on Dependable Systems and Networks (DSN 09),
June 29, 2009--July 2, 2009, Estoril, Lisbon,
Portugal}",
title = "Fault Isolation for Device Drivers",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "33--42",
year = "2009",
DOI = "https://doi.org/10.1109/DSN.2009.5270357",
ISBN = "1-4244-4421-7, 1-4244-4422-5 (print)",
ISBN-13 = "978-1-4244-4421-2, 978-1-4244-4422-9 (print)",
LCCN = "QA76.9.F38",
bibdate = "Fri Oct 24 08:18:04 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "IEEE catalog number CFP09048-CDR.",
URL = "http://dl.acm.org/citation.cfm?id=2451116;
http://ieeexplore.ieee.org/servlet/opac?punumber=5243642;
http://www.minix3.org/docs/jorrit-herder/dsn-dccs09.pdf",
acknowledgement = ack-nhfb,
keywords = "MINIX",
}
@TechReport{Linnenbank:2009:IIP,
author = "Niek Q. Linnenbank",
title = "Implementing the {Intel Pro\slash 1000} on {MINIX 3}",
type = "Course project",
institution = "Department of Computer Science, Faculty of Sciences,
Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "i + 41",
day = "12",
month = dec,
year = "2009",
bibdate = "Fri Oct 24 09:10:17 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/theses/linnenbank-ipa.pdf",
acknowledgement = ack-nhfb,
advisor = "Andrew S. Tanenbaum",
}
@Article{Mancina:2009:EDM,
author = "Antonio Mancina and Dario Faggioli and Giuseppe Lipari
Jorrit N. Herder and Ben Gras and Andrew S. Tanenbaum",
title = "Enhancing a Dependable Multiserver Operating System
with Temporal Protection via Resource Reservations",
journal = j-REAL-TIME-SYST,
volume = "43",
number = "2",
pages = "177--210",
month = oct,
year = "2009",
CODEN = "RESYE9",
DOI = "https://doi.org/10.1007/s11241-009-9086-5",
ISSN = "0922-6443 (print), 1573-1383 (electronic)",
ISSN-L = "0922-6443",
bibdate = "Fri Oct 24 08:43:48 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "Best paper award.",
URL = "http://link.springer.com/article/10.1007%2Fs11241-009-9086-5;
http://www.minix3.org/docs/jorrit-herder/rtns08.pdf",
acknowledgement = ack-nhfb,
fjournal = "Real-Time Systems",
pagecount = "10",
remark = "{Special issue: Real-time networking systems: [the
Real-Time and Network Systems Conference (RTNS)
\ldots{} the 16th edition was held in Rennes, France,
in October 2008], edited by Pascale Minet.}",
}
@Book{Tanenbaum:2009:OSD,
author = "Andrew S. Tanenbaum and Albert S. Woodhull",
title = "Operating systems: design and implementation",
publisher = pub-PEARSON-PH,
address = pub-PEARSON-PH:adr,
edition = "Third",
pages = "xvii + 1054",
year = "2009",
ISBN = "0-13-505376-5",
ISBN-13 = "978-0-13-505376-8",
LCCN = "????",
bibdate = "Mon Sep 13 09:05:04 MDT 2010",
bibsource = "fsz3950.oclc.org:210/WorldCat;
http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
remark = "This seems to be a reprint, with new ISBN, of
\cite{Tanenbaum:2006:OSD}.",
subject = "MINIX; Operating systems (Computers)",
}
@MastersThesis{vanderKouwe:2009:PQV,
author = "Erik van der Kouwe",
title = "Porting the {QEMU} Virtualization Software to {MINIX
3}",
type = "{Master}'s thesis",
school = "????",
address = "????",
pages = "????",
month = "????",
year = "2009",
bibdate = "Fri Oct 24 08:59:21 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.few.vu.nl/%7Evdkouwe/doc/msc-thesis-cs-presentation-erik-van-der-kouwe.pdf;
http://www.minix3.org/theses/kouwe-qemu.pdf",
acknowledgement = ack-nhfb,
}
@MastersThesis{Veerman:2009:DUF,
author = "Thomas Veerman",
title = "Dynamic Updates and Failure Resistance for the {Minix}
File Server",
type = "{Master of Science}'s thesis",
school = "Department of Computer Science, Faculty of Sciences,
Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "ix + 71",
day = "11",
month = may,
year = "2009",
bibdate = "Fri Oct 24 09:00:01 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/theses/veerman-dynamic-updates.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Appuswamy:2010:BLR,
author = "Raja Appuswamy and David C. van Moolenbroek and Andrew
S. Tanenbaum",
editor = "????",
booktitle = "{Proceedings of the Second Workshop on Hot Topics in
Storage and File Systems (HotStorage '10), Boston, June
2010}",
title = "Block-level {RAID} is dead",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "??--??",
year = "2010",
DOI = "????",
ISBN = "????",
ISBN-13 = "????",
LCCN = "????",
bibdate = "Fri Oct 24 08:39:36 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/loris/HotStorage2010.pdf",
acknowledgement = ack-nhfb,
pagecount = "5",
}
@InProceedings{Appuswamy:2010:LDM,
author = "Raja Appuswamy and David C. van Moolenbroek and Andrew
S. Tanenbaum",
editor = "{IEEE}",
booktitle = "{Proceedings 16th IEEE Pacific Rim International
Symposium on Dependable Computing: PRDC 2010: 13--15
December 2010, Tokyo, Japan}",
title = "{Loris} --- A Dependable, Modular File-Based Storage
Stack",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "165--174",
year = "2010",
DOI = "????",
ISBN = "1-4244-8975-X, 0-7695-4289-1",
ISBN-13 = "978-1-4244-8975-6, 978-0-7695-4289-8",
LCCN = "QA76.9.F38",
bibdate = "Fri Oct 24 08:15:30 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://ieeexplore.ieee.org/servlet/opac?punumber=5702592;
http://www.minix3.org/docs/loris/PRDC2010.pdf",
acknowledgement = ack-nhfb,
}
@Article{Byfield:2010:IM,
author = "Bruce Byfield",
title = "An introduction to {MINIX}",
journal = j-LINUX-J,
volume = "2010",
number = "194",
pages = "5:1--5:??",
month = jun,
year = "2010",
CODEN = "LIJOFX",
ISSN = "1075-3583 (print), 1938-3827 (electronic)",
ISSN-L = "1075-3583",
bibdate = "Tue Nov 23 11:41:54 MST 2010",
bibsource = "http://portal.acm.org/;
http://www.math.utah.edu/pub/tex/bib/linux-journal.bib;
http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
articleno = "5",
fjournal = "Linux Journal",
journal-URL = "http://portal.acm.org/citation.cfm?id=J508",
}
@InProceedings{Giuffrida:2010:WCN,
author = "Cristiano Giuffrida and Lorenzo Cavallaro and Andrew
S. Tanenbaum",
editor = "????",
booktitle = "{Proceedings of the Sixth Workshop on Hot Topics in
System Dependability (HotDep '10), Vancouver, BC,
Canada, October 2010}",
title = "We Crashed, Now What?",
publisher = pub-USENIX,
address = pub-USENIX:adr,
pages = "1--8",
year = "2010",
DOI = "????",
ISBN = "????",
ISBN-13 = "????",
LCCN = "QA76.9.A25",
bibdate = "Fri Oct 24 08:38:29 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.cs.vu.nl/%7Egiuffrida/papers/hotdep-2010.pdf",
acknowledgement = ack-nhfb,
}
@PhdThesis{Herder:2010:BDO,
author = "Jorrit Niek Herder",
title = "Building a Dependable Operating System: Fault
Tolerance in {MINIX 3}",
type = "{Ph.D.} thesis",
school = "Vrije Universiteit Amsterdam",
address = "Amsterdam, The Netherlands",
pages = "2 + xvii + 165",
month = sep,
year = "2010",
bibdate = "Fri Oct 24 08:53:41 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/theses/herder_phd_thesis.pdf",
acknowledgement = ack-nhfb,
}
@Article{Hoffmann:2010:LBQb,
author = "Leah Hoffmann",
title = "Last Byte: {Q\&A}: Systematic Thinking: {Andrew S.
Tanenbaum} talks about {MINIX}, microkernels, and
electronic voting systems",
journal = j-CACM,
volume = "53",
number = "4",
pages = "112--ff",
month = apr,
year = "2010",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/1721654.1721680",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Wed May 12 15:14:39 MDT 2010",
bibsource = "http://www.acm.org/pubs/contents/journals/cacm/;
http://www.math.utah.edu/pub/tex/bib/cacm2010.bib;
http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
fjournal = "Communications of the ACM",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79",
}
@TechReport{Swift:2010:UMS,
author = "Bj{\"o}rn Patrick Swift",
title = "User Mode Scheduling in {MINIX 3}",
type = "Individual programming assignment",
institution = "Department of Computer Science, Faculty of Sciences,
Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "20",
day = "27",
month = oct,
year = "2010",
bibdate = "Fri Oct 24 09:11:05 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/scheduling/report.pdf",
acknowledgement = ack-nhfb,
}
@Article{Tanenbaum:2010:MSR,
author = "Andrew S. Tanenbaum and Raja Appuswamy and Herbert Bos
and Lorenzo Cavallaro and Cristiano Giuffrida and
Jorrit N. Herder and Tom{\'a}{\v{s}} Hrub{\'y} and Erik
van der Kouwe and David van Moolenbroek",
title = "{MINIX 3}: Status Report and Current Research",
journal = j-LOGIN,
volume = "35",
number = "3",
pages = "7--13",
month = jun,
year = "2010",
CODEN = "LOGNEM",
DOI = "????",
ISSN = "1044-6397",
ISSN-L = "1044-6397",
bibdate = "Fri Oct 24 08:46:36 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/usenix2010.bib;
https://www.usenix.org/publications/login",
URL = "http://www.minix3.org/docs/login-2010.pdf;
https://www.usenix.org/publications/login/june-2010-volume-35-number-3/minix-3-status-report-and-current-research",
acknowledgement = ack-nhfb,
fjournal = ";login: the USENIX Association newsletter",
}
@InProceedings{Appuswamy:2011:FMF,
author = "Raja Appuswamy and David C. van Moolenbroek and Andrew
S. Tanenbaum",
editor = "Andr{\'e} Brinkmann and David Pease",
booktitle = "{Proceedings of the 27th IEEE Conference on Mass
Storage Systems and Technologies (MSST '11), 23--27 May
2011, Denver, CO, USA}",
title = "Flexible, Modular File Volume Virtualization in
{Loris}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "1--14",
year = "2011",
DOI = "????",
ISBN = "1-4577-0428-5, 1-4577-0427-7",
ISBN-13 = "978-1-4577-0428-4, 978-1-4577-0427-7",
LCCN = "TK7895.M4",
bibdate = "Fri Oct 24 08:14:23 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://ieeexplore.ieee.org/servlet/opac?punumber=5910685;
http://www.minix3.org/docs/loris/MSST2011.pdf",
acknowledgement = ack-nhfb,
pagecount = "14",
}
@MastersThesis{Linnenbank:2011:IMS,
author = "Niek Q. Linnenbank",
title = "Implementing {Minix} on the Single Chip Cloud
Computer",
type = "{Master}'s thesis",
school = "????",
address = "????",
pages = "????",
month = "????",
year = "2011",
bibdate = "Fri Oct 24 08:58:40 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/Implementing.MINIX.On.The.Single.Chip.Cloud.Computer.pdf",
acknowledgement = ack-nhfb,
}
@TechReport{Szekeres:2011:IDM,
author = "Adriana Szekeres",
title = "{IOMMU} driver for {MINIX 3}",
type = "Course project",
institution = "Department of Computer Science, Faculty of Sciences,
Vrije Universiteit",
address = "Amsterdam, The Netherlands",
pages = "ii + 18",
month = may,
year = "2011",
bibdate = "Fri Oct 24 09:11:44 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/szekeres-iommu.pdf",
acknowledgement = ack-nhfb,
advisor = "Erik van der Kouwe and Andrew S. Tanenbaum",
}
@InProceedings{vanMoolenbroek:2011:IEE,
author = "David C. van Moolenbroek and Raja Appuswamy and Andrew
S. Tanenbaum",
editor = "????",
booktitle = "{Proceedings of the Seventh Workshop on Hot Topics in
System Dependability (HotDep'11), Hong Kong, China,
June 2011}",
title = "Integrated End-to-End Dependability in the {Loris}
Storage Stack",
publisher = pub-USENIX,
address = pub-USENIX:adr,
pages = "165--170",
year = "2011",
DOI = "????",
ISBN = "????",
ISBN-13 = "????",
LCCN = "????",
bibdate = "Fri Oct 24 08:37:30 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/loris/HotDep2011.pdf",
acknowledgement = ack-nhfb,
pagecount = "6",
}
@InProceedings{vanStaereling:2011:EMM,
author = "R. van Heuven {van Staereling} and Raja Appuswamy and
David C. van Moolenbroek and Andrew S. Tanenbaum",
editor = "{IEEE}",
booktitle = "{Proceedings of the Sixth IEEE International
Conference on Networking, Architecture, and Storage
(NAS '11), Dalian, Liaoning, China, 28--30 July 2011}",
title = "Efficient, Modular Metadata Management with {Loris}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "278--287",
year = "2011",
DOI = "https://doi.org/10.1109/NAS.2011.32",
ISBN = "0-7695-4509-2, 1-4577-1172-9",
ISBN-13 = "978-0-7695-4509-7, 978-1-4577-1172-5",
LCCN = "TK5105.86",
bibdate = "Fri Oct 24 08:12:48 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://ieeexplore.ieee.org/servlet/opac?punumber=6005103;
http://www.minix3.org/docs/loris/NAS2011.pdf",
acknowledgement = ack-nhfb,
pagecount = "10",
}
@InProceedings{Appuswamy:2012:IFB,
author = "Raja Appuswamy and David C. van Moolenbroek and Andrew
S. Tanenbaum",
editor = "????",
booktitle = "{Proceedings of the 28th IEEE Conference on Mass
Storage Systems and Technologies (MSST '12), 16--20
April 2012, Pacific Grove, CA}",
title = "Integrating Flash-based {SSDs} into the Storage
Stack",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "1--12",
year = "2012",
DOI = "????",
ISBN = "1-4673-1747-0",
ISBN-13 = "978-1-4673-1747-4",
LCCN = "????",
bibdate = "Fri Oct 24 08:11:49 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/loris/MSST2012.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Giuffrida:2012:EOS,
author = "Cristiano Giuffrida and Anton Kuijsten and Andrew S.
Tanenbaum",
editor = "????",
booktitle = "{Proceedings of the 21st USENIX Security Symposium
(USENIX Sec '12), Bellevue, WA, Aug, 2012}",
title = "Enhanced Operating System Security Through Efficient
and Fine-grained Address Space Randomization",
publisher = pub-USENIX,
address = pub-USENIX:adr,
pages = "40--55",
year = "2012",
DOI = "????",
ISBN = "????",
ISBN-13 = "????",
LCCN = "????",
bibdate = "Fri Oct 24 08:08:12 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.cs.vu.nl/%7Egiuffrida/papers/usenixsec-2012.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Giuffrida:2012:SAS,
author = "Cristiano Giuffrida and Andrew S. Tanenbaum",
editor = "{IEEE}",
booktitle = "{Proceedings of the Fourth International Workshop on
Hot Topics in Software Upgrades (HotSWUp '12),
Z{\"u}rich, 3 June 2012}",
title = "Safe and Automated State Transfer for Secure and
Reliable Update",
publisher = pub-IEEE,
address = pub-IEEE:adr,
bookpages = "iv + 45",
year = "2012",
ISBN = "1-4673-1764-0, 1-4673-1765-9",
ISBN-13 = "978-1-4673-1764-1, 978-1-4673-1765-8",
LCCN = "QA76.76.S64",
bibdate = "Fri Oct 24 08:36:23 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/workshop/hotswup-2012.pdf",
acknowledgement = ack-nhfb,
pagecount = "5",
remark = "First page footnoted with ASPLOS'13, March 16--20,
2013, Houston, Texas, USA. Was this paper presented in
both Houston and Z{\"u}rich? Or are the metadata from
the Minix Web site simply wrong?",
xxbooktitle = "{ASPLOS XVIII: eighteenth International Conference on
Architectural Support for Programming Languages and
Operating Systems: March 16--20, 2013, Houston, Texas,
USA}",
xxeditor = "Vivek Sarkar and Rastislav Bodik",
xxISBN = "1-4503-1870-3",
xxISBN-13 = "978-1-4503-1870-9",
}
@InProceedings{Hruby:2012:KNW,
author = "Tom{\'a}{\v{s}} Hrub{\'y} and Dirk Vogt and Herbert
Bos and Andrew S. Tanenbaum",
editor = "{IEEE}",
booktitle = "{Proceedings of the 42nd Annual IEEE\slash IFIP
International Conference on Dependable Systems and
Networks (DSN '12), Boston, MA, June 2012}",
title = "Keep Net Working --- On a Dependable and Fast
Networking Stack",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "??--??",
year = "2012",
DOI = "????",
ISBN = "1-4673-1623-7, 1-4673-1624-5",
ISBN-13 = "978-1-4673-1623-1, 978-1-4673-1624-8",
LCCN = "QA76.9.F38 I58 2012",
bibdate = "Fri Oct 24 08:09:16 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://ieeexplore.ieee.org/servlet/opac?punumber=6253623;
http://www.minix3.org/theses/dsn2012.pdf",
acknowledgement = ack-nhfb,
pagecount = "12",
}
@MastersThesis{Kuijsten:2012:POS,
author = "Anton Kuijsten",
title = "Polymorphic Operating Systems",
type = "{Master}'s thesis",
school = "????",
address = "????",
pages = "????",
month = "????",
year = "2012",
bibdate = "Fri Oct 24 08:58:07 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/theses/kuijsten-polymorphic-os.pdf",
acknowledgement = ack-nhfb,
}
@MastersThesis{Priescu:2012:EUH,
author = "Valentin Gabriel Priescu",
title = "Efficient Use of Heterogeneous Multicore Architectures
in Reliable Multiserver Systems",
type = "{Master}'s thesis",
school = "????",
address = "????",
pages = "????",
month = "????",
year = "2012",
bibdate = "Fri Oct 24 08:56:47 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/theses/priescu_thesis_2012.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{vanMoolenbroek:2012:ISP,
author = "David C. van Moolenbroek and Raja Appuswamy and Andrew
S. Tanenbaum",
editor = "{IEEE}",
booktitle = "{NAS 2012: 2012 IEEE Seventh International Conference
on Networking, Architecture, and Storage: proceedings:
28--30 June 2012, Xiamen, Fujian, China}",
title = "Integrated System and Process Crash Recovery in the
{Loris} Storage Stack",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "1--10",
year = "2012",
DOI = "????",
ISBN = "1-4673-1889-2",
ISBN-13 = "978-1-4673-1889-1, 978-0-7695-4722-0",
LCCN = "TK5105.86",
bibdate = "Fri Oct 24 08:10:43 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/loris/NAS2012.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Appuswamy:2013:FLH,
author = "Raja Appuswamy and David C. van Moolenbroek and Sharan
Santhanam and Andrew S. Tanenbaum",
editor = "{IEEE}",
booktitle = "{Proceedings of the 19th International Conference on
Parallel and Distributed Systems (ICPADS '13), Seoul,
Korea, December 2013}",
title = "File-Level, Host-Side Flash Caching with {Loris}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "34--42",
year = "2013",
DOI = "????",
ISBN = "1-4799-2082-7",
ISBN-13 = "978-1-4799-2082-2",
LCCN = "????",
bibdate = "Fri Oct 24 07:55:01 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/conf/icpads-2013.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Giuffrida:2013:BFF,
author = "Cristiano Giuffrida and C{\u{a}}lin Iorgulescu and
Anton Kuijsten and Andrew S. Tanenbaum",
editor = "????",
booktitle = "{Proceedings of the Large Installation System
Administration Conference (LISA '13), Washington, DC,
November 2013}",
title = "Back to the Future: Fault-tolerant Live Update with
Time-traveling State Transfer",
publisher = pub-USENIX,
address = pub-USENIX:adr,
pages = "89--104",
year = "2013",
DOI = "????",
ISBN = "????",
ISBN-13 = "????",
LCCN = "????",
bibdate = "Fri Oct 24 08:00:16 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "Best student paper award.",
URL = "http://www.minix3.org/docs/conf/lisa-2013.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Giuffrida:2013:EDF,
author = "Cristiano Giuffrida and Anton Kuijsten and Andrew S.
Tanenbaum",
editor = "????",
booktitle = "{Proceedings of the Pacific Rim International
Symposium of Dependable Computing (PRDC '13),
Vancouver, BC, Canada, December 2013}",
title = "{EDFI}: A Dependable Fault Injection Tool of
Dependability Benchmarking Experiments",
publisher = "????",
address = "????",
pages = "31--40",
year = "2013",
DOI = "????",
ISBN = "????",
ISBN-13 = "????",
LCCN = "????",
bibdate = "Fri Oct 24 07:59:03 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/conf/prdc-2013.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Giuffrida:2013:PAV,
author = "Cristiano Giuffrida and Lorenzo Cavallaro and Andrew
S. Tanenbaum",
editor = "IEEE",
booktitle = "{Proceedings of the 43rd International Conference on
Dependable Systems and Networks (DSN '13), Budapest,
Hungary, 24--27 June 2013}",
title = "Practical Automated Vulnerability Monitoring Using
Program State Invariants",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "1--12",
year = "2013",
DOI = "https://doi.org/10.1109/DSN.2013.6575318",
ISBN = "1-4673-6471-1",
ISBN-13 = "978-1-4673-6471-3",
ISSN = "1530-0889",
LCCN = "QA76.9.F38 I58 2013",
bibdate = "Fri Oct 24 08:02:00 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6569391;
http://www.minix3.org/docs/conf/dsn-2013.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Giuffrida:2013:SAL,
author = "Cristiano Giuffrida and Anton Kuijsten and Andrew S.
Tanenbaum",
editor = "Vivek Sarkar and Rastislav Bodik",
booktitle = "{ASPLOS XVIII: eighteenth International Conference on
Architectural Support for Programming Languages and
Operating Systems: March 16--20, 2013, Houston, Texas,
USA}",
title = "Safe and Automatic Live Update for Operating Systems",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "279--292",
year = "2013",
DOI = "????",
ISBN = "1-4503-1870-3",
ISBN-13 = "978-1-4503-1870-9",
LCCN = "QA76.9.A73",
bibdate = "Fri Oct 24 08:07:11 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://dl.acm.org/citation.cfm?id=2451116;
http://www.minix3.org/docs/conf/asplos-2013.pdf",
acknowledgement = ack-nhfb,
xxbookpages = "562 (or 576??)",
}
@InProceedings{Hruby:2013:HMW,
author = "Tom{\'a}{\v{s}} Hrub{\'y} and Herbert Bos and Andrew
S. Tanenbaum",
editor = "????",
booktitle = "{Proceedings of the Third Workshop on Systems for
Future Multicore Architectures (SFMA '13), Prague,
April 2013}",
title = "Heterogeneous Multicores: When Slower is Faster",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "??--??",
year = "2013",
DOI = "????",
ISBN = "????",
ISBN-13 = "????",
LCCN = "????",
bibdate = "Fri Oct 24 08:35:12 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/workshop/sfma-2013.pdf",
acknowledgement = ack-nhfb,
pagecount = "6",
}
@InProceedings{Hruby:2013:WSF,
author = "Tom{\'a}{\v{s}} Hrub{\'y} and Herbert Bos and Andrew
S. Tanenbaum",
editor = "????",
booktitle = "{Proceedings of the Annual Technical Conference (ATC
'13), San Jose, CA, June 2013}",
title = "When Slower Is Faster: on Heterogeneous Multicores for
Reliable Systems",
publisher = pub-USENIX,
address = pub-USENIX:adr,
pages = "255--266",
year = "2013",
DOI = "????",
ISBN = "????",
ISBN-13 = "????",
LCCN = "????",
bibdate = "Fri Oct 24 08:03:20 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/conf/atc-2013.pdf",
acknowledgement = ack-nhfb,
remark = "2013 USENIX Annual Technical Conference (USENIX ATC
'13).",
}
@MastersThesis{Iorgulescu:2013:SAL,
author = "C{\u{a}}lin Iorgulescu",
title = "Safe and Automatic Live Update for {Unix}
Applications",
type = "{Master}'s thesis",
school = "????",
address = "????",
pages = "????",
month = "????",
year = "2013",
bibdate = "Fri Oct 24 08:56:06 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/theses/Calin_Iorgulescu_Master_Thesis.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{vanMoolenbroek:2013:BBB,
author = "David C. van Moolenbroek and Raja Appuswamy and Andrew
S. Tanenbaum",
editor = "{IEEE}",
booktitle = "{LADC 2013: Sixth Latin-American Symposium on
Dependable Computing: 2--5 April 2013, Rio de Janeiro,
Brazil}",
title = "Battling Bad Bits with Checksums in the {Loris} Page
Cache",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "68--77",
year = "2013",
DOI = "????",
ISBN = "0-7695-4962-4, 1-4673-5746-4",
ISBN-13 = "978-0-7695-4962-0",
LCCN = "QA76.9.F3 L33 2013",
bibdate = "Fri Oct 24 08:06:00 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "Best paper award.",
URL = "http://ieeexplore.ieee.org/servlet/opac?punumber=6542299;
http://www.minix3.org/docs/conf/ladc-2013.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{vanMoolenbroek:2013:TBP,
author = "David C. van Moolenbroek and Raja Appuswamy and Andrew
S. Tanenbaum",
editor = "{IEEE}",
booktitle = "{Proceedings 2013 IEEE 19th Pacific Rim International
Symposium on Dependable Computing: PRDC 2013: 2--4
December 2013: Vancouver, BC, Canada}",
title = "Transaction-Based Process Crash Recovery of File
System Namespace Modules",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "338--347",
year = "2013",
DOI = "????",
ISBN = "0-7695-5130-0",
ISBN-13 = "978-0-7695-5130-2",
LCCN = "QA76.9.F38",
bibdate = "Fri Oct 24 07:57:04 2014",
bibdate = "Fri Oct 24 11:55:46 MDT 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/conf/prdc-2013a.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Vogt:2013:TEM,
author = "Dirk Vogt and Cristiano Giuffrida and Herbert Bos and
Andrew S. Tanenbaum",
editor = "Christian Cachin and Robbert van Renesse",
booktitle = "{Proceedings of HotDep '13: the 9th Workshop on Hot
Topics in Dependable Systems: November 13, 2013,
Nemacolin Woodlands Resort, (Farmington, PA, USA)}",
title = "Techniques for Efficient In-memory Checkpointing",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "??--??",
year = "2013",
DOI = "????",
ISBN = "1-4503-2457-6",
ISBN-13 = "978-1-4503-2457-1",
LCCN = "QA76.9.F38",
bibdate = "Fri Oct 24 08:34:22 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://dl.acm.org/citation.cfm?id=2524224;
http://www.minix3.org/docs/workshop/hotdep-2013.pdf",
acknowledgement = ack-nhfb,
articleno = "12",
pagecount = "5",
}
@PhdThesis{Appuswamy:2014:BFB,
author = "Raja Appuswamy",
title = "Building a File-Based Storage Stack: Modularity and
Flexibility in {Loris}",
type = "{Ph.D.} thesis",
school = "????",
address = "????",
pages = "????",
month = "????",
year = "2014",
bibdate = "Fri Oct 24 08:51:55 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minx3.org/theses/Raja_Appuswamy_PhD_thesis.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Appuswamy:2014:CCE,
author = "Raja Appuswamy and David C. van Moolenbroek and Andrew
S. Tanenbaum",
editor = "????",
booktitle = "{29th IEEE Symposium on Massive Storage Systems and
Technologies: (MSST2013): Research Track: in Long
Beach, California: [May 6, 2013--May 10, 2013]}",
title = "Cache, Cache Everywhere, Flushing All Hits Down the
Sink: On Exclusivity in Multilevel, Hybrid Caches",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "1--14",
year = "2014",
ISBN = "1-4799-0218-7",
ISBN-13 = "978-1-4799-0218-7",
LCCN = "TK7895.M4",
bibdate = "Fri Oct 24 08:04:24 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://ieeexplore.ieee.org/servlet/opac?punumber=6554307;
http://www.minix3.org/docs/conf/msst-2013.pdf",
acknowledgement = ack-nhfb,
}
@PhdThesis{Giuffrida:2014:SAL,
author = "Cristiano Giuffrida",
title = "Safe and Automatic Live Update",
type = "{Ph.D.} thesis",
school = "????",
address = "????",
pages = "????",
month = "????",
year = "2014",
bibdate = "Fri Oct 24 08:53:03 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/theses/Cristiano_Giuffrida_PhD_thesis.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{Hruby:2014:SMS,
author = "Tom{\'a}{\v{s}} Hrub{\'y} and Herbert Bos and Andrew
S. Tanenbaum",
editor = "????",
booktitle = "{Proceedings of the Fourth Workshop on Systems for
Future Multicore Architectures (SFMA '14), Amsterdam,
April 2014}",
title = "Towards Optimal Scheduling of Multiserver System
Components",
publisher = "????",
address = "????",
pages = "??--??",
year = "2014",
DOI = "????",
ISBN = "????",
ISBN-13 = "????",
LCCN = "????",
bibdate = "Fri Oct 24 08:33:21 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/workshop/sfma-2014.pdf",
acknowledgement = ack-nhfb,
pagecount = "6",
xxtitle = "Scheduling of Multiserver System Components on
Over-provisioned Multicore Systems",
}
@Article{Severance:2014:ATI,
author = "Charles Severance",
title = "{Andrew S. Tanenbaum}: The Impact of {MINIX}",
journal = j-COMPUTER,
volume = "47",
number = "7",
pages = "7--8",
month = jul,
year = "2014",
CODEN = "CPTRB4",
DOI = "https://doi.org/10.1109/MC.2014.175",
ISSN = "0018-9162 (print), 1558-0814 (electronic)",
ISSN-L = "0018-9162",
bibdate = "Tue Sep 9 18:53:40 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/computer2010.bib;
http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
fjournal = "Computer",
journal-URL = "http://www.computer.org/portal/web/csdl/magazines/computer",
}
@InProceedings{vanderKouwe:2014:EDF,
author = "Erik van der Kouwe and Cristiano Giuffrida and Andrew
S. Tanenbaum",
editor = "{IEEE}",
booktitle = "{HASE 2014: 2014 IEEE 15th International Symposium on
High-Assurance Systems Engineering: proceedings, 9--11
January, 2014, Miami, Florida, USA}",
title = "Evaluating Distortion in Fault-Injection Experiments",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "??--??",
year = "2014",
DOI = "????",
ISBN = "1-4799-3465-8 (print)",
ISBN-13 = "978-1-4799-3465-2 (print)",
LCCN = "TA168",
bibdate = "Fri Oct 24 07:53:13 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "Best paper award.",
URL = "http://ieeexplore.ieee.org/servlet/opac?punumber=6754245;
http://www.minix3.org/docs/conf/hase-2014.pdf",
acknowledgement = ack-nhfb,
pagecount = "8",
}
@InProceedings{vanderKouwe:2014:SSI,
author = "Erik van der Kouwe and Cristiano Giuffrida and Andrew
S. Tanenbaum",
editor = "{IEEE}",
booktitle = "{Proceedings 2014 Tenth European Dependable Computing
Conference: EDCC 2014: Newcastle upon Tyne, Newcastle,
United Kingdom: 13--16 May 2014}",
title = "On the Soundness of Silence: Investigating Silent
Failures Using Fault Injection Experiments",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "118--129",
year = "2014",
ISBN = "1-4799-3803-3, 1-4799-3804-1",
ISBN-13 = "978-1-4799-3803-2, 978-1-4799-3804-9",
LCCN = "QA76.9.F38",
bibdate = "Fri Oct 24 07:51:18 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.minix3.org/docs/conf/edcc-2014.pdf",
acknowledgement = ack-nhfb,
}
@InProceedings{vanMoolenbroek:2014:TFL,
author = "David C. van Moolenbroek and Raja Appuswamy and Andrew
S. Tanenbaum",
editor = "????",
booktitle = "{SYSTOR '14: proceedings of the 7th ACM International
Systems and Storage Conference: June 10--12, 2014,
Haifa, Israel}",
title = "Towards a Flexible, Lightweight Virtualization
Alternative",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "1--7",
year = "2014",
DOI = "https://doi.org/10.1145/2611354.2611369",
ISBN = "1-4503-2920-9",
ISBN-13 = "978-1-4503-2920-0",
LCCN = "????",
bibdate = "Fri Oct 24 07:49:02 2014",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://dl.acm.org/citation.cfm?id=2611354;
http://www.minix3.org/docs/conf/systor-2014.pdf",
acknowledgement = ack-nhfb,
}
@Article{Tanenbaum:2016:LLY,
author = "Andrew S. Tanenbaum",
title = "Lessons learned from 30 years of {MINIX}",
journal = j-CACM,
volume = "59",
number = "3",
pages = "70--78",
month = mar,
year = "2016",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/2795228",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Mon Feb 29 14:09:08 MST 2016",
bibsource = "http://www.math.utah.edu/pub/tex/bib/cacm2010.bib;
http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://cacm.acm.org/magazines/2016/3/198874/fulltext",
abstract = "MINIX shows even an operating system can be made to be
self-healing.",
acknowledgement = ack-nhfb,
fjournal = "Communications of the ACM",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79",
}
@Misc{Anonymous:2017:MWU,
author = "Anonymous",
title = "The Most Widely Used {OS} in the World is the Least
Known",
howpublished = "Web site",
day = "6",
month = nov,
year = "2017",
bibdate = "Mon Feb 05 11:13:56 2018",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "https://liveatpc.com/widely-used-os-world-least-known/",
acknowledgement = ack-nhfb,
}
@Misc{btarunr:2017:ICC,
author = "btarunr",
title = "{Intel CPU} On-chip Management Engine Runs on
{MINIX}",
howpublished = "Web site",
day = "5",
month = nov,
year = "2017",
bibdate = "Mon Feb 05 11:11:18 2018",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "https://www.techpowerup.com/238514/intel-cpu-on-chip-management-engine-runs-on-minix",
acknowledgement = ack-nhfb,
}
@Misc{Ermolov:2017:DIM,
author = "Mark Ermolov and Maxim Goryachy",
title = "Disabling {Intel ME 11} via undocumented mode",
howpublished = "Web site",
day = "28",
month = aug,
year = "2017",
bibdate = "Mon Feb 05 11:13:08 2018",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://blog.ptsecurity.com/2017/08/disabling-intel-me.html",
acknowledgement = ack-nhfb,
}
@Article{Lunduke:2017:MMP,
author = "Bryan Lunduke",
title = "{MINIX} --- The most popular {OS} in the world, thanks
to {Intel}. {You} might not know it, but inside your
{Intel} system, you have an operating system running in
addition to your main {OS}, {MINIX}. And it's raising
eyebrows and concerns.",
journal = "Network World",
volume = "??",
number = "??",
pages = "??--??",
day = "2",
month = nov,
year = "2017",
bibdate = "Mon Feb 05 10:53:19 2018",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "https://www.networkworld.com/article/3236064/servers/minix-the-most-popular-os-in-the-world-thanks-to-intel.html",
acknowledgement = ack-nhfb,
remark = "From the article: ``MINIX. The Unix-like OS originally
developed by Andrew Tanenbaum as an educational tool to
demonstrate operating system programming --- is built
into every new Intel CPU.''",
}
@Misc{Lunduke:2017:PBT,
author = "Bryan Lunduke",
title = "Het populairste besturingssysteem ter wereld is
\ldots{} {MINIX}? ({Dutch}) [{The} most popular
operating system in the world is \ldots{} {MINIX}?]",
howpublished = "Web site",
day = "3",
month = nov,
year = "2017",
bibdate = "Mon Feb 05 11:15:10 2018",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://webwereld.nl/security/101772-het-populairste-besturingssysteem-ter-wereld-is---minix",
acknowledgement = ack-nhfb,
language = "Dutch",
}
@Misc{Tanenbaum:2017:OLI,
author = "Andrew S. Tanenbaum",
title = "An Open Letter to {Intel}",
howpublished = "Web site",
month = nov,
year = "2017",
bibdate = "Mon Feb 05 10:49:39 2018",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "http://www.cs.vu.nl/~ast/intel/",
abstract = "Thanks for putting a version of MINIX inside the ME-11
management engine chip used on almost all recent
desktop and laptop computers in the world. I guess that
makes MINIX the most widely used computer operating
system in the world, even more than Windows, Linux, or
MacOS. And I didn't even know until I read a press
report about it. Also here and here and here and here
and here (in Dutch), and a bunch of other places.",
acknowledgement = ack-nhfb,
}
@Misc{Tyson:2017:IME,
author = "Mark Tyson",
title = "{Intel Management Engine} runs on {MINIX 3 OS}",
howpublished = "Web site",
day = "6",
month = nov,
year = "2017",
bibdate = "Mon Feb 05 11:12:19 2018",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "https://hexus.net/tech/news/software/111857-intel-management-engine-runs-minix-3-os/",
acknowledgement = ack-nhfb,
}
@Article{Frazelle:2019:OSF,
author = "Jesse Frazelle",
title = "Open source firmware",
journal = j-CACM,
volume = "62",
number = "10",
pages = "34--38",
month = oct,
year = "2019",
CODEN = "CACMA2",
DOI = "https://doi.org/10.1145/3343042",
ISSN = "0001-0782 (print), 1557-7317 (electronic)",
ISSN-L = "0001-0782",
bibdate = "Wed Sep 25 15:32:16 MDT 2019",
bibsource = "http://www.math.utah.edu/pub/tex/bib/cacm2010.bib;
http://www.math.utah.edu/pub/tex/bib/gnu.bib;
http://www.math.utah.edu/pub/tex/bib/linux.bib;
http://www.math.utah.edu/pub/tex/bib/minix.bib;
http://www.math.utah.edu/pub/tex/bib/unix.bib",
URL = "https://cacm.acm.org/magazines/2019/10/239673/fulltext",
abstract = "Step into the world behind the kernel.",
acknowledgement = ack-nhfb,
fjournal = "Communications of the ACM",
journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79",
keywords = "Boot Guard; coreboot; EFI; Grub (Grand Unified
Bootloader); Gummiboot; Heads; LinuxBoot; u-boot; UEFI;
Windows Boot Manager",
remark = "From page 36, column 2: ``\ldots{} in the case of
Intel (x86), Ring -3 is the Intel Management Engine. It
can turn on nodes and reimage disks invisibly. It has a
kernel that runs Minix, as well as a web server and
entire networking stack. Because of this, Minix is the
world's most widely used operating system.''",
}
@Misc{Tanenbaum:2015:IM,
author = "Andrew S. Tanenbaum",
title = "The impact of {MINIX}",
howpublished = "YouTube interview (10m47s video).",
year = "2015",
bibdate = "Mon Feb 06 07:46:01 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "https://www.youtube.com/watch?app=desktop&v=86_BkFsb4eIa",
acknowledgement = ack-nhfb,
}
@Misc{Tanenbaum:2015:M,
author = "Andrew S. Tanenbaum",
title = "{MINIX 3}",
howpublished = "Free and Open Source Software Conference (1h3m
video)",
year = "2015",
bibdate = "Mon Feb 06 09:31:54 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "https://www.youtube.com/watch?v=jiGjp7JHiYs",
acknowledgement = ack-nhfb,
}
@Misc{Tanenbaum:2015:MRS,
author = "Andrew S. Tanenbaum",
title = "{MINIX 3}: a Reliable and Secure Operating System",
howpublished = "Codemotion Rome 2015 conference talk (73m23s video)",
year = "2015",
bibdate = "Mon Feb 06 07:59:40 2023",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
URL = "https://www.youtube.com/watch?v=jiGjp7JHiYs",
acknowledgement = ack-nhfb,
}
@Proceedings{Anonymous:1987:ESC,
editor = "Anonymous",
booktitle = "{EUUG Spring '87 Conference Proceedings}",
title = "{EUUG Spring '87 Conference Proceedings}",
publisher = pub-EUROPEN,
address = pub-EUROPEN:adr,
pages = "????",
year = "1987",
bibdate = "Sun Apr 13 12:27:34 MDT 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "The following topics were dealt with: Unix; Vorlich;
structural regular expressions; event queue;
manufacturing; entertainment; distributed processing;
real-time systems; MINIX; telephone switch; banking;
selective calling system; marketing; commercial
computing; standards for Intel-based microcomputers;
C++; MuX; intelligent information server; SVID
compatible system; and Apple Macintosh integration",
acknowledgement = ack-nhfb,
classcodes = "C6115 (Programming support); C6150J (Operating
systems)",
conflocation = "M/S Mariella sailing between Helsinki, Finland and
Stockholm, Sweden; 12-14 May 1987",
countrypub = "UK",
keywords = "administrative data processing; Apple; banking; C++;
calling system; commercial computing; distributed
processing; entertainment; event queue; Intel;
intelligent information server; Macintosh;
manufacturing; marketing; MINIX; MuX; operating
systems; operating systems (computers); programming
environments; real-; real-time systems; selective;
standards; structural regular expressions; SVID;
telephone switch; time systems; Unix; UNIX; Vorlich",
}
@Proceedings{ACM:1988:PFS,
editor = "{ACM}",
booktitle = "{Proceedings, focus on software / 1988 ACM Sixteenth
Annual Computer Science Conference, February 23--25,
the Westin, Peachtree Plaza, Atlanta, Georgia}",
title = "{Proceedings, focus on software / 1988 ACM Sixteenth
Annual Computer Science Conference, February 23--25,
the Westin, Peachtree Plaza, Atlanta, Georgia}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "xix + 749",
year = "1988",
ISBN = "0-89791-260-8",
ISBN-13 = "978-0-89791-260-0",
LCCN = "QA 76.758 A26 1988",
bibdate = "Mon Sep 30 17:21:43 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
confdate = "23--25 Feb. 1988",
conflocation = "Atlanta, GA, USA",
confsponsor = "ACM",
}
@Proceedings{IEEE:1988:AIT,
editor = "{IEEE}",
booktitle = "{Artificial intelligence: theory and applications:
proceedings, International Computer Science Conference
'88: 19--21 December, 1988, the Excelsior Hotel,
Causeway Bay, Hong Kong}",
title = "{Artificial intelligence: theory and applications:
proceedings, International Computer Science Conference
'88: 19--21 December, 1988, the Excelsior Hotel,
Causeway Bay, Hong Kong}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "735",
year = "1988",
bibdate = "Mon Sep 30 17:21:43 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
confdate = "19--21 Dec. 1988",
conflocation = "Hong Kong",
pubcountry = "Hong Kong",
}
@Proceedings{IEEE:1988:FAC,
editor = "{IEEE}",
booktitle = "{Fourth Aerospace Computer Security Applications
Conference: Orlando, Florida, December 12--16, 1988}",
title = "{Fourth Aerospace Computer Security Applications
Conference: Orlando, Florida, December 12--16, 1988}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xii + 440",
year = "1988",
ISBN = "0-8186-0895-1",
ISBN-13 = "978-0-8186-0895-7",
LCCN = "QA76.9.A25 A39 1988",
bibdate = "Mon Sep 30 17:55:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "IEEE Cat. No.CH2619-5",
acknowledgement = ack-nhfb,
confdate = "12--16 Dec. 1988",
conflocation = "Orlando, FL, USA",
confsponsor = "IEEE; ASIS",
}
@Proceedings{Silveira:1988:ADV,
editor = "P. M. Silveira",
booktitle = "{Anais do VIII Congresso da Sociedade Brasileira de
Computacao (VIII Congress of the Brazilian Computing
Society)}",
title = "{Anais do VIII Congresso da Sociedade Brasileira de
Computacao (VIII Congress of the Brazilian Computing
Society)}",
publisher = "Sociedade Brasileira Computacao",
address = "Rio de Janeiro, Brazil",
pages = "x + 389",
year = "1988",
bibdate = "Mon Sep 30 17:55:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
confdate = "17--22 July 1988",
conflocation = "Rio de Janeiro, Brazil",
pubcountry = "Brazil",
}
@Proceedings{Anonymous:1989:SPA,
editor = "Anonymous",
booktitle = "{SCCS Proceedings. 22nd Annual Small College Computing
Symposium}",
title = "{SCCS} Proceedings. 22nd Annual Small College
Computing Symposium",
publisher = "Univ. Wisconsin-Eau Claire",
address = "Eau Claire, WI, USA",
pages = "v + 436",
year = "1989",
bibdate = "Mon Sep 30 17:55:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "The following topics were dealt with: SEDES, special
education diagnostic expert system; word processing;
telecommunications; parallel processing; humanities
computing; AI; computer courses; CAI; distributed file
system for MINIX; programming environment; scattering
simulation; visual thinking; teaching cognitive
science; documentation library systems; soils
geography; software engineering; computer graphics; and
interactive video;.",
acknowledgement = ack-nhfb,
classification = "C0220 (Education and training); C6170 (Expert
systems); C7810C (Computer-aided instruction)",
confdate = "21--22 April 1989",
conflocation = "Eau Claire, WI, USA",
keywords = "AI; CAI; Cognitive science; Computer courses; Computer
graphics; Distributed file system; Documentation
library systems; Humanities computing; Interactive
video; MINIX; Parallel processing; Programming
environment; Scattering simulation; SEDES; Software
engineering; Soils geography; Special education
diagnostic expert system; Teaching; Telecommunications;
Visual thinking; Word processing",
thesaurus = "Computer aided instruction; Computer science
education; Educational courses; Expert systems;
Teaching; Training",
}
@Proceedings{Anonymous:1989:UEC,
editor = "Anonymous",
booktitle = "{UNIX: European challenges: proceedings of the Spring
1989 EUUG conference, April 3--7, 1989, Palais des
Congres, Brussels, Belgium}",
title = "{UNIX}: European challenges: proceedings of the Spring
1989 {EUUG} conference, April 3--7, 1989, Palais des
Congres, Brussels, Belgium",
publisher = pub-EUUG,
address = pub-EUUG:adr,
pages = "xi + 291",
year = "1989",
ISBN = "0-9513181-2-8",
ISBN-13 = "978-0-9513181-2-6",
LCCN = "QA76.76.O63U54514 1989",
bibdate = "Mon Sep 30 17:53:27 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
confdate = "3--7 April 1989",
conflocation = "Brussels, Belgium",
pubcountry = "UK",
}
@Proceedings{Anonymous:1990:ISS,
editor = "Anonymous",
booktitle = "{Information systems security: standards --- the key
to the future: 13th National Computer Security
Conference: Omni Shoreham Hotel, Washington, DC, 1--4
October, 1990: proceedings}",
title = "{Information systems security: standards --- the key
to the future: 13th National Computer Security
Conference: Omni Shoreham Hotel, Washington, DC, 1--4
October, 1990: proceedings}",
publisher = "National Institute of Standards and Technology,
National Computer Security Center",
address = "Gaithersburg, MD, USA",
pages = "xi + 839",
year = "1990",
ISBN = "",
ISBN-13 = "",
LCCN = "",
bibdate = "Thu Sep 04 10:27:54 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
}
@Proceedings{Anonymous:1990:NCS,
editor = "Anonymous",
booktitle = "{13th National Computer Security Conference.
Proceedings Information Systems Security. Standards ---
the Key to the Future}",
title = "{13th National Computer Security Conference.
Proceedings Information Systems Security. Standards ---
the Key to the Future}",
publisher = pub-NIST,
address = pub-NIST:adr,
pages = "xi + 839",
year = "1990",
bibdate = "Mon Sep 30 17:00:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "2 vol.",
acknowledgement = ack-nhfb,
confdate = "1--4 Oct. 1990",
conflocation = "Washington, DC, USA",
confsponsor = "NIST",
}
@Proceedings{Winkler:1991:SPS,
editor = "Stanley Winkler",
booktitle = "{Shortening the path from specification to prototype:
the First International Workshop on Rapid System
Prototyping, Research Triangle Park, North Carolina,
USA, June 4--7, 1990}",
title = "{Shortening the path from specification to prototype:
the First International Workshop on Rapid System
Prototyping, Research Triangle Park, North Carolina,
USA, June 4--7, 1990}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "ix + 215",
year = "1991",
ISBN = "0-8186-2175-3",
ISBN-13 = "978-0-8186-2175-8",
LCCN = "QA76.9.C65 I577 1990",
bibdate = "Mon Sep 30 17:21:43 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "IEEE Cat. No.91TH0380-6.",
acknowledgement = ack-nhfb,
confdate = "4--7 June 1990",
conflocation = "Research Triangle Park, NC, USA",
confsponsor = "IEEE",
}
@Proceedings{Anonymous:1992:EUG,
editor = "Anonymous",
booktitle = "{EurOpen. UNIX Goes East. Proceedings of the Autumn
1991 EurOpen Conference}",
title = "{EurOpen. UNIX Goes East. Proceedings of the Autumn
1991 EurOpen Conference}",
publisher = pub-EUROPEN,
address = pub-EUROPEN:adr,
pages = "vii + 322",
year = "1992",
bibdate = "Mon Sep 30 17:13:18 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
abstract = "The following topics were dealt with: UNIX and virtual
reality; interactive user interface design; QEF/QEI
model for software component consistency; multimedia
synchronization and UNIX; wafer-scale component;
performance evaluation; real time measures of UNIX-like
operating systems; steppingstones; measuring X11
performance; security and open working in the networked
academic community; phLOGIN; MANIFOLD; specification
language for IPC; distributed concurrent implementation
of standard ML; load balancing; public access
interfaces to OSI directory; managing international
X.500 directory pilot; XLookUp; process migration
mechanism using Minix; HAWKS-a toolkit for interpreted
telematic applications; virtual swap space in SunOS;
automounting; monitoring network performance;
StormCast-a distributed application;
location-independent object invocation in open
distributed systems; communicating database objects;
UNIX in Novell Environment; and international hotel
reservations system.",
acknowledgement = ack-nhfb,
classification = "C5470 (Performance evaluation and testing); C6140D
(High level languages); C6150J (Operating systems);
C6150N (Distributed systems); C7250N (Front end systems
for online searching)",
confdate = "16--20 Sept. 1991",
conflocation = "Budapest, Hungary",
keywords = "Automounting; Communicating database objects;
Distributed application; Distributed concurrent; HAWKS;
Interactive user interface design; International hotel
reservations system; International X.500 directory
pilot; Interpreted telematic applications; IPC; Load
balancing; Location-independent object invocation;
MANIFOLD; Minix; Monitoring; Multimedia
synchronization; Network performance; Networked
academic community; Novell Environment; Open
distributed systems; Open working; OSI directory;
Performance evaluation; PhLOGIN; Process migration;
Public access interfaces; QEF/QEI model; Real time
measures; Security; Software component consistency;
Specification language; Standard ML; Steppingstones;
StormCast; SunOS; Toolkit; UNIX-like operating systems;
Virtual reality; Virtual swap space; Wafer-scale
component; X11 performance; XLookUp",
pubcountry = "UK",
thesaurus = "Distributed processing; Information retrieval systems;
Parallel languages; Performance evaluation; Unix; User
interfaces",
}
@Proceedings{Kanapoulos:1992:SIW,
editor = "N. Kanapoulos",
booktitle = "{The Second International Workshop on Rapid System
Prototyping: Research Triangle Park, North Carolina,
USA, June 11--13, 1991: shortening the path from
specification to prototype}",
title = "{The Second International Workshop on Rapid System
Prototyping: Research Triangle Park, North Carolina,
USA, June 11--13, 1991: shortening the path from
specification to prototype}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "viii + 201",
year = "1992",
ISBN = "0-8186-3040-X",
ISBN-13 = "978-0-8186-3040-8",
LCCN = "QA76.76.D47 I598 1991",
bibdate = "Mon Sep 30 17:00:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "IEEE Catalog No. 92TH0454-9.",
acknowledgement = ack-nhfb,
confdate = "11--13 June 1991",
conflocation = "Research Triangle Park, NC, USA",
confsponsor = "IEEE; ACM",
}
@Proceedings{Valero:1992:PCT,
editor = "M. Valero and E. Onate and M. Jane and J. L. Larriba
and B. Suarez",
booktitle = "{Parallel Computing and Transputer Applications}",
title = "{Parallel Computing and Transputer Applications}",
publisher = "CIMNE",
address = "Barcelona, Spain",
pages = "1520",
year = "1992",
ISBN = "84-87867-13-8",
ISBN-13 = "978-84-87867-13-2",
LCCN = "????",
bibdate = "Mon Sep 30 17:00:16 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "Two volumes.",
acknowledgement = ack-nhfb,
availability = "IOS Press, Amsterdam, Netherlands",
confdate = "21--25 Sept. 1992",
conflocation = "Barcelona, Spain",
pubcountry = "Spain",
}
@Proceedings{IEEE:1994:SAI,
editor = "{IEEE}",
booktitle = "{System architecture and integration: proceedings of
the 20th EUROMICRO Conference, EUROMICRO 94, September
5--8, 1994, Liverpool, England}",
title = "{System architecture and integration: proceedings of
the 20th EUROMICRO Conference, EUROMICRO 94, September
5--8, 1994, Liverpool, England}",
publisher = pub-IEEE,
address = pub-IEEE:adr,
pages = "xxi + 720",
year = "1994",
ISBN = "0-8186-6430-4",
ISBN-13 = "978-0-8186-6430-4",
LCCN = "QA76.9.A73 E94 1994",
bibdate = "Mon Sep 30 17:06:20 MDT 1996",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
confdate = "5--8 Sept. 1994",
conflocation = "Liverpool, UK",
}
@Proceedings{Anonymous:1995:SCC,
editor = "Anonymous",
booktitle = "{Small College computing: Annual symposium; 28th ---
April 1995, Sioux Falls, SD}",
title = "{Small College computing: Annual symposium; 28th ---
April 1995, Sioux Falls, SD}",
publisher = "SCCS",
address = "????",
pages = "????",
year = "1995",
bibdate = "Thu Sep 4 06:34:12 MDT 1997",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
series = "SCCS -PROCEEDINGS- 1995; 28th",
acknowledgement = ack-nhfb,
}
@Proceedings{ACM:2006:PPA,
editor = "{ACM}",
booktitle = "{PLDI 2006: Proceedings of the 2006 ACM SIGPLAN
conference on Programming language design and
implementation 2006, Ottawa, Ontario, Canada, June
11--14, 2006}",
title = "{PLDI 2006: Proceedings of the 2006 ACM SIGPLAN
conference on Programming language design and
implementation 2006, Ottawa, Ontario, Canada, June
11--14, 2006}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "????",
year = "2006",
ISBN = "1-59593-320-4",
ISBN-13 = "978-1-59593-320-1",
LCCN = "????",
bibdate = "Sat Aug 26 06:46:41 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
note = "ACM order number 548060.",
acknowledgement = ack-nhfb,
}
@Proceedings{ACM:2006:PWP,
editor = "{ACM}",
booktitle = "{Proceedings of the 2006 workshop on Programming
languages and analysis for security, Ottawa, Ontario,
Canada}",
title = "{Proceedings of the 2006 workshop on Programming
languages and analysis for security, Ottawa, Ontario,
Canada}",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "????",
year = "2006",
ISBN = "1-59593-374-3",
ISBN-13 = "978-1-59593-374-4",
LCCN = "????",
bibdate = "Sat Aug 26 06:50:03 2006",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib",
acknowledgement = ack-nhfb,
}
@Proceedings{Jesshope:2006:ACS,
editor = "Chris Jesshope and Colin Egan",
booktitle = "{Advances in computer systems architecture: 11th
Asia-Pacific conference, ACSAC 2006, Shanghai, China,
September 6--8, 2006, proceedings}",
title = "{Advances in computer systems architecture: 11th
Asia-Pacific conference, ACSAC 2006, Shanghai, China,
September 6--8, 2006, proceedings}",
volume = "4186",
publisher = pub-SV,
address = pub-SV:adr,
pages = "xiv + 605",
year = "2006",
ISBN = "3-540-40056-7 (softcover)",
ISBN-13 = "978-3-540-40056-1 (softcover)",
LCCN = "QA76.9.A73 A28 2006",
bibdate = "Wed Jan 9 08:44:39 MST 2008",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
z3950.loc.gov:7090/Voyager",
series = ser-LNCS,
acknowledgement = ack-nhfb,
}
@Proceedings{Frankl:2002:IPA,
editor = "Phyllis G. Frankl",
booktitle = "{ISSTA 2002: proceedings of the ACM SIGSOFT
International Symposium on Software Testing and
Analysis, Roma, Italy, July 22--24, 2002}",
title = "{ISSTA 2002: proceedings of the ACM SIGSOFT
International Symposium on Software Testing and
Analysis, Roma, Italy, July 22--24, 2002}",
volume = "27(4)",
publisher = pub-ACM,
address = pub-ACM:adr,
pages = "vii + 243",
year = "2002",
ISBN = "1-58113-562-9",
ISBN-13 = "978-1-58113-562-6",
LCCN = "????",
bibdate = "Sat Dec 15 13:37:31 MST 2012",
bibsource = "http://www.math.utah.edu/pub/tex/bib/minix.bib;
z3950.bibsys.no:2100/BIBSYS",
series = "Software engineering notes",
acknowledgement = ack-nhfb,
meetingname = "International Symposium on Software Testing and
Analysis. 2002. Roma. 12",
}
