diff options
author | Sverker Eriksson <[email protected]> | 2018-05-22 14:43:30 +0200 |
---|---|---|
committer | Sverker Eriksson <[email protected]> | 2018-05-22 14:43:30 +0200 |
commit | 9cf67430bff860d47c359df6b997c8bcd0985f4c (patch) | |
tree | 45dc24bf4d20077336e330ccc5a2e9ec4ae65b91 /lib/wx | |
parent | 48f2d66707330667c6d3e268466b5440d1b930ab (diff) | |
download | otp-9cf67430bff860d47c359df6b997c8bcd0985f4c.tar.gz otp-9cf67430bff860d47c359df6b997c8bcd0985f4c.tar.bz2 otp-9cf67430bff860d47c359df6b997c8bcd0985f4c.zip |
erts: Let allocator pooled_tree also use Age Order
if configured for the allocator. This was not implemented
and pooled_tree always used address order first fit.
The "problem" was as a carrier can be part of both the pooled tree
(of its owner) and the allocation tree (of a foreign instance)
at the same time. Solved by duplicating 'birth_time' in both
AOFF_RBTree_t nodes for each carrier.
Blocks still cannot use age order and does not pay
any memory cost for birth_time.
Diffstat (limited to 'lib/wx')
0 files changed, 0 insertions, 0 deletions