diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-27T17·41+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-09-06T07·29+0000 |
commit | 3089e46eb12b0648a8c564836a660b87c5200a65 (patch) | |
tree | 081b30189e1f868a5032cbbe8a670cde9bbbe48a /tvix/eval/src/vm.rs | |
parent | e646d5170c7c1b651449966a53d0a955779d3f98 (diff) |
refactor(tvix/eval): encapsulate internal mutability within Closure r/4651
This is required to efficiently construct the upvalue array at runtime, as there are situations where during Closure construction multiple things already have a reference to the closure (e.g. a self-reference). Change-Id: I35263b845fdc695dc873de489f5168d39b370f6a Reviewed-on: https://cl.tvl.fyi/c/depot/+/6312 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'tvix/eval/src/vm.rs')
-rw-r--r-- | tvix/eval/src/vm.rs | 32 |
1 files changed, 16 insertions, 16 deletions
diff --git a/tvix/eval/src/vm.rs b/tvix/eval/src/vm.rs index 707d2f4b26b3..527f58ddc8d6 100644 --- a/tvix/eval/src/vm.rs +++ b/tvix/eval/src/vm.rs @@ -1,12 +1,12 @@ //! This module implements the virtual (or abstract) machine that runs //! Tvix bytecode. -use std::rc::Rc; +use std::{cell::Ref, rc::Rc}; use crate::{ chunk::Chunk, errors::{ErrorKind, EvalResult}, - opcode::{Count, JumpOffset, OpCode, StackIdx, UpvalueIdx}, + opcode::{Count, JumpOffset, OpCode, StackIdx}, value::{Closure, Lambda, NixAttrs, NixList, Value}, }; @@ -85,8 +85,8 @@ impl VM { &self.frames[self.frames.len() - 1] } - fn chunk(&self) -> &Chunk { - &self.frame().closure.lambda.chunk + fn chunk(&self) -> Ref<'_, Chunk> { + self.frame().closure.chunk() } fn frame_mut(&mut self) -> &mut CallFrame { @@ -353,35 +353,35 @@ impl VM { }; } - OpCode::OpGetUpvalue(UpvalueIdx(upv_idx)) => { - let value = self.frame().closure.upvalues[upv_idx].clone(); + OpCode::OpGetUpvalue(upv_idx) => { + let value = self.frame().closure.upvalue(upv_idx).clone(); self.push(value); } OpCode::OpClosure(idx) => { - let mut closure = self.chunk().constant(idx).clone().to_closure()?; + let closure = self.chunk().constant(idx).clone().to_closure()?; debug_assert!( - closure.lambda.upvalue_count > 0, + closure.upvalue_count() > 0, "OpClosure should not be called for plain lambdas" ); - for _ in 0..closure.lambda.upvalue_count { + for _ in 0..closure.upvalue_count() { match self.inc_ip() { OpCode::DataLocalIdx(StackIdx(local_idx)) => { let idx = self.frame().stack_offset + local_idx; - closure.upvalues.push(self.stack[idx].clone()); + closure.push_upvalue(self.stack[idx].clone()); } - OpCode::DataUpvalueIdx(UpvalueIdx(upv_idx)) => { - closure - .upvalues - .push(self.frame().closure.upvalues[upv_idx].clone()); + OpCode::DataUpvalueIdx(upv_idx) => { + closure.push_upvalue(self.frame().closure.upvalue(upv_idx).clone()); } OpCode::DataDynamicIdx(ident_idx) => { - let ident = self.chunk().constant(ident_idx).as_str()?; - closure.upvalues.push(self.resolve_with(ident)?); + let chunk = self.chunk(); + let ident = chunk.constant(ident_idx).as_str()?.to_string(); + drop(chunk); // some lifetime trickery due to cell::Ref + closure.push_upvalue(self.resolve_with(&ident)?); } _ => panic!("compiler error: missing closure operand"), |