Title:

Operating Systems 2

Code:OS2
Ac.Year:ukončen 2005/2006
Term:Summer
Study plans:
ProgramBranchYearDuty
EI-BC-3VTB2nd Stage/2nd YearElective
EI-MSC-3VTN3rdElective
EI-MSC-5VTI2nd Stage/3rd YearElective
Language:Czech
Private info:http://www.fit.vutbr.cz/study/courses/OS2/private/
Credits:6
Completion:examination (written)
Type of
instruction:
Hour/semLecturesSem. ExercisesLab. exercisesComp. exercisesOther
Hours:3900818
 ExaminationTestsExercisesLaboratoriesOther
Points:57150028
Guarantee:Lampa Petr, Ing., CC
Lecturer:Lampa Petr, Ing., CC
Instructor:Kašpárek Tomáš, Ing., CC
Faculty:Faculty of Information Technology BUT
Department:Computer Centre FIT BUT
Prerequisites: 
C and C++ Programming Languages (CPP), DITS
Operating Systems 1 (OS1), DITS
 
Learning objectives:
The goal is to acquaint students with the principles and concepts that are used as a basis of modern operating systems kernels.
Description:
Basic concepts, operating system kernel, kernel structure. Parallel programming and synchronization withe a view to kernel synchronization. Deadlock, deadlock detection and prevention. Scheduling algorithms for uniprocessor systems. Memory management, virtual memory, paging, virtual memory implementation. Input/Output, synchronous and asynchronous I/O, drivers, optimalization of disk operations, File systems, disk space allocation, metadata structures, failure recovery, file system examples. Security and protection.
Knowledge and skills required for the course:
C language programming in Unix environment, computer architecture, Intel x86 assembler, basic principles of operating systems.
Subject specific learning outcomes and competences:
Students are acquainted with the parallel programming using POSIX threads, usage of synchronization primitives, virtual memory and file system.
Generic learning outcomes and competences:
A deeper understanding of computer systems and system programming.
Syllabus of lectures:
  1. Kernel structure, interface, system calls, context switch, interrupts,
  2. System interface, Unix systems interface, standardization, SVID, XPG,
  3. Paralel programming, synchronization, synchronization mechanisms,
  4. Scheduling, strategy, implementation, batch, real-time, time sharing
  5. Processes and threads, POSIX threads, synchronization, signals, process
  6. Files systems, organization, space allocation, free space allocation,
  7. Virtual memory, TLB, cache, page tables, examples (ix86, MIPS, 680x0),
  8. Input and output, drivers, synchronous and asynchronous operations, Unix
  9. Programming environment, libraries, dynamic libraries, binary formats,
  10. Security and protection, system access, data protection.
Syllabus of computer exercises:
  1. Unix programming environment - gcc, ld, gdb, make.
  2. Parallel system verification - spin and PROMELA.
  3. Running processes, process state, job control.
  4. Inter process communication in Unix - shared memory, message queue, semaphores.
Syllabus - others, projects and individual work of students:
  1. Verification of parallel algorithm using spin.
  2. Fork and sychronization.
  3. Message passing in Unix.
  4. Signals and signal handling.
Fundamental literature:
  1. Andrews, G.R.: Foundations of Multithreaded, Parallel, and Distributed Programming, Addison-Wesley, 2000, ISBN 0-201-35752-6
  2. Vahalia, U.: Unix Internals: The New Frontiers, Prentice-Hall, 1996, ISBN 0-13-101908-2
  3. Schimmel, K.: UNIX Systems for Modern Architectures: Symmetric Multiprocessing and Caching for Kernel Programmers, Addison-Wesley, 1994, ISBN 0-201-63338-8
  4. McKusick, M.K., Bostic, K., Karels, M.,J., Quaterman, J.S.: The Design and Implementation of the 4.4BSD Operating System, Addison-Wesley, 1996, ISBN 0-201-54979-4
Study literature:
  1. Bic, L., Shaw, A.C.: Operating Systems Principles, Prentice-Hall, 2003, ISBN 0-13-026611-6
  2. Tannenbaum, A.S.: The Modern Operating Systems, Prentice-Hall, 2001, ISBN 0-13-031358-0
Progress assessment:
Written mid-term exam (20 points) and submitted project in due date.