Prospero Technical Papers
This is a list of technical papers and articles about Prospero.
Here are the other documentation on Prospero.
- B. Clifford Neuman. Prospero: A Tool for Organizing Internet
Resources. Electronic Networking: Research, Applications and
Policy, 2(1):30-37, Spring 1992.
This is a useful first paper to read. It gives a good overview of
Prospero and what it does. It also describes a bit about the Virtual
System model, of which Prospero is a prototype implementation. It
describes what Prospero does, not how it does it.
- B. Clifford Neuman. The Need for Closure in Large Distributed Systems.
Operating Systems Review, 23(4):28-30,
October 1989. (unrefereed)
This paper describes the reasons that operating systems need to
support closure, that is they need to make it clear which name space
is to be used when resolving names. While closure is one of the
important features of Prospero, the concept should be applied in other
operating systems too.
- B. Clifford Neuman. Prospero: A base for building information
infrastructure. In Proceedings of INET'93, August 1993.
This paper describes how Prospero can be used to integrate internet
information services, including Gopher, WAIS, Archie, and World Wide
Web. It is another good first paper to read about Prospero.
- B. Clifford Neuman, Steven Seger Augart, and Shantaprasad Upasani.
Using Prospero to support integrated location independent computing.
In Proceedings of the Symposium on Mobile and Location
Independent Computing, August 1993.
This paper describes how the Prospero Directory Service can be used to
solve the server selection problem and the user location problem. The
paper was presented in August, 1993, at the Usenix Symposium on Mobile
and Location-Independent Computing.
- B. Clifford Neuman. The Prospero File System: A global file system
based on the Virtual System Model. In Proceedings of the 1st Usenix
Workshop on Filesystems May 1992.
This is a good second paper to read about Prospero. This one is
targeted more toward system implementors. It provides more
implementation details than the paper on organizing Internet
resources, but less of the vision of how Prospero can be used together
with other systems. Note: the online copy is the paper presented at
the Workshop on File System. A slightly revised version of the paper
which subsequently appeared in Computing Systems and Computing Systems is
the preferred citation.
- B. Clifford Neuman. Workstations and the Virtual System Model. In
Proceedings of the 2nd IEEE Workshop on Workstation Operating
Systems, pages 91-95, September 1989.
Describes the role of the workstation in a system based on the Virtual
System Model. Also provides an early description of Prospero.
- B. Clifford Neuman, The Virtual System Model: A Scalable Approach to
Organizing Large Systems, Ph.D. Thesis, University of
Washington, Department of Computer Science and Engineering Technical
Report 92-06-04, June 1992.
This is Clifford Neuman's Ph.D. Dissertation. It is currently the
definitive work on Prospero and the Virtual System Model. The
prospero manuals that form its appendices have been superseded by
those described below.
320KB compressed postscript
- B. Clifford Neuman. The Virtual System Model: A Scalable
Approach to Organizing Large Systems (A Thesis Proposal).
Technical Report 90-05-01, Department of Computer Science and
Engineering, University of Washington, May 1990.
For a long time this was the best description of Prospero, but all the
information in this document appears in more recent papers and the
- B. Clifford Neuman. The Virtual System Model for Large Distributed
Operating Systems. Technical Report 89-01-07, Department of Computer
Science, University of Washington, April, 1989.
This describes the initial vision for the Virtual System Model, the
model on which Prospero is based. Much of the material in this paper
appears in greater detail in other papers.
Prospero Home Page
- Internet Talk Radio, 17 November 1993., Carl Malamud
interviews Clifford Neuman, instrumental in the development of
Internet protocols such as Kerberos and Prospero. Neuman discusses
what Prospero is and how this miracle system can be anything you want
it to be. Neuman also discusses his work in security and how that
relates to his recent interests in resource discovery. It is 30 minutes
long and is a good thing to listen to for the
philosophy behind the Prospero virtual system model.
15 MB audio file
GOST Group Home Page