Energy-efficient dynamic memory allocators at the middleware level of embedded systems