Operating systems List of important publications in computer science

1 operating systems

1.1 experimental timesharing system.
1.2 working set model program behavior
1.3 virtual memory, processes, , sharing in multics
1.4 nucleus of multiprogramming system
1.5 operating system principles
1.6 note on confinement problem
1.7 unix time-sharing system
1.8 weighted voting replicated data
1.9 experiences processes , monitors in mesa
1.10 scheduling techniques concurrent systems
1.11 fast file system unix
1.12 design of unix operating system
1.13 design , implementation of log-structured file system
1.14 microkernel operating system architecture , mach
1.15 implementation of log-structured file system unix
1.16 soft updates: solution metadata update problem in file systems

operating systems
an experimental timesharing system.

fernando j. corbató, m. merwin-daggett, , r.c. daley
proceedings of afips fjcc, pages 335–344, 1962.
online copy (html)

description: paper discuss time-sharing method of sharing computer resource. idea changed interaction computer systems.

the working set model program behavior

peter j. denning
communications of acm, vol. 11, no. 5, may 1968, pp 323–333
online version(pdf)

description: beginning of cache. more information see sigops hall of fame.

virtual memory, processes, , sharing in multics

robert c. daley, jack b. dennis
communications of acm, vol. 11, no. 5, may 1968, pp. 306–312.
online version(pdf)

description: classic paper on multics, ambitious operating system in history of computing. difficult reading, describes implications of trying build system takes information sharing logical extreme. operating systems since multics have incorporated subset of facilities.

the nucleus of multiprogramming system

per brinch hansen
communications of acm, vol. 13, no. 4, april 1970, pp. 238–242
online version(pdf)

description: classic paper on extensible nucleus architecture of rc 4000 multiprogramming system, , became known operating system kernel , microkernel architecture.

operating system principles

per brinch hansen
prentice hall, englewood cliffs, nj, july 1973
online version (acm digital library)

description: first comprehensive textbook on operating systems. includes first monitor notation (chapter 7).

a note on confinement problem

butler w. lampson
communications of acm, 16(10):613–615, october 1973.
online version(pdf)

description: paper addresses issues in constraining flow of information untrusted programs. discusses covert channels, more importantly addresses difficulty in obtaining full confinement without making program unusable. ideas important when trying understand containment of malicious code, aspects of trusted computing.

the unix time-sharing system

dennis m. ritchie , ken thompson
communications of acm 17(7), july 1974.
online copy

description: unix operating system , principles described in paper. main importance not of paper of operating system, had tremendous effect on operating system , computer technology.

weighted voting replicated data

david k. gifford
proceedings of 7th acm symposium on operating systems principles, pages 150–159, december 1979. pacific grove, california
online copy (few formats)

description: paper describes consistency mechanism known quorum consensus. example of algorithms provide continuous set of options between 2 alternatives (in case, between read-one write-all, , write-one read-all consistency methods). there have been many variations , improvements researchers in years followed, , 1 of consistency algorithms should understood all. options available choosing different size quorums provide useful structure discussing of core requirements consistency in distributed systems.

experiences processes , monitors in mesa

butler w. lampson, david d. redell
communications of acm, vol. 23, no. 2, february 1980, pp. 105–117.
online copy (pdf)

description: classic paper on synchronization techniques, including both alternate approaches , pitfalls.

scheduling techniques concurrent systems

j. k. ousterhout
proceedings of third international conference on distributed computing systems, 1982, 22—30.

description: algorithms coscheduling of related processes given

a fast file system unix

marshall kirk mckusick, william n. joy, samuel j. leffler, robert s. fabry
iacm transactions on computer systems, vol. 2, no. 3, august 1984, pp. 181–197.
online copy (pdf)

description: file system of unix. 1 of first papers discussing how manage disk storage high-performance file systems. file-system research since paper has been influenced it, , high-performance file systems of last 20 years incorporate techniques paper.

the design of unix operating system

maurice j. bach, at&t bell labs
prentice hall • 486 pp • published 05/27/1986

this definitive description principally covered system v release 2 kernel, new features release 3 , bsd.

the design , implementation of log-structured file system

mendel rosenblum, j. k. ousterhout
acm transactions on computer systems, vol. 10, no. 1 (february 1992), pp. 26–52.
online version

description: log-structured file system.

microkernel operating system architecture , mach

david l. black, david b. golub, daniel p. julin, richard f. rashid, richard p. draves, randall w. dean, alessandro forin, joseph barrera, hideyuki tokuda, gerald malan, david bohman
proceedings of usenix workshop on microkernels , other kernel architectures, pages 11–30, april 1992.

description: paper discussing 1 particular microkernel architecture , contrasting monolithic kernel design. mach underlies mac os x, , layered architecture had significant impact on design of windows nt kernel , modern microkernels l4. in addition, memory-mapped files feature added many monolithic kernels.

an implementation of log-structured file system unix

margo seltzer, keith bostic, marshall kirk mckusick, carl staelin
proceedings of winter 1993 usenix conference, san diego, ca, january 1993, 307-326
online version

description: paper first production-quality implementation of idea spawned additional discussion of viability , short-comings of log-structured filesystems. while design , implementation of log-structured file system first, 1 important in bringing research idea usable system.

soft updates: solution metadata update problem in file systems

g. ganger, m. mckusick, c. soules, y. patt
acm transactions on computer systems 18, 2. pp 127–153, may 2000
online version

description: new way of maintaining filesystem consistency.