Title:
METHOD AND SYSTEM FOR MAINTAINING VECTOR CLOCKS DURING SYNCHRONIZATION FOR DATA RACE DETECTION
Document Type and Number:
WIPO Patent Application WO/2012/124995
Kind Code:
A2
Abstract:
Method and system for maintaining vector clocks during synchronization for data race detection. Embodiments herein disclose methods to reduce overheads of maintaining and updating vector clock during synchronization in vector based dynamic data race detection systems. Embodiments herein enable improvement of vector based dynamic data race detection systems orthogonally without compromising with precision of the system by using opportunistic methods to reduce overheads during synchronization of threads.
Inventors:
KOLIPAKA PARIKSHIT (IN)
NAGPAL RAHUL (IN)
NAGPAL RAHUL (IN)
Application Number:
PCT/KR2012/001880
Publication Date:
September 20, 2012
Filing Date:
March 15, 2012
Export Citation:
Assignee:
SAMSUNG ELECTRONICS CO LTD (KR)
KOLIPAKA PARIKSHIT (IN)
NAGPAL RAHUL (IN)
KOLIPAKA PARIKSHIT (IN)
NAGPAL RAHUL (IN)
International Classes:
G06F9/06; G06F9/44; G06F15/76
Foreign References:
| US20080126757A1 | 2008-05-29 | |||
| US20090300337A1 | 2009-12-03 | |||
| US5261113A | 1993-11-09 | |||
| US6061511A | 2000-05-09 |
Attorney, Agent or Firm:
LEE, Keon-Joo (110-2 Myongryun-dong 4-ga, Chongro-gu, Seoul 110-524, KR)
Download PDF:
Claims: