📝Shadow stack

Shadow stack is a technique of maintaining a linked list of frames that mimics the call stack. The frames can carry useful information.

The shadow stack does not have to correspond to actual call stack though. e.g., with the presence of CSP it will not

Usages

• can be used in garbage collection to track GC roots Henderson₂₀₀₂

• in debugger

• I believe it is used in Haskell to maintain stacktraces (even though stacktraces do not correspond to actual call stack because of lazy evaluation)

Backlinks

• 📝 § Garbage collection
• 📝 § Programming language implementation