A constant-time dynamic storage allocator for real-time systems