diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2024-04-15 12:36:20 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2024-04-15 13:23:33 +0000 |
| commit | 80ce88419762e4342971463033802fea7cdb2973 (patch) | |
| tree | e522a76cfc92dfe1c31470f2993923737d641d3d /executor/executor_bsd.h | |
| parent | 416332e39df7236896d0d13bebcc7bb13105c0a4 (diff) | |
prog: use leb128 for exec encoding
Switch from uint64 to leb128 encoding for integers.
This almost more than halves serialized size:
- exec sizes: 10%:2160 50%:4792 90%:14288
+ exec sizes: 10%:597 50%:1438 90%:7145
and makes it smaller than the text serialization:
text sizes: 10%:837 50%:1591 90%:10156
Diffstat (limited to 'executor/executor_bsd.h')
0 files changed, 0 insertions, 0 deletions