swap controller.pdfVIP

A Statically Verifiable Programming Model for Concurrent Object- Oriented Programs Paper by Bart Jacobs, Jan Smans, Frank Piessens, Wolfram Schulte Benjamin Morandi, ETH Zürich Software Engineering Seminar 04.12.2006 Concurrency is tricky Bad things like deadlocks can happen! 2 Summary Programming model for concurrent programming in Java-like languages to Prevent low-level data races Prevent deadlocks Prevent high-level data races 3 House Screen Application should enable user to control two dots on a building used as a huge screen. Should be a web application. 4 House Screen: Runtime Structure Dot N Set Controller Dot M Swap Controller 5 House Screen: Set Controller public void run() { Request request; while(true) { /* wait for a request (blocking) */ request = getRequest(); /* set dot N */ dotN.x = request.getParameter(“xN”); dotN.y = request.getParameter(“yN”); /* set dot M */ dotM.x = request.getParameter(“xM”); dotM.y = request.getParameter(“yM”); } } 6 House Screen: Swap Controller public void run() { Request request; Integer coordinateComponent; while(true) { /* wait for a request (blocking) */ request = getRequest(); /* swap dot M */ c