1
Q
jumps
A
fundamental form of control for most languages
2
Q
types of jump
A
- goto - rarely used
- call/return - goto that can remember
- exceptions - non local jumps
- concurrency - goto with stacks
3
Q
call
A
- save current program point and state
- transfer to new program point
- pick up state or extend current
4
Q
return
A
transfer to saved program point and restore saved state
5
Q
exception handler
A
save program point and state for later use and execute body of handler
6
Q
exception raise
A
find matching handler and transfer to saved program point and state
7
Q
C exceptions
A
libc procedures setjmp and longjump can be used as a primitive form of exception handling
state (stack frame and registers) represented my struct jmpbuf
setjmp inits jmpbuf
longjump reads a jmpbuf and restores state
