%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", %%% version = "1.52", %%% date = "17 March 2025", %%% time = "11:14:30 MST", %%% filename = "plan9.bib", %%% address = "University of Utah %%% Department of Mathematics, 110 LCB %%% 155 S 1400 E RM 233 %%% Salt Lake City, UT 84112-0090 %%% USA", %%% telephone = "+1 801 581 5254", %%% URL = "https://www.math.utah.edu/~beebe", %%% checksum = "39719 3966 18375 177236", %%% email = "beebe at math.utah.edu, beebe at acm.org, %%% beebe at computer.org (Internet)", %%% codetable = "ISO/ASCII", %%% keywords = "AT&T Plan 9; distributed operating system", %%% license = "public domain", %%% supported = "yes", %%% docstring = "This is a bibliography of publications about %%% the AT&T Plan 9 distributed operating system. %%% %%% This bibliography also includes selected %%% papers on regular expression matching, %%% because that subject was first applied to %%% Unicode in the UTF-8 encoding (UTF-8 is %%% another contribution of Plan-9), and because %%% recent research at the Plan 9 group and at %%% Google has extended early work by Ken %%% Thompson (1968) on linear-time matching for %%% complicated regular expressions. %%% %%% At version 1.51, the year coverage looked %%% like this: %%% %%% 1959 ( 1) 1982 ( 0) 2005 ( 3) %%% 1960 ( 1) 1983 ( 0) 2006 ( 1) %%% 1961 ( 0) 1984 ( 1) 2007 ( 4) %%% 1962 ( 0) 1985 ( 0) 2008 ( 2) %%% 1963 ( 0) 1986 ( 0) 2009 ( 2) %%% 1964 ( 0) 1987 ( 1) 2010 ( 4) %%% 1965 ( 0) 1988 ( 2) 2011 ( 0) %%% 1966 ( 0) 1989 ( 0) 2012 ( 2) %%% 1967 ( 1) 1990 ( 7) 2013 ( 1) %%% 1968 ( 1) 1991 ( 7) 2014 ( 1) %%% 1969 ( 0) 1992 ( 4) 2015 ( 0) %%% 1970 ( 0) 1993 ( 10) 2016 ( 1) %%% 1971 ( 0) 1994 ( 8) 2017 ( 0) %%% 1972 ( 0) 1995 ( 6) 2018 ( 0) %%% 1973 ( 0) 1996 ( 12) 2019 ( 0) %%% 1974 ( 0) 1997 ( 3) 2020 ( 1) %%% 1975 ( 0) 1998 ( 1) 2021 ( 0) %%% 1976 ( 0) 1999 ( 3) 2022 ( 0) %%% 1977 ( 0) 2000 ( 27) 2023 ( 1) %%% 1978 ( 0) 2001 ( 1) 2024 ( 0) %%% 1979 ( 0) 2002 ( 5) 2025 ( 1) %%% 1981 ( 1) 2004 ( 3) %%% 19xx ( 16) %%% %%% Article: 42 %%% Book: 6 %%% InCollection: 3 %%% InProceedings: 24 %%% Manual: 1 %%% MastersThesis: 1 %%% Misc: 11 %%% Proceedings: 11 %%% TechReport: 47 %%% %%% Total entries: 146 %%% %%% Plan 9 borrows many ideas from UNIX, but is %%% not a UNIX clone. Like Microsoft Windows %%% (NT, 2000, XP, and Vista), Plan 9 uses the %%% 16-bit Unicode character as its standard %%% character set. %%% %%% Plan 9 is a trademark of AT&T. %%% %%% There is a Usenet newsgroup comp.os.plan9; %%% it is archived at %%% %%% http://www.ecf.toronto.edu/plan9 %%% %%% There is a frequently-asked questions (FAQ) %%% list at %%% http://www.ecf.toronto.edu/plan9/plan9faq.html. %%% %%% There is an FTP site at %%% %%% ftp://ftp.ecf.toronto.edu/pub/plan9 %%% %%% Bell Labs maintains %%% %%% http://plan9.bell-labs.com/plan9/index.html %%% %%% which contains the Plan 9 papers and manuals. %%% %%% Pointers to Plan 9 documentation are found at %%% %%% http://plan9.bell-labs.com/sys/doc/ %%% %%% Russ Cox maintains a Web site for Plan 9 and %%% other projects, with pointers to %%% documentation, and also to implementations of %%% various regular-expression libraries: %%% %%% http://swtch.com/~rsc/ %%% %%% The Plan 9 Foundation Web site is at %%% %%% http://p9f.org/ %%% %%% On 21 March 2021, an e-mail message to the %%% mailing list 9fans9fans.net announced %%% that Nokia has transferred the copyright of %%% Plan 9 to the Plan 9 Foundation. This %%% transfer applies to all of the Plan 9 from %%% Bell Labs code, from the earliest days %%% through their final release. The code is %%% available at links from that site. %%% %%% This bibliography has been collected from %%% bibliographies in the author's personal %%% files, and from the OCLC, IEEE INSPEC, and %%% UnCover databases. %%% %%% Numerous errors in the sources noted above %%% have been corrected. Spelling has been %%% verified with the UNIX spell and GNU ispell %%% programs using the exception dictionary %%% stored in the companion file with extension %%% .sok. %%% %%% BibTeX citation tags are uniformly chosen as %%% name:year:abbrev, where name is the family %%% name of the first author or editor, year is a %%% 4-digit number, and abbrev is a 3-letter %%% condensation of important title %%% words. Citation tags were automatically %%% generated by software developed for the %%% BibNet Project. %%% %%% In this bibliography, entries are sorted %%% first by ascending year, and within each %%% year, alphabetically by author or editor, %%% and then, if necessary, by the 3-letter %%% abbreviation at the end of the BibTeX %%% citation tag, using the bibsort -byyear %%% utility. Year order has been chosen to %%% make it easier to identify the most recent %%% work. %%% %%% The checksum field above contains a CRC-16 %%% checksum as the first value, followed by the %%% equivalent of the standard UNIX wc (word %%% count) utility output of lines, words, and %%% characters. This is produced by Robert %%% Solovay's checksum utility.", %%% } %%% ==================================================================== @Preamble{ "\hyphenation{ }" } %%% ==================================================================== %%% Acknowledgement abbreviations: @String{ack-nhfb = "Nelson H. F. Beebe, University of Utah, Department of Mathematics, 110 LCB, 155 S 1400 E RM 233, Salt Lake City, UT 84112-0090, USA, Tel: +1 801 581 5254, e-mail: \path|beebe@math.utah.edu|, \path|beebe@acm.org|, \path|beebe@computer.org| (Internet), URL: \path|https://www.math.utah.edu/~beebe/|"} %%% ==================================================================== %%% Institution abbreviations: @String{inst-ATT-BELL = "AT\&T Bell Laboratories"} @String{inst-ATT-BELL:adr = "Murray Hill, NJ, USA"} @String{inst-CSRC = "Computing Sciences Research Center, Bell Laboratories"} @String{inst-CSRC:adr = "Murray Hill, NJ, USA"} %%% ==================================================================== %%% Journal abbreviations: @String{j-BYTE = "BYTE Magazine"} @String{j-CACM = "Communications of the ACM"} @String{j-COMP-SYS = "Computing Systems"} @String{j-COMPUT-SCI-ENG = "Computing in Science and Engineering"} @String{j-COMPUTER = "Computer"} @String{j-DATA-COMMUNICATIONS = "Data communications"} @String{j-DATAMATION = "Datamation"} @String{j-DDJ = "Dr. Dobb's Journal of Software Tools"} @String{j-EUUG-NEWSLETTER = "EUUG Newsletter"} @String{j-IBM-JRD = "IBM Journal of Research and Development"} @String{j-IEEE-SOFTWARE = "IEEE Software"} @String{j-IEEE-TRANS-COMPUT = "IEEE Transactions on Computers"} @String{j-INFORMATION-WEEK = "Information Week"} @String{j-IRE-TRANS-ELEC-COMPUT = "IRE Transactions on Electronic Computers"} @String{j-J-FUNCT-PROGRAM = "Journal of Functional Programming"} @String{j-LINUX-J = "Linux Journal"} @String{j-LOGIN = ";login: the USENIX Association newsletter"} @String{j-OPER-SYS-REV = "Operating Systems Review"} @String{j-PC-WEEK = "PC Week"} @String{j-SECURITY = "Security"} @String{j-SPE = "Soft\-ware\emdash Prac\-tice and Experience"} @String{j-UNIX-REVIEW = "UNIX review"} @String{j-UNIX-WORLD = "UNIX/world"} %%% ==================================================================== %%% Publisher abbreviations: @String{pub-ACM = "ACM Press"} @String{pub-ACM:adr = "New York, NY 10036, USA"} @String{pub-AW = "Ad{\-d}i{\-s}on-Wes{\-l}ey"} @String{pub-AW:adr = "Reading, MA, USA"} @String{pub-EUROPEN = "EurOpen"} @String{pub-EUROPEN:adr = "Buntingford, Herts, UK"} @String{pub-EUUG = "EUUG"} @String{pub-EUUG:adr = "Buntingford, Herts, UK"} @String{pub-HANSER = "Carl Hanser"} @String{pub-HANSER:adr = "M{\"u}nchen, Germany"} @String{pub-HB = "Harcourt Brace and Co."} @String{pub-HB:adr = "New York, NY, USA"} @String{pub-IEEE = "IEEE Computer Society Press"} @String{pub-IEEE:adr = "1109 Spring Street, Suite 300, Silver Spring, MD 20910, USA"} @String{pub-MORGAN-KAUFMANN = "Morgan Kaufmann Publishers"} @String{pub-MORGAN-KAUFMANN:adr = "Los Altos, CA 94022, USA"} @String{pub-ORA = "O'Reilly \& {Associates, Inc.}"} @String{pub-ORA:adr = "981 Chestnut Street, Newton, MA 02164, USA"} @String{pub-UKUUG = "UK Unix Users Group"} @String{pub-UKUUG:adr = "Buntingford, Herts, UK"} @String{pub-USENIX = "USENIX"} @String{pub-USENIX:adr = "Berkeley, CA, USA"} %%% ==================================================================== %%% Bibliography entries: %%% %%% We include a couple of historical references to the 1958 film whose %%% name was borrowed for this operating system. @Article{Rabin:1959:FAT, author = "M. O. Rabin and D. Scott", title = "Finite automata and their decision problems", journal = j-IBM-JRD, volume = "3", number = "??", pages = "114--125", year = "1959", CODEN = "IBMJAE", ISSN = "0018-8646 (print), 2151-8556 (electronic)", ISSN-L = "0018-8646", MRclass = "93.00 (02.00)", MRnumber = "21 \#2559", bibsource = "ftp://ftp.math.utah.edu/pub/tex/bib/ibmjrd.bib; https://www.math.utah.edu/pub/tex/bib/plan9.bib; http://www.research.ibm.com/journal/", acknowledgement = ack-nhfb, fjournal = "IBM Journal of Research and Development", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5288520", reviewer = "J. McCarthy", } @Article{McNaughton:1960:RES, author = "R. McNaughton and H. Yamada", title = "Regular Expressions and State Graphs for Automata", journal = j-IRE-TRANS-ELEC-COMPUT, volume = "EC-9", number = "1", pages = "39--47", month = mar, year = "1960", CODEN = "IRELAO", DOI = "https://doi.org/10.1109/TEC.1960.5221603", ISSN = "0367-9950", bibdate = "Thu Jul 14 15:34:11 MDT 2011", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranscomput.bib; https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=5221603", acknowledgement = ack-nhfb, fjournal = "IRE Transactions on Electronic Computers", } @Article{Deutsch:1967:OE, author = "L. Peter Deutsch and Butler W. Lampson", title = "An online editor", journal = j-CACM, volume = "10", number = "12", pages = "793--799, 803", month = dec, year = "1967", CODEN = "CACMA2", ISSN = "0001-0782 (print), 1557-7317 (electronic)", ISSN-L = "0001-0782", bibdate = "Fri Nov 25 18:20:16 MST 2005", bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Misc/unix.1.bib; ftp://ftp.math.utah.edu/pub/tex/bib/cacm1960.bib; http://www.acm.org/pubs/contents/journals/cacm/; https://www.math.utah.edu/pub/tex/bib/cacm1960.bib; https://www.math.utah.edu/pub/tex/bib/plan9.bib", abstract = "An online, interactive system for text editing is described in detail, with remarks on the theoretical and experimental justification for its form. Emphasis throughout the system is on providing maximum convenience and power for the user. Notable features are its ability to handle any piece of text, the content-searching facility, and the character-by-character editing operations. The editor can be programmed to a limited extent.", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79", keywords = "QED text editor", } @Article{Thompson:1968:PTR, author = "Ken Thompson", title = "Programming Techniques: {Regular} expression search algorithm", journal = j-CACM, volume = "11", number = "6", pages = "419--422", month = jun, year = "1968", CODEN = "CACMA2", DOI = "https://doi.org/10.1145/363347.363387", ISSN = "0001-0782 (print), 1557-7317 (electronic)", ISSN-L = "0001-0782", bibdate = "Fri Nov 25 18:20:20 MST 2005", bibsource = "http://dblp.uni-trier.de/db/journals/cacm/cacm11.html#Thompson68; http://www.acm.org/pubs/contents/journals/cacm/; https://www.math.utah.edu/pub/tex/bib/cacm1960.bib; https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/string-matching.bib; https://www.math.utah.edu/pub/tex/bib/unix.bib; https://www.math.utah.edu/pub/tex/bib/virtual-machines.bib", note = "See also \cite{Kernighan:1999:REL,Cox:2007:REM,Cox:2009:REM,Cox:2010:REM,Cox:2012:REM}", URL = "http://patft.uspto.gov/", abstract = "A method for locating specific character strings embedded in character text is described and an implementation of this method in the form of a compiler is discussed. The compiler accepts a regular expression as source language and produces an IBM 7094 program as object language. The object program then accepts the text to be searched as input and produces a signal every time an embedded string in the text matches the given regular expression. Examples, problems, and solutions are also presented.", acknowledgement = ack-nhfb, fjournal = "Communications of the ACM", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J79", keywords = "match; regular expression; search", oldlabel = "Thompson68", remark = "The on-the-fly compilation of regular expressions to IBM 7094 machine code is part of US Patent \#3568156, awarded 9 August 1967 to Kenneth L. Thompson. This may be the first instance of the use of regular-expression pattern matching in text-editor software.", XMLdata = "ftp://ftp.informatik.uni-trier.de/pub/users/Ley/bib/records.tar.gz#journals/cacm/Thompson68", } @Misc{Lugosi:1981:POS, author = "Bela Lugosi", title = "{Plan 9} from outer space", publisher = "Nostalgia Merchant", address = "Hollywood, CA, USA", year = "1981", bibdate = "Mon May 27 14:32:08 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "1 videocassette (78 min.)", acknowledgement = ack-nhfb, annote = "VHS format; 3908. Videorecording of the motion picture. ``Winner of the dubious `Golden Turkey Award' for the worst picture of all time.'' Bela Lugosi, Lyle Talbot, Tor Johnson, Vampira. Aliens invade the Earth in flying saucers that look suspiciously like paper plates, intent on conquering the Earth by resurrecting the dead.", keywords = "Feature films; Science fiction films.", } @Misc{Wood:1984:POS, author = "Edward D. (Edward Davis) Wood and Tor Johnson and Vampira and Tom Keene and Gregory Walcott", title = "{Plan 9} from outer space", publisher = "Goodtimes Home Video", address = "New York, NY, USA", year = "1984", ISBN = "1-55511-689-2", ISBN-13 = "978-1-55511-689-7", LCCN = "????", bibdate = "Mon May 27 14:32:08 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "1 videocassette (approx. 79 min.)", series = "Sherlock Theatre: the best of the worst", acknowledgement = ack-nhfb, alttitle = "Plan nine from outer space", annote = "Videocassette release of the c1958 motion picture. Recorded in LP mode. Executive producer, J. Edward Reynolds; director of photography, William C. Thompson; film editor, Edward D. Wood, Jr., Tor Johnson, Vampira, Tom Keene, Gregory Walcott, Dudley Manlove, Mona McKinnon, Bela Lugosi, John Breckinridge, Lyle Talbot. Universally hailed as the worst movie ever made, it is also one of the funniest. Aliens from outer space are robbing graves in the San Fernando Valley and turning the corpses into murdering zombies. VHS. 8311; Goodtimes Home Video.", keywords = "Comedy films; Feature films; Science fiction films.", } @Article{Pike:1987:TES, author = "Rob Pike", title = "The Text Editor sam", journal = j-SPE, volume = "17", number = "11", pages = "813--845", month = nov, year = "1987", CODEN = "SPEXBL", ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Sat May 31 13:36:16 MDT 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/spe.bib", acknowledgement = ack-nhfb, fjournal = "Software --- Practice and Experience", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X", } @InProceedings{Presotto:1988:PBL, author = "David Leo Presotto", title = "{Plan 9} from {Bell Labs} --- The Network", crossref = "USENIX:1988:ECP", pages = "15--21", month = "Spring", year = "1988", bibdate = "Tue Feb 20 15:42:13 MST 1996", bibsource = "ftp://ftp.uu.net/library/bibliography; https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, affiliation = "AT\&T Bell Laboratories, Murray Hill", } @Article{Anonymous:1990:BUP, author = "Anonymous", title = "Beyond {Unix}: {Plan 9}", journal = j-INFORMATION-WEEK, volume = "293", pages = "20--??", day = "29", month = oct, year = "1990", CODEN = "INFWE4", ISSN = "8750-6874", ISSN-L = "1938-3371", bibdate = "Fri Aug 16 18:40:11 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; UnCover library database", abstract = "Bell Labs scientists are working with an internally developed operating system that allows easier distributed processing using networks with diskless workstation nodes.", acknowledgement = ack-nhfb, fjournal = "Information Week", } @Article{Duff:1990:RSPa, author = "T. Duff", title = "Rc --- a shell for {Plan 9} and {Unix} systems", journal = j-EUUG-NEWSLETTER, volume = "10", number = "3", pages = "12--22", month = "Autumn", year = "1990", CODEN = "EONLE8", ISSN = "1011-4211", bibdate = "Sat Mar 22 15:10:17 MST 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, classcodes = "B6210L (Computer communications); C6150C (Compilers, interpreters and other processors); C6115 (Programming support); C5620 (Computer networks and techniques)", corpsource = "AT&T Bell Labs., Murray Hill, NJ, USA", fjournal = "European UNIX Systems User Group, EUUG Newsletter", keywords = "Bourne system; command interpreter; distributed computing environment; distributed processing; idiosyncratic syntax; Plan 9; program interpreters; rc; shell; software; SunOS; systems; Tenth Edition; tools; traditional; Unix; Unix systems", treatment = "P Practical", } @InProceedings{Duff:1990:RSPb, author = "T. Duff", booktitle = "UKUUG. UNIX - The Legend Evolves. Proceedings of the Summer 1990 UKUUG Conference", title = "Rc -- a shell for {Plan 9} and {Unix} systems", publisher = pub-UKUUG, address = pub-UKUUG:adr, pages = "21--33 (of xi + 260)", year = "1990", ISBN = "0-9513181-7-9", ISBN-13 = "978-0-9513181-7-1", LCCN = "????", bibdate = "Sat Mar 22 15:10:17 MST 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, classcodes = "C6150C (Compilers, interpreters and other processors); C6150J (Operating systems)", conflocation = "London, UK; 9-13 July 1990", corpsource = "AT&T Bell Lab., Murray Hill, NJ, USA", keywords = "command interpreter; Edition; multiprocessing programs; Plan 9; program interpreters; rc; SunOS; syntax; Tenth; Unix; Unix systems", treatment = "P Practical", } @Article{Goos:1990:IPS, author = "Anke Goos", title = "Is {Plan 9} Sci-Fi or {UNIX} for the Future?", journal = j-UNIX-WORLD, volume = "7", number = "10", pages = "61--??", day = "1", month = oct, year = "1990", ISSN = "0739-5922", bibdate = "Mon May 27 14:15:40 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; UnCover library database", abstract = "Bell Labs unveils its latest creation-a distributed computing system that separates computation, file services, and display in a system of servers.", acknowledgement = ack-nhfb, fjournal = "UNIX/world", } @Article{Pike:1990:PBLa, author = "R. Pike and D. Presotto and K. Thompson and H. Trickey", title = "{Plan 9} from {Bell Labs}", journal = j-EUUG-NEWSLETTER, volume = "10", number = "3", pages = "2--11", month = "Autumn", year = "1990", CODEN = "EONLE8", ISSN = "1011-4211", bibdate = "Sat Mar 22 15:10:17 MST 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, classcodes = "B6210L (Computer communications); C5620 (Computer networks and techniques); C5630 (Networking equipment)", corpsource = "Bell Labs., Murray Hill, NJ, USA", fjournal = "European UNIX Systems User Group, EUUG Newsletter", keywords = "CPU servers; distributed computing environment; distributed processing; distributed systems; file; file servers; general-; interconnections; local; name space operations; Plan 9; protocols; purpose components; reliability; security; servers; simplicity; single file-oriented protocol; specialised components; terminals", treatment = "P Practical", } @InProceedings{Pike:1990:PBLb, author = "R. Pike and D. Presotto and K. Thompson and H. Trickey", booktitle = "UKUUG. UNIX - The Legend Evolves. Proceedings of the Summer 1990 UKUUG Conference", title = "{Plan 9} from {Bell Labs}", publisher = pub-UKUUG, address = pub-UKUUG:adr, pages = "1--9 (of xi + 260)", year = "1990", ISBN = "0-9513181-7-9", ISBN-13 = "978-0-9513181-7-1", LCCN = "????", bibdate = "Sat Mar 22 15:10:17 MST 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "See also \cite{Jacob:1996:AMD}.", acknowledgement = ack-nhfb, classcodes = "B6210L (Computer communications); C6150J (Operating systems); C5630 (Networking equipment); C5620 (Computer networks and techniques)", conflocation = "London, UK; 9-13 July 1990", corpsource = "AT&T Bell Lab., Murray Hill, NJ, USA", keywords = "building blocks; CPU servers; distributed computing environment; distributed processing; distributed systems; file; file servers; file-oriented protocol; interconnections; local name space; multiprocessing; operations; Plan 9; programs; protocols; security; servers; specialised components; terminals", treatment = "P Practical", } @InProceedings{Presotto:1990:MSP, author = "D. L. Presotto", booktitle = "UKUUG. UNIX - The Legend Evolves. Proceedings of the Summer 1990 UKUUG Conference", title = "Multiprocessor Streams for {Plan 9}", publisher = pub-UKUUG, address = pub-UKUUG:adr, pages = "11--19 (of xi + 260)", month = "????", year = "1990", ISBN = "0-9513181-7-9", ISBN-13 = "978-0-9513181-7-1", LCCN = "????", bibdate = "Sat Mar 22 15:10:17 MST 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, classcodes = "C6150J (Operating systems)", conflocation = "London, UK; 9-13 July 1990", corpsource = "AT&T Bell Lab., Murray Hill, NJ, USA", keywords = "abstraction; input-output programs; kernel; multi-threaded; multiprocessing programs; multiprocessor; Plan 9 kernel; Streams; system call interface; Unix", treatment = "P Practical", } @Article{Pike:1991:DP, author = "Rob Pike and Dave Presotto and Ken Thompson and Howard Trickey", title = "Designing {Plan 9}", journal = j-DDJ, volume = "16", number = "1", pages = "49--50, 52, 54, 56--60", month = jan, year = "1991", CODEN = "DDJOEB", ISSN = "1044-789X", bibdate = "Mon May 27 14:32:08 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", abstract = "Contrary to what you might expect, tomorrow's distributed computer systems may look a lot like Plan 9.", acknowledgement = ack-nhfb, classcodes = "C6150J (Operating systems); C5690 (Other data communication equipment and techniques); C5620 (Computer networks and techniques); C5440 (Multiprocessor systems and techniques)", corpsource = "AT&T Bell Labs., Murray Hill, NJ, USA", fjournal = "Dr. Dobb's Journal of Software Tools", keywords = "(computers); AT and T; bitmap; command interpreter; compiler; CPU servers; distributed computing environment; distributed processing; file; file-oriented protocol; Gnot terminal; local name space; multiprocessors; network servers; networking software; operating system; operating systems; operations; Plan 9; process file system; protocols; screen; servers; window system", treatment = "P Practical", } @Article{Pike:1991:DPC, author = "Rob Pike and Dave Presotto and Ken Thompson", title = "Designing {Plan 9}: contrary to what you might expect, tomorrow's distributed computer systems may look a lot like {Plan 9}", journal = j-DDJ, volume = "16", number = "1", pages = "49--??", day = "1", month = jan, year = "1991", CODEN = "DDJOEB", ISSN = "1044-789X", bibdate = "Mon May 27 14:15:40 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; UnCover library database", acknowledgement = ack-nhfb, fjournal = "Dr. Dobb's Journal of Software Tools", } @TechReport{Pike:1991:PEP, author = "Rob Pike and Dave Presotto and Ken Thompson and Howard Trickey and Tom Duff and Gerard Holzmann", title = "{Plan 9}: The Early Papers", type = "Computing Science Technical Report", number = "158", institution = inst-ATT-BELL, address = inst-ATT-BELL:adr, pages = "i + 55", year = "1991", bibdate = "Tue Oct 01 05:47:43 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "https://telecomarchive.s3.us-east-2.amazonaws.com/docs/bsp-archive/Letters%20and%20Memos/CSTR/CSTR%20158.pdf", abstract = "This report reprints half a dozen early but still current papers on Plan 9 from Bell Labs, a distributed computing system being developed at the Computing Science Research Center of AT\&T Bell Laboratories.", acknowledgement = ack-nhfb, tableofcontents = "The papers were all presented at conferences; the original citations were:\par Rob Pike, Dave Presotto, Ken Thompson, and Howard Trickey, ``Plan 9 from Bell Labs'', Proc. of the Summer 1990 UKUUG Conf., London, July, 1990, pp. 1--9\par Dave Presotto, Rob Pike, Ken Thompson, and Howard Trickey, ``Plan 9, A Distributed System'', Proc. of the Spring 1991 EurOpen Conf., Troms, May, 1991, pp. 43--50\par Rob Pike, ``$8 \frac{1}{2}$, the Plan 9 Window System'', Proc. of the Summer 1991 USENIX Conf., Nashville, June, 1991, pp. 257--265\par Dave Presotto, ``Multiprocessor Streams for Plan 9'', Proc. of the Summer 1990 UKUUG Conf., London, July, 1990, pp. 11--19\par Rob Pike, Dave Presotto, Ken Thompson, and Gerard Holzmann, ``Process Sleep and Wakeup on a Shared-Memory Multiprocessor'', Proc. of the Spring 1991 EurOpen Conf., Troms, May, 1991, pp. 161--166\par Tom Duff, ``Rc --- A Shell for Plan 9 and UNIX Systems'', Proc. of the Summer 1990 UKUUG Conf., London, July, 1990, pp. 21--33\par Ken Thompson, ``A New C Compiler'', Proc. of the Summer 1990 UKUUG Conf., London, July, 1990, pp. 41--51", } @InProceedings{Pike:1991:PWS, author = "R. Pike", booktitle = "Proceedings of the Summer 1991 USENIX Conference, Nashville, TN, USA, June 10--14, 1991", title = "$ 8 {1 / 2} $, the {Plan 9} window system", publisher = pub-USENIX, address = pub-USENIX:adr, pages = "257--266 (of x + 473)", year = "1991", bibdate = "Sat Mar 22 15:10:17 MST 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", abstract = "The Plan 9 window system, $ 8 1 / 2 $, is a modest-sized program of novel design. It provides textual I/O and bitmap graphic services to both local and remote client programs by offering a multiplexed file service to those clients. It serves traditional UNIX files like {\tt /dev/tty} as well as more unusual ones that provide access to the mouse and the raw screen. Bitmap graphics operations are provided by serving a file called {\tt /dev/bitblt} that interprets client messages to perform raster operations. The file service that $ 8 1 / 2 $ offers its clients is identical to that it uses for its own implementation, so it is fundamentally no more than a multiplexer. This architecture has some rewarding symmetries and can be implemented compactly.", acknowledgement = ack-nhfb, classcodes = "C6180G (Graphical user interfaces); C6150N (Distributed systems); C6150J (Operating systems); C6130B (Graphics techniques)", conflocation = "Nashville, TN, USA; 10-14 June 1991", corpsource = "AT&T Bell Labs., Murray Hill, NJ, USA", keywords = "8/sup 1///sub 2/; ASCII I/O; bitmap graphic services; client messages; file; graphical user interfaces; modest-sized; mouse; multiplexed file service; multiplexer; multiplexing; multiprogramming; Plan 9 window system; program; programs; raster operations; raw screen; remote client; service; traditional Unix files; Unix", treatment = "P Practical", } @InProceedings{Presotto:1991:PDS, author = "D. Presotto and R. Pike and K. Thompson and H. Trickey", title = "{Plan 9}, a distributed system", crossref = "EurOpen:1991:EUD", pages = "43--50", year = "1991", bibdate = "Fri May 22 11:52:09 1998", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, classcodes = "C6150J (Operating systems)", corpsource = "Bell Labs., Holmdel, NJ, USA", keywords = "access; file caching; network operating systems; per process group name space; Plan 9; portable distributed system; software portability; uniform; Unix", treatment = "P Practical", } @Article{Quinlan:1991:CWF, author = "S. Quinlan", title = "A Cached {WORM} File System", journal = j-SPE, volume = "21", number = "12", pages = "1289--??", month = dec, year = "1991", CODEN = "SPEXBL", ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Fri Apr 30 10:31:10 1999", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "See also \cite{Jacob:1996:AMD}.", acknowledgement = ack-nhfb, fjournal = "Software---Practice and Experience", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X", } @Article{Dorward:1992:P, author = "Sean Dorward and Rob Pike and Dave Presotto", title = "{Plan 9}", journal = j-UNIX-REVIEW, volume = "10", number = "4", pages = "28--??", day = "1", month = apr, year = "1992", CODEN = "UNRED5", ISSN = "0742-3136", bibdate = "Mon May 27 14:15:40 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; UnCover library database", acknowledgement = ack-nhfb, fjournal = "UNIX review", } @InProceedings{Pike:1992:UNS, author = "Rob Pike and Dave Presotto and Ken Thompson and Howard Trickey and Phil Winterbottom", booktitle = "Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring", title = "The Use of Name Spaces in {Plan 9}", publisher = pub-ACM, address = pub-ACM:adr, pages = "1--5", year = "1992", DOI = "https://doi.org/10.1145/506378.506413", bibdate = "Fri Oct 18 18:11:54 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://www.informatik.hu-berlin.de/~mint/Library/Plan9/names.html", acknowledgement = ack-nhfb, } @InProceedings{Presotto:1992:PDS, author = "D. Presotto and R. Pike and K. Thompson and H. Trickey", booktitle = "Proceedings of the USENIX Workshop on Micro-Kernels and Other Kernel Architectures", title = "{Plan 9}, a distributed system", publisher = pub-USENIX, address = pub-USENIX:adr, pages = "31--37 (of 303)", year = "1992", bibdate = "Sat Mar 22 15:10:17 MST 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, classcodes = "C6150N (Distributed systems)", conflocation = "Seattle, WA, USA; 27-28 April 1992", corpsource = "AT&T Bell Lab., Murray Hill, NJ, USA", keywords = "distributed system; group name space; multi user system; multiprogramming; network operating systems; per process; Plan 9; uniform access", treatment = "P Practical", } @TechReport{Gremeyer:1993:UIG, author = "Petra Gremeyer and Axel T. Schreiner", title = "It's ugly but it gets you there: a poor man's installation guide for {Plan 9}", type = "Technical report", number = "31", institution = "Fachbereich Mathematik\slash Informatik, Universit{\"a}t Osnabr{\"u}ck", address = "Osnabr{\"u}ck, Germany", pages = "13", year = "1993", bibdate = "Tue Feb 12 14:32:07 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, } @InProceedings{Pike:1993:HW, author = "Rob Pike and Ken Thompson", title = "Hello World", crossref = "USENIX:1993:PWU", pages = "43--50", month = "Winter", year = "1993", bibdate = "Wed Aug 13 10:48:45 MDT 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; http://www.usenix.org/cgi-bin/sortbib.pl?-sA", URL = "http://plan9.bell-labs.com/sys/doc/utf.pdf", abstract = "Plan 9 from Bell Labs has recently been converted from ASCII to an ASCII-compatible variant of the Unicode Standard, a 16-bit character set. In this paper we explain the reasons for the change, describe the character set and representation we chose, and present the programming models and software changes that support the new text format. Although we stopped short of full internationalization for example, system error messages are in Unixese, not Japanese we believe Plan 9 is the first system to treat the representation of all major languages on a uniform, equal footing throughout all its software.", acknowledgement = ack-nhfb, keywords = "16 Bit; 16-Bit character set; ASCII-compatible variant; Character sets; Distributed OS text format; Linguistics; Major languages; Network operating systems; Plan 9; Programming; Programming models; Software changes; Standards; Unicode", remark = "This is the paper that first introduced the UTF-8 encoding of Unicode.", } @Article{Pike:1993:UNS, author = "Rob Pike and Dave Presotto and Ken Thompson and Howard Trickey and Phil Winterbottom", title = "The Use of Name Spaces in {Plan 9}", journal = j-OPER-SYS-REV, volume = "27", number = "2", pages = "72--76", month = apr, year = "1993", CODEN = "OSRED8", ISSN = "0163-5980 (print), 1943-586X (electronic)", ISSN-L = "0163-5980", bibdate = "Mon May 27 14:32:08 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/names.html; http://plan9.bell-labs.com/sys/doc/names.pdf; http://plan9.bell-labs.com/sys/doc/names.ps", abstract = "Plan 9 is a distributed system built at the Computing Sciences Research Center of AT\&T Bell Laboratories (now Lucent Technologies, Bell Labs) over the last few years. Its goal is to provide a production-quality system for software development and general computation using heterogeneous hardware and minimal software. A Plan 9 system comprises CPU and file servers in a central location connected together by fast networks. Slower networks fan out to workstation-class machines that serve as user terminals. Plan 9 argues that given a few carefully implemented abstractions it is possible to produce a small operating system that provides support for the largest systems on a variety of architectures and networks. The foundations of the system are built on two ideas: a per-process name space and a simple message-oriented file system protocol.", acknowledgement = ack-nhfb, classcodes = "C6150N (Distributed systems); C6120 (File organisation)", corpsource = "AT&T Bell Labs., Murray Hill, NJ, USA", fjournal = "Operating Systems Review", keywords = "CPU; distributed system; fast networks; file organisation; file servers; message-oriented file system; network operating systems; operating; per-process name space; Plan 9; production-quality system; protocol; software development; system; user terminals; workstation-class machines", treatment = "P Practical", } @Article{Presotto:1993:MSPa, author = "D. Presotto", title = "Multiprocessor {STREAMS} for {Plan 9}", journal = j-EUUG-NEWSLETTER, volume = "??", number = "??", pages = "??--??", month = jan, year = "1993", CODEN = "EONLE8", ISSN = "1011-4211", bibdate = "Fri Oct 18 18:50:27 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, fjournal = "European UNIX Systems User Group, EUUG Newsletter", xxnote = "Check year: I found this citation, but an article of the same title was published in 1990 \cite{Presotto:1990:MSP}.", } @InProceedings{Presotto:1993:MSPb, author = "David Presotto", booktitle = "USENIX Association. Proceedings of the Winter 1993 USENIX Conference", title = "Multiprocessor Streams for {Plan 9}", publisher = pub-USENIX, address = pub-USENIX:adr, pages = "??--??", year = "1993", bibdate = "Fri Oct 18 19:00:54 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, bookpages = "x + 530", } @InProceedings{Presotto:1993:ONP, author = "D. Presotto and P. Winterbottom", booktitle = "USENIX Association. Proceedings of the Winter 1993 USENIX Conference", title = "The organization of networks in {Plan 9}", publisher = pub-USENIX, address = pub-USENIX:adr, pages = "271--280 (of x + 530)", year = "1993", bibdate = "Sat Mar 22 15:10:17 MST 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/net/net.html; http://plan9.bell-labs.com/sys/doc/net/net.pdf; http://plan9.bell-labs.com/sys/doc/net/net.ps", abstract = "In a distributed system networks are of paramount importance. This paper describes the implementation, design philosophy, and organization of network support in Plan 9. Topics include network requirements for distributed systems, our kernel implementation, network naming, user interfaces, and performance. We also observe that much of this organization is relevant to current systems.", acknowledgement = ack-nhfb, classcodes = "C6150N (Distributed systems)", conflocation = "San Diego, CA, USA; 25-29 Jan. 1993", corpsource = "AT&T Bell Labs., Murray Hill, NJ, USA", keywords = "distributed processing; distributed system; distributed systems; kernel implementation; network naming; network operating systems; network requirements; network support; performance; user interfaces", sponsororg = "USENIX", treatment = "P Practical", } @TechReport{Welch:1993:CTD, author = "Brent Welch", title = "A comparison of three distributed file system architectures: {Vnode}, {Sprite}, and {Plan 9}", type = "Technical report", number = "CSL-93-18", institution = "Xerox Corp., Palo Alto Research Center", address = "Palo Alto, CA, USA", pages = "18", month = dec, year = "1993", bibdate = "Mon May 27 14:32:08 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", abstract = "This paper compares three distributed file system architectures: the vnode architecture found in SunOS, the architecture used in the Sprite distributed file system, and the architecture used in the Plan 9 distributed file system. The emphasis of the comparison is on generalized support for remote access to file system resources, which include peripheral devices and IPC communication channels as well as regular files. The vnode architecture is an evolution of structures and interfaces used in the original, stand-alone UNIX file system. The Sprite architecture provides a network-wide shared name space and emphasizes a strong separation of the internal naming and I/O interfaces to easily provide remote access to a variety of resources. The Plan 9 architecture relies on per-process name spaces and is organized around a single file system protocol, 9P, through which a variety of devices and system services are accessed.", acknowledgement = ack-nhfb, keywords = "Distributed parameter systems.", } @InProceedings{Zobel:1993:SLL, author = "Justin Zobel and Alistair Moffat and Ron Sacks-Davis", title = "Searching Large Lexicons for Partially Specified Terms using Compressed Inverted Files", crossref = "Agrawal:1993:VLD", pages = "290--301", year = "1993", bibdate = "Fri Jan 12 07:50:33 MST 2001", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; http://www.vldb.org/dblp/db/conf/vldb/vldb93.html", URL = "http://www.vldb.org/dblp/db/conf/vldb/ZobelMS93.html", acknowledgement = ack-nhfb, authorurl = "http://www.vldb.org/dblp/db/indices/a-tree/z/Zobel:Justin.html; http://www.vldb.org/dblp/db/indices/a-tree/m/Moffat:Alistair.html; http://www.vldb.org/dblp/db/indices/a-tree/s/Sacks=Davis:Ron.html", keywords = "regular expressions; very large data bases; VLDB", } @TechReport{Kotsopoulos:1994:PSS, author = "Steve Kotsopoulos", title = "{Plan 9} System Setup Guide (Draft)", type = "Technical report", institution = "University of Toronto", address = "Toronto, ON, Canada", day = "9", month = sep, year = "1994", bibdate = "Mon May 27 15:29:01 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://www.ecf.toronto.edu/plan9/9guide.ps", acknowledgement = ack-nhfb, } @InProceedings{Pike:1994:AUI, author = "Rob Pike", title = "{Acme}: a User Interface for Programmers", crossref = "USENIX:1994:PWU", pages = "223--234", year = "1994", bibdate = "Tue Feb 12 11:41:28 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/acme/acme.html; http://plan9.bell-labs.com/sys/doc/acme/acme.pdf; http://plan9.bell-labs.com/sys/doc/acme/acme.ps", abstract = "A hybrid of window system, shell, and editor, Acme gives text-oriented applications a clean, expressive, and consistent style of interaction. Traditional window systems support interactive client programs and offer libraries of pre-defined operations such as pop-up menus and buttons to promote a consistent user interface among the clients. Acme instead provides its clients with a fixed user interface and simple conventions to encourage its uniform use. Clients access the facilities of Acme through a file system interface; Acme is in part a file server that exports device-like files that may be manipulated to access and control the contents of its windows. Written in a concurrent programming language, Acme is structured as a set of communicating processes that neatly subdivide the various aspects of its tasks: display management, input, file server, and so on.\par Acme attaches distinct functions to the three mouse buttons: the left selects text; the middle executes textual commands; and the right combines context search and file opening functions to integrate the various applications and files in the system.\par Acme works well enough to have developed a community that uses it exclusively. Although Acme discourages the traditional style of interaction based on typescript windows teletypes its users find Acme's other services render typescripts obsolete.", acknowledgement = ack-nhfb, } @InProceedings{Presotto:1994:PDS, author = "D. Presotto and R. Pike and K. Thompson and H. Trickey", title = "{Plan 9}: a Distributed System", crossref = "Brazier:1994:DOS", pages = "49--56", year = "1994", bibdate = "Mon May 27 14:32:08 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, } @MastersThesis{Rayome:1994:SSP, author = "Jerry Kent Rayome", title = "System security of the {Plan 9} distributed operating system from {Bell Laboratories}", type = "Thesis (M.S.)", school = "California State University, Chico", address = "Chico, CA, USA", pages = "viii + 74", year = "1994", bibdate = "Sat Aug 17 16:33:52 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, keywords = "Computer security; Plan 9 (Computer system) -- Security measures.", } @Article{Welch:1994:CTD, author = "B. Welch", title = "A comparison of three distributed file system architectures: {Vnode}, {Sprite}, and {Plan 9}", journal = j-COMP-SYS, volume = "7", number = "2", pages = "175--199", month = "Spring", year = "1994", CODEN = "CMSYE2", ISSN = "0895-6340", bibdate = "Sat Mar 22 15:10:17 MST 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, classcodes = "C6120 (File organisation); C6160B (Distributed DBMS); C6150J (Operating systems); C6150N (Distributed systems); C5640 (Protocols)", fjournal = "Computing Systems", keywords = "9; 9P file system; devices; distributed databases; distributed file system architectures; file organisation; file system resources; I/O; interfaces; internal naming; IPC communication channels; network-wide shared name space; per-process name spaces; peripheral; Plan; procedure calls; protocol; protocols; remote; remote access; Sprite; SunOS; system services; telecommunication channels; Unix; UNIX file system; vnode", treatment = "G General Review; P Practical", } @InProceedings{Winterbottom:1994:ADB, author = "Philip Winterbottom", title = "{ACID}: a Debugger based on a Language", crossref = "USENIX:1994:PWU", pages = "??--??", year = "1994", bibdate = "Tue Feb 12 11:44:28 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/acidpaper.html; http://plan9.bell-labs.com/sys/doc/acidpaper.pdf; http://plan9.bell-labs.com/sys/doc/acidpaper.ps", acknowledgement = ack-nhfb, } @Article{Anonymous:1995:APH, author = "Anonymous", title = "{AT\&T} plans to hold the line and maintain tight controls on modifications to its new {Plan 9} operating system", journal = j-PC-WEEK, volume = "12", number = "30", pages = "21--??", month = jul, year = "1995", ISSN = "0740-1604", bibdate = "Mon May 27 14:32:08 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, fjournal = "PC Week", } @Article{Anonymous:1995:WGPa, author = "Anonymous", title = "What's {GNU}?: {Plan 9} (part 1 of 2)", journal = j-LINUX-J, volume = "11", pages = "??--??", month = mar, year = "1995", CODEN = "LIJOFX", ISSN = "1075-3583 (print), 1938-3827 (electronic)", ISSN-L = "1075-3583", bibdate = "Fri Oct 9 08:35:26 MDT 1998", bibsource = "http://www.linuxjournal.com/issue11/index.html; https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://www.linuxjournal.com/issue11/gnu11.html", acknowledgement = ack-nhfb, fjournal = "Linux Journal", journal-URL = "http://portal.acm.org/citation.cfm?id=J508", } @Article{Anonymous:1995:WGPb, author = "Anonymous", title = "What's {GNU}?: {Plan 9} (part 2 of 2)", journal = j-LINUX-J, volume = "12", pages = "??--??", month = apr, year = "1995", CODEN = "LIJOFX", ISSN = "1075-3583 (print), 1938-3827 (electronic)", ISSN-L = "1075-3583", bibdate = "Fri Oct 9 08:35:26 MDT 1998", bibsource = "http://www.linuxjournal.com/issue12/index.html; https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://www.linuxjournal.com/issue12/gnu12.html", acknowledgement = ack-nhfb, fjournal = "Linux Journal", journal-URL = "http://portal.acm.org/citation.cfm?id=J508", } @Article{Pike:1995:PBL, author = "Rob Pike and Dave Presotto and Sean Dorward and Bob Flandrena and Ken Thompson and Howard Trickey and Phil Winterbottom", title = "{Plan 9} from {Bell Labs}", journal = j-COMP-SYS, volume = "8", number = "3", pages = "221--254", month = "Summer", year = "1995", CODEN = "CMSYE2", ISSN = "0895-6340", bibdate = "Sat Mar 22 15:10:17 MST 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/9.html; http://plan9.bell-labs.com/sys/doc/9.pdf; http://plan9.bell-labs.com/sys/doc/9.ps", acknowledgement = ack-nhfb, classcodes = "C6150J (Operating systems); C6120 (File organisation); C5640 (Protocols)", corpsource = "AT&T Bell Labs., Murray Hill, NJ, USA", fjournal = "Computing Systems", keywords = "9P; Bell Labs; cheap modern microcomputers; environment; file system; multiprocessors; naming services; naming system; network level protocol; operating systems (computers); Plan 9; private computing; protocols; remote systems; shared memory; shared resources; system; time-sharing systems; timesharing; UNIX; workstations", treatment = "P Practical", } @Article{Robbins:1995:WGPa, author = "Arnold Robbins", title = "What's {GNU}? [{Plan 9 Part I}]", journal = j-LINUX-J, volume = "10", pages = "??--??", month = mar, year = "1995", CODEN = "LIJOFX", ISSN = "1075-3583 (print), 1938-3827 (electronic)", ISSN-L = "1075-3583", bibdate = "Thu Nov 16 11:13:05 2006", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://interactive.linuxjournal.com/article/1012", acknowledgement = ack-nhfb, fjournal = "Linux Journal", journal-URL = "http://portal.acm.org/citation.cfm?id=J508", } @Article{Robbins:1995:WGPb, author = "Arnold Robbins", title = "What's {GNU}? {Plan 9 Part II}", journal = j-LINUX-J, volume = "10", pages = "??--??", month = apr, year = "1995", CODEN = "LIJOFX", ISSN = "1075-3583 (print), 1938-3827 (electronic)", ISSN-L = "1075-3583", bibdate = "Fri Oct 9 08:35:26 MDT 1998", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://interactive.linuxjournal.com/article/0062; http://portal.acm.org/citation.cfm?id=324810", acknowledgement = ack-nhfb, fjournal = "Linux Journal", journal-URL = "http://portal.acm.org/citation.cfm?id=J508", } @Article{Anonymous:1996:CEU, author = "Anonymous", title = "Cutting Edge --- Use {DMI} To Reduce Desktop Support Costs Summer School for {IS} Professionals. {Java}, {Java} Everywhere. First {Plan 9}, Now {Inferno}. {Go} Beyond {RAID-5}. {Downsizing} of {IS} Slows in 96. {How} To Link Relational and Object Databases. {Brace} Yourself for a Price Hike for {ISDN} Service", journal = j-DATAMATION, volume = "42", number = "11", pages = "10--??", month = "????", year = "1996", CODEN = "DTMNAT", ISSN = "0011-6963", bibdate = "Fri Aug 16 13:12:40 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, fjournal = "Datamation", } @Article{Anonymous:1996:NPS, author = "Anonymous", title = "A New Plan for Scalable Distributed Computing: {AT\&T}'s {Plan 9}", journal = j-DATA-COMMUNICATIONS, volume = "25", number = "1", pages = "106--??", day = "1", month = jan, year = "1996", CODEN = "DACODM", ISSN = "0363-6399", bibdate = "Mon May 27 14:15:40 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; UnCover library database", acknowledgement = ack-nhfb, fjournal = "Data communications", } @Article{Anonymous:1996:PMM, author = "Anonymous", title = "{Plan 9}: Multi-media Mobile {OS}", journal = j-SECURITY, volume = "33", number = "3", pages = "64--??", month = "????", year = "1996", CODEN = "SECUEU", ISSN = "0890-8826", bibdate = "Mon May 27 14:32:08 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, fjournal = "Security", } @Article{Anonymous:1996:POS, author = "Anonymous", title = "{Plan 9}: From Outer Space to Kernel Space", journal = j-IEEE-SOFTWARE, volume = "13", number = "3", pages = "98--??", month = may, year = "1996", CODEN = "IESOEG", ISSN = "0740-7459 (print), 0740-7459 (electronic)", ISSN-L = "0740-7459", bibdate = "Mon May 27 14:32:08 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Software", journal-URL = "http://www.computer.org/portal/web/csdl/magazines/software", } @Article{Bailey:1996:PA, author = "David Bailey", title = "{Plan 9} from {AT\&T}", journal = j-UNIX-REVIEW, volume = "14", number = "1", pages = "27--28", day = "1", month = jan, year = "1996", CODEN = "UNRED5", ISSN = "0742-3136", bibdate = "Tue Mar 11 22:37:17 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; UnCover library database", acknowledgement = ack-nhfb, fjournal = "UNIX review", } @Article{Bailey:1996:PUP, author = "David Bailey", title = "{PC UNIX} --- {Plan 9} From {AT\&T}", journal = j-UNIX-REVIEW, volume = "14", number = "1", pages = "27--??", month = "????", year = "1996", CODEN = "UNRED5", ISSN = "0742-3136", bibdate = "Mon May 27 14:32:08 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, fjournal = "UNIX review", } @Article{Fennessy:1996:PBM, author = "Quentin Fennessy", title = "{Plan 9}: Bad Movie, Good Operating System", journal = j-COMPUTER, volume = "29", number = "5", pages = "117--119, 121--123", month = may, year = "1996", CODEN = "CPTRB4", ISSN = "0018-9162 (print), 1558-0814 (electronic)", ISSN-L = "0018-9162", bibdate = "Mon May 27 15:07:07 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, fjournal = "Computer", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=2", } @Article{Fillinich:1996:PFF, author = "Paul Fillinich", title = "{Plan 9}: Feature Film to Feature-Rich {OS}", journal = j-BYTE, volume = "21", number = "3", pages = "143--144", day = "1", month = mar, year = "1996", CODEN = "BYTEDJ", ISSN = "0360-5280", ISSN-L = "0360-5280", bibdate = "Sat Mar 22 15:10:17 MST 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; UnCover library database", abstract = "{Plan 9} from Bell Labs is a distributed and fairly portable operating system. It could be playing soon in a niche near you.", acknowledgement = ack-nhfb, classcodes = "C6150J (Operating systems); C6150N (Distributed systems software); C6110J (Object-oriented programming)", fjournal = "BYTE Magazine", keywords = "distributed operating system; file; network operating systems; network software; object oriented; object-oriented programming; operating systems (computers); OS; Plan 9; portable distributed system; programming; server system; software portability", treatment = "P Practical", } @Article{Jacob:1996:AMD, author = "Bruce L. Jacob and Peter M. Chen and Seth R. Silverman and Trevor N. Mudge", title = "An Analytical Model for Designing Memory Hierarchies", journal = j-IEEE-TRANS-COMPUT, volume = "45", number = "10", pages = "1180--1194", month = oct, year = "1996", CODEN = "ITCOB4", DOI = "https://doi.org/10.1109/12.543711", ISSN = "0018-9340 (print), 1557-9956 (electronic)", ISSN-L = "0018-9340", bibdate = "Wed Jul 6 19:47:14 MDT 2011", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranscomput1990.bib; https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "Simulates a storage hierarchy similar to that of Plan 9 \cite{Pike:1990:PBLb,Quinlan:1991:CWF}. See comment \cite{Jacob:1997:CAM}.", URL = "http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=543711", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Computers", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=12", } @Article{Korzeniowski:1996:NPO, author = "Paul Korzeniowski", title = "In the News: {Plan 9}: From Outer Space to Kernel Space", journal = j-IEEE-SOFTWARE, volume = "13", number = "3", pages = "105--105", month = may, year = "1996", CODEN = "IESOEG", ISSN = "0740-7459 (print), 0740-7459 (electronic)", ISSN-L = "0740-7459", bibdate = "Fri Aug 16 13:12:40 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeesoft.bib; https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, fjournal = "IEEE Software", journal-URL = "http://www.computer.org/portal/web/csdl/magazines/software", } @Book{Pike:1996:PPMa, author = "Rob Pike and others", title = "{Plan 9} Programmer's Manual: Volume 1: The Manuals", publisher = pub-HB, address = pub-HB:adr, pages = "????", year = "1996", ISBN = "????", ISBN-13 = "????", LCCN = "????", bibdate = "Mon May 27 15:10:24 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/plan9/vol1.html", acknowledgement = ack-nhfb, } @Book{Pike:1996:PPMb, author = "Rob Pike and others", title = "{Plan 9} Programmer's Manual: Volume 2: The Documents", publisher = pub-HB, address = pub-HB:adr, pages = "????", year = "1996", ISBN = "????", ISBN-13 = "????", LCCN = "????", bibdate = "Sat Mar 22 15:31:21 1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/plan9/vol2.html", acknowledgement = ack-nhfb, } @Article{Jacob:1997:CAM, author = "B. L. Jacob and P. M. Chen and T. N. Mudge and S. R. Silverman", title = "A comment on {``An analytical model for designing memory hierarchies''}", journal = j-IEEE-TRANS-COMPUT, volume = "46", number = "10", pages = "1151--1151", month = oct, year = "1997", CODEN = "ITCOB4", DOI = "https://doi.org/10.1109/12.628401", ISSN = "0018-9340 (print), 1557-9956 (electronic)", ISSN-L = "0018-9340", bibdate = "Wed Jul 6 10:08:49 MDT 2011", bibsource = "https://www.math.utah.edu/pub/tex/bib/ieeetranscomput1990.bib; https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "See \cite{Jacob:1996:AMD}.", URL = "http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=628401", acknowledgement = ack-nhfb, fjournal = "IEEE Transactions on Computers", journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=12", } @Article{Kuehl:1997:NGP, author = "B. Kuehl", title = "{Die naechste Generation --- Plan 9}", journal = "{Offene Systeme}", volume = "12", pages = "16--24", year = "1997", ISSN = "", LCCN = "", bibdate = "Sat Oct 28 16:30:35 2000", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "Proceedings of German UNIX User Group Jahrestagung 13 -- September 1997: Wiesbaden, Germany.", acknowledgement = ack-nhfb, } @Manual{Lucent:1997:LPL, title = "The {Limbo} Programming Language", organization = "Lucent Technologies Inc", year = "1997", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://inferno.lucent.com/inferno/", abstract = "Limbo is a programming language intended for applications running distributed systems on small computers. It supports modular programming, strong type checking at compile- and run-time, interprocess communication over typed channels, automatic garbage collection, and simple abstract data types. It is designed for safe execution even on small machines without hardware memory protection. In its initial implementation for the Inferno operating system, object programs generated by the Limbo compiler run using an interpreter for a fixed virtual machine. Inferno and its accompanying virtual machine run either stand-alone on bare hardware or as an application under conventional operating systems like Unix, Windows 95, Windows NT, and Plan 9. For several architectures, including Intel x86 and MIPS, Limbo object programs are transformed on-the-fly into instructions for the underlying hardware.", acknowledgement = ack-nhfb, } @Book{Skocovski:1998:UPP, author = "Ludek Skocovski", title = "{UNIX, POSIX, Plan 9}", publisher = "????", address = "Brno, Czech Republic", pages = "394", year = "1998", ISBN = "80-902612-0-5", ISBN-13 = "978-80-902612-0-4", LCCN = "", bibdate = "Sat Oct 28 16:43:55 2000", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "In Czech.", acknowledgement = ack-nhfb, } @Book{Bischof:1999:NPK, author = "Hans-Peter Bischof and others", title = "{Das Netzbetriebssystem Plan 9: Konzepte und Programmierung}", publisher = pub-HANSER, address = pub-HANSER:adr, pages = "viii + 242", year = "1999", ISBN = "3-446-18881-9", ISBN-13 = "978-3-446-18881-5", LCCN = "????", bibdate = "Sat Oct 28 16:41:42 2000", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, } @Book{Kernighan:1999:PP, author = "Brian W. Kernighan and Rob Pike", booktitle = "The Practice of Programming", title = "The Practice of Programming", publisher = pub-AW, address = pub-AW:adr, pages = "xii + 267", year = "1999", ISBN = "0-201-61586-X", ISBN-13 = "978-0-201-61586-9", LCCN = "QA76.6 .K48 1999", bibdate = "Fri Jan 21 06:58:06 2000", bibsource = "https://www.math.utah.edu/pub/tex/bib/css.bib; https://www.math.utah.edu/pub/tex/bib/gnu.bib; https://www.math.utah.edu/pub/tex/bib/master.bib; https://www.math.utah.edu/pub/tex/bib/mathcw.bib; https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/string-matching.bib", price = "US\$24.95, CAN\$37.50", URL = "http://cm.bell-labs.com/cm/cs/tpop/code.html; http://cseng.aw.com/bookdetail.qry?ISBN=0-201-61586-X&ptype=0; http://tpop.awl.com", acknowledgement = ack-nhfb, remark = "Section 9.2 discusses regular expressions.", shorttableofcontents = "Preface \\ 1: Style / 1 \\ 2: Algorithms and Data Structures / 29 \\ 3: Design and Implementation / 61 \\ 4: Interfaces / 85 \\ 5: Debugging / 117 \\ 6: Testing / 139 \\ 7: Performance / 165 \\ 8: Portability / 189 \\ 9: Notation / 215 \\ Epilogue / 247 \\ Appendix: Collected Rules / 249 \\ Index / 253", tableofcontents = "Preface / ix \\ 1: Style / 1 \\ 1.1 Names / 3 \\ 1.2 Expressions and Statements / 6 \\ 1.3 Consistency and Idioms / 10 \\ 1.4 Function Macros / 17 \\ 1.5 Magic Numbers / 19 \\ 1.6 Comments / 23 \\ 1.7 Why Bother? / 27 \\ 2: Algorithms and Data Structures / 29 \\ 2.1 Searching / 30 \\ 2.2 Sorting / 32 \\ 2.3 Libraries / 34 \\ 2.4 A Java Quicksort / 37 \\ 2.5 O-Notation / 40 \\ 2.6 Growing Arrays / 41 \\ 2.7 Lists / 44 \\ 2.8 Trees / 50 \\ 2.9 Hash Tables / 55 \\ 2.10 Summary / 58 \\ 3: Design and Implementation / 61 \\ 3.1 The Markov Chain Algorithm / 62 \\ 3.2 Data Structure Alternatives / 64 \\ 3.3 Building the Data Structure in C / 65 \\ 3.4 Generating Output / 69 \\ 3.5 Java / 71 \\ 3.6 C++ / 76 \\ 3.7 Awk and Perl / 78 \\ 3.8 Performance / 80 \\ 3.9 Lessons / 82 \\ 4: Interfaces / 85 \\ 4.1 Comma-Separated Values / 86 \\ 4.2 A Prototype Library / 87 \\ 4.3 A Library for Others / 91 \\ 4.4 A C++ Implementation / 99 \\ 4.5 Interface Principles / 103 \\ 4.6 Resource Management / 106 \\ 4.7 Abort, Retry. Fail? / 109 \\ 4.8 User Interfaces / 113 \\ 5: Debugging / 117 \\ 5.1 Debuggers / 118 \\ 5.2 Good Clues, Easy Bugs / 119 \\ 5.3 No Clues, Hard Bugs / 123 \\ 5.4 Last Resorts / 127 \\ 5.5 Non-reproducible Bugs / 130 \\ 5.6 Debugging Tools / 131 \\ 5.7 Other People's Bugs / 135 \\ 5.8 Summary / 136 \\ 6: Testing / 139 \\ 6.1 Test as You Write the Code / 140 \\ 6.2 Systematic Testing / 145 \\ 6.3 Test Automation / 149 \\ 6.4 Test Scaffolds / 151 \\ 6.5 Stress Tests / 155 \\ 6.6 Tips for Testing / 158 \\ 6.7 Who Does the Testing? / 159 \\ 6.8 Testing the Markov Program / 160 \\ 6.9 Summary / 162 \\ 7: Performance / 165 \\ 7.1 A Bottleneck / 166 \\ 7.2 Timing and Profiling / 171 \\ 7.3 Strategies for Speed / 175 \\ 7.4 Tuning the Code / 178 \\ 7.5 Space Efficiency / 182 \\ 7.6 Estimation / 184 \\ 7.7 Summary / 187 \\ 8: Portability / 189 \\ 8.1 Language / 190 \\ 8.2 Headers and Libraries / 196 \\ 8.3 Program Organization / 198 \\ 8.4 Isolation / 202 \\ 8.5 Data Exchange / 203 \\ 8.6 Byte Order / 204 \\ 8.7 Portability and Upgrade / 207 \\ 8.8 Internationalization / 209 \\ 8.9 Summary / 212 \\ 9: Notation / 215 \\ 9.1 Formatting Data / 216 \\ 9.2 Regular Expressions / 222 \\ 9.3 Programmable Tools / 228 \\ 9.4 Interpreters, Compilers, and Virtual Machines / 231 \\ 9.5 Programs that Write Programs / 237 \\ 9.6 Using Macros to Generate Code / 240 \\ 9.7 Compiling on the Fly / 241 \\ Epilogue / 247 \\ Appendix: Collected Rules / 249 \\ Index / 253", } @Article{Kernighan:1999:REL, author = "Brian W. Kernighan and Rob Pike", title = "Regular Expressions: Languages, Algorithms, Software", journal = j-DDJ, volume = "24", number = "4", pages = "19--22", month = apr, year = "1999", CODEN = "DDJOEB", ISSN = "1044-789X", bibdate = "Wed Mar 3 06:30:11 MST 1999", bibsource = "https://www.math.utah.edu/pub/tex/bib/dr-dobbs-1990.bib; https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "See also \cite{Thompson:1968:PTR,Cox:2007:REM,Cox:2009:REM,Cox:2010:REM,Cox:2012:REM}", URL = "http://www.ddj.com/ftp/1999/1999_04/regexp.txt; http://www.ddj.com/ftp/1999/1999_04/regexp.zip", abstract = "Regular expressions, one of the most broadly applicable of programmer's tools, provide a compact and expressive notation for describing patterns of text. They are also algorithmically interesting, easy to implement, and highly useful. Additional resources include regexp.txt (listings) and regexp.zip (source code).", acknowledgement = ack-nhfb, fjournal = "Dr. Dobb's Journal of Software Tools", } @TechReport{Anonymous:19xx:IPD, author = "Anonymous", title = "Installing the {Plan 9} Distribution", institution = inst-CSRC, address = inst-CSRC:adr, pages = "????", year = "19xx", bibdate = "Sat Oct 28 16:39:38 2000", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.att.com/plan9/doc/install.html", acknowledgement = ack-nhfb, } @TechReport{Anonymous:19xx:P, author = "Anonymous", title = "{Plan 9}", institution = inst-CSRC, address = inst-CSRC:adr, pages = "????", year = "19xx", bibdate = "Sat Oct 28 16:39:38 2000", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.att.com/plan9/index.html", acknowledgement = ack-nhfb, } @TechReport{Anonymous:19xx:PD, author = "Anonymous", title = "{Plan 9} Distribution", institution = inst-CSRC, address = inst-CSRC:adr, pages = "????", year = "19xx", bibdate = "Sat Oct 28 16:39:38 2000", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.att.com/plan9/distrib.html", acknowledgement = ack-nhfb, } @TechReport{Anonymous:19xx:PDE, author = "Anonymous", title = "{Plan 9} Distribution Errata List", institution = inst-CSRC, address = inst-CSRC:adr, pages = "????", year = "19xx", bibdate = "Sat Oct 28 16:39:39 2000", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.att.com/plan9/errata.html", acknowledgement = ack-nhfb, } @TechReport{Duff:19xx:RSP, author = "Tom Duff", title = "{Rc} --- A Shell for {Plan 9} and {UNIX} Systems", type = "Computing Science Technical Report", number = "158g", institution = inst-ATT-BELL, address = inst-ATT-BELL:adr, pages = "14", day = "??", month = "????", year = "19xx", bibdate = "Fri Aug 25 15:53:20 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/unix.bib", abstract = "Rc is a command interpreter for Plan 9. It also runs on a variety of traditional systems, including SunOS and the Tenth Edition. It provides similar facilities to Bourne's {\tt /bin/sh}, with some small additions and mostly less idiosyncratic syntax. This paper introduces {\tt rc}'s highlights with numerous examples, and discusses its design and why it varies from Bourne's.", acknowledgement = ack-nhfb, remark = "Undated and unnumbered. Number taken from filename.", } @Misc{Pike:19xx:HUP, author = "Rob Pike", title = "How to Use the {Plan 9} {C} Compiler", howpublished = "Web document", year = "19xx", bibdate = "Sat Jan 06 06:14:58 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://doc.cat-v.org/plan_9/4th_edition/papers/comp", acknowledgement = ack-nhfb, remark = "Undated and unnumbered.", } @TechReport{Pike:19xx:PBL, author = "Rob Pike and Dave Presotto and Ken Thompson and Howard Trickey", title = "{Plan 9 from Bell Labs}", type = "Computing Science Technical Report", number = "158b", institution = inst-ATT-BELL, address = inst-ATT-BELL:adr, pages = "9", day = "??", month = "????", year = "19xx", bibdate = "Fri Aug 25 15:53:20 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/unix.bib", abstract = "Plan 9 is a distributed computing environment. It is assembled from separate machines acting as CPU servers, file servers, and terminals. The pieces are connected by a single file-oriented protocol and local name space operations. By building the system from distinct, specialised components rather than from similar general-purpose components, Plan 9 achieves levels of efficiency, security, simplicity, and reliability seldom realised in other distributed systems. This paper discusses the building blocks, interconnections, and conventions of Plan 9.", acknowledgement = ack-nhfb, remark = "Undated and unnumbered. Number taken from filename.", } @TechReport{Pike:19xx:PEP, author = "Rob Pike and Dave Presotto and Ken Thompson and Howard Trickey and Tom Duff and Gerard Holzmann", title = "{Plan 9}: The Early Papers", type = "Computing Science Technical Report", number = "158a", institution = inst-ATT-BELL, address = inst-ATT-BELL:adr, pages = "1", day = "??", month = "????", year = "19xx", bibdate = "Fri Aug 25 15:53:20 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/unix.bib", abstract = "This report reprints half a dozen early but still current papers on Plan 9 from Bell Labs, a distributed computing system being developed at the Computing Science Research Center of AT\&T Bell Laboratories.", acknowledgement = ack-nhfb, remark = "Undated and unnumbered. Number taken from filename.", } @TechReport{Pike:19xx:PSW, author = "Rob Pike and Dave Presotto and Ken Thompson and Gerard Holzmann", title = "Process Sleep and Wakeup on a Shared-memory Multiprocessor", type = "Computing Science Technical Report", number = "158f", institution = inst-ATT-BELL, address = inst-ATT-BELL:adr, pages = "6", day = "??", month = "????", year = "19xx", bibdate = "Fri Aug 25 15:53:20 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/unix.bib", abstract = "The problem of enabling a `sleeping' process on a shared-memory multiprocessor is a difficult one, especially if the process is to be awakened by an interrupt-time event. We present here the code for sleep and wakeup primitives that we use in our multiprocessor system. The code has been exercised by months of active use and by a verification system.", acknowledgement = ack-nhfb, remark = "Undated and unnumbered. Number taken from filename.", } @TechReport{Pike:19xx:PWS, author = "Rob Pike", title = "$ 8 1 \over 2 $, the {Plan 9} Window System", type = "Computing Science Technical Report", number = "158d", institution = inst-ATT-BELL, address = inst-ATT-BELL:adr, pages = "9", day = "??", month = "??", year = "19xx", bibdate = "Fri Aug 25 15:53:20 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/unix.bib", abstract = "The Plan 9 window system, $ 8 1 \over 2 $ , is a modest-sized program of novel design. It provides ASCII I/O and bitmap graphic services to both local and remote client programs by offering a multiplexed file service to those clients. It serves traditional UNIX files like {\tt /dev/tty} as well as more unusual ones that provide access to the mouse and the raw screen. Bitmap graphics operations are provided by serving a file called {\tt /dev/bitblt} that interprets client messages to perform raster operations. The file service that $ 8 1 \over 2 $ offers its clients is identical to that it uses for its own implementation, so it is fundamentally no more than a multiplexer. This architecture has some rewarding symmetries and can be implemented compactly; indeed $ 8 1 \over 2 $ is considerably {\em smaller\/} than most of its clients.", acknowledgement = ack-nhfb, remark = "Undated and unnumbered. Number taken from filename.", } @TechReport{Presotto:19xx:MSP, author = "David Leo Presotto", title = "Multiprocessor Streams for {Plan 9}", type = "Computing Science Technical Report", number = "158e", institution = inst-ATT-BELL, address = inst-ATT-BELL:adr, pages = "10", day = "??", month = "????", year = "19xx", bibdate = "Fri Aug 25 15:53:20 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/unix.bib", abstract = "This paper describes an implementation of Streams for the Plan 9 kernel, a multi-threaded, multiprocessor kernel with a system call interface reminiscent of UNIX. Rather than port Dennis Ritchie's Streams to Plan 9, we changed the abstraction to fit more naturally into the new environment. The result is a mechanism that has similar performance and is internally easier to program", acknowledgement = ack-nhfb, remark = "Undated and unnumbered. Number taken from filename.", } @TechReport{Presotto:19xx:PDS, author = "Dave Presotto and Rob Pike and Ken Thompson and Howard Trickey", title = "{Plan 9}, A Distributed System", type = "Computing Science Technical Report", number = "158c", institution = inst-ATT-BELL, address = inst-ATT-BELL:adr, pages = "7", day = "??", month = "??", year = "19xx", bibdate = "Fri Aug 25 15:53:20 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/unix.bib", abstract = "Plan 9 is a computing environment physically distributed across many machines. The distribution itself is transparent to most programs giving both users and administrators wide latitude in configuring the topology of the environment. Two properties make this possible: a per process group name space and uniform access to all resources by representing them as files.", acknowledgement = ack-nhfb, remark = "Undated and unnumbered. Number taken from filename.", } @TechReport{Ritchie:19xx:IHQ, author = "Dennis Ritchie", title = "An incomplete history of the {QED} Text Editor", type = "Report", institution = inst-CSRC, address = inst-CSRC:adr, year = "19xx", bibdate = "Tue Mar 27 15:10:56 2012", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/who/dmr/qed.html", acknowledgement = ack-nhfb, keywords = "regular expressions; Unicode; UTF-8", } @TechReport{Thompson:19xx:NCC, author = "Ken Thompson", title = "A New {C} Compiler", type = "Computing Science Technical Report", number = "158h", institution = inst-ATT-BELL, address = inst-ATT-BELL:adr, pages = "12", day = "??", month = "????", year = "19xx", bibdate = "Fri Aug 25 15:53:20 2023", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/unix.bib", abstract = "This paper describes yet another series of C compilers. These compilers were developed over the last several years and are now in use on Plan 9. These compilers are experimental in nature and were developed to try out new ideas. Some of the ideas were good and some not so good.", acknowledgement = ack-nhfb, URL = "http://doc.cat-v.org/bell_labs/new_c_compilers/new_c_compiler.pdf", remark = "Undated and unnumbered. Number taken from filename.", } @Misc{Thompson:19xx:PCC, author = "Ken Thompson", title = "{Plan 9} {C} Compilers", howpublished = "Web site", year = "19xx", bibdate = "Sat Jan 06 06:18:33 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://doc.cat-v.org/plan_9/4th_edition/papers/compiler", abstract = "This paper describes the overall structure and function of the Plan 9 C compilers. A more detailed implementation document for any one of the compilers is yet to be written.", acknowledgement = ack-nhfb, remark = "Undated and unnumbered. Architectures covered are: AMD 29000, ARM 7500, DEC Alpha, Intel 386, Intel 960, MIPS, Motorola 68000, Motorola 68020, Power PC, and SPARC. From the last line: ``Originally appeared, in a different form, in Proceedings of the Summer 1990 UKUUG Conference, pp. 41-51, London, 1990.''", } @Misc{Thompson:19xx:BSP, author = "Ken Thompson and Geoff Collyer", title = "The 64-bit Standalone {Plan 9} File Server", howpublished = "Web site.", year = "19xx", bibdate = "Sat Jan 06 06:26:17 2024", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://doc.cat-v.org/plan_9/4th_edition/papers/fs/", abstract = "This paper is a revision of Thompson's The Plan 9 File Server, and describes the structure and the operation of the new 64-bit Plan 9 file servers. Some specifics apply to the 32-bit Plan 9 file server Emelie, which code is also the basis for the user level file server kfs.\par Collyer recently created a 64-bit version of Thompson's 32-bit file server, updating all file offsets, sizes and block numbers to 64 bits. In addition, triple- and quadruple-indirect blocks were implemented. File name components were extended from 27 to 55 bytes. Further work is planned, notably improved peripheral and protocol support.", acknowledgement = ack-nhfb, remark = "Undated and unnumbered.", } @TechReport{Anonymous:2000:IPD, author = "Anonymous", title = "Installing the {Plan 9} Distribution", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, year = "2000", bibdate = "Tue Feb 12 14:21:55 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/install.html; http://plan9.bell-labs.com/sys/doc/install.pdf; http://plan9.bell-labs.com/sys/doc/install.ps", acknowledgement = ack-nhfb, } @TechReport{Anonymous:2000:VP, author = "Anonymous", title = "The Various Ports", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "5", year = "2000", bibdate = "Tue Feb 12 14:23:11 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "Comments about the architectures supported by Plan 9.", URL = "http://plan9.bell-labs.com/sys/doc/port.html; http://plan9.bell-labs.com/sys/doc/port.pdf; http://plan9.bell-labs.com/sys/doc/port.ps", abstract = "This document collects comments about the various architectures supported by Plan 9. The system tries to hide most of the differences between machines, so the machines as seen by a Plan 9 user look different from how they are perceived through commercial software. Also, because we are a small group, we couldn't do everything: exploit every optimization, support every model, drive every device. This document records what we have done. The first section discusses the compiler/assembler/loader suite for each machine. The second talks about the operating system implemented on each of the various machines.", acknowledgement = ack-nhfb, } @TechReport{Cox:2000:GSP, author = "Russ Cox", title = "Getting Started with {Plan 9}", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, year = "2000", bibdate = "Tue Feb 12 11:28:37 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/start.html; http://plan9.bell-labs.com/sys/doc/start.pdf; http://plan9.bell-labs.com/sys/doc/start.ps", acknowledgement = ack-nhfb, } @TechReport{Duff:2000:RPS, author = "Tom Duff", title = "{\tt rc} --- The {Plan 9} Shell", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "16", year = "2000", bibdate = "Tue Feb 12 11:52:25 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/rc.html; http://plan9.bell-labs.com/sys/doc/rc.pdf; http://plan9.bell-labs.com/sys/doc/rc.ps", abstract = "{\tt Rc} is a command interpreter for Plan 9 that provides similar facilities to UNIX's Bourne shell, with some small additions and less idiosyncratic syntax. This paper uses numerous examples to describe {\tt rc}'s features, and contrasts {\tt rc} with the Bourne shell, a model that many readers will be familiar with.", acknowledgement = ack-nhfb, } @TechReport{Flandrena:2000:PM, author = "Bob Flandrena", title = "{Plan 9} {Mkfiles}", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "7", year = "2000", bibdate = "Tue Feb 12 11:34:51 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/mkfiles.html; http://plan9.bell-labs.com/sys/doc/mkfiles.pdf; http://plan9.bell-labs.com/sys/doc/mkfiles.ps", abstract = "Every Plan 9 source directory contains a file, called mkfile, specifying the rules for building the executable or library that is the product of the directory. Mk(1) interprets the rules in the file, calculates the dependencies, and executes an rc(1) script to construct the product. If necessary components are supplied by neighboring directories or sub-directories, the mkfiles in those directories are first executed to build the components before the local construction proceeds.\par Most application source directories produce one of four types of product: a single executable, several executables, a local library, or a system library. Four generic mkfiles define the normal rules for building each type of product. The simplest mkfiles need only list the components and include the appropriate generic mkfile to do the work. More complex mkfiles may supply additional rules to augment, modify, or override the generic rules.", acknowledgement = ack-nhfb, } @TechReport{Glick:2000:GLP, author = "Paul Glick", title = "Guide to the {\tt lp} Printer Spooler", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "8", year = "2000", bibdate = "Tue Feb 12 12:32:53 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/lp.html; http://plan9.bell-labs.com/sys/doc/lp.pdf; http://plan9.bell-labs.com/sys/doc/lp.ps", abstract = "{\tt Lp} is a collection of programs used to provide an easy-to-use interface for printing a variety of document types on a variety of printers. {\tt Lp} is the glue that connects various document language translators and printer communication programs together so that the users may have a consistent view of printers. Most of the glue is shell script, which can be easily modified. The user need not specify options to get sensible output in most cases. {\tt Lp} is described here so that others may make additions and changes.", acknowledgement = ack-nhfb, } @TechReport{Holzmann:2000:US, author = "Gerard J. Holzmann", title = "Using {SPIN}", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "27", year = "2000", bibdate = "Tue Feb 12 14:24:40 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/spin.html; http://plan9.bell-labs.com/sys/doc/spin.pdf; http://plan9.bell-labs.com/sys/doc/spin.ps", abstract = "SPIN can be used for proving or disproving logical properties of concurrent systems. To render the proofs, a concurrent system is first modeled in a formal specification language called PROMELA. The language allows one to specify the behaviors of asynchronously executing processes that may interact through synchronous or asynchronous message passing, or through direct access to shared variables.\par System models specified in this way can be verified for both safety and liveness properties. The specification of general properties in linear time temporal logic is also supported.\par The first part of this manual discusses the basic features of the specification language PROMELA. The second part describes the verifier SPIN.", acknowledgement = ack-nhfb, keywords = "PROMELA [Protocol Meta Language]; SPIN", } @TechReport{Hume:2000:MFP, author = "Andrew G. Hume and Bob Flandrena", title = "Maintaining Files on {Plan 9} with {Mk}", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "14", year = "2000", bibdate = "Tue Feb 12 11:35:41 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/mk.html; http://plan9.bell-labs.com/sys/doc/mk.pdf; http://plan9.bell-labs.com/sys/doc/mk.ps", abstract = "{\tt Mk} is a tool for describing and maintaining dependencies between files. It is similar to the UNIX program make, but provides several extensions. {\tt Mk}'s flexible rule specifications, implied dependency derivation, and parallel execution of maintenance actions are well-suited to the Plan 9 environment. Almost all Plan 9 maintenance procedures are automated using {\tt mk}.", acknowledgement = ack-nhfb, } @InProceedings{Laurikari:2000:NTT, author = "V. Laurikari", booktitle = "{Seventh International Symposium on String Processing and Information Retrieval, 2000. SPIRE 2000. 27--29 September 2000, A Curu{\~n}a, Spain. Proceedings}", title = "{NFAs} with tagged transitions, their conversion to deterministic automata and application to regular expressions", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "181--187", year = "2000", DOI = "https://doi.org/10.1109/SPIRE.2000.878194", ISBN = "0-7695-0746-8, 0-7695-0747-6 (case), 0-7695-0748-4 (microfiche)", ISBN-13 = "978-0-7695-0746-0, 978-0-7695-0747-7 (case), 978-0-7695-0748-4 (microfiche)", LCCN = "QA76.9.T48 I59 2000", bibdate = "Tue Mar 27 15:05:43 2012", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, bookpages = "ix + 261", } @TechReport{Ossanna:2000:TUM, author = "Joseph F. Ossanna and Brian W. Kernighan", title = "Troff User's Manual", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "40", year = "2000", bibdate = "Tue Feb 12 14:26:42 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/troff.html; http://plan9.bell-labs.com/sys/doc/troff.pdf; http://plan9.bell-labs.com/sys/doc/troff.ps", abstract = "{\tt Troff} and {\tt nroff} are text processors that format text for typesetter- and typewriter-like terminals, respectively. They accept lines of text interspersed with lines of format control information and format the text into a printable, paginated document having a user-designed style. {\tt Troff} and {\tt nroff} offer unusual freedom in document styling: arbitrary style headers and footers; arbitrary style footnotes; multiple automatic sequence numbering for paragraphs, sections, etc; multiple column output; dynamic font and point-size control; arbitrary horizontal and vertical local motions at any point; and a family of automatic overstriking, bracket construction, and line-drawing functions.\par {\tt Troff} produces its output in a device-independent form, although parameterized for a specific device; {\tt troff} output must be processed by a driver for that device to produce printed output.\par {\tt Troff} and {\tt nroff} are highly compatible with each other and it is almost always possible to prepare input acceptable to both. Conditional input is provided to enable the user to embed input expressly destined for either program. {\tt Nroff} can prepare output directly for a variety of terminal types and is capable of utilizing the full resolution of each terminal. {\tt Nroff} is the same program as {\tt troff} ; in fact, on Plan 9 {\tt nroff} is a shell script that calls {\tt troff} with the {\tt N} argument.", acknowledgement = ack-nhfb, } @TechReport{Pike:2000:HUP, author = "Rob Pike", title = "How to Use the {Plan 9 C} Compiler", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "14", year = "2000", bibdate = "Tue Feb 12 11:33:22 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/comp.html; http://plan9.bell-labs.com/sys/doc/comp.pdf; http://plan9.bell-labs.com/sys/doc/comp.ps", abstract = "The C compiler on Plan 9 is a wholly new program; in fact it was the first piece of software written for what would eventually become Plan 9 from Bell Labs. Programmers familiar with existing C compilers will find a number of differences in both the language the Plan 9 compiler accepts and in how the compiler is used.", acknowledgement = ack-nhfb, } @TechReport{Pike:2000:HWL, author = "Rob Pike and Ken Thompson", title = "Hello World or {K$ \alpha $$ \lambda$$ \eta $$ \mu$ {\' {} $ \epsilon$}$ \rho$$ \alpha $} {$ \kappa $ o$ \sigma $$ \mu$$ \epsilon $} or \ldots{}", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, year = "2000", bibdate = "Tue Feb 12 12:26:37 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "Originally appeared, in a slightly different form, in Proc. of the Winter 1993 USENIX Conf., pp. 43--50, San Diego", URL = "http://plan9.bell-labs.com/sys/doc/utf.html; http://plan9.bell-labs.com/sys/doc/utf.pdf; http://plan9.bell-labs.com/sys/doc/utf.ps", abstract = "Plan 9 from Bell Labs has recently been converted from ASCII to an ASCII-compatible variant of the Unicode Standard, a 16-bit character set. In this paper we explain the reasons for the change, describe the character set and representation we chose, and present the programming models and software changes that support the new text format. Although we stopped short of full internationalization for example, system error messages are in Unixese, not Japanese we believe Plan 9 is the first system to treat the representation of all major languages on a uniform, equal footing throughout all its software.", acknowledgement = ack-nhfb, } @TechReport{Pike:2000:LFNa, author = "Rob Pike", title = "Lexical File Names in {Plan 9}, or Getting Dot-Dot Right", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "11", year = "2000", bibdate = "Tue Feb 12 12:15:44 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/lexnames.html; http://plan9.bell-labs.com/sys/doc/lexnames.pdf; http://plan9.bell-labs.com/sys/doc/lexnames.ps; https://9p.io/sys/doc/lexnames.html", abstract = "Symbolic links make the Unix file system non-hierarchical, resulting in multiple valid path names for a given file. This ambiguity is a source of confusion, especially since some shells work overtime to present a consistent view from programs such as {\tt pwd}, while other programs and the kernel itself do nothing about the problem.\par Plan 9 has no symbolic links but it does have other mechanisms that produce the same difficulty. Moreover, Plan 9 is founded on the ability to control a program's environment by manipulating its name space. Ambiguous names muddle the result of operations such as copying a name space across the network.\par To address these problems, the Plan 9 kernel has been modified to maintain an accurate path name for every active file (open file, working directory, mount table entry) in the system. The definition of accurate is that the path name for a file is guaranteed to be the rooted, absolute name the program used to acquire it. These names are maintained by an efficient method that combines lexical processing such as evaluating {\tt ..} by just removing the last path name element of a directory with local operations within the file system to maintain a consistently, easily understood view of the name system. Ambiguous situations are resolved by examining the lexically maintained names themselves.\par A new kernel call, {\tt fd2path}, returns the file name associated with an open file, permitting the use of reliable names to improve system services ranging from {\tt pwd} to debugging. Although this work was done in Plan 9, Unix systems could also benefit from the addition of a method to recover the accurate name of an open file or the current directory.", acknowledgement = ack-nhfb, } @InProceedings{Pike:2000:LFNb, author = "Rob Pike", title = "Lexical File Names in {Plan 9}, or Getting Dot-Dot Right", crossref = "USENIX:2000:UAT", pages = "85--92", year = "2000", bibdate = "Mon Oct 14 07:46:19 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", abstract = "Symbolic links make the Unix file system non-hierarchical, resulting in multiple valid path names for a given file. This ambiguity is a source of confusion, especially since some shells work overtime to present a consistent view from programs such as {\tt pwd}, while other programs and the kernel itself do nothing about the problem.\par Plan 9 has no symbolic links but it does have other mechanisms that produce the same difficulty. Moreover, Plan 9 is founded on the ability to control a program's environment by manipulating its name space. Ambiguous names muddle the result of operations such as copying a name space across the network.\par To address these problems, the Plan 9 kernel has been modified to maintain an accurate path name for every active file (open file, working directory, mount table entry) in the system. The definition of accurate is that the path name for a file is guaranteed to be the rooted, absolute name the program used to acquire it. These names are maintained by an efficient method that combines lexical processing such as evaluating {\tt ..} by just removing the last path name element of a directory with local operations within the file system to maintain a consistently, easily understood view of the name system. Ambiguous situations are resolved by examining the lexically maintained names themselves.\par A new kernel call, {\tt fd2path}, returns the file name associated with an open file, permitting the use of reliable names to improve system services ranging from {\tt pwd} to debugging. Although this work was done in Plan 9, Unix systems could also benefit from the addition of a method to recover the accurate name of an open file or the current directory.", acknowledgement = ack-nhfb, } @TechReport{Pike:2000:MPA, author = "Rob Pike", title = "A Manual for the Plan 9 assembler", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "10", year = "2000", bibdate = "Tue Feb 12 11:40:07 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/asm.html; http://plan9.bell-labs.com/sys/doc/asm.pdf; http://plan9.bell-labs.com/sys/doc/asm.ps", abstract = "There is an assembler for each of the MIPS, SPARC, Intel 386, Intel 960, AMD 29000, Motorola 68020 and 68000, Motorola Power PC, DEC Alpha, and Acorn ARM. The 68020 assembler, 2a, is the oldest and in many ways the prototype. The assemblers are really just variations of a single program: they share many properties such as left-to-right assignment order for instruction operands and the synthesis of macro instructions such as MOVE to hide the peculiarities of the load and store structure of the machines.", acknowledgement = ack-nhfb, } @TechReport{Pike:2000:POU, author = "Rob Pike", title = "Plumbing and Other Utilities", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "16", year = "2000", bibdate = "Tue Feb 12 11:49:37 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/plumb.html; http://plan9.bell-labs.com/sys/doc/plumb.pdf; http://plan9.bell-labs.com/sys/doc/plumb.ps", abstract = "Plumbing is a new mechanism for inter-process communication in Plan 9, specifically the passing of messages between interactive programs as part of the user interface. Although plumbing shares some properties with familiar notions such as cut and paste, it offers a more general data exchange mechanism without imposing a particular user interface.\par The core of the plumbing system is a program called the plumber, which handles all messages and dispatches and reformats them according to configuration rules written in a special-purpose language. This approach allows the contents and context of a piece of data to define how it is handled. Unlike with drag and drop or cut and paste, the user doesn't need to deliver the data; the contents of a plumbing message, as interpreted by the plumbing rules, determine its destination.\par The plumber has an unusual architecture: it is a language-driven file server. This design has distinct advantages. It makes plumbing easy to add to an existing, Unix-like command environment; it guarantees uniform handling of inter-application messages; it off-loads from those applications most of the work of extracting and dispatching messages; and it works transparently across a network.", acknowledgement = ack-nhfb, } @TechReport{Pike:2000:PSW, author = "Rob Pike and Dave Presotto and Ken Thompson and Gerard Holzmann", title = "Process Sleep and Wakeup on a Shared-memory Multiprocessor", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "6", year = "2000", bibdate = "Tue Feb 12 12:14:04 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "Appeared in a slightly different form in Proceedings of the Spring 1991 EurOpen Conference, Troms{\o}, Norway, 1991, pp. 161--166.", URL = "http://plan9.bell-labs.com/sys/doc/sleep.html; http://plan9.bell-labs.com/sys/doc/sleep.pdf", abstract = "The problem of enabling a sleeping process on a shared-memory multiprocessor is a difficult one, especially if the process is to be awakened by an interrupt-time event. We present here the code for sleep and wakeup primitives that we use in our multiprocessor system. The code has been exercised by years of active use and by a verification system.", acknowledgement = ack-nhfb, } @TechReport{Pike:2000:PWS, author = "Rob Pike", title = "$ 8 {1 / 2} $, the {Plan 9} window system", institution = inst-CSRC, address = inst-CSRC:adr, pages = "10", year = "2000", bibdate = "Tue Feb 12 11:46:53 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "World-Wide Web document. Originally appeared in \cite{Pike:1991:PWS}.", URL = "http://plan9.bell-labs.com/sys/doc/8%bd/8%bd.html; http://plan9.bell-labs.com/sys/doc/8%bd/8%bd.pdf; http://plan9.bell-labs.com/sys/doc/8%bd/8%bd.ps", abstract = "The Plan 9 window system, $ 8 1 / 2 $, is a modest-sized program of novel design. It provides textual I/O and bitmap graphic services to both local and remote client programs by offering a multiplexed file service to those clients. It serves traditional UNIX files like {\tt /dev/tty} as well as more unusual ones that provide access to the mouse and the raw screen. Bitmap graphics operations are provided by serving a file called {\tt /dev/bitblt} that interprets client messages to perform raster operations. The file service that $ 8 1 / 2 $ offers its clients is identical to that it uses for its own implementation, so it is fundamentally no more than a multiplexer. This architecture has some rewarding symmetries and can be implemented compactly.", acknowledgement = ack-nhfb, } @Misc{Pike:2000:SSR, author = "Rob Pike", title = "System Software Research Is Irrelevant", howpublished = "Web talk slides.", day = "21", month = feb, year = "2000", bibdate = "Fri Jan 18 19:02:45 2013", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://herpolhode.com/rob/utah2000.pdf", acknowledgement = ack-nhfb, } @TechReport{Pike:2000:TES, author = "Rob Pike", title = "The Text Editor {\tt sam}", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "30", day = "7", month = jun, year = "2000", bibdate = "Tue Nov 29 10:02:15 2005", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/sam/sam.pdf", abstract = "Sam is an interactive multi-file text editor intended for bitmap displays. A textual command language supplements the mouse-driven, cut-and-paste interface to make complex or repetitive editing tasks easy to specify. The language is characterized by the composition of regular expressions to describe the structure of the text being modified. The treatment of files as a database, with changes logged as atomic transactions, guides the implementation and makes a general `undo' mechanism straightforward.\par Sam is implemented as two processes connected by a low-bandwidth stream, one process handling the display and the other the editing algorithms. Therefore it can run with the display process in a bitmap terminal and the editor on a local host, with both processes on a bitmap-equipped host, or with the display process in the terminal and the editor in a remote host. By suppressing the display process, it can even run without a bitmap terminal.\par This paper is reprinted from {\em Software Practice and Experience}, Vol 17, number 11, pp. 813--845, November 1987. The paper has not been updated for the Plan 9 manuals. Although Sam has not changed much since the paper was written, the system around it certainly has. Nonetheless, the description here still stands as the best introduction to the editor.", acknowledgement = ack-nhfb, } @TechReport{Presotto:2000:P, author = "Dave Presotto and Phil Winterbottom", title = "The {IL} protocol", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "5", year = "2000", bibdate = "Tue Feb 12 14:19:17 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://doc.cat-v.org/plan_9/4th_edition/papers/il/; http://plan9.bell-labs.com/sys/doc/il/il.html; http://plan9.bell-labs.com/sys/doc/il/il.pdf; http://plan9.bell-labs.com/sys/doc/il/il.ps", abstract = "To transport the remote procedure call messages of the Plan 9 file system protocol 9P, we have implemented a new network protocol, called IL. It is a connection-based, lightweight transport protocol that carries datagrams encapsulated by IP. IL provides retransmission of lost messages and in-sequence delivery, but has no flow control and no blind retransmission.", acknowledgement = ack-nhfb, } @TechReport{Thompson:2000:PCC, author = "Ken Thompson", title = "{Plan 9 C} Compilers", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "11", year = "2000", bibdate = "Tue Feb 12 12:25:09 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "Originally appeared, in a different form, in Proceedings of the Summer 1990 UKUUG Conference, pp. 41--51, London, 1990.", URL = "http://plan9.bell-labs.com/sys/doc/compiler.html; http://plan9.bell-labs.com/sys/doc/compiler.pdf; http://plan9.bell-labs.com/sys/doc/compiler.ps", abstract = "This paper describes the overall structure and function of the Plan 9 C compilers. A more detailed implementation document for any one of the compilers is yet to be written.", acknowledgement = ack-nhfb, } @TechReport{Thompson:2000:PFS, author = "Ken Thompson", title = "The {Plan 9} File Server", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "7", year = "2000", bibdate = "Tue Feb 12 12:34:09 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/fs/fs.html; http://plan9.bell-labs.com/sys/doc/fs/fs.pdf; http://plan9.bell-labs.com/sys/doc/fs/fs.ps", abstract = "This paper describes the structure and the operation of Plan 9 file servers. The specifics apply to our main Plan 9 file server Emelie, but the code is also the basis for the user level file server {\tt kfs}.", acknowledgement = ack-nhfb, } @TechReport{Trickey:2000:AAP, author = "Howard Trickey", title = "{APE} --- The {ANSI\slash POSIX} Environment", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "4", year = "2000", bibdate = "Tue Feb 12 11:32:16 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/ape.html; http://plan9.bell-labs.com/sys/doc/ape.pdf; http://plan9.bell-labs.com/sys/doc/ape.ps", abstract = "When a large or frequently-updated program must be ported to or from Plan 9, the ANSI/POSIX environment known as APE can be useful. APE combines the set of headers and object code libraries specified by the ANSI C standard (ANSI X3.159-1989) with the POSIX operating system interface standard (IEEE 1003.1-1990, ISO 9945-1), the part of POSIX defining the basic operating system functions. Using APE will cause slower compilation and marginally slower execution speeds, so if the importing or exporting happens only infrequently, due consideration should be given to using the usual Plan 9 compilation environment instead. Another factor to consider is that the Plan 9 header organization is much simpler to remember and use.", acknowledgement = ack-nhfb, } @TechReport{Winterbottom:2000:ADB, author = "Phil Winterbottom", title = "Acid: a Debugger Built From a Language", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "14", year = "2000", bibdate = "Tue Feb 12 11:38:09 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "Originally appeared in Proc. of the Winter 1994 USENIX Conf., pp. 211--222, San Francisco, CA.", URL = "http://plan9.bell-labs.com/sys/doc/acidpaper.html; http://plan9.bell-labs.com/sys/doc/acidpaper.pdf; http://plan9.bell-labs.com/sys/doc/acidpaper.ps", abstract = "Acid is an unusual source-level symbolic debugger for Plan 9. It is implemented as a language interpreter with specialized primitives that provide debugger support. Programs written in the language manipulate one or more target processes; variables in the language represent the symbols, state, and resources of those processes. This structure allows complex interaction between the debugger and the target program and provides a convenient method of parameterizing differences between machine architectures. Although some effort is required to learn the debugging language, the richness and flexibility of the debugging environment encourages new ways of reasoning about the way programs run and the conditions under which they fail.", acknowledgement = ack-nhfb, } @TechReport{Winterbottom:2000:AM, author = "Phil Winterbottom", title = "{Acid} Manual", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "25", year = "2000", bibdate = "Tue Feb 12 11:36:41 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/acid.html; http://plan9.bell-labs.com/sys/doc/acid.pdf; http://plan9.bell-labs.com/sys/doc/acid.ps", abstract = "Acid is a general purpose, source level symbolic debugger. The debugger is built around a simple command language. The command language, distinct from the language of the program being debugged, provides a flexible user interface that allows the debugger interface to be customized for a specific application or architecture. More over, it provides an opportunity to write test and verification code independently of a program's source code. Acid is able to debug multiple processes provided they share a common set of symbols, such as the processes in a threaded program.", acknowledgement = ack-nhfb, keywords = "source level symbolic debugger", } @Article{Minnich:2001:PNL, author = "Ronald G. Minnich", title = "Private Namespaces For {Linux}", journal = j-DDJ, volume = "26", number = "12", pages = "23--24, 26, 28, 30", month = dec, year = "2001", CODEN = "DDJOEB", ISSN = "1044-789X", bibdate = "Tue Feb 12 05:21:41 MST 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://www.ddj.com/", abstract = "Private namespaces let groups of processes construct their own namespace. Ron implements them for Linux to solve problems in both distributed and cluster computing.", acknowledgement = ack-nhfb, annote = "Describes an implementation for FreeBSD, GNU/Linux, Solaris, and SunOS of the Plan 9 filesystem protocol.", fjournal = "Dr. Dobb's Journal of Software Tools", } @InProceedings{Cox:2002:SP9, author = "Russ Cox and Eric Grosse and Rob Pike and Dave Presotto and Sean Quinlan", title = "Security in {Plan 9}", crossref = "USENIX:2002:PUS", pages = "3--16", year = "2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/auth.pdf; http://www.usenix.org/publications/library/proceedings/sec02/cox.html", abstract = "The security architecture of the Plan 9 operating system has recently been redesigned to address some technical shortcomings. This redesign provided an opportunity also to make the system more convenient to use securely. Plan 9 has thus improved in two ways not usually seen together: it has become more secure {\em and\/} easier to use.\par The central component of the new architecture is a per-user self-contained agent called {\tt factotum}. {\tt Factotum} securely holds a copy of the user's keys and negotiates authentication protocols, on behalf of the user, with secure services around the network. Concentrating security code in a single program offers several advantages including: ease of update or repair to broken security software and protocols; the ability to run secure services at a lower privilege level; uniform management of keys for all services; and an opportunity to provide single sign on, even to unchanged legacy applications. {\tt Factotum} has an unusual architecture: it is implemented as a Plan 9 file server.", acknowledgement = ack-nhfb, annote = "Best conference paper award.", } @TechReport{Flandrena:2002:AAS, author = "Bob Flandrena", title = "Adding Application Support for a New Architecture in {Plan 9}", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "7", day = "22", month = may, year = "2002", bibdate = "Tue Nov 29 09:54:55 2005", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/libmach.pdf", abstract = "Plan 9 has five classes of architecture-dependent software: headers, kernels, compilers and loaders, the libc system library, and a few application programs. In general, architecture-dependent programs consist of a portable part shared by all architectures and a processor-specific portion for each supported architecture. The portable code is often compiled and stored in a library associated with each architecture. A program is built by compiling the architecture-specific code and loading it with the library. Support for a new architecture is provided by building a compiler for the architecture, using it to compile the portable code into libraries, writing the architecture-specific code, and then loading that code with the libraries.", acknowledgement = ack-nhfb, } @TechReport{Pike:2002:CPE, author = "Rob Pike", title = "Changes to the Programming Environment in the Fourth Release of {Plan 9}", type = "{World-Wide Web} document", institution = inst-CSRC, address = inst-CSRC:adr, pages = "6", day = "22", month = may, year = "2002", bibdate = "Tue Nov 29 10:00:49 2005", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/prog4.pdf", acknowledgement = ack-nhfb, } @TechReport{Quinlan:2002:VNA, author = "Sean Quinlan and Sean Dorward", title = "{Venti}: a new approach to archival storage", institution = inst-CSRC, address = inst-CSRC:adr, pages = "13", day = "2", month = may, year = "2002", bibdate = "Tue Nov 29 10:06:07 2005", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://plan9.bell-labs.com/sys/doc/venti/venti.pdf", abstract = "This paper describes a network storage system, called Venti, intended for archival data. In this system, a unique hash of a block's contents acts as the block identifier for read and write operations. This approach enforces a write-once policy, preventing accidental or malicious destruction of data. In addition, duplicate copies of a block can be coalesced, reducing the consumption of storage and simplifying the implementation of clients. Venti is a building block for constructing a variety of storage applications such as logical backup, physical backup, and snapshot file systems.\par We have built a prototype of the system and present some preliminary performance results. The system uses magnetic disks as the storage technology, resulting in an access time for archival data that is comparable to non-archival data. The feasibility of the write-once model for storage is demonstrated using data from over a decade's use of two Plan 9 file systems.", acknowledgement = ack-nhfb, } @Article{McIlroy:2004:ESR, author = "M. Douglas McIlroy", title = "Enumerating the strings of regular languages", journal = j-J-FUNCT-PROGRAM, volume = "14", number = "5", pages = "503--518", month = sep, year = "2004", CODEN = "JFPRES", DOI = "https://doi.org/10.1017/S0956796803004982", ISSN = "0956-7968 (print), 1469-7653 (electronic)", ISSN-L = "0956-7968", bibdate = "Tue Jul 11 18:07:39 MDT 2017", bibsource = "https://www.math.utah.edu/pub/tex/bib/jfunctprogram.bib; https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/string-matching.bib", URL = "http://www.cs.dartmouth.edu/~doug/nfa.ps.gz; https://www.cambridge.org/core/product/1D46239B6CC6299AA385B3094EBC80E1", acknowledgement = ack-nhfb, ajournal = "J. Funct. Program.", fjournal = "Journal of Functional Programming", journal-URL = "http://journals.cambridge.org/action/displayJournal?jid=JFP", keywords = "regular expressions; string matching", onlinedate = "06 August 2004", } @InProceedings{Mirtchovski:2004:PIA, author = "A. Mirtchovski and R. Simmonds", title = "{Plan 9} --- an integrated approach to {Grid} computing", crossref = "IEEE:2004:IPD", pages = "273--273", year = "2004", DOI = "https://doi.org/10.1109/IPDPS.2004.1303349", bibdate = "Thu Nov 16 07:01:54 2006", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", abstract = "This paper describes the use of the ``Plan 9 from Bell Labs''' distributed operating system as a grid computing infrastructure. In particular it compares solutions using the de facto standard middleware toolkit for grids, Globus, to an environment constructed using computers running the Plan 9 operating system. These environments are compared based on the features they offer in the context of grid computing: authentication, security, data management, and resource discovery.", acknowledgement = ack-nhfb, } @InProceedings{Ballesteros:2005:TSC, author = "F. J. Ballesteros and G. Guardiola and E. Soriano and K. Leal", title = "Traditional Systems Can Work Well for Pervasive Applications. {A} Case Study: {Plan 9} from {Bell Labs} Becomes Ubiquitous", crossref = "IEEE:2005:TII", pages = "295--299", year = "2005", DOI = "https://doi.org/10.1109/PERCOM.2005.49", bibdate = "Thu Nov 16 07:00:27 2006", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, } @InCollection{Thompson:2005:BSP, author = "Ken Thompson and Geoff Collyer", booktitle = "{Plan 9} Programmer's Manual", title = "The 64-bit Standalone {Plan 9} File Server", publisher = "????", address = "????", pages = "??--??", year = "2005", bibdate = "Mon Mar 17 11:11:36 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, } @InProceedings{Minnich:2006:XNB, author = "R. Minnich and A. Mirtchovski", booktitle = "{2006 IEEE International Conference on Cluster Computing: Cluster 2006: Barcelona, September 25th-28th, 2006}", title = "{XCPU}: a new, 9p-based, process management system for clusters and grids", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "1--10", year = "2006", DOI = "https://doi.org/10.1109/CLUSTR.2006.311843", ISBN = "1-4244-0328-6", ISBN-13 = "978-1-4244-0328-8", ISSN = "1552-5244", ISSN-L = "1552-5244", LCCN = "QA76.58", bibdate = "Mon Feb 16 06:15:35 2015", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://ieeexplore.ieee.org/servlet/opac?punumber=4100332", acknowledgement = ack-nhfb, keywords = "Plan 9; 9p", } @TechReport{Cox:2007:REM, author = "Russ Cox", title = "Regular Expression Matching Can Be Simple And Fast", type = "Report", institution = "swtch.com", address = "Cambridge, MA, USA", month = jan, year = "2007", bibdate = "Tue Mar 27 11:39:17 2012", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "See also \cite{Thompson:1968:PTR,Kernighan:1999:REL,Cox:2009:REM,Cox:2010:REM,Cox:2012:REM}", URL = "http://swtch.com/~rsc/regexp/regexp1.html", acknowledgement = ack-nhfb, } @InCollection{Kernighan:2007:REM, author = "Brian W. Kernighan", title = "A regular expression matcher", crossref = "Oram:2007:BC", pages = "1--8", year = "2007", bibdate = "Tue Mar 27 15:50:00 2012", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, } @Article{Mirtchovski:2007:WSD, author = "Andrey Mirtchovski and Latchesar Ionkov", title = "Why Some Dead {OSes} Still Matter", journal = j-LOGIN, volume = "32", number = "5", pages = "5--12", month = oct, year = "2007", CODEN = "LOGNEM", ISSN = "1044-6397", ISSN-L = "1044-6397", bibdate = "Fri Dec 7 11:34:31 MST 2012", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/usenix2000.bib; https://www.usenix.org/publications/login", URL = "https://www.usenix.org/publications/login/october-2007-volume-32-number-5/why-some-dead-oses-still-matter", acknowledgement = ack-nhfb, fjournal = ";login: the USENIX Association newsletter", keywords = "Mac OS X; Parallels Inc.; Plan 9 operating system", } @Article{Ganti:2008:PAL, author = "Ashwin Ganti", title = "{Plan 9} authentication in {Linux}", journal = j-OPER-SYS-REV, volume = "42", number = "5", pages = "27--33", month = jul, year = "2008", CODEN = "OSRED8", DOI = "https://doi.org/10.1145/1400097.1400101", ISSN = "0163-5980 (print), 1943-586X (electronic)", ISSN-L = "0163-5980", bibdate = "Wed Aug 6 16:54:12 MDT 2008", bibsource = "http://portal.acm.org/; https://www.math.utah.edu/pub/tex/bib/cryptography2000.bib; https://www.math.utah.edu/pub/tex/bib/linux.bib; https://www.math.utah.edu/pub/tex/bib/opersysrev.bib; https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/unix.bib", abstract = "In Linux, applications like su and login currently run as root in order to access authentication information and set or alter the identity of the process. In such cases, if the application is compromised while running as a privileged user, the entire system can become vulnerable. An alternative approach is taken by the Plan 9 operating system from Bell Labs, which runs such applications as a non-privileged user and relies on a kernel-based capability device working in coordination with an authentication server to provide the same services. This avoids the risk of an application vulnerability becoming a system vulnerability.\par This paper discusses the extension of Linux authentication mechanisms to allow the use of the Plan 9 approach with existing Linux applications in order to reduce the security risks mentioned earlier. It describes the port of the Plan 9 capability device as a character device driver for the Linux kernel. It also describes the port of the Plan 9 authentication server and the implementation of a PAM module which allows the use of these new facilities. {\em It is now possible to restrain processes like login and su from the uncontrolled setuid bit and make them run on behalf of an unprivileged user in Linux}.", acknowledgement = ack-nhfb, fjournal = "ACM SIGOPS Operating Systems Review", journal-URL = "http://portal.acm.org/browse_dl.cfm?idx=J597", keywords = "authentication", } @Article{VanHensbergen:2008:HAR, author = "Eric {Van Hensbergen} and Charles Forsyth and Jim McKie and Ron Minnich", title = "Holistic aggregate resource environment", journal = j-OPER-SYS-REV, volume = "42", number = "1", pages = "85--91", month = jan, year = "2008", CODEN = "OSRED8", DOI = "https://doi.org/10.1145/1341312.1341327", ISSN = "0163-5980 (print), 1943-586X (electronic)", ISSN-L = "0163-5980", bibdate = "Fri Jun 20 17:19:29 MDT 2008", bibsource = "http://portal.acm.org/; https://www.math.utah.edu/pub/tex/bib/plan9.bib", abstract = "Within a few short years, we can expect to be dealing with multi-million-thread programs running on million-core systems [16]. This will no doubt stress the contemporary HPC software model which was developed in a time when 512 cores was a large number. Historical approaches have been further challenged by the increased desire of developers and end users for supercomputer light weight kernels (LWKs) to support the same environment, libraries, and tools as their desktops. As a result, the emerging workloads of today are far more sophisticated than those of the last two decades when much of the HPC infrastructure was developed, and feature the use of scripting environments such as Python, dynamic libraries, and complex multi-scale physics frameworks. Complicating this picture is the overwhelming management, monitoring and reliability problem created by the huge number of nodes in a system of that magnitude.\par We believe that a re-evaluation and exploration of distributed system principals is called for in order to address the challenges of ultrascale. To that end we will be evaluating and extending the Plan 9 [21] distributed system on the largest machines available to us, namely the BG/L [28] and BG/P [10] supercomputers. We have chosen Plan 9 based on our previous experiences with it in combination with previous research [17] which determined Plan 9 was a `right weight kernel', balancing trade offs between LWKs and more general purpose operating systems such as Linux. To deal with issues of scale, we plan on leveraging the use of the high-performance interconnects by system services as well as exploring aggregation as more of a first-class system construct -- providing dynamic hierarchical organization and management of all resources. Our plan is to evaluate the viability of these concepts at scale as well as create an alternative development and execution environment which compliments the features and capabilities of the existing system software and run time options. Our intent is to broaden the application base as well as make the system as a whole more approachable to a larger class of developers and end-users.", acknowledgement = ack-nhfb, fjournal = "ACM SIGOPS Operating Systems Review", } @TechReport{Cox:2009:REM, author = "Russ Cox", title = "Regular Expression Matching: the Virtual Machine Approach", type = "Report", institution = "swtch.com", address = "Cambridge, MA, USA", month = dec, year = "2009", bibdate = "Tue Mar 27 11:39:17 2012", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "See also \cite{Thompson:1968:PTR,Kernighan:1999:REL,Cox:2007:REM,Cox:2010:REM,Cox:2012:REM}", URL = "http://swtch.com/~rsc/regexp/regexp2.html", acknowledgement = ack-nhfb, } @Article{Ierusalimschy:2009:TPM, author = "Roberto Ierusalimschy", title = "A text pattern-matching tool based on {Parsing Expression Grammars}", journal = j-SPE, volume = "39", number = "3", pages = "221--258", day = "10", month = mar, year = "2009", CODEN = "SPEXBL", DOI = "https://doi.org/10.1002/spe.892", ISSN = "0038-0644 (print), 1097-024X (electronic)", ISSN-L = "0038-0644", bibdate = "Wed Mar 17 10:02:38 MDT 2010", bibsource = "http://www.interscience.wiley.com/jpages/0038-0644; https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/spe.bib; http://www3.interscience.wiley.com/journalfinder.html", acknowledgement = ack-nhfb, fjournal = "Software --- Practice and Experience", journal-URL = "http://onlinelibrary.wiley.com/journal/10.1002/(ISSN)1097-024X", keywords = "Lua scripting language; regular expressions", onlinedate = "Jul 17 2008 12:12PM", } @InProceedings{Collyer:2010:CB, author = "Geoff Collyer and Charles Forsyth", editor = "????", booktitle = "Fifth International Workshop on {Plan 9, Seattle (October 2010)}", title = "A Cache to Bash for {9P}", publisher = "????", address = "????", pages = "??", year = "2010", bibdate = "Mon Mar 17 11:07:02 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, } @InProceedings{Collyer:2010:RPW, author = "Geoff Collyer and Charles Forsyth", editor = "????", booktitle = "Fifth International Workshop on {Plan 9, Seattle (October 2010)}", title = "Recent {Plan 9} Work at {Bell Labs}", publisher = "????", address = "????", pages = "??", year = "2010", bibdate = "Mon Mar 17 11:07:02 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, } @TechReport{Cox:2010:REM, author = "Russ Cox", title = "Regular Expression Matching in the Wild", type = "Report", institution = "swtch.com", address = "Cambridge, MA, USA", month = mar, year = "2010", bibdate = "Tue Mar 27 11:39:17 2012", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "See also \cite{Thompson:1968:PTR,Kernighan:1999:REL,Cox:2007:REM,Cox:2009:REM,Cox:2012:REM}", URL = "http://swtch.com/~rsc/regexp/regexp3.html", acknowledgement = ack-nhfb, } @Misc{Cox:2010:REP, author = "Russ Cox", title = "{{\tt re2}}: an efficient, principled regular expression library", howpublished = "Google Code project", day = "2", month = mar, year = "2010", bibdate = "Tue Mar 27 15:30:44 2012", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://code.google.com/p/re2/", acknowledgement = ack-nhfb, remark = "From the Web site: ``RE2 is a fast, safe, thread-friendly alternative to backtracking regular expression engines like those used in PCRE, Perl, and Python. It is a C++ library.''", } @TechReport{Cox:2012:REM, author = "Russ Cox", title = "Regular Expression Matching with a Trigram Index, or {How Google Code} Search worked", type = "Report", institution = "swtch.com", address = "Cambridge, MA, USA", month = jan, year = "2012", bibdate = "Tue Mar 27 11:39:17 2012", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "See also \cite{Thompson:1968:PTR,Kernighan:1999:REL,Cox:2007:REM,Cox:2009:REM,Cox:2010:REM}", URL = "http://swtch.com/~rsc/regexp/regexp4.html", acknowledgement = ack-nhfb, } @Misc{Stallman:2012:PEP, author = "Richard Stallman", title = "The Problems of the (Earlier) {Plan 9} License", howpublished = "Web essay.", day = "10", month = jun, year = "2012", bibdate = "Fri Jan 18 19:00:37 2013", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "See \cite{Mirtchovski:2007:WSD} for comments on this essay, and how its objections were resolved in newer releases of Plan 9.", URL = "http://www.gnu.org/philosophy/plan-nine.html", acknowledgement = ack-nhfb, } @InCollection{Collyer:2013:BPP, author = "Geoff Collyer", booktitle = "{Plan 9} Programmer's Manual ({December 2013})", title = "Bootstrapping {Plan 9} on {PCs}", publisher = "????", address = "????", pages = "??--??", year = "2013", bibdate = "Mon Mar 17 11:09:12 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, } @Article{Mirtaheri:2014:MPB, author = "Seyedeh Leili Mirtaheri and Ehsan Mousavi Khaneghah and Amir Saman Memaripour and Lucio Grandinetti and Mohsen Sharifi and Zarrintaj Bornaee", title = "{Multics} and {Plan 9}: The Big Bangs in the Distributed Computing System Universe", journal = j-COMPUT-SCI-ENG, volume = "16", number = "5", pages = "76--85", month = sep # "\slash " # oct, year = "2014", CODEN = "CSENFA", DOI = "https://doi.org/10.1109/MCSE.2014.3", ISSN = "1521-9615 (print), 1558-366X (electronic)", ISSN-L = "1521-9615", bibdate = "Fri Feb 13 08:04:41 MST 2015", bibsource = "https://www.math.utah.edu/pub/tex/bib/computscieng.bib; https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "http://csdl.computer.org/csdl/mags/cs/2014/05/mcs2014050076-abs.html", abstract-URL = "http://csdl.computer.org/csdl/mags/cs/2014/05/mcs2014050076-abs.html", acknowledgement = ack-nhfb, journal-URL = "http://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=5992", } @Misc{Trbovich:2016:ICB, author = "Pete Trbovich", title = "It Came From {Bell Labs}", howpublished = "Web site.", day = "15", month = nov, year = "2016", bibdate = "Sat Nov 26 10:09:01 2016", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, keywords = "Plan 9 operating system", abstract = "There was once an operating system that was intended to be the successor to Unix. Plan 9 From Bell Labs was its name, and playing with it for five minutes is like visiting an alternate dimension where computers are done differently. It was so ahead of its time that it would be considered cutting edge, even today. Find out the weird and woolly history to Plan Nine's inception and eventual consignment as a footnote of operating systems today.", } @Misc{Miller:2020:PCC, author = "Richard Miller", title = "A {Plan 9} {C} Compiler for {RISC-V} {RV32GC} and {RV64GC}", howpublished = "Web document.", pages = "30 (lecture slides)", day = "19", month = oct, year = "2020", bibdate = "Mon Mar 17 10:38:52 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/risc-v.bib", note = "First article PDF no longer available, and not found in {\tt http://archive.org}.", URL = "https://ossg.bcs.org/wp-content/uploads/criscv64.pdf; https://plan9.io/sources/contrib/geoff/riscv/c-riscv64.pdf; https://www.youtube.com/watch?v=LHJqdXGb0uc", acknowledgement = ack-nhfb, } @InProceedings{Collyer:2023:PBR, author = "Geoff Collyer", editor = "????", booktitle = "Ninth International Workshop on {Plan 9}, {Waterloo (April 2023)}", title = "{Plan 9} on 64-bit {RISC-V}", publisher = "????", address = "????", pages = "1--11", year = "2023", bibdate = "Mon Mar 17 10:36:49 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; https://www.math.utah.edu/pub/tex/bib/risc-v.bib", URL = "https://www.collyer.net/who/geoff/9/9k-riscv.pdf", acknowledgement = ack-nhfb, } @Misc{Collyer:2025:WSE, author = "Geoff Collyer", title = "What {I} Saw at the Evolution of {Plan 9}", howpublished = "Web document.", pages = "10", day = "1", month = feb, year = "2025", bibdate = "Mon Mar 17 09:02:34 2025", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", URL = "https://adi.onl/oral.pdf", abstract = "This is a sort of oral history of Plan 9 and related work at Bell Labs and my home. It is necessarily a subjective view; others may disagree. It is subject to my recall of events; dates may be off.", acknowledgement = ack-nhfb, } %%% ==================================================================== %%% Cross-reference entries must come last: @Proceedings{USENIX:1988:ECP, editor = "{USENIX Association}", booktitle = "EUUG Conference Proceedings, Spring, 1988. London, England", title = "{EUUG} Conference Proceedings, Spring, 1988. London, England", publisher = pub-EUUG, address = pub-EUUG:adr, pages = "????", month = "Spring", year = "1988", bibdate = "Fri Oct 18 07:24:24 MDT 1996", bibsource = "ftp://ftp.uu.net/library/bibliography; https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, location = "London, England", } @Proceedings{EurOpen:1991:EUD, editor = "{EurOpen}", booktitle = "EurOpen. UNIX Distributed Open Systems in Perspective. Proceedings of the Spring 1991 EurOpen Conference, Troms{\o}, Norway, May 20--24, 1991", title = "EurOpen. {UNIX} Distributed Open Systems in Perspective. Proceedings of the Spring 1991 EurOpen Conference, Troms{\o}, Norway, May 20--24, 1991", publisher = pub-EUROPEN, address = pub-EUROPEN:adr, pages = "viii + 331", year = "1991", ISBN = "1-873611-00-5", ISBN-13 = "978-1-873611-00-5", LCCN = "????", bibdate = "Fri May 22 11:28:47 1998", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, } @Proceedings{USENIX:1992:PUW, editor = "{USENIX}", booktitle = "Proceedings of the {USENIX} Workshop on Micro-Kernels and Other Kernel Architectures: 27--28 April, 1992, Seattle, {WA}, {USA}", title = "Proceedings of the {USENIX} Workshop on Micro-Kernels and Other Kernel Architectures: 27--28 April, 1992, Seattle, {WA}, {USA}", publisher = pub-USENIX, address = pub-USENIX:adr, pages = "303", year = "1992", ISBN = "1-880446-42-1", ISBN-13 = "978-1-880446-42-3", LCCN = "QAX 32", bibdate = "Sun Feb 18 07:46:09 MST 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, keywords = "Alpha real time distributed kernel; Amoeba distributed operating system; Birlix operating system; CHORUS distributed OS; Computer architecture --- Congresses; Computer organization --- Congresses; Data movement; Distributed abstractions; IPC; KeyKOS nanokernel architecture; Lightweight references; Mach 3.0; Microkernel operating systems; Plan 9 distributed system; QNX; Scalable operating system; Synthesis kernel; Thread management; VMS", thesaurus = "Network operating systems; Virtual storage", } @Proceedings{Agrawal:1993:VLD, editor = "Rakesh Agrawal and Sean Baker and David Bell", booktitle = "Very large data bases, {VLDB} '93: proceedings of the 19th International Conference on Very Large Data Bases, August 24--27, 1993, Dublin, Ireland", title = "Very large data bases, {VLDB} '93: proceedings of the 19th International Conference on Very Large Data Bases, August 24--27, 1993, Dublin, Ireland", publisher = pub-MORGAN-KAUFMANN, address = pub-MORGAN-KAUFMANN:adr, pages = "xx + 712", year = "1993", ISBN = "1-55860-152-X", ISBN-13 = "978-1-55860-152-9", LCCN = "QA76.9.D3 I61 1993", bibdate = "Sat Dec 7 13:05:35 MST 1996", bibsource = "DBLP; http://dblp.uni-trier.de; https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "Co-sponsored by VLDB Endowment and Irish Computer Society; in co-operation with the IEEE Technical Committee on Data Engineering.", acknowledgement = ack-nhfb, keywords = "data base management -- congresses", } @Proceedings{USENIX:1993:PWU, editor = "{USENIX Association}", booktitle = "Proceedings of the Winter 1993 {USENIX} Conference: January 25--29, 1993, San Diego, California, {USA}", title = "Proceedings of the Winter 1993 {USENIX} Conference: January 25--29, 1993, San Diego, California, {USA}", publisher = pub-USENIX, address = pub-USENIX:adr, pages = "x + 530", year = "1993", ISBN = "1-880446-48-0", ISBN-13 = "978-1-880446-48-5", LCCN = "QA 76.76 O63 U84 1993", bibdate = "Sun Feb 18 07:46:09 MST 1996", bibsource = "ftp://ftp.uu.net/library/bibliography; https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, annote = "Spine title: USENIX San Diego conference proceedings, winter 1993. Running title: 1993 winter USENIX, January 25--29, 1993, San Diego, CA.", keywords = "Computer networks --- Congresses; Operating systems (Computers) --- Congresses; Programming (Electronic computers) --- Congresses; UNIX (Computer file) --- Congresses", } @Proceedings{Brazier:1994:DOS, editor = "F. M. T. (Frances M. T.) Brazier and D. (Dag) Johansen", booktitle = "Distributed open systems", title = "Distributed open systems", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "ix + 181", year = "1994", ISBN = "0-8186-4292-0, 0-8186-4291-2 (microfiche), 0-8186-4290-4 (paperback)", ISBN-13 = "978-0-8186-4292-0, 978-0-8186-4291-3 (microfiche), 978-0-8186-4290-6 (paperback)", LCCN = "QA76.9.D5 D5563 1994", bibdate = "Mon May 27 14:32:08 MDT 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", note = "Includes papers presented at a EurOpen conference held in Troms{\o}, Norway in 1991, in addition to a number of new papers. IEEE catalog number EH0373-1.", acknowledgement = ack-nhfb, } @Proceedings{USENIX:1994:PWU, editor = "{USENIX Association}", booktitle = "Proceedings of the Winter 1994 {USENIX} Conference: January 17--21, 1994, San Francisco, California, {USA}", title = "Proceedings of the Winter 1994 {USENIX} Conference: January 17--21, 1994, San Francisco, California, {USA}", publisher = pub-USENIX, address = pub-USENIX:adr, pages = "372", year = "1994", ISBN = "1-880446-58-8", ISBN-13 = "978-1-880446-58-4", LCCN = "QA 76.76 O63 U84 1994", bibdate = "Sun Feb 18 07:46:09 MST 1996", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, annote = "Spine title: USENIX San Francisco conference proceedings, winter 1994. Running title: 1994 winter USENIX, January 17--21, 1994, San Francisco, CA.", keywords = "Computer networks --- Congresses.; Operating systems (Computers) --- Congresses; Programming (Electronic computers) --- Congresses; UNIX (Computer file) --- Congresses", } @Proceedings{USENIX:2000:UAT, editor = "{USENIX}", booktitle = "2000 USENIX Annual Technical Conference: San Diego, CA, USA, June 18--23, 2000", title = "2000 {USENIX} Annual Technical Conference: San Diego, {CA}, {USA}, June 18--23, 2000", publisher = pub-USENIX, address = pub-USENIX:adr, pages = "350", year = "2000", ISBN = "1-880446-22-7", ISBN-13 = "978-1-880446-22-5", LCCN = "", bibdate = "Mon Oct 14 07:43:52 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, } @Proceedings{USENIX:2002:PUS, editor = "{USENIX}", booktitle = "Proceedings of the 11th USENIX Security Symposium 2002, August 5--9, 2002, San Francisco CA", title = "Proceedings of the 11th {USENIX} Security Symposium 2002, August 5--9, 2002, San Francisco {CA}", publisher = pub-USENIX, address = pub-USENIX:adr, pages = "????", year = "2002", ISBN = "1-931971-00-5", ISBN-13 = "978-1-931971-00-3", LCCN = "????", bibdate = "Tue Oct 15 07:55:57 2002", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib", acknowledgement = ack-nhfb, } @Proceedings{IEEE:2004:IPD, editor = "{IEEE}", booktitle = "{18th International Parallel and Distributed Processing Symposium: Santa Fe, New Mexico, April 26--30, 2004: proceedings}", title = "{18th International Parallel and Distributed Processing Symposium: Santa Fe, New Mexico, April 26--30, 2004: proceedings}", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "lvi + 289", year = "2004", ISBN = "0-7695-2132-0 (paperback)", ISBN-13 = "978-0-7695-2132-9 (paperback)", LCCN = "QA76.58 .I583 2004", bibdate = "Thu Nov 16 07:08:44 MST 2006", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; z3950.loc.gov:7090/Voyager", URL = "http://ieeexplore.ieee.org/xpl/RecentCon.jsp?punumber=9132", acknowledgement = ack-nhfb, meetingname = "IPDPS (Conference) (18th: 2004: Santa Fe, NM)", remark = "IEEE Computer Society Order Number P2132.", } @Proceedings{IEEE:2005:TII, editor = "{IEEE}", booktitle = "{Third IEEE International Conference on Pervasive Computing and Communications Workshops: proceedings, PerCom 2005 Workshops, 8--12 March, 2005, Kauai Island, Hawaii}", title = "{Third IEEE International Conference on Pervasive Computing and Communications Workshops: proceedings, PerCom 2005 Workshops, 8--12 March, 2005, Kauai Island, Hawaii}", publisher = pub-IEEE, address = pub-IEEE:adr, pages = "xxvi + 421", year = "2005", ISBN = "0-7695-2300-5 (paperback)", ISBN-13 = "978-0-7695-2300-2 (paperback)", LCCN = "QA76.5915 .I34 2005", bibdate = "Thu Nov 16 07:08:24 MST 2006", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; z3950.loc.gov:7090/Voyager", URL = "http://ieeexplore.ieee.org/servlet/opac?punumber=9593", acknowledgement = ack-nhfb, } @Book{Oram:2007:BC, editor = "Andrew Oram and Greg Wilson", booktitle = "Beautiful code", title = "Beautiful code", publisher = pub-ORA, address = pub-ORA:adr, pages = "xxi + 593", year = "2007", ISBN = "0-596-51004-7 (paperback)", ISBN-13 = "978-0-596-51004-6 (paperback)", LCCN = "QA76.758 .B428 2007; QA76.758 .B43 2007; QA76.758 .B48 2007", bibdate = "Tue Aug 5 17:53:37 MDT 2008", bibsource = "https://www.math.utah.edu/pub/tex/bib/plan9.bib; melvyl.cdlib.org:210/CDL90", series = "Theory in practice", URL = "http://www.oreilly.com/catalog/9780596510046", acknowledgement = ack-nhfb, subject = "Software engineering", }