Course details
Programming Seminar
IPS Acad. year 2019/2020 Winter semester 2 credits
Dynamic memory allocation, pointer and reference data type. Activation record and recursion. Compilation, binary program invocation. Implementation of state automata. Implementation of algorithms for regular expressions. Program synchronization. Principles of threads and processes. Selected synchronization issues. Introduction to message passing interface. Problematics of page faults and related performance effects.
Guarantor
Course coordinator
Language of instruction
Completion
Time span
- 20 hrs seminar
- 6 hrs projects
Assessment points
- 80 pts mid-term test (written part)
- 10 pts numeric exercises
- 10 pts projects
Department
Instructor
Rogalewicz Adam, doc. Mgr., Ph.D. (DITS)
Smrčka Aleš, Ing., Ph.D. (DITS)
Subject specific learning outcomes and competences
- The student is able to explain the problems of program execution, she/he can explain dynamic memory allocation.
- Student can use state automata in program control.
- Student manages the application of regular expressions.
- Student manages implementation of parallel programs.
- The student is able to identify a decrease in program performance due to memory accesses.
Learning objectives
The goal of the course is to provide a different point of view to key principles of programming and operating systems. In particular, with respect to the abstraction of algorithms and formal automata and models, to reach the connection of theoretic and practical knowledge of a given topic.
Why is the course taught
The goal of the course is to complement knowledge of students with the topics of software programming which have not been thoroughly described in other programming courses. The problems are mostly demonstrated using practical examples and exercises.
Prerequisite knowledge and skills
Programming in C language. Fundamentals of algorithmization. Basic synchronization primitives. Computer architecture.
Study literature
- A. Kumar, A. K. Verma. A Novel Algorithm for the Conversion of Parallel Regular Expressions to Non-deterministic Finite Automata. 2014. doi: 10.1.1.403.6706
- Kernighan and Ritchie. The C Programming Language, 2nd edition. Chapter A. Storage Allocator for C maloc and free. 1989.
- Maged M. Michael. Scalable lock-free dynamic memory allocation. In Proc. of PLDI'04. doi: 10.1145/996841.996848
Syllabus of seminars
- Pointers, dynamic memory allocation.
- Stack frames, recursion.
- Compilation and debugging of programs.
- (computer laboratory)
- (computer laboratory)
- Finite automata, POSIX regular expressions.
- Synchronization of processes.
- Deadlock.
- (computer laboratory)
- (computer laboratory)
- Page tables.
- Demand paging and cache in relation to performance.
- Accreditation exam.
Progress assessment
- Evaluation of the two home assignments solved in pairs of students (max 20 points)
- Evaluation of an accreditation exam (max 80 points)
Exam prerequisites:
The minimal total score of 50 points gained during a semester.
Exam prerequisites
The minimal total score of 50 points gained during a semester.
Course inclusion in study plans