Course detail

Programming Seminar

FIT-IPSAcad. year: 2018/2019

Dynamic memory allocation, pointer and reference data taype. 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 ot message passing interface. Problematics of page faults and related performance effects.

Language of instruction

Czech

Number of ECTS credits

2

Mode of study

Not applicable.

Guarantor

Ing. Aleš Smrčka, Ph.D.

Department

Department of Intelligent Systems (UITS)

Learning outcomes of the course unit

  • Student is able to explain problems of program execution, she/he can explain dynamic memory allocation.
  • Student can use state automata in program control.
  • Student manages application of regular expressions.
  • Student manages implementation of parallel programs.
  • Student is able to identify decrease of program performance due to memory accesses..

Prerequisites

Programming in C language. Fundamentals of algorithmization. Basic synchronization primitives. Computer architecture.

Co-requisites

Not applicable.

Planned learning activities and teaching methods

Not applicable.

Assesment methods and criteria linked to learning outcomes

  • 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.

Course curriculum

Not applicable.

Work placements

Not applicable.

Aims

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 abstraction of algorithms and formal automata and models, to reach the connection of theoretic and practical knowledge of a given topic.

Specification of controlled education, way of implementation and compensation for absences

Not applicable.

Recommended optional programme components

Not applicable.

Prerequisites and corequisites

Not applicable.

Basic literature

Not applicable.

Recommended reading

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

Classification of course in study plans

  • Programme IT-BC-3 Bachelor's

    branch BIT , 2. year of study, winter semester, elective

Type of course unit

 

Seminar

20 hours, optionally

Teacher / Lecturer

Ing. Aleš Smrčka, Ph.D.

Syllabus

  1. Pointers, dynamic memory allocation.
  2. Stack frames, recursion.
  3. Compilation and debugging of programs.
  4. (computer laboratory)
  5. (computer laboratory)
  6. Finite automata, POSIX regular expressions.
  7. Synchronization of processes.
  8. Deadlock.
  9. (computer laboratory)
  10. (computer laboratory)
  11. Page tables.
  12. Demand paging and cache in relation on performance.
  13. Accreditation exam.

Project

6 hours, compulsory

Teacher / Lecturer

Ing. Aleš Smrčka, Ph.D.