UTEP CS 4375: Theory of Operating Systems
(and sometimes EE 4374: Operating Systems Design)
Text & Email ,
Course outline and lecture notes,
Most students enjoy this course because it exposes so much of the
"magic" of how programs and resources are
managed on modern computer systems.
More precisely the learning outcomes of this course enable students describe and analyze
These functions of a modern operating system are all based on the application of a few fundamental concepts. This course teaches these key concepts and "makes them real" by engaging students in the creation of small programs that implement their key functionalities.
- mechanisms and policies that enable the efficient illusion of concurrent execution of multiple programs upon one (or more) CPUs
- mechanisms and policies that enable a "virtual" address spaces that may be larger than allocated memory
- security mechanisms and policies that protect processes from unauthorized access to their memory or files
- data structures and algorithms used to organize persistant storage
- how resources such as cpu time, memory, and persistent storage are managed and allocated
- challenges in concurrency and approaches to avoiding race conditions and deadlock
- the role of device drivers in providing generic programming interfaces to i/o devices
- the intertwined role of interrupts, traps, paged and segmented memory translation, and supervisor mode in enabling multi-tasking, isolation, system calls, access to i/o devices, and timers
- coarse estimations of access time to persistent storage devices
The course includes frequent quizzes, a super-quiz (that serves as a midterm) and a final exam. All grading is explicitly mapped to course learning outcomes, which are generally assigned boolean scores indicating whether the students' work indicates an appropriate level of mastery. In order to appropriately assign credit for skill mastery in the context of clerical errors, "clerical accuracy" is also included as an additional skill that is graded on all test instruments. In order to enable the computation of a final grade largely dependent upon a comprehensive final to not be overly sensitive to errors caused by student stress, test and quiz grades are aggregated on a skill basis - which permits skills demonstrated in multiple (prior) quizzes to over-ride corresponding skills that may not be demonstrated on the final exam.
Operating systems design is an exciting area of computer systems that
ties together architecture, language, and real-world constraints. Many
solutions to the problem of managing a systems explored in this course
involve interesting trade-offs between flexibility, performance, and
reliability. In order that students gain a mature appreciation of
these trade-offs, this course is conducted in a very interactive
manner. Students are encouraged to dialog
with each other and the professor to discuss the implications of
design options. An email list facilitates
interaction outside of class.
Since the design of operating systems requires a very practical understanding of computer
architecture, algorithms, and software design, most students
are not prepared for this course before their senior year.
Few programming languages are as well suited to the implementation of
operating systems as "C". For this reason, most labs for this course
must be written in C. Students with superficial understandings of the C language will struggle in this course and I strongly encourage all students attending CS4375 to carefully review "The C
Programming Language" by Brian Kernigham and Dennis Ritchie.
Students enrolled in this course will:
- Learn the role of operating systems.
- Learn the theory underlying how operating systems are
implementer and the implications of resulting design choices.
- Develop practical skills needed to understand and modify
operating system code, feel competent to do so, and understand
why it matters
- Acquire sufficient knowledge to be able to solve problems & know how
to learn additional relevant info when needed.
- Tannenbaum's "Modern Operating Systems."
- The 4th edition is current.
- The 2nd or 3rd editions are very similar (and adequate for this course). In June 2015, Amazon was selling the 2nd edition at $0.88.
- Kernigham & Ritchie, The C Programming Language, any edition.
- Much communication is via email: JOIN THE CLASS MAILING LIST:
- Official course outcomes
(last updated in 2000)
TA: (all addresses are @miners.utep.edu)
- TAs will be present for the first 10 minutes of their office hours and depart if nobody is present or expected.
- If you need to meet a TA at a particular time, please send them email.
- Adrian Veliz
- email: aeveliz@...
- Office Hour: Monday 10:30-11:30
- Lecture notes
- Coarse-grained topic outline
- What is an operating system?
- Operating systems for various devices
- Review of computer architecture
- Summary of OS concepts
- System Calls
- Operating System Structure
- Processes and Threads
- Inter-process communication
- Classical problems
- Synchronization (mostly deadlock prevention)
- Deadlock (another reason why ostriches do not dominate the planet)
- Detection of deadlock
- Stopping systems from entering deadlock (avoidance)
- Designing systems that can not deadlock (prevention)
- Memory Management
- Single address space (both mono- and multiprogramming)
- better nomenclature than book
- virtual memory
- demand v. voluntary systems
- paged v. segmented systems
- Managing paged systems
- exposes a eviction (replacement) problem
- program behavior (locality)
- Managing segmented systems
- exposes both a placement & eviction problem
- characteristics of i/o devices
- how to structure drivers
- terminals, graphical devices
- networked terminals
- power mgmt
- File Systems
- special files (/dev, links, /proc)
- example filesystems
- File encoding
- processor scheduling issues
- disk scheduling issues
- storage, caching, and transmission issues
- Multiprocessor Systems
- Students are expected to review techniques taught in class and be able to demonstrate those skills during the next class session. Example problems with solutions are published on the course web site.
- Quizzes assess individual students' abilities to demonstrate knowledge, to design solutions to realistic problems, and to present these solutions in a clear and professional fashion. Quizzes will be graded "by skill" (see below), can cover any concept or skill previously taught in the course, are generally offered at the rate of once per week, and unannounced (so students must be continuously prepared).
- Final Exam
- The final exam date is scheduled by the university based upon lecture time. Like quizzes, the final exam will be graded "by skill" (see below) and can cover any concept or skill previously taught in the course.
- Solutions must be prepared individually without communication with or assistance from anybody except the instructor or proctor.
- Frequency & Deadlines
- Labs will be assigned during the lab course
- Due 1 week after assignment unless otherwise indicated.
- Labs are intended to provide an opportunity for students to practice and explore the application of concepts presented in class within programming assignments.
- Students are expected to act professionally
- By reading whatever resources they find relevant
- By attributing credit to any person or reference materials that substantively contributed to their solutions
- By only submitting solutions they fully understand.
- Professionalism includes honesty, clarity, and accuracy.
- Students are encouraged to help each other select and design problem-solving approaches, but they may not present solutions to each other for duplication or paraphrasing.
- Functional: Assignments will either require students to create complete programs or modify programs provided by the instructor.
- Documentation: Submissions should include documentation that facilitates the grader's determination of
- How to compile, use, and test
- Principles of operation (e.g. comments & other descriptive prose)
- Elements of the submission that were developed by others. This includes both algorithms and code. Vague attributions of credit (e.g. "Assistance was received from Jim Smith.") are unacceptable.
- Originality: Any code not provided by the instructor must be "original work" by the student. As in written "essay" assignments,
- Each instance of a specific algorithm, code fragment, comment, or explanation composed by or with another person must be individually documented.
- The majority of "original work" must not be composed of verbatim or paraphrased copies of code or comments composed by somebody else.
- Completeness: Students who labs that do not substantially satisfy functional and documentation requirements will receive no credit.
- Most class sessions will conclude with an assignment due at the beginning of the next class session (unless otherwise indicated).
- While most assignments are neither collected nor graded, student mastery of relevant skills will be tested within quizzes and tests.
- More notes on grading policy
- Submission policy
- Labs will only be accepted on the published due date unless other arrangements are made.
- All lab assignments must be completed to earn a passing grade.
- All labs must be submitted using the version control system. Labs will not be accepted via email.
Accommodations for Students with Disabilities and Exceptional Circumstances
Individuals with disabilities have the right to equal access and
opportunity. Please contact Dr. Freudenthal or the
UTEP Office of Disabled Student Services (DSSO)
if you have a special circumstance such that an
accommodation would be helpful in permitting you to excel or
demonstrate mastery of the material covered in this course.
Standards of Conduct and Academic Honesty
- Standards of Conduct:
Students are expected to conduct
themselves in a professional and
courteous manner, as prescribed by the Standards of Conduct:
Graded work should be unmistakably
your own. You may not transcribe or copy a solution taken from
another person, book, or other source ( e.g., a web page).
Copying other's work will
not be tolerated. Professors are required to report
academic dishonesty and any other
violation of the Standards of Conduct to the Dean of Students.
- Permitted collaboration:
Students may discuss requirements, background information, test sets, solution strategies, and the output of their programs. However, implementations and
documentation must be prepared individually.
Students are strongly encouraged to document advice received from others and all other resources utilized in the preparation of their assignments.
- If academic dishonesty is suspected:
receive an incomplete for the lab, and
your case will be referred to the Dean of Students for
adjudication. The Dean of Students has published a website with
complete details concerning the
UTEP Academic Honesty policy at the following arcane URL:
Course Grading Policy
Overall course grading: It's posted on this web page: Exams and Grading
Expectations of UG/Grad Students
Both graduate and
undergraduate students will may attend this course. Graduate students
are expected to demonstrate a higher level of technical competency,
analytical maturity, and communication skills than undergraduates as
demonstrated by (1) class participation, (2) exams and (3) lab
assignments. Some laboratory assignments will have advanced sections
that only graduate students will be required to submit. Finally, the
official course outcomes specify a
range of mastery levels of the topics covered in this course that must
be demonstrated by students in order to earn high marks. In order to
similarly high marks, MS candidates are expected to demonstrate higher
levels of mastery.
Started in Linux/UNIX and SVN
Linux under virtualization
This is another way to run linux - just pickup a virtualization system
such as vmware, configure a virtual machine, and instal linux onto it.