Symbolic memory should be paged, with reference counted pages. Forking state will call clone() over these pages, and be exceptionally fast. Writing to a page will call Rc::make_mut, producing a copy at the time of the write.
This should greatly reduce symbolic fork times, and greatly reduce memory usage.
endeav0r
commented
7 years ago
Symbolic memory should be paged, with reference counted pages. Forking state will call
clone()over these pages, and be exceptionally fast. Writing to a page will callRc::make_mut, producing a copy at the time of the write.This should greatly reduce symbolic fork times, and greatly reduce memory usage.