language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-09-28 22:34:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

thread_local experiment

Browse source
This commit is contained in:
Folkert 2021-11-24 19:59:53 +01:00
parent f1541d56bd
commit 541dd9777a
1 changed files with 28 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

31
compiler/solve/src/solve.rs
View file

@ -626,6 +626,27 @@ fn solve(
}
}
use std::cell::RefCell;
std::thread_local! {
/// Scratchpad arena so we don't need to allocate a new one all the time
static SCRATCHPAD: RefCell<bumpalo::Bump> = RefCell::new(bumpalo::Bump::with_capacity(4 * 1024));
}
fn take_scratchpad() -> bumpalo::Bump {
let mut result = bumpalo::Bump::new();
SCRATCHPAD.with(|f| {
result = f.replace(bumpalo::Bump::new());
});
result
}
fn put_scratchpad(scratchpad: bumpalo::Bump) {
SCRATCHPAD.with(|f| {
f.replace(scratchpad);
});
}
fn type_to_var(
subs: &mut Subs,
rank: Rank,
@ -633,10 +654,14 @@ fn type_to_var(
_: &mut MutMap<Symbol, Variable>,
typ: &Type,
) -> Variable {
// capacity based on the false hello world program
let arena = bumpalo::Bump::with_capacity(4 * 1024);
let mut arena = take_scratchpad();
type_to_variable(subs, rank, pools, &arena, typ)
let var = type_to_variable(subs, rank, pools, &arena, typ);
arena.reset();
put_scratchpad(arena);
var
}
fn type_to_variable<'a>(