Pilot

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Pilot: an operating system for a personal computer

Full text

Pdf (1.14 MB)

Source

Communications of the ACM archive
Volume 23 , Issue 2 (February 1980) table of contents

Pages: 81 - 92

Year of Publication: 1980

ISSN:0001-0782

Authors

David D. Redell	Xerox Business Systems, Palo Alto, CA
Yogen K. Dalal	Xerox Business Systems, Palo Alto, CA
Thomas R. Horsley	Xerox Business Systems, Palo Alto, CA
Hugh C. Lauer	Xerox Business Systems, Palo Alto, CA
William C. Lynch	Xerox Business Systems, Palo Alto, CA
Paul R. McJones	Xerox Business Systems, Palo Alto, CA
Hal G. Murray	Xerox Business Systems, Palo Alto, CA
Stephen C. Purcell	Xerox Business Systems, Palo Alto, CA

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 163, Downloads (12 Months): 375, Citation Count: 61

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/358818.358822 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Per Brinch Hansen, The nucleus of a multiprogramming system, Communications of the ACM, v.13 n.4, p.238-241, April 1970 [doi>10.1145/362258.362278]
	2	Boggs, D.R., Shoch, J.F., Taft, E., and Metcalfe, R.M. Pup: An internetwork architecture. To appear in 1EEE Trans. Commun. (Special Issue on Computer Network Architecture and Protocols).
	3	Cerf, V.G., and Kahn, R.E. A protocol for packet network interconnection. IEEE Trans. Commun. COM-22, 5 (May 1974), 637- 641.
	4	Cerf, V.G., and Kirstein, P.T. Issues in packet-network interconnection. Proc. IEEE 66, 11 (Nov. 1978), 1386-1408.
	5	Farber, D.J., and Heinrich, F.R. The structure of a distributed computer system: The distributed file system. In Proc. 1st Int. Conf. Computer Communication, 1972, pp. 364-370.
	6	A. N. Habermann , Lawrence Flon , Lee Cooprider, Modularization and hierarchy in a family of operating systems, Communications of the ACM, v.19 n.5, p.266-272, May 1976 [doi>10.1145/360051.360076]
	7	Thomas R. Horsley , William C. Lynch, Pilot: A software engineering case study, Proceedings of the 4th international conference on Software engineering, p.94-99, September 17-19, 1979, Munich, Germany
	8	Internet Datagram Protocol, Version 4. Prepared by USC/ Information Sciences Institute, for the Defense Advanced Research Projects Agency, Information Processing Techniques Office, Feb. 1979.
	9	Lampson, B.W. Redundancy and robustness in memory protection. Proc. IFIP 1974, North Holland, Amsterdam, pp. 128- 132.
	10	Butler W. Lampson , J. G. Mitchell , E. H. Satterthwhaite, On the transfer of control between contexts, Programming Symposium, Proceedings Colloque sur la Programmation, p.181-203, April 09-11, 1974
	11	Butler W. Lampson , David D. Redell, Experience with processes and monitors in Mesa, Communications of the ACM, v.23 n.2, p.105-117, Feb. 1980 [doi>10.1145/358818.358824]
	12	Butler W. Lampson , Robert F. Sproull, An open operating system for a single-user machine, Proceedings of the seventh ACM symposium on Operating systems principles, p.98-105, December 10-12, 1979, Pacific Grove, California, United States [doi>10.1145/800215.806575]
	13	Hugh C. Lauer , Edwin H. Satterthwaite, The impact of mesa on system design, Proceedings of the 4th international conference on Software engineering, p.174-182, September 17-19, 1979, Munich, Germany
	14	Peter C. Lockemann , W. Dale Knutsen, Information Retrieval: Recovery of disk contents after system failure, Communications of the ACM, v.11 n.8, p.542, Aug. 1968 [doi>10.1145/363567.363572]
	15	Robert M. Metcalfe , David R. Boggs, Ethernet: distributed packet switching for local computer networks, Communications of the ACM, v.19 n.7, p.395-404, July 1976 [doi>10.1145/360248.360253]
	16	Mitchell, J.G., Maybury, W., and Sweet, R. Mesa Language Manual. Tech. Rep., Xerox Palo Alto Res. Cir., 1979.
	17	Pouzin, L. Virtual circuits vs. datagrams--technical and political problems. Proc. 1976 NCC, AFIPS Press, Arlington, Va., pp. 483- 494.
	18	Dennis M. Ritchie , Ken Thompson, The UNIX time-sharing system, Communications of the ACM, v.17 n.7, p.365-375, July 1974 [doi>10.1145/361011.361061]
	19	Douglas T. Ross, The AED free storage package, Communications of the ACM, v.10 n.8, p.481-492, Aug. 1967 [doi>10.1145/363534.363546]
	20	Rotenberg, Leo J. Making computers keep secrets. Tech. Rep. MAC-TR-115, MIT Lab. for Computer Science.
	21	J. A. Stern, BACKUP AND RECOVERY OF ON-LINE INFORMATION IN A COMPUTER, Massachusetts Institute of Technology, Cambridge, MA, 1974
	22	Sunshine, C.A., and Dalal, Y.K. Connection management in transport protocol. Comput. Networks 2, 6 (Dec. 1978), 454-473.
	23	Stoy, J.E., and Strachey, C. OS6--An experimental operating system for a small computer. Comput. J. 15, 2 and 3 (May, Aug. 1972).
	24	Transmission Control Protocol, TCP, Version 4. Prepared by USC/Information Sciences Institute, for the Defense Advanced Research Projects Agency, Information Processing Techniques Office, Feb. 1979.
	25	W. Wulf , E. Cohen , W. Corwin , A. Jones , R. Levin , C. Pierson , F. Pollack, HYDRA: the kernel of a multiprocessor operating system, Communications of the ACM, v.17 n.6, p.337-345, June 1974 [doi>10.1145/355616.364017]

CITED BY 61

	Andrew Black , Norman Hutchinson , Eric Jul , Henry Levy, Object structure in the Emerald system, ACM SIGPLAN Notices, v.21 n.11, p.78-86, Nov. 1986
	Loretta Guarino Reid , Philip L. Karlton, A file system supporting cooperation between programs, ACM SIGOPS Operating Systems Review, v.17 n.5, p.20-29, October 1983
	Butler W. Lampson, Hints for computer system design, ACM SIGOPS Operating Systems Review, v.17 n.5, p.33-48, October 1983
	Daniel C. Swinehart , Polle T. Zellweger , Robert B. Hagmann, The structure of Cedar, ACM SIGPLAN Notices, v.20 n.7, p.230-244, July 1985
	Albert Chang , Mark F. Mergen, 801 storage: architecture and programming, ACM Transactions on Computer Systems (TOCS), v.6 n.1, p.28-50, Feb. 1988
	Giovanni Maria Sacco , Mario Schkolnick, Buffer management in relational database systems, ACM Transactions on Database Systems (TODS), v.11 n.4, p.473-498, Dec. 1986
	Butler W. Lampson , David D. Redell, Experience with processes and monitors in Mesa, Communications of the ACM, v.23 n.2, p.105-117, Feb. 1980
	R. Hagmann, Reimplementing the Cedar file system using logging and group commit, ACM SIGOPS Operating Systems Review, v.21 n.5, p.155-162, Nov. 1987
	Matthew Flatt , Robert Bruce Findler , Shriram Krishnamurthi , Matthias Felleisen, Programming languages as operating systems (or revenge of the son of the lisp machine), ACM SIGPLAN Notices, v.34 n.9, p.138-147, Sept. 1999
	Hugh C. Lauer, Observations on the development of an operating system, ACM SIGOPS Operating Systems Review, v.15 n.5, p.30-36, December 1981
	Paul J. Leach , Bernard L. Stumpf , James A. Hamilton , Paul H. Levine, UIDs as internal names in a distributed file system, Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing, p.34-41, August 18-20, 1982, Ottawa, Canada
	B. Bershad , T. Anderson , E. Lazowska , H. Levy, Lightweight remote procedure call, ACM SIGOPS Operating Systems Review, v.23 n.5, p.102-113, Dec. 3–6, 1989
	M. R. Brown , K. N. Kolling , E. A. Taft, The Alpine file system, ACM Transactions on Computer Systems (TOCS), v.3 n.4, p.261-293, Nov. 1985
	Dawson Engler , M. Frans Kaashoek , James O'Toole, The operating system kernel as a secure programmable machine, Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs, September 12-14, 1994, Wadern, Germany
	Paul J. Leach , Paul H. Levine , James A. Hamilton , Bernard L. Stumpf, The file system of an integrated local network, Proceedings of the 1985 ACM thirteenth annual conference on Computer Science, p.309-324, March 1985, New Orleans, Louisiana, United States
	Jacob R. Lorch , Alan Jay Smith, Reducing processor power consumption by improving processor time management in a single-user operating system, Proceedings of the 2nd annual international conference on Mobile computing and networking, p.143-154, November 1996, Rye, New York, United States
	Robert Wahbe , Steven Lucco , Thomas E. Anderson , Susan L. Graham, Efficient software-based fault isolation, ACM SIGOPS Operating Systems Review, v.27 n.5, p.203-216, Dec. 1993
	W. R. Franta, JOYCE: A next generation personal computer, Proceedings of the 3rd ACM SIGSMALL symposium and the first SIGPC symposium on Small systems, p.108-113, September 18-19, 1980, Palo Alto, California, United States
	Brian N. Bershad , Thomas E. Anderson , Edward D. Lazowska , Henry M. Levy, Lightweight remote procedure call, ACM Transactions on Computer Systems (TOCS), v.8 n.1, p.37-55, Feb. 1990
	B. N. Bershad , S. Savage , P. Pardyak , E. G. Sirer , M. E. Fiuczynski , D. Becker , C. Chambers , S. Eggers, Extensibility safety and performance in the SPIN operating system, ACM SIGOPS Operating Systems Review, v.29 n.5, p.267-283, Dec. 3, 1995
	Butler W. Lampson , David D. Redell, Experience with processes and monitors in Mesa (Summary), Proceedings of the seventh ACM symposium on Operating systems principles, p.43-44, December 10-12, 1979, Pacific Grove, California, United States
	Robert Fitzgerald , Richard F. Rashid, The integration of virtual memory management and interprocess communication in Accent, ACM Transactions on Computer Systems (TOCS), v.4 n.2, p.147-177, May 1986
	Dan S. Wallach , Andrew W. Appel , Edward W. Felten, SAFKASI: a security mechanism for language-based systems, ACM Transactions on Software Engineering and Methodology (TOSEM), v.9 n.4, p.341-378, Oct. 2000
	A. Braunstein , M. Riley , J. Wilkes, Improving the efficiency of UNIX buffer caches, ACM SIGOPS Operating Systems Review, v.23 n.5, p.71-82, Dec. 3–6, 1989
	Zhichen Xu , Barton P. Miller , Thomas Reps, Safety checking of machine code, ACM SIGPLAN Notices, v.35 n.5, p.70-82, May 2000
	D. R. Engler , M. F. Kaashoek , J. O'Toole, Jr., Exokernel: an operating system architecture for application-level resource management, ACM SIGOPS Operating Systems Review, v.29 n.5, p.251-266, Dec. 3, 1995
	Jeffrey S. Chase , Henry M. Levy , Michael J. Feeley , Edward D. Lazowska, Sharing and protection in a single-address-space operating system, ACM Transactions on Computer Systems (TOCS), v.12 n.4, p.271-307, Nov. 1994
	Yogen K. Dalal , Robert S. Printis, 48-bit absolute internet and Ethernet host numbers, ACM SIGCOMM Computer Communication Review, v.11 n.4, p.240-245, October 1981
	Butler Lampson, Personal distributed computing: the Alto and Ethernet software, Proceedings of the ACM Conference on The history of personal workstations, p.101-131, January 09-10, 1986, Palo Alto, California, United States
	Jeffrey K. Hollingsworth , Ethan L. Miller, Using content-derived names for configuration management, ACM SIGSOFT Software Engineering Notes, v.22 n.3, p.104-109, May 1997
	Marvin M. Theimer , Keith A. Lantz , David R. Cheriton, Preemptable remote execution facilities for the V-system, ACM SIGOPS Operating Systems Review, v.19 n.5, p.2-12, Dec. 1-4, 1985
	Gary J. Nutt, An experimental distributed modeling system, ACM Transactions on Information Systems (TOIS), v.1 n.2, p.117-142, April 1983
	Richard E. Sweet, The Mesa programming environment, ACM SIGPLAN Notices, v.18 n.6, p.216-229, June 1983
	Michael Stonebraker, Operating system support for database management, Communications of the ACM, v.24 n.7, p.412-418, July 1981
	Beverly Schwartz , Alden W. Jackson , W. Timothy Strayer , Wenyi Zhou , R. Dennis Rockwell , Craig Partridge, Smart packets: applying active networks to network management, ACM Transactions on Computer Systems (TOCS), v.18 n.1, p.67-88, Feb. 2000
	Eric J. Koldinger , Jeffrey S. Chase , Susan J. Eggers, Architecture support for single address space operating systems, ACM SIGPLAN Notices, v.27 n.9, p.175-186, Sept. 1992
	Matthew Flatt , Robert Bruce Findler, Kill-safe synchronization abstractions, ACM SIGPLAN Notices, v.39 n.6, May 2004
	Michael Stonebraker, Virtual memory transaction management, ACM SIGOPS Operating Systems Review, v.18 n.2, p.8-16, April 1984
	Richard E. Sweet , James G. Sandman, Jr., Empirical analysis of the mesa instruction set, ACM SIGPLAN Notices, v.17 n.4, p.158-166, April 1982
	M. Frans Kaashoek , Dawson R. Engler , Gregory R. Ganger , Hector M. Briceño , Russell Hunt , David Mazières , Thomas Pinckney , Robert Grimm , John Jannotti , Kenneth Mackenzie, Application performance and flexibility on exokernel systems, ACM SIGOPS Operating Systems Review, v.31 n.5, p.52-65, Dec. 1997
	Michael D. Schroeder , Andrew D. Birrell , Roger M. Needham, Experience with Grapevine: the growth of a distributed system, ACM Transactions on Computer Systems (TOCS), v.2 n.1, p.3-23, February 1984
	Jacob R. Lorch , Alan Jay Smith, Scheduling techniques for reducing processor energy use in MacOS, Wireless Networks, v.3 n.5, p.311-324, Oct. 1997
	Jeff Magee , Morris Sloman, Constructing Distributed Systems in Conic, IEEE Transactions on Software Engineering, v.15 n.6, p.663-675, June 1989
	James C. Browne , James E. Dutton , Vincent Fernandes , Annette Palmer , Jonathan Silverman , Anand R. Tripathi , Pong-sheng Wang, Zeus: An object-oriented distributed operating system for reliable applications, Proceedings of the 1984 annual conference of the ACM on The fifth generation challenge, p.179-188, January 1984
	Michael Stonebraker , Deborah DuBourdieux , William Edwards, Problems in supporting data base transactions in an operating system transaction manager, ACM SIGOPS Operating Systems Review, v.19 n.1, p.6-14, January 1985
	Godmar Back , Wilson C. Hsieh, The KaffeOS Java runtime system, ACM Transactions on Programming Languages and Systems (TOPLAS), v.27 n.4, p.583-630, July 2005
	Vijayan Prabhakaran , Lakshmi N. Bairavasundaram , Nitin Agrawal , Haryadi S. Gunawi , Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dusseau, IRON file systems, ACM SIGOPS Operating Systems Review, v.39 n.5, December 2005
	Daniel C. Swinehart , Polle T. Zellweger , Richard J. Beach , Robert B. Hagmann, A structural view of the Cedar programming environment, ACM Transactions on Programming Languages and Systems (TOPLAS), v.8 n.4, p.419-490, Oct. 1986
	Algis Rudys , Dan S. Wallach, Termination in language-based systems, ACM Transactions on Information and System Security (TISSEC), v.5 n.2, p.138-168, May 2002
	Andrew Krioukov , Lakshmi N. Bairavasundaram , Garth R. Goodson , Kiran Srinivasan , Randy Thelen , Andrea C. Arpaci-Dusseau , Remzi H. Arpaci-Dussea, Parity lost and parity regained, Proceedings of the 6th USENIX Conference on File and Storage Technologies, p.1-15, February 26-29, 2008, San Jose, California
	Yasuhiko Yokote , Fumio Teraoka , Atsushi Mitsuzawa , Nobuhisa Fujinami , Mario Tokoro, The muse object architecture: a new operating system structuring concept, ACM SIGOPS Operating Systems Review, v.25 n.2, p.22-46, April 1991
	Curtis Yarvin , Richard Bukowski , Thomas Anderson, Anonymous RPC: low-latency protection in a 64-bit address space, Proceedings of the USENIX Summer 1993 Technical Conference on Summer technical conference, p.1-12, June 21-25, 1993, Cincinnati, Ohio
	Mark Aiken , Manuel Fähndrich , Chris Hawblitzel , Galen Hunt , James Larus, Deconstructing process isolation, Proceedings of the 2006 workshop on Memory system performance and correctness, October 22-22, 2006, San Jose, California
	W. R. Franta , M. E. Aycock , C. Boylan , B. Kvam , S. Levy , G. Stone, JOYCE: a next generation personal computer, ACM SIGSMALL Newsletter, v.7 n.3-4, p.41-66, December 1981
	Yasushi Saito , Brian Bershad, A transactional memory service in an extensible operating system, Proceedings of the Annual Technical Conference on USENIX Annual Technical Conference, 1998, p.5-5, June 15-19, 1998, New Orleans, Louisiana
	Godmar Back , Patrick Tullmann , Leigh Stoller , Wilson C. Hsieh , Jay Lepreau, Techniques for the design of java operating systems, Proceedings of the Annual Technical Conference on 2000 USENIX Annual Technical Conference, p.17-17, June 18-23, 2000, San Diego, California
	Manuel Fähndrich , Mark Aiken , Chris Hawblitzel , Orion Hodson , Galen Hunt , James R. Larus , Steven Levi, Language support for fast and reliable message-based communication in singularity OS, ACM SIGOPS Operating Systems Review, v.40 n.4, October 2006
	Godmar Back , Wilson C. Hsieh , Jay Lepreau, Processes in KaffeOS: isolation, resource management, and sharing in java, Proceedings of the 4th conference on Symposium on Operating System Design & Implementation, p.23-23, October 22-25, 2000, San Diego, California
	Michael Golm , Meik Felser , Christian Wawersich , Jürgen Kleinöder, The JX Operating System, Proceedings of the General Track: 2002 USENIX Annual Technical Conference, p.45-58, June 10-15, 2002
	David Plonka , Archit Gupta , Dale Carder, Application buffer-cache management for performance: running the world's largest MRTG, Proceedings of the 21st conference on 21st Large Installation System Administration Conference, p.1-16, November 11-16, 2007, Dallas
	Dawson R. Engler , M. Frans Kaashoek , James W. O'Toole, Jr., The operating system kernel as a secure programmable machine, ACM SIGOPS Operating Systems Review, v.29 n.1, p.78-82, Jan. 1995

INDEX TERMS

Keywords:
file, high-level language, modular programming, network, operating system, personal computer, process, system structure, virtual memory

Collaborative Colleagues:

David D. Redell: colleagues

Yogen K. Dalal: colleagues

Thomas R. Horsley: colleagues

Hugh C. Lauer: colleagues

William C. Lynch: colleagues

Paul R. McJones: colleagues

Hal G. Murray: colleagues

Stephen C. Purcell: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player