Documentation

A detailed information about the algorithm and data structures can be found in the following documentation published by research group:
  • Papers:
    • [PDF] A constant-time dynamic storage allocator for real-time systems. Miguel Masmano, Ismael Ripoll, et al. Real-Time Systems. Volume 40, Number2 / Nov 2008. Pp 149-179 ISSN: 0922-6443. [Journal link]
    • [PDF] Implementation of a constant-time dynamic storage allocator. Miguel Masmano, Ismael Ripoll, et al. Software: Practice and Experience. Volume 38 Issue 10, Pages 995 - 1026. 2008. [Journal link]
    • Dynamic Memory Management for Embedded Real-Time Systems A. Crespo, I. Ripoll and M. Masmano. IFIP TC 10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2006)
    • [PDF] TLSF: A New Dynamic Memory Allocator for Real-Time Systems
      (M. Masmano, I. Ripoll, A. Crespo and J. Real). 16th Euromicro Conference on Real-Time Systems (ECRTS 2004).
    • [PDF]Dynamic storage allocation for real-time embedded systems
      (M. Masmano, I. Ripoll, and A. Crespo). Real-Time Systems Symposium, Work-in-Progress Session. Cancun, Mexico, December 2003.
  • Presentations and reports:
    • [PDF] (SLIDES) Dynamic storage allocation for real-time embedded systems
      (M. Masmano, I. Ripoll, and A. Crespo).
    • [PDF] Description of the TLSF Memory Allocator Version 2.0
      (M. Masmano, I. Ripoll and A. Crespo).
    • [PDF] A presentation of the results obtained from a timing and space analysis of the TLSF allocator.
      (M. Masmano, I. Ripoll and A. Crespo).
    • [PDF] Gestión de Memoria Dinámica en Sistemas de Tiempo Real.
      (M. Masmano's Ph.D. Thesis).