diff options
author | Aspen Smith <root@gws.fyi> | 2024-07-28T15·37-0400 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2024-08-05T10·49+0000 |
commit | 59056cf7056cdda4352da7f99ac4fddd345a54bf (patch) | |
tree | ae10a25b261a4c523a9aba861f5cfde625f1dfdc /users/Profpatsch/whatcd-resolver/src/Redacted.hs | |
parent | 480a8106cf4761658e624fb05d6e639702bdda1a (diff) |
feat(tvix/eval): Leak strings (with flag to disable) r/8443
Default to always leaking strings, and copying strings by copying pointers rather than cloning the underlying allocation. This (somewhat bafflingly) doesn't seem to affect any benchmarks, but paves the way for some tricks around string allocation that do. Unfortunately, we can't do this (yet?) for contextful strings, for reasons I don't currently understand but which I will address later, when I address contextful strings more holistically. I've left a flag in here to disable this, both to test the cloning logic for strings for when/if we decide to bring this back, and to allow people who care more about memory usage than perf to disable leaking. Change-Id: Iec44bcbfe9b3d20389d2450b9a551792a79b9b26 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12045 Autosubmit: aspen <root@gws.fyi> Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de>
Diffstat (limited to 'users/Profpatsch/whatcd-resolver/src/Redacted.hs')
0 files changed, 0 insertions, 0 deletions