SubjectsSubjects(version: 945)
Course, academic year 2016/2017
   Login via CAS
Advanced Operating Systems - NSWI161
Title: Pokročilé operační systémy
Guaranteed by: Department of Distributed and Dependable Systems (32-KDSS)
Faculty: Faculty of Mathematics and Physics
Actual: from 2016 to 2016
Semester: summer
E-Credits: 2
Hours per week, examination: summer s.:0/2, C [HT]
Capacity: unlimited
Min. number of students: 5
4EU+: no
Virtual mobility / capacity: no
State of the course: taught
Language: Czech, English
Teaching methods: full-time
Teaching methods: full-time
Additional information: http://d3s.mff.cuni.cz/teaching/nswi161
Guarantor: prof. Ing. Petr Tůma, Dr.
Class: Informatika Mgr. - Softwarové systémy
Classification: Informatics > Software Engineering
Annotation -
Last update: doc. RNDr. Petr Hnětynka, Ph.D. (10.05.2018)
The course is a loose follow-up to the Operating Systems (NSWI004) course. The course comprises of individual lectures that provide detailed information about selected advanced topics related to the architecture and implementation of operating systems. The majority of the lectures is prepared in cooperation with professionals from commercial software companies and it is based on current trends and new findings.
Literature -
Last update: Tajemník Katedry (20.04.2016)

[1] Baumann A., Barham P., Dagand P.-E., Harris T., Isaacs R., Peter S., Roscoe T., Schüpbach A., Singhania A.: The Multikernel: A New OS Architecture for Scalable Multicore Systems, Proceedings of the 22nd Symposium on Operating Systems Principles, ACM, 2009

[2] Bonwick J.: The Slab Allocator: An Object-Caching Kernel Memory Allocator, Proceedings of USENIX Summer 1994 Technical Conference, USENIX Association, 1994

[3] Bonwick J., Adams J.: Magazines and Vmem: Extending the Slab Allocator to Many CPUs and Arbitrary Resources, Proceedings of the GeneralTrack, USENIX Annual Technical Conference, USENIX Association, 2001

[4] Härtig H., Hohmuth M., Liedtke J., Schönberg S., Wolter J.: The Performance of μ-Kernel-Based Systems, Proceedings of 16th ACM Symposium on Operating Systems Principles (SOSP), ACM, 1997

[5] Heiser G., Elphinstone K.: L4 Microkernels: The Lessons from 20 Years of Research and Deployment, ACM Transactions on Computer Systems (TOCS), Volume 34, Issue 1, 2016

[6] Herder J., Gras B., Homburg P., Tanenbaum A. S.: Fault Isolation for Device Drivers, Proceedings of the International Conference on Dependable Systems & Networks, IEEE, 2009

[7] Hunt G., Larus J.: Singularity: Rethinking the Software Stack, ACM SIGOPS Operating Systems Review, Volume 41, Issue 2, ACM, 2007

[8] Levy H.: Capability-Based Computer Systems, Butterworth-Heinemann Newton, 1984

[9] Nutt G. J.: Operating Systems: A Modern Perspective, Addison Wesley, 2002

[10] Stallings W.: Operating Systems: Internals and Design Principles, Prentice Hall, 2012

[11] Tanenbaum A. S., Woodhull A.: Operating Systems Design and Implementation, Prentice Hall, 2006

Syllabus -
Last update: doc. RNDr. Petr Hnětynka, Ph.D. (10.05.2018)

Each year, the course is composed of technical lectures related to current trends and new findings in the domain of operating systems. These lectures are presented by professionals working for commercial software companies that develop operating systems. The lectures are derived from the practical experience of the external lecturers and they provide the students not only with theoretical knowledge, but also with practical applicable insights.

In case of temporal unavailability of some of the external lecturers, some lectures might be cancelled. Some lectures of the course might deal with topics supplementing or extending the topics previously presented during the Operating Systems (NSWI004) course.

The enrolled students are expected to have prior knowledge comparable to passing the Operating Systems (NSWI004) course.

A non-exclusive list of the usual topics related to operating systems covered by this course:

  • memory management
  • synchronization
  • networking
  • security mechanisms
  • virtualization
  • file systems
  • resource management, service management
  • reliability, live updates
  • instrumentation, observability
  • microkernel technologies
  • real time
  • unconvetional operating system architectures

 
Charles University | Information system of Charles University | http://www.cuni.cz/UKEN-329.html