FinalReview-1最终审查

《FinalReview-1最终审查》由会员分享，可在线阅读，更多相关《FinalReview-1最终审查（10页珍藏版）》请在装配图网上搜索。

1、Advanced Topics in Software Engineering 1 Midterm Review q 4:00pm 5:20pm, 11/10/11q Open book and notesq Four problems Advanced Topics in Software Engineering 2 Midterm Review - 1q Overview What, why, concurrent vs sequential computation, models of concurrency (interleaving-based/true concurrency),

2、semantics of correctness (safety BinarySemaphore mutex (1);BinarySemaphore delayQ (0);public CoutingSemaphore (int initialPermits) permits = initialPermits;public void P () mutex.P (); (1)- permits; (2)if (permits 0) (3)mutex.V (); (4)delayQ.P (); (5)else mutex.V (); (6)public void V () mutex.P ();

3、(7)+ permits; (8)if (permits 0) threadQueue.V(); / continue in the monitor; perhaps send more signals Advanced Topics in Software Engineering 8 Advanced Topics in Software Engineering 9 Exercises 3.5public final class CountingSemaphore private int permits = 0;BinarySemaphore mutex (1);BinarySemaphor

4、e delayQ (0);public CoutingSemaphore (int initialPermits) permits = initialPermits;public void P () mutex.P (); (1)- permits; (2)if (permits 0) (3)mutex.V (); (4)delayQ.P (); (5)else mutex.V (); (6)public void V () mutex.P (); (7)+ permits; (8)if (permits = 0) (9)delayQ.V (); (10)mutex.V (); (11) Advanced Topics in Software Engineering 10 Questions?