Calcit 类型栈体积

[tiye]

留个记录, 依靠 https://nnethercote.github.io/perf-book/type-sizes.html (thanks to rust-lang/rust#37770) 提供的调试能力, 可以精确查看 variants 体积, 于是做了一下优化, 得到:

type: `calcit_runner::Calcit`: 80 bytes, alignment: 8 bytes
    discriminant: 1 bytes
    variant `Fn`: 79 bytes
        padding: 7 bytes
        field `.name`: 16 bytes, alignment: 8 bytes
        field `.def_ns`: 16 bytes
        field `.id`: 16 bytes
        field `.scope`: 8 bytes
        field `.args`: 8 bytes
        field `.body`: 8 bytes
    variant `Macro`: 71 bytes
        padding: 7 bytes
        field `.name`: 16 bytes, alignment: 8 bytes
        field `.def_ns`: 16 bytes
        field `.id`: 16 bytes
        field `.args`: 8 bytes
        field `.body`: 8 bytes
    variant `Symbol`: 63 bytes
        padding: 7 bytes
        field `.sym`: 16 bytes, alignment: 8 bytes
        field `.ns`: 16 bytes
        field `.at_def`: 16 bytes
        field `.resolved`: 8 bytes
    variant `Recur`: 47 bytes
        padding: 7 bytes
        field `.0`: 40 bytes, alignment: 8 bytes
    variant `List`: 47 bytes
        padding: 7 bytes
        field `.0`: 40 bytes, alignment: 8 bytes
    variant `Set`: 47 bytes
        padding: 7 bytes
        field `.0`: 40 bytes, alignment: 8 bytes
    variant `Map`: 47 bytes
        padding: 7 bytes
        field `.0`: 40 bytes, alignment: 8 bytes
    variant `Record`: 39 bytes
        padding: 7 bytes
        field `.0`: 16 bytes, alignment: 8 bytes
        field `.1`: 8 bytes
        field `.2`: 8 bytes
    variant `Buffer`: 31 bytes
        padding: 7 bytes
        field `.0`: 24 bytes, alignment: 8 bytes
    variant `Keyword`: 23 bytes
        padding: 7 bytes
        field `.0`: 16 bytes, alignment: 8 bytes
    variant `Str`: 23 bytes
        padding: 7 bytes
        field `.0`: 16 bytes, alignment: 8 bytes
    variant `Thunk`: 23 bytes
        padding: 7 bytes
        field `.0`: 8 bytes, alignment: 8 bytes
        field `.1`: 8 bytes
    variant `Ref`: 23 bytes
        padding: 7 bytes
        field `.0`: 16 bytes, alignment: 8 bytes
    variant `Tuple`: 23 bytes
        padding: 7 bytes
        field `.0`: 8 bytes, alignment: 8 bytes
        field `.1`: 8 bytes
    variant `Proc`: 23 bytes
        padding: 7 bytes
        field `.0`: 16 bytes, alignment: 8 bytes
    variant `Syntax`: 23 bytes
        field `.0`: 1 bytes
        padding: 6 bytes
        field `.1`: 16 bytes, alignment: 8 bytes
    variant `Number`: 15 bytes
        padding: 7 bytes
        field `.0`: 8 bytes, alignment: 8 bytes
    variant `Bool`: 1 bytes
        field `.0`: 1 bytes
    variant `Nil`: 0 bytes

同样也得到了了 Edn 的体积:

type: `cirru_edn::Edn`: 56 bytes, alignment: 8 bytes
    discriminant: 1 bytes
    variant `Set`: 55 bytes
        padding: 7 bytes
        field `.0`: 48 bytes, alignment: 8 bytes
    variant `Map`: 55 bytes
        padding: 7 bytes
        field `.0`: 48 bytes, alignment: 8 bytes
    variant `Record`: 47 bytes
        padding: 7 bytes
        field `.0`: 16 bytes, alignment: 8 bytes
        field `.1`: 24 bytes
    variant `Quote`: 39 bytes
        padding: 7 bytes
        field `.0`: 32 bytes, alignment: 8 bytes
    variant `List`: 31 bytes
        padding: 7 bytes
        field `.0`: 24 bytes, alignment: 8 bytes
    variant `Buffer`: 31 bytes
        padding: 7 bytes
        field `.0`: 24 bytes, alignment: 8 bytes
    variant `Symbol`: 23 bytes
        padding: 7 bytes
        field `.0`: 16 bytes, alignment: 8 bytes
    variant `Keyword`: 23 bytes
        padding: 7 bytes
        field `.0`: 16 bytes, alignment: 8 bytes
    variant `Str`: 23 bytes
        padding: 7 bytes
        field `.0`: 16 bytes, alignment: 8 bytes
    variant `Number`: 15 bytes
        padding: 7 bytes
        field `.0`: 8 bytes, alignment: 8 bytes
    variant `Tuple`: 15 bytes
        padding: 7 bytes
        field `.0`: 8 bytes, alignment: 8 bytes
    variant `Bool`: 1 bytes
        field `.0`: 1 bytes
    variant `Nil`: 0 bytes

[tiye]

Symbol 加上 location 信息的结果:

type: `primes::Calcit`: 88 bytes, alignment: 8 bytes
    discriminant: 1 bytes
    variant `Symbol`: 87 bytes
        padding: 7 bytes
        field `.sym`: 16 bytes, alignment: 8 bytes
        field `.ns`: 16 bytes
        field `.at_def`: 16 bytes
        field `.resolved`: 8 bytes
        field `.location`: 24 bytes
    variant `Fn`: 79 bytes
        padding: 7 bytes
        field `.name`: 16 bytes, alignment: 8 bytes
        field `.def_ns`: 16 bytes
        field `.id`: 16 bytes
        field `.scope`: 8 bytes
        field `.args`: 8 bytes
        field `.body`: 8 bytes
    variant `Macro`: 71 bytes
        padding: 7 bytes
        field `.name`: 16 bytes, alignment: 8 bytes
        field `.def_ns`: 16 bytes
        field `.id`: 16 bytes
        field `.args`: 8 bytes
        field `.body`: 8 bytes
    variant `Recur`: 47 bytes
        padding: 7 bytes
        field `.0`: 40 bytes, alignment: 8 bytes
    variant `List`: 47 bytes
        padding: 7 bytes
        field `.0`: 40 bytes, alignment: 8 bytes
    variant `Set`: 47 bytes
        padding: 7 bytes
        field `.0`: 40 bytes, alignment: 8 bytes
    variant `Map`: 47 bytes
        padding: 7 bytes
        field `.0`: 40 bytes, alignment: 8 bytes
    variant `Record`: 39 bytes
        padding: 7 bytes
        field `.0`: 16 bytes, alignment: 8 bytes
        field `.1`: 8 bytes
        field `.2`: 8 bytes
    variant `Buffer`: 31 bytes
        padding: 7 bytes
        field `.0`: 24 bytes, alignment: 8 bytes
    variant `Keyword`: 23 bytes
        padding: 7 bytes
        field `.0`: 16 bytes, alignment: 8 bytes
    variant `Str`: 23 bytes
        padding: 7 bytes
        field `.0`: 16 bytes, alignment: 8 bytes
    variant `Thunk`: 23 bytes
        padding: 7 bytes
        field `.0`: 8 bytes, alignment: 8 bytes
        field `.1`: 8 bytes
    variant `Ref`: 23 bytes
        padding: 7 bytes
        field `.0`: 16 bytes, alignment: 8 bytes
    variant `Tuple`: 23 bytes
        padding: 7 bytes
        field `.0`: 8 bytes, alignment: 8 bytes
        field `.1`: 8 bytes
    variant `Proc`: 23 bytes
        padding: 7 bytes
        field `.0`: 16 bytes, alignment: 8 bytes
    variant `Syntax`: 23 bytes
        field `.0`: 1 bytes
        padding: 6 bytes
        field `.1`: 16 bytes, alignment: 8 bytes
    variant `Number`: 15 bytes
        padding: 7 bytes
        field `.0`: 8 bytes, alignment: 8 bytes
    variant `Bool`: 1 bytes
        field `.0`: 1 bytes
    variant `Nil`: 0 bytes