Worst-case analysis of memory allocation algorithms | Synapse