Invention Application
WO2012124995A2 METHOD AND SYSTEM FOR MAINTAINING VECTOR CLOCKS DURING SYNCHRONIZATION FOR DATA RACE DETECTION
审中-公开
用于在数据检测同步期间维护矢量时钟的方法和系统
- Patent Title: METHOD AND SYSTEM FOR MAINTAINING VECTOR CLOCKS DURING SYNCHRONIZATION FOR DATA RACE DETECTION
- Patent Title (中): 用于在数据检测同步期间维护矢量时钟的方法和系统
-
Application No.: PCT/KR2012/001880Application Date: 2012-03-15
-
Publication No.: WO2012124995A2Publication Date: 2012-09-20
- Inventor: KOLIPAKA, Parikshit , NAGPAL, Rahul
- Applicant: SAMSUNG ELECTRONICS CO., LTD. , KOLIPAKA, Parikshit , NAGPAL, Rahul
- Applicant Address: 129, Samsung-ro Yeongtong-gu Suwon-si Gyeonggi-do, 443-742 KR
- Assignee: SAMSUNG ELECTRONICS CO., LTD.,KOLIPAKA, Parikshit,NAGPAL, Rahul
- Current Assignee: SAMSUNG ELECTRONICS CO., LTD.,KOLIPAKA, Parikshit,NAGPAL, Rahul
- Current Assignee Address: 129, Samsung-ro Yeongtong-gu Suwon-si Gyeonggi-do, 443-742 KR
- Agency: LEE, Keon-Joo
- Priority: IN793/CHE/2011 20110315
- Main IPC: G06F9/06
- IPC: G06F9/06 ; G06F9/44 ; G06F15/76
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.
Information query