Pitfalls of Lock-Based Protocols
{"Image DocumentName": "Pitfalls of Lock-Based Protocols", "Image ImageDescription": "Consider the partial schedule. Neither T3 nor T4 can make progress. executing lock-S(B) causes T4 to wait for T3 to release its lock on B, while executing lock-X(A) causes T3 to wait for T4 to release its lock on A.", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}