Skip to content
Snippets Groups Projects
Commit 6f7f5990 authored by Sven Tennie's avatar Sven Tennie :smiley_cat: Committed by Marge Bot
Browse files

Introduce stack snapshotting / cloning (#18741)


Add `StackSnapshot#` primitive type that represents a cloned stack (StgStack).
The cloning interface consists of two functions, that clone either the treads
own stack (cloneMyStack) or another threads stack (cloneThreadStack).

The stack snapshot is offline/cold, i.e. it isn't evaluated any further. This is
useful for analyses as it prevents concurrent modifications.

For technical details, please see Note [Stack Cloning].

Co-authored-by: default avatarBen Gamari <bgamari.foss@gmail.com>
Co-authored-by: default avatarMatthew Pickering <matthewtpickering@gmail.com>
parent 022d9717
No related branches found
No related tags found
No related merge requests found
Showing
with 431 additions and 28 deletions
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment