diff options
| author | Arseny Kapoulkine <arseny.kapoulkine@gmail.com> | 2015-05-02 15:40:30 -0700 |
|---|---|---|
| committer | Arseny Kapoulkine <arseny.kapoulkine@gmail.com> | 2015-05-02 15:40:30 -0700 |
| commit | fa8663c066e98170dd385bff7bc33e7cfeabfcc4 (patch) | |
| tree | c38a3a0db5ff54c41cc7f6a46fb41756be77419a /Makefile | |
| parent | 613301ce5143f0ce5f00f914d27d309b2e2efd75 (diff) | |
Revise marker deletion strategy
Instead of checking if the object being removed allocated a marker, mark the
marker block as deleted immediately upon allocation. This simplifies the logic
and prevents extra markers from being inserted if we allocate/deallocate the
same node indefinitely.
Also change marker pointer type to uint32_t*.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions