diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-03-07 12:03:47 -0300 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2018-03-26 08:57:39 +0200 |
commit | 93c8e14d0c9bc233b2dcf213485b62a533b34580 (patch) | |
tree | dcf1e391ebf9e87947294eb3a822829c7d26381a /dev/include | |
parent | fd5dc5b37e765bdb864e874c451d42d03d737792 (diff) |
More efficient reallocation of VM global tables.
The previous code was mimicking what the C implementation was doing, which
was a quadratic algorithm. We simply use the good old exponential reallocation
strategy that is amortized O(1).
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions