公开(公告)号：WO2012124995A2

公开(公告)日：2012-09-20

申请号：PCT/KR2012/001880

申请日：2012-03-15

Applicant: SAMSUNG ELECTRONICS CO., LTD. ,  KOLIPAKA, Parikshit ,  NAGPAL, Rahul

Inventor： KOLIPAKA, Parikshit ,  NAGPAL, Rahul

IPC: G06F9/06 ,  G06F9/44 ,  G06F15/76

CPC classification number: G06F9/52

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.

Abstract translation: 用于在同步期间保持向量时钟的数据竞争检测的方法和系统。 本文的实施例公开了在基于矢量的动态数据竞赛检测系统中减少在同步期间维持和更新矢量时钟的开销的方法。 本文的实施例能够通过使用机会主义方法在线程同步期间减少开销来正交地改进基于向量的动态数据竞赛检测系统，而不会牺牲系统的精度。

公开(公告)号：WO2012124995A3

公开(公告)日：2012-12-27

申请号：PCT/KR2012001880

申请日：2012-03-15

Applicant: SAMSUNG ELECTRONICS CO LTD ,  KOLIPAKA PARIKSHIT ,  NAGPAL RAHUL

Inventor： KOLIPAKA PARIKSHIT ,  NAGPAL RAHUL

IPC: G06F9/06 ,  G06F9/44 ,  G06F15/76

CPC classification number: G06F9/52

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.

Abstract translation: 方法和系统，用于在数据争用检测的同步期间维持向量时钟。 本文的实施例公开了用于减少基于矢量的动态数据竞争检测系统中的同步期间维持和更新矢量时钟的开销的方法。 本文中的实施例使得能够正交地改进基于矢量的动态数据竞争检测系统，而不会通过使用机会方法来降低线程同步期间的开销而降低系统精度。