Courses/Computer Science/CPSC 457.F2014
Principles of Operating Systems (Fall 2014)
You may also be interested in the wiki pages for the past versions of this course:
- Winter 2012
- Winter 2013
- Fall 2013
(linked from the 457 wiki page)
This course is a curiosity-driven cross-layer introduction to the principles and design decisions reflected in modern commodity operating systems with a special focus on the Linux/x86 platform to ground the discussion in real technical detail.
The university calendar entry for CPSC457 describes the course as:
"An introduction to operating systems principles. Performance measurement; concurrent programs; the management of information, memory and processor resources. Prerequisite(s): Computer Science 319 or 331 and one of Computer Science 325 or Computer Engineering 369."
How This Class is Taught
- Curiosity - This class is driven by seemingly simple questions about what a computer system is in a practical sense. This is not a class where you blindly memorize charts and pictures drawn by other people. It's a hands-on exploration of what makes digital hardware actually do interesting things for us.
- Cross-layer - layers of abstraction become boundaries of competence. This class deliberately bridges the semantic gap to give multiple aspects of the same concept, component, or primitive.
- Learning through failure modes - what we do to systems to break them (out of curiosity, ignorance, or malice) can teach us a great deal. Stretching and abusing a system's limits and normal modes of operation helps outline the boundaries of (in this case, OS) concepts more clearly.
Although this courses focuses on Linux, it is not about Linux per se; we simply demonstrate abstract OS concepts relative to a mature, real-world, and complex piece of software.
Announcements, Policies, and Metadata
This section includes the syllabus, textbooks, course policies, grading scheme, midterm and file exam policies, and submission instructions.
This term we will be using Piazza for class discussion. The system is highly catered to getting you help fast and efficiently from classmates, the TA, and myself. Rather than emailing questions to the teaching staff, I encourage you to post your questions on Piazza. If you have any problems or feedback for the developers, email firstname.lastname@example.org.
Find our class page at: https://piazza.com/ucalgary.ca/fall2014/cpsc457/home
This section enumerates the homework assignments.
Please see the University Academic Calendar for important add/drop dates, holidays, etc.
This section contains the class session notes.
Here is the (tentative) schedule of tutorial topics.
Links & Miscellaneous Resources
kernel version we will use in this class: tbd
CPSC LXR mirror for this kernel version: http://lxr.cpsc.ucalgary.ca/lxr/#linux/
Splitting your c457 virtual machine VDI image into 2GB chunks to fit onto your USB thumbdrive:
Random News and Links
- Sniffing and emulating USB
Things We Won't Cover
- A full consideration of multiprocessor architectures and machines (we only touch on this in the context of concurrency and synchronization)
- Advanced I/O architectures and multimedia
- cluster computing
- other operating systems like *BSD, Windows, OS X, GNU Hurd, or Minix