×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [lock protocol example]
Home >
lock protocol example
Recap from last time g() { lock; } h() { unlock; } f() { h(); if (...) { main(); } } main() { g(); f(); lock; unlock; } mainfgh ;;;;;;; u u ” ”””” ” ”
220 views
A simple approach Given call graph and CFGs of procedures, create a single CFG (control flow super-graph) by: –connecting call sites to entry nodes of.
218 views