Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2024/2025

Operating Systems and Systems Programming

Login to KOS for course enrollment Display time-table
Code Completion Credits Range Language
NI-OSY Z,ZK 5 2P+1C Czech
Garant předmětu:
Petr Zemánek
Lecturer:
Petr Zemánek
Tutor:
Tomáš Martinec, Petr Zemánek
Supervisor:
Department of Computer Systems
Synopsis:

The course covers system programming in UNIX environment. Emphasis is given on kernel development with focus on kernel architecture and kernel data structures. Key topics are: process management, memory management, file operations and architecture of modern file systems, device drivers and network programming.The course also addresses kernel development process, upgrades of existing kernels, kernel booting, debugging using dynamic instrumentation, and techniques to guarantee portability. Specifics of kernel architecture in embedded and real-time operating systems are also discussed. Theoretical and general principles are demonstrated on the LINUX kernel. Within labs, students will work on projects focused on development of LINUX kernel modules.

Requirements:
Syllabus of lectures:

1) Operating system kernel architecture and programming tools used in the kernel development process

2) System calls and their implementation

3) Management of processes and threads in the kernel

4) Interrupts, timers and real-time management

5) Kernel synchronization mechanisms, symmetric multiprocessing

6) Address space of processes, memory management

7) File system management, virtual file system

8) Kernel debugging and portability

9) Implementation of network services in the kernel

10) Architecture layer, kernel booting

11) Virtualization (kvm)

12) Operating system kernel in embedded systems

Syllabus of tutorials:

Within labs, students work on individual semester projects focused on development of a kernel module in LINUX.

Study Objective:

The goal of the course is to acquiant the students with principles of construction and ith the architecture of modern operating system kernel and with corresponding data structures and algorithms to such an extent that they will be able to participate at the development of modules of an operating system kernel, such as thread schedulers

Study materials:

1) Remzi H. Arpaci-Dusseau and Andrea C. Arpaci-Dusseau: Operating Systems: Three Easy Pieces © Arpaci-Dusseau Books August, 2018 (Version 1.00) or July, 2019 (Version 1.01) http://www.ostep.org

2) Love, R.: Linux Kernel Development (3rd edition). Pearson Education 2010. ISBN: 978-0-672-32946-3

3) Wang, K.C.: Embedded and Real-Time Operating Systems. Springer 2017. ISBN 978-3-319-51516-8

Note:
Further information:
https://courses.fit.cvut.cz/NI-OSY/
Time-table for winter semester 2024/2025:
Time-table is not available yet
Time-table for summer semester 2024/2025:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2024-06-13
Aktualizace výše uvedených informací naleznete na adrese https://bilakniha.cvut.cz/en/predmet6082206.html