M1-(9 a 12 hs) Explicit, Dynamic Memory Management with Temporal and Spatial Guarantees

Profesor: Christoph Kirsch. Computational Systems Group, Department of Computer Sciences, University of Salzburg. (en inglés)

http://cs.uni-salzburg.at/~ck/

Abstract: This course gives an introduction to the problem of explicit, dynamic memory management in systems that require temporal and/or spatial guarantees. Predictable memory management is key to introducing many higher-level programming abstractions to such systems. The course will focus on allocating, deallocating, and accessing contiguous pieces of memory using techniques ranging from basic but unpredictable methods such as Best-fit and First-fit to the latest, fully predictable method called Compact-fit. Students will hear about the fundamental problem of managing contiguous pieces of memory (fragmentation), and learn how to deal with it in general (compaction, coalescing) but also in real time (partial compaction) and in the presence of concurrency (incremental compaction).