Record Details

Correctness of request executions in online updates of concurrent object oriented programs

DSpace at IIT Bombay

View Archive Info
 
 
Field Value
 
Title Correctness of request executions in online updates of concurrent object oriented programs
 
Creator MURARKA, YOGESH
BELLUR, UMESH
 
Subject concurrency control
object-oriented programming
system recovery
 
Description Online update is a technique that reduces the disruption caused by a software update. It does so by applying a patch to a running process as opposed to shutting down the process and restarting it. The challenge here lies in ensuring correct operation during and after the update. In this paper, we present the correctness criteria involved in such situations and a solution to performing updates safely based on these correctness criteria. The approach we use avoids deadlocks during update by analyzing interthread dependencies and guarantees that the process remains in a consistent state after the update. Thus, the update procedure is guaranteed to terminate and the requests that execute during and after an update are ensured correct execution. Our literature survey reveals that this is amongst the first solutions to update concurrent programs while requests are executing and ensure correctness.
 
Publisher IEEE
 
Date 2009-10-12T04:15:47Z
2011-11-28T09:06:36Z
2011-12-15T09:58:08Z
2009-10-12T04:15:47Z
2011-11-28T09:06:36Z
2011-12-15T09:58:08Z
2008
 
Type Article
 
Identifier Proceedings of the 15th Asia-Pacific Software Engineering Conference, Beijing, China, 3-5 December 2008, 93-100
978-0-7695-3446-6
10.1109/APSEC.2008.33
http://hdl.handle.net/10054/1707
http://dspace.library.iitb.ac.in/xmlui/handle/10054/1707
 
Language en