Effective Software

Semestr: Summer

Range: 2+2c

Completion:

Credits: 6

Programme type:

Study form: Fulltime

Course language: English

Time table at FEE

Summary:

Within the course of Efficient software you will get familiar with the area of software and algorithm optimization under limited resources. The course is focused on the efficient usage of modern hardware architectures - multi-core and multi-processor systems with shared memory. Students will practically implmenet and use presented techniques in C and Java. Main topics are: code optimization, effective data structures and processor cache usage, data structures in multi-threaded applications and implementation of efficient network servers.

Keywords:

Course syllabus:

1. Introduction, modern computer architecture, compiler, profiling
2. Virtual machine, byte-code, (de-)compilers, disassembler, profiling
3. Benchmarking, measurements, statistics
4. Scalable synchronization
5. Data races, synchronization, atomic operations, non-blocking algorithms
6. Non-blocking I/O, C10K, efficient networking
7. Data structure serialization
8. Memory, caches, allocators
9. JVM - Memory analysis, data structures, collections for performance
10. JVM - Object allocation, bloom filters, references, effective caching
11. Memory Management in JVM - Memory Layout, Garbage Collectors
12. Virtualization (IOMMU, SR-IOV, PCI pass-through, virtio, .)
13. C program compilation and execution

Seminar syllabus:

Literature:

[1] MIT: Performance-engineering-of-software-systems
[2] Oaks, S.: Java Performance: The Definitive Guide. O'Reilly, USA 2014.
[3] Jones, R., Hosking, A., Moss, E.: The Garbage Collection Handbook - The Art of Automatic Memory Management. CRC Press, USA 2012.
[4] Herlihy, M., Shavit, N.: The Art of Multiprocessor Programming. Morgan Kaufman, 2008.
[5] Fog, A.: The microarchitecture of Intel, AMD and VIA CPU, 2016.
[6] Drepper U.: What every programmer should know about memory, 2007
[7] Jain, R.: The Art of Computer Systems Performance Evaluation. Wiley, New York 1991. (slides, book)
[8] Lilja, D. J.: Measuring Computer Performance: A Practitioner?s Guide. Cambridge University Press, 2000. (book web site, Supplemental Teaching Materials)

Examiners:

Lecturers:

Instructors: