aboutsummaryrefslogtreecommitdiffhomepage
path: root/kernel/cbytecodes.mli
diff options
context:
space:
mode:
authorGravatar Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>2017-11-23 15:44:52 +0100
committerGravatar Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>2018-02-14 16:17:21 +0100
commitda659eeeb413c488f5efae0269c5d37837c62dc2 (patch)
treefce85f45e0d81d9a2c66cb1fd2a8768217051a08 /kernel/cbytecodes.mli
parent7d4a5f3774ef730a55e6199addcc7dc104f5b9c6 (diff)
Use a more compact representation for bytecode relocations stored on disk.
The previous implementation used a list of pairs, which has size 9n where n is the number of relocations. We instead use two arrays for a total memory cost of 2n + 5 words. The use of arrays may turn out to be problematic on 32-bit machines, I am unsure if we will hit this limitation in practice.
Diffstat (limited to 'kernel/cbytecodes.mli')
0 files changed, 0 insertions, 0 deletions