Record Details


Field	Value

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

Names	MURARKA, YOGESH BELLUR, UMESH
Date Issued	2008 (iso8601)
Abstract	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.
Genre	Article
Topic	Concurrency Control
Identifier	Proceedings of the 15th Asia-Pacific Software Engineering Conference, Beijing, China, 3-5 December 2008, 93-100

ICAR Research Data Repository for Knowledge Management