next up previous contents
Next: Software Engineering and Design Up: Michaelmas Term 2003: Part Previous: Numerical Analysis I   Contents


Operating System Foundations

Lecturer: Dr J.M. Bacon

No. of lectures: 16

This course is a prerequisite for Introduction to Security, Distributed Systems, Computer Design.


Aims


The aims of this course are to introduce the basic principles of computer systems organisation and operation; to show how hardware is controlled by program at the hardware/software interface; to outline the basic OS resource management functions: memory, file, device (I/O) and process management; and to explore the need for, principles of and implementation of concurrency control.


Lectures


Part I. Computer organisation [3-4 lectures]

Part II. Operating system structure and functions [6 lectures]

Part III. Concurrency control [3-4 lectures]

Part IV. Case studies [2-3 lectures]

Objectives


At the end of the course students should

Recommended books


For hardware/architecture please browse the books recommended for Part IA hardware courses and for Computer Design.


* Bacon, J. & Harris, T. (2003). Operating systems: distributed and concurrent software design. Addison-Wesley.
Tanenbaum, A.S. & Woodhull, A. S. 2000. Operating systems design and implementation. Addison-Wesley (2nd ed.).
Silberschatz, A., Galvin, P.B. & Gagne, G. (2001). Operating system concepts. Addison-Wesley (6th ed.).


For further detail on the case studies (not required reading):


Bach, M.J. (1986). Design of the Unix operating system. Prentice-Hall.
Leffler, S.J. et al. (1989). The design of the 4.3BSD Unix operating system. Addison-Wesley.
McKusick M.K. et al. (1996). The design and implementation of the 4.4BSD Unix operating system. Addison-Wesley.
Soloman D.A. & Russinovich, M.E. (2000). Inside Microsoft Windows 2000. Microsoft Press. (3rd ed.)



next up previous contents
Next: Software Engineering and Design Up: Michaelmas Term 2003: Part Previous: Numerical Analysis I   Contents
Christine Northeast
Thu Sep 4 15:29:01 BST 2003