diff options
author | Aspen Smith <root@gws.fyi> | 2024-07-28T16·36-0400 |
---|---|---|
committer | aspen <root@gws.fyi> | 2024-08-08T00·02+0000 |
commit | 6559ab4cf5bb81fcf13578da6c9978f61ea56204 (patch) | |
tree | be77c191dfacfc1fa448af65cbb8c6a91997ce58 /RULES | |
parent | 6366cee717d47dc002d874b0c3eab2182e6cf55f (diff) |
feat(tvix/eval): Put interner in a thread-local RefCell r/8455
Rather than making the interner be a global lazy_static mutex, put it in a thread-local RefCell. This doesn't change anything in terms of sharing (since we're currently actually just single threaded), but avoids the overhead of a mutex, for a nice performance boost (compared to the mutex version): hello outpath time: [726.71 ms 729.79 ms 735.69 ms] change: [-5.7277% -3.9733% -2.1144%] (p = 0.00 < 0.05) Performance has improved. Change-Id: I240b238dcbaf854ebafc3017b4425fb7d7b91b03 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12048 Tested-by: BuildkiteCI Reviewed-by: flokli <flokli@flokli.de> Autosubmit: aspen <root@gws.fyi>
Diffstat (limited to 'RULES')
0 files changed, 0 insertions, 0 deletions