search

xiyuzhai-husky-lang / husky

Empowering everyone towards next generation AI and software.
MIT License
83 stars 7 forks source link

docs and specs on frozen, boiled, thawed, slush #215

Open xiyuzhai opened 2 months ago

xiyuzhai commented 2 months ago

This is the essential for the fundamental caching mechanisms of virtual machines for debugging.

xiyuzhai commented 2 months ago

Boiled are those values in a running virtual machine, but they are represented as Thawed to avoid rustc lifetime checks.

Frozen are the snapshots of Thawed. When a Frozen thawed, it also generates slush, so that mutable references can be valid.