CN100517235C - 用于检测多线程程序中潜在竞争的方法和系统 - Google Patents

用于检测多线程程序中潜在竞争的方法和系统 Download PDF

Info

Publication number
CN100517235C
CN100517235C CNB2005100637330A CN200510063733A CN100517235C CN 100517235 C CN100517235 C CN 100517235C CN B2005100637330 A CNB2005100637330 A CN B2005100637330A CN 200510063733 A CN200510063733 A CN 200510063733A CN 100517235 C CN100517235 C CN 100517235C
Authority
CN
China
Prior art keywords
thread
segmentation
collection
dummy clock
lock
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Expired - Fee Related
Application number
CNB2005100637330A
Other languages
English (en)
Other versions
CN1677353A (zh
Inventor
Y·于
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Microsoft Technology Licensing LLC
Original Assignee
Microsoft Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Microsoft Corp filed Critical Microsoft Corp
Publication of CN1677353A publication Critical patent/CN1677353A/zh
Application granted granted Critical
Publication of CN100517235C publication Critical patent/CN100517235C/zh
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46—Multiprogramming arrangements
    • G06F9/52—Program synchronisation; Mutual exclusion, e.g. by means of semaphores
    • G06F9/526—Mutual exclusion algorithms
    • B—PERFORMING OPERATIONS; TRANSPORTING
    • B41—PRINTING; LINING MACHINES; TYPEWRITERS; STAMPS
    • B41K—STAMPS; STAMPING OR NUMBERING APPARATUS OR DEVICES
    • B41K1/00—Portable hand-operated devices without means for supporting or locating the articles to be stamped, i.e. hand stamps; Inking devices or other accessories therefor
    • B41K1/02—Portable hand-operated devices without means for supporting or locating the articles to be stamped, i.e. hand stamps; Inking devices or other accessories therefor with one or more flat stamping surfaces having fixed images
    • B—PERFORMING OPERATIONS; TRANSPORTING
    • B41—PRINTING; LINING MACHINES; TYPEWRITERS; STAMPS
    • B41K—STAMPS; STAMPING OR NUMBERING APPARATUS OR DEVICES
    • B41K1/00—Portable hand-operated devices without means for supporting or locating the articles to be stamped, i.e. hand stamps; Inking devices or other accessories therefor
    • B41K1/36—Details

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Multi Processors (AREA)

Abstract

提供了克服先前锁集方法缺点的动态竞争检测系统和方法，所述先前锁集方法会产生许多假阳性，尤其是在线程衍生/连接和异步调用环境中。对于每个共享存储单元，维持有保护该单元的锁集和访问该单元的并行线程分段集。为了维持这些集合，每个线程维持当前持有的锁集和排列在其当前线程分段之前的线程分段集。每个线程也维持有在该线程衍生第二线程时递增的虚拟时钟。线程分段是包含线程标识符和虚拟时钟值的对。当特定共享存储单元的锁集为空且该存储单元的并行线程集的基数大于1时报告数据竞争。

Description

用于检测多线程程序中潜在竞争的方法和系统
技术领域
本发明一般涉及计算机系统，尤其涉及在多线程计算机程序中检测竞争条件。
背景技术
计算机软件开发者通常编写使用多线程执行的程序。现代的操作系统和编程语言支持线程，且许多大型商业应用程序是多线程的。对于在一操作系统进程中实现多个异步的计算，线程尤其有用。例如，事件驱动应用程序通常采用多线程。
然而，正是使得多线程成为有用的编程技术的特征也使得调试多线程程序成为非常困难的任务。多线程可以用非确定和时间相关的方式交互。通常这样的线程共享数据，需要它们的交互同步以确保程序的正确性，而与如何调度线程或如何交叉其指令流无关。
对编程者而言，在与竞争条件相关联的线程同步中检测错误尤其困难。在多线程程序中，当两个或更多并发线程访问共享存储单元却没有适当的同步限制访问顺序时(其中至少一个访问是写入)，就产生数据竞争条件。在这种情况下，执行的效果取决于访问发生的特定顺序。竞争条件常会导致意想不到的和不可预期的程序动作，诸如程序崩溃或错误的结果。这种不确定性也正是使用常规的调试技术难以检测竞争条件的精确原因。
给定竞争条件的潜在有害影响和调试包含它们的程序的难度，用于检测竞争条件存在的自动工具对于多线程程序的开发者而言应该是很有价值的。然而，缺少有用的和高效的工具。对于动态竞争检测，其中在特定的程序执行中作出检测潜在竞争的尝试，已有两种广泛使用的方法：Lamport的“在前发生”排序和锁集技术，这会在下面详细描述。前者通常具有令人非常不满的运行时间消耗，尤其是对于用诸如C#和Java等面向对象语言编写的程序，而后者则经常产生数量惊人的假阳性，尤其在使用异步代理的程序中。
发明内容
以下提出了本发明一些实施例的简要归纳以用于提供对本发明的基本理解。该归纳不是对本发明的广泛概述。它并非意在标识本发明的关键或重要元素或描绘本发明的范围。其唯一目的是以简化形式呈现本发明的一些实施例，作为以下更详细描述的序言。
依照本发明一实施例，提供动态竞争检测的系统。该系统包括用于维持访问共享存储单元的并发线程分段集的机制；用于相对运行线程，维持排列在当前线程分段前的线程分段集的机制；用于维持与共享存储单元相关联的第一锁集的机制；用于维持第二锁集的机制，该第二锁集与在其中获取和释放锁的线程相关联；用于报告检测到的竞争条件的机制。
根据另一实施例，提供了用于动态竞争检测的方法。该方法包括：(a)维持与共享存储单元相关联的第一锁集；(b)维持第二锁集，该第二锁集与在其中获取和释放锁的线程相关联；(c)维持访问共享存储单元的并发线程分段集；以及(d)相对一线程，维持排列在当前线程分段前的线程分段集。
访问共享存储单元的并发线程分段集和排在线程前的线程分段集都可以被表示为排序对集，其中排序对集中对的一成员是线程标识符，而对的另一成员是用于标识该第一成员的线程分段的虚拟时钟值线程分段。
每个线程维持在线程创建时初始化为零的一虚拟时钟，只要线程衍生另一线程就将时钟加一。当线程衍生第二线程时，排在第二线程前的线程分段集被计算成以下的并集：(i)排在第一线程前的线程分段集；以及(ii)包含第一线程线程分段的单元素集，在所述第一线程处衍生出第二线程。在一实施例中，将与第一线程相关联的虚拟时钟递增1，而将与衍生线程相关联的虚拟时钟初始化为0。当一线程对第二线程执行连接操作时，排在第一线程前的该线程分段集被计算成以下的并集：(i)排在第一线程前的线程分段集；(ii)排在第二线程前的线程分段集的子集，其中对于该子集中每个线程分段，该线程分段的线程标识符不等于第一线程的线程标识符；以及(iii)包含第二线程的当前线程分段的单元素集。
如果线程访问共享存储单元，则通过移除不再并发地访问该位置的线程分段和添加该线程的当前线程分段来更新访问该单元的并发线程分段集。如果新的并发线程分段集包含不超过一元素，那么与共享存储位置相关联的锁集被更新为与该线程相关联的锁集，否则则被更新为与共享存储单元相关联的锁集和与该线程相关联的锁集的交集。如果当前线程分段集具有超过一个元素，并且与共享存储单元相关联的锁集是空，则报告潜在竞争条件的警告。
根据另一个实施例，提供动态竞争检测的系统和方法。在一运行系统中，当在执行引擎中载入并编译通用中间语言形式的编码时，发出对竞争检测器的调用。由该运行期系统的存储分配机制将用于保存存储对象所需的装置信息的数据结构和该对象一起分配。
结合附图阅读以下详细描述，本发明的其它特征将变得显然，其中：
附图说明
图1是示出根据本发明与两个并发线程相关联的事件的”在前发生”排序的示图；
图2A是示出根据本发明与线程相关联锁集的维持的流程图；
图2B是示出根据本发明与共享存储单元相关联锁集的维持的流程图；
图3是示出根据本发明在没有竞争条件的示例上锁集方法操作的示图；
图4是示出根据本发明，在具有正确报告竞争条件的示例上锁集方法操作的示图；
图5是示出根据本发明在锁集方法下，执行衍生和连接、导致假阳性的线程的操作的示图；
图6是示出根据本发明实施例，执行衍生和连接线程的操作、示出对线程虚拟时钟的维持的示图；
图7A是示出根据本发明实施例与衍生调用相关联步骤的流程图；
图7B是示出根据本发明实施例，与连接调用相关联的步骤的流程图；
图8是示出根据本发明实施例，与读取或写入存储单元相关联的步骤的流程图；
图9是示出根据本发明实施例执行衍生和连接的线程操作的图示，其中对于存储单元的单线程访问，正确地不报告竞争条件。
具体实施方式
在以下说明书中，将描述本发明的各个实施例。为了解释，陈述了特定配置和细节以提供对诸实施例的全面理解。然而，没有这些细节也可以实现本发明，这对本领域的技术人员是显而易见的。此外，略去或简化了众所周知的特征以避免模糊所述实施例。
在继续本发明的描述前，将较为详细地描述在上述背景技术部分中提到的在前发生(“在前发生”)和锁集方法，以阐明本发明的新颖性和实用性。在“在前发生”在前发生方法中，创建了与并发执行中所有线程相关联的所有事件的部分排序。该排序基于21Commun.ACM 558-565(1978)中Lamport的“Time，Clocks，andthe Ordering of Events in a Distributed System”所描述的关系，在此引入作为参考。在单线程中，事件按照它们发生的顺序排序。在线程之间，事件根据锁的属性或线程所获取和释放的其它同步对象的属性排序。如果一个线程访问锁，而对该锁的下一访问是由不同线程作出，如果该锁的语义防止两个事件可在时间上交换的时间表，则第一访问被定义为第二访问“在前发生”。如果两个线程访问共享存储单元且随便地打乱访问顺序，则认为竞争已经发生。
作为”在前发生”方法的简要说明，设想两个并行线程t1和t2，每个执行以下代码片断：
acquire(1)；//Acquire lock1
write x；   //Write shared location x
release(1)；//Release lock 1
图1示出了与两个线程t1 101和t2 103相关联的事件的可能排序。由t1 101执行的三个程序语句105、107、109以“在前发生”排序，因为它们在同一线程中顺序地执行。t2 103对锁l的获取与t1对锁l的释放由“在前发生”排序，因为特定的锁不能在被它前一持有者释放之前被获取。最后，由t2 103执行的三个语句111、113、115由”在前发生”排序，因为它们在该线程中顺序执行。
在多篇参考文章中描述了基于锁集的检测，诸如15 ACM Trans.Comp.Sys.391-411(1997)中Savage等人的“Eraser：A Dynamic Data Race Detector forMultithreaded Programs”，在此引入作为参考。在简单的锁集方法中，对于每个共享单元x，通过监控程序执行时对x的所有读取和写入来维持保护x的锁集Sx用于计算。对于每个线程t，通过监控线程t的锁的获取来维持t所持有的锁集St。
图2A和2B的流程图示出在锁集方法中如何分别维持集St和Sx。参看图2A，在步骤201，当创建线程t时，St开始是空的。在步骤203，确定线程t是否取得了锁l。如果是，在步骤205通过St和包含l的单元素集的合集来更新St。相似地，在步骤207，确定线程是否释放了锁l。如果是，在步骤209，以St和包含l的单元素集的差集(即从由线程t所持有的锁集中移除l)来更新St。现在参看图2B，在步骤211，开始Sx为L，所有可能锁的集合。在步骤213，确定线程t是否对单元x执行读取或写入操作。如果是，在步骤215，将Sx更新为包含Sx和St的交集的集合。在步骤217，确定Sx是否为空。如果是，在步骤219报告关于潜在竞争条件的警告。
图3使用与图1中相同的示例性并发进程t1和t2来示出锁集方法操作的简示例。假设线程t1和t2用以下顺序执行其相应语句：
t1             t2
1acquire(l)； 4  acquire(l)；
2write x；    5  write x；
3release(l)； 6  release(l)；
即，在线程t2执行三个语句之前线程t1执行其三个语句。我们也假设St1和St2是空的，并且在执行开始时Sx是L。
现在参看图3，该流程图示出了线程t1 301和t2 303执行的语句顺序。框305示出开始时St1是空的，在t1 301获得锁l后，St1变成包含l的集合。在框307处，t1执行x的写入，随后Sx也变成包含l的集合。在框309处，t1 301释放锁l，而St1又变成空集。现在线程t1 301已结束其执行，线程t2 303开始。框311显示开始时St2是空的，在t2 303获得锁l后，St2变成包含l的集合。在框313处，t2 303写单元x，随后Sx变成由Sx和St2的交集所形成的集合。由于两个集合现在都是包含l的单元素集，Sx仍然是包含l的集合。在框315处，t2303释放锁l，于是St2又成为空集。在线程t1 301和t2 302执行期间，Sx都不是空的，因此锁集方法不会报告任何竞争条件。实际上，缺乏竞争条件直观上遵从了在两个线程中单个锁l都被用于保护x的事实。
图4提供了锁集方法操作的第二个示例。这里线程t1 401和线程t2 403分别使用不同的锁l1和l2，而不象前面示例在两个线程中用相同的锁来保护x。框405示出了开始St1是空的，在t1 401获得锁l1后，St1变成包含l1的集合。在框407，t1 401执行对x的写入，随后Sx也变成包含l1的集合。在框409，t1 301释放锁l1，St1又变成空集。现在线程t1 401结束其执行，线程t2 403开始。框411示出开始St2是空的，在t2403获得锁l2后，St2变成包含l2的集合。在框413，t2 403写入位置x，随后Sx变成由Sx和St2的交集所形成的集合。Sx是包含l1的集合，而St2是包含l2的集合，因此它们的交集是空集。因为Sx是空集，在执行期间的这个点上报告竞争条件。在框415，t2 403释放锁l2，St2又变成空的。
虽然实现锁集方法的工具通常并不具有与使用“在前发生”关系的方法相关联的较差性能，所共知的是这样的工具会产生许多假阳性，对无竞争程序报告竞争条件。最常见的假阳性类别包括当线程衍生并连接(等待)系统调用时所引起的那些假阳性。图5示出了一示例。我们假设在执行开始时只有一个线程t。垂直线501表示线程t的执行。从线501延伸出的对角线503表示t衍生新线程t1。垂直线505表示线程t1的执行。在衍生之后，现在有2个同时执行的线程t和t1。向线501延伸的对角线507表示线程t连接线程t1：即，线程t等待线程t1完成执行。
衍生503和连接507对线程t501和t1 505中的事件加以隐式排序。在框509，伴有获得和释放锁l线程t执行对x的写入。在框511，线程t1执行相同的语句。对x的两次访问没有引起竞争条件，因为它们是由同一锁l所保护的。在框513，线程t执行对x的写入。此时线程t无需使用锁就可写入x，并且无需使用同一锁用以在线程2执行中保护x。然而，如框513中所示，在写入x之前，Sx是包含l的集合。在写入x之后，Sx变为空。因为Sx是空的，即使因为只有单个进程在执行并且无需保护对x的访问而明显没有竞争，锁集程序也会报告竞争。
本发明扩展锁集方法以消除其在衍生和连接环境中报告假阳性的趋势。除了与锁集方法一样记录每个线程和每个单元的锁集之外，本发明还包含另外两个集合。一个集合是集合Tx，包括访问共享存储单元x的并行线程分段集。当相关锁集为空且Tx的基数大于1时，就报告竞争。第二个新的集合是集合Bt包括排在t的当前线程分段之前的线程分段集。在一实施例中，Tx和Bt都被表示为多元组集{<t1，c1>，...，<tn，cn>}。该排序取决于对每个线程t的虚拟时钟Ct的使用。多元组<t，c>表示在虚拟时钟时间t时线程t的线程分段。
图6是表示衍生和连接的图示，示出在本发明一实施例中为每个线程维持虚拟时钟的方式。垂直线607表示线程t的执行。我们假设t的虚拟时钟开始为0(在指定点609处)。对角线611表示衍生线程t1的t。在线程的执行线607的这个点上(指定的613)，t的虚拟时钟递增l。垂直线615表示所衍生线程t1的执行。线程t1的虚拟时钟被初始化为0(在指定点617处)。对角线619表示t对t1的连接。
图7A的流程图示出了线程t对新的并行线程t1的衍生相关联的步骤。在步骤703，确定线程t是否衍生线程t1。如果是，执行后续的操作。在步骤703，集合Bt1(排在线程t1之前的线程分段集)计算为线程t的相应集合和包括线程分段<t，Ct>的单元素集的并集。在步骤705，线程t的虚拟时钟递增l。在步骤707，新衍生线程t1的虚拟时钟被初始化为0。图7B的流程图示出了与线程t的连接相关联的步骤。在步骤711，确定线程t是否作出连接调用，等待线程t1完成执行。如果是，在步骤713，Bt的新值计算为以下三个集合的并集：(i)Bt，(ii)集合Bt1中不属于当前线程t的线程分段集，以及(iii)包含t1的当前线程分段的单元素集。
图2A所述和上述的有关当获取和释放锁时对集合St的维持的步骤也用于本发明中，因此无需在此作进一步的描述。
图8的流程图示出了当线程t执行对单元x的读取和写入时所采取的步骤。在步骤801，计算集合Tx的新值，表示读取和写入之后并行访问单元x的线程分段。形成新Tx的并集的第二部分是包含t的当前线程分段<t，Ct>的集合。由于线程t在读取或写入x，显然t是应该在集合Tx中的线程之一。并集的第一部分表示集合Tx旧值的子集，其中不再并行访问该单元的任何线程都被滤除。在步骤803，确定新Tx的基数是否小于或等于1。如果是，当前最多有一个线程在访问x。然后，Sx的新值变成锁集St的当前值(步骤805)。否则，在步骤807，有多个并行线程访问x，Sx的新值变成包含Sx的旧值和St的交集的集合。在步骤809，确定(a)Sx的新值是否为空且(b)Tx新值的基数是否大于1。如果是，在步骤811报告潜在竞争条件。
现在参看图9，示出类似于图5的衍生和连接的图示，但其中竞争检测遵从本发明的方法。我们假设在执行开始时(框901)，集合Tx和Bt为空，且Sx是包含锁l的单元素集。假设框905在框907之前执行。
在执行框905后，Sx是包含l的集合，Tx是包含线程分段<t，1>的集合。在执行框907之后，Sx维持原状，但Tx现在包含两个线程分段<t，1>和<t1，0>。在框909的连接之后，Bt变成包含线程分段<t，1>的集合。在t写入x之前，在框911，Sx是包含l的集合，而Tx仍然是包含两个线程分段<t，1>和<t1，0>的集合。在写入之后，Sx变成空，而Tx变成包含线程分段<t，1>的集合(t是并行访问x的唯一线程)。因为Tx的基数为1，根据本发明会正确地不报告竞争条件。
在现有技术中，在实现如在本说明书中所述本发明诸实施例所包括的该类竞争检测器中有两种广泛使用的方法。第一种方法是在源码或字节代码层中插入对存储访问的调用。第二种方法是在本机代码中插入对载入和存储指令的调用。当动态链入大量共享库时，先前的方法使得竞争检测工具运行缓慢，且更重要的是，这通常会造成较高的运行时间成本。在本发明某些实施例中，动态竞争检测器在运行时系统中实现。
在一实施例中，在微软公司的.NET构架的公共语言运行时中实现竞争检测器。修改了将字节代码编译成源码的JIT(实时)编译器，使得当动态载入和编译代码时，插入对竞争检测器的调用。修改了用于分配共享存储对象的机制，使得分配向对象加上竞争检测器所需的装置信息；然后由运行时间的垃圾收集程序来自动管理信息。
这种实现方式相对先前的技术有许多优点。第一，所有执行的代码是动态测量的。第二，修改JIT而非字节代码避免了字节代码校验阶段的某些问题。第三，使JIT插入对竞争检测器的调用允许使用由编译器收集的信息来最优化该装置。例如，作为示例如果编译器确定一字段被声明为对特定线程为只读或本地并对其它线程不可见，编译器会确定该测量并不必需。第四，竞争检测器很好地与垃圾收集程序交互，只测量受控堆栈中的共享对象，并防止由竞争检测装置引起的潜在存储渗漏问题。最后，该实现提供了性能优势：它消除了标准方法中所存在的对竞争检测器实现的间接程度。
其它变化在本发明的精神之内。因此，尽管本发明允许各种修改和可选构建，仅有其中某说明性实施例在附图中示出并如上进行了详细描述。然而，应该理解，在此并非旨在将本发明限制为特定形式或所揭示的形式，而相反其旨在包含所有落于本发明精神和范围之内的修改、可选构建和等效方案，如所附权利要求书中所定义。
在此描述的所有方法可以任何合适的顺序执行，除非这里另有指示或者明显地与上下文相抵触。在此提供的任意和所有示例或示例性语言(例如，“诸如”)的使用，仅仅旨在更好地说明本发明的诸实施例，而非对本发明的范围加以限制，除非另有声明。本说明书中的语言不应被理解为将任一未经声明的元素指示为实现本发明所必须的。
这里描述了本发明的优选实施例，包含发明者所知的实现本发明的最好模式。当阅读了前面的描述之后，那些优选实施例的变体对于本领域技术人员将变得显而易见。发明者期望技术人员适当地采用这些变体，且发明者期望本发明以在此特别描述的不同的方法实践。相应地，本发明包括可应用法令允许的所附权利要求书中所引用的本发明所有变体和等效方案。此外，所有可能变体中上述元素的任意组合包含在本发明中，除非在此另有指示或者明显地与上下文相抵触。

Claims (17)

1.一种用于动态检测程序中潜在竞争条件的系统，所述程序具有多个线程和一个或多个共享存储单元，其特征在于，所述系统包括：
对于每个共享存储单元，
用于维持与所述每个共享存储单元相关联的第一锁集的装置，以及
用于维持访问所述每个共享存储单元的并行线程分段集的装置；对于每个线程，
用于维持每个线程相关联的各自的虚拟时钟(Ct)的装置；
用于维持一线程所获取和释放的第二锁集的装置；以及
用于维持排在所述线程的当前线程分段之前的线程分段集的装置，其中，
所述线程分段使用相关联的各虚拟时钟来进行排序；
当检测到一先前线程(t)衍生的新并行线程(t1)时：
用于递增与所述先前线程(t)相关联的虚拟时钟(Ct)的装置；
用于初始化所述新并行线程(t1)相关联的虚拟时钟的装置；
用于通过形成所述先前线程(t)的当前排序集和具有线程分段<t，Ct>的单元素集的并集来更新所述先前线程(t)之前的排序的线程分段集(Bt)的装置，所述线程分段集包括由线程标识符和虚拟时钟组成的多元组；
依据对存储单元(x)的读和写的检测，用于确定是否存在潜在竞争条件的装置。
2.一种用于动态检测程序中潜在竞争条件的计算机实现方法，所述程序具有多个线程和一个或多个共享存储单元，其特征在于，所述方法包含：
对于每个共享存储单元，
维持与所述每个共享存储单元相关联的第一锁集，以及
维持访问所述每个共享存储单元的并行线程分段集；
对于每个线程，
维持每个线程相关联的各自的虚拟时钟(Ct)；
维持一线程所获取和释放的第二锁集；以及
维持排在所述线程的当前线程分段之前的线程分段集，其中，所述线程分段使用相关联的各虚拟时钟来进行排序；
当检测到一先前线程(t)衍生的新并行线程(t1)时：
递增与所述先前线程(t)相关联的虚拟时钟；
初始化所述新并行线程(t1)相关联的虚拟时钟；
通过形成所述先前线程(t)的当前排序集和具有线程分段<t，Ct>的单元素集的并集来更新所述先前线程(t)之前的排序的线程分段集(Bt)，所述线程分段集包括由线程标识符和虚拟时钟组成的多元组；
依据对存储单元(x)的读和写的检测，确定是否存在潜在竞争条件。
3.如权利要求2所述的方法，其特征在于，维持所述虚拟时钟包括当创建所述线程时，将所述虚拟时钟初始化为一初始值。
4.如权利要求3所述的方法，其特征在于，维持所述虚拟时钟包括当创建所述线程时，将所述虚拟时钟初始化为零。
5.如权利要求2所述的方法，其特征在于，维持排列在所述线程的当前线程分段之前的线程分段集包括维持排序对集，其中对的一成员是线程标识符，而对的另一成员是虚拟时钟值。
6.如权利要求2所述的方法，其特征在于，递增与先前线程相关联的所述虚拟时钟包括将与先前线程相关联的虚拟时钟递增1。
7.如权利要求2所述的方法，其特征在于，初始化与新线程相关联的所述虚拟时钟包括将与新线程相关联的虚拟时钟初始化为零。
8.如权利要求5所述的方法，其特征在于，还包括：
如果先前线程连接所衍生的线程，将排列在先前线程当前线程分段之前的线程分段集计算为以下集合的合集：(a)排列在先前线程当前线程分段之前的线程分段集，(b)包含排列在所衍生线程的当前线程分段之前但不属于先前线程的线程分段的集合，以及(c)包含所衍生线程的当前线程分段的单元素集。
9.如权利要求8所述的方法，其特征在于，排列在所衍生线程当前线程分段之前但不属于先前线程的线程分段集合包括包含排列在所衍生线程当前线程分段之前的线程分段集中排序对的集合，从而所述排序对中线程标识符不表示所述先前线程。
10.如权利要求5所述的方法，其特征在于，还包括，如果线程访问共享存储单元：
通过形成包括以下集合合集的集合，来更新访问所述单元的并行线程分段集：(a)包含所述线程的当前线程分段的集合，以及(b)包含继续访问所述单元的并行线程分段集中线程分段的集合；以及
如果所更新的并行线程分段集包含最多一个元素，则将与所述单元相关联的锁集更新为与所述线程相关联的锁集，否则：
(i)将与所述单元相关联的锁集更新为包含以下集合的交集的集合：(a)与所述单元相关联的锁集以及(b)与所述线程相关联的锁集，以及
(ii)如果与所述单元相关联的锁集为空，则报告潜在竞争条件的警告。
11.如权利要求10所述的方法，其特征在于，继续访问所述单元的并行线程分段集中线程分段的集合是通过计算并行线程分段集的子集所形成的，其中所述子集包含满足以下判定的每个线程分段a：
对于排列在a之前的线程分段集中每个线程分段b，至少以下一个为真：(i)a的线程标识符不等于b的线程标识符以及(ii)a的虚拟时钟值大于b的虚拟时钟值。
12.一种动态竞争检测系统，其特征在于，所述系统包括：
一运行时系统的编译器，其在经编译代码中将插入对权利要求1所述的用于动态检测程序中潜在竞争条件的系统的调用；以及
一运行时系统的存储分配器，其将权利要求1所述的用于动态检测程序中潜在竞争条件的系统所需的检测信息加到共享存储对象上。
13.如权利要求12所述的系统，其特征在于，所述编译器是另一编译器的变体。
14.如权利要求12所述的系统，其特征在于，所述存储分配器是另一存储分配器的变体。
15.一种用于动态竞争检测的计算机实现方法，其特征在于，所述方法包括：
经由运行时系统的编译器，在经编译的代码中插入对权利要求1所述的用于动态检测程序中潜在竞争条件的系统的调用；以及
经由运行时系统的存储分配器，将权利要求1所述的用于动态检测程序中潜在竞争条件的系统所需的检测信息加到共享存储对象上。
16.如权利要求15所述的方法，其特征在于，插入对权利要求1所述的用于动态检测程序中潜在竞争条件的系统的调用经由修改所述运行时系统的编译器。
17.如权利要求16所述的方法，其特征在于，加上权利要求1所述的用于动态检测程序中潜在竞争条件的系统所需的检测信息经由改变所述运行时系统的存储分配器。
CNB2005100637330A 2004-03-24 2005-03-24 用于检测多线程程序中潜在竞争的方法和系统 Expired - Fee Related CN100517235C (zh)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US10/808,110 2004-03-24
US10/808,110 US7549150B2 (en) 2004-03-24 2004-03-24 Method and system for detecting potential races in multithreaded programs

Publications (2)

Publication Number Publication Date
CN1677353A CN1677353A (zh) 2005-10-05
CN100517235C true CN100517235C (zh) 2009-07-22

Family

ID=34939023

Family Applications (1)

Application Number Title Priority Date Filing Date
CNB2005100637330A Expired - Fee Related CN100517235C (zh) 2004-03-24 2005-03-24 用于检测多线程程序中潜在竞争的方法和系统

Country Status (5)

Country Link
US (1) US7549150B2 (zh)
EP (1) EP1591895B1 (zh)
JP (1) JP4965081B2 (zh)
KR (1) KR101143214B1 (zh)
CN (1) CN100517235C (zh)

Families Citing this family (56)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8266600B2 (en) * 2005-03-28 2012-09-11 Nec Laboratories America, Inc. Model checking of multi threaded software
US7716645B2 (en) * 2005-06-10 2010-05-11 International Business Machines Corporation Using atomic sets of memory locations
US7784035B2 (en) * 2005-07-05 2010-08-24 Nec Laboratories America, Inc. Method for the static analysis of concurrent multi-threaded software
US7849369B2 (en) 2005-10-25 2010-12-07 Waratek Pty Ltd. Failure resistant multiple computer system and method
US7793263B2 (en) * 2006-02-02 2010-09-07 International Business Machines Corporation Decision support tool for interleaving review software testing
JP2007257397A (ja) * 2006-03-24 2007-10-04 Fujitsu Ltd 競合状態検出処理追加プログラム、競合状態検出処理追加装置、競合状態検出処理追加方法
US7673181B1 (en) * 2006-06-07 2010-03-02 Replay Solutions, Inc. Detecting race conditions in computer programs
WO2008040071A1 (en) * 2006-10-05 2008-04-10 Waratek Pty Limited Contention detection
WO2008040076A1 (en) * 2006-10-05 2008-04-10 Waratek Pty Limited Contention resolution with echo cancellation
US20080120477A1 (en) * 2006-10-05 2008-05-22 Holt John M Contention detection with modified message format
US8086805B2 (en) * 2006-10-05 2011-12-27 Waratek Pty Ltd. Advanced contention detection
WO2008040065A1 (en) * 2006-10-05 2008-04-10 Waratek Pty Limited Contention detection and resolution
WO2008040073A1 (en) * 2006-10-05 2008-04-10 Waratek Pty Limited Contention resolution with counter rollover
US20080250221A1 (en) * 2006-10-09 2008-10-09 Holt John M Contention detection with data consolidation
US8185874B2 (en) 2006-11-07 2012-05-22 Microsoft Corporation Automatic and systematic detection of race conditions and atomicity violations
CN101206692B (zh) * 2006-12-20 2011-04-27 联想(北京)有限公司 检测进程的方法及设备
US8185875B2 (en) * 2007-01-24 2012-05-22 Nec Laboratories America, Inc. Fast and accurate static data-race detection for concurrent programs
US7861118B2 (en) * 2007-03-30 2010-12-28 Microsoft Corporation Machine instruction level race condition detection
US8621468B2 (en) * 2007-04-26 2013-12-31 Microsoft Corporation Multi core optimizations on a binary using static and run time analysis
JP4888272B2 (ja) * 2007-07-30 2012-02-29 富士通セミコンダクター株式会社 ソフトウェアのシミュレーション方法、ソフトウェアのシミュレーションのためのプログラム、及びソフトウェアのシミュレーション装置
US7971248B2 (en) * 2007-08-15 2011-06-28 Microsoft Corporation Tolerating and detecting asymmetric races
US8527976B2 (en) * 2007-11-14 2013-09-03 Nec Laboratories America, Inc. System and method for generating error traces for concurrency bugs
US8117601B2 (en) * 2007-11-14 2012-02-14 Microsoft Corporation Internal test and manipulation of an application
US8141082B2 (en) * 2008-02-28 2012-03-20 Intel Corporation Node-based representation of multi-threaded computing environment tasks, and node-based data race evaluation
US8200947B1 (en) * 2008-03-24 2012-06-12 Nvidia Corporation Systems and methods for voting among parallel threads
US8769514B2 (en) * 2008-06-27 2014-07-01 Microsoft Corporation Detecting race conditions with a software transactional memory system
US8032706B2 (en) * 2008-08-05 2011-10-04 Intel Corporation Method and apparatus for detecting a data access violation
US7941616B2 (en) * 2008-10-21 2011-05-10 Microsoft Corporation System to reduce interference in concurrent programs
US8418146B2 (en) * 2008-11-26 2013-04-09 Microsoft Corporation Sampling techniques for dynamic data-race detection
US8135690B2 (en) * 2009-01-05 2012-03-13 Microsoft Corporation Concurrency object classification
US8564616B1 (en) 2009-07-17 2013-10-22 Nvidia Corporation Cull before vertex attribute fetch and vertex lighting
US8542247B1 (en) 2009-07-17 2013-09-24 Nvidia Corporation Cull before vertex attribute fetch and vertex lighting
US8976195B1 (en) 2009-10-14 2015-03-10 Nvidia Corporation Generating clip state for a batch of vertices
US8384736B1 (en) 2009-10-14 2013-02-26 Nvidia Corporation Generating clip state for a batch of vertices
US8595692B2 (en) * 2010-03-22 2013-11-26 International Business Machines Corporation Identifying lock granularization opportunities
US8433954B2 (en) 2010-04-20 2013-04-30 Microsoft Corporation Testing components for thread safety
US9069894B2 (en) * 2010-06-18 2015-06-30 Microsoft Technology Licensing, Llc Data collisions in concurrent programs
US10241894B2 (en) 2010-06-25 2019-03-26 Microsoft Technology Licensing, Llc Data-scoped dynamic data race detection
US9395987B2 (en) * 2010-09-23 2016-07-19 Freescale Semiconductor, Inc. Method and device for detecting a race condition
CN102063328B (zh) * 2010-12-17 2012-12-26 北京控制工程研究所 一种用于检测中断驱动型程序数据竞争的系统
US8813038B2 (en) 2011-02-09 2014-08-19 Microsoft Corporation Data race detection
US9081628B2 (en) 2011-05-27 2015-07-14 Intel Corporation Detecting potential access errors in a multi-threaded application
CN103092682B (zh) * 2011-10-28 2016-09-28 浙江大华技术股份有限公司 异步网络应用程序处理方法
US8813042B2 (en) * 2012-04-06 2014-08-19 Hwlett-Packard Development Company, L. P. Identifying globally consistent states in a multithreaded program
US9038080B2 (en) * 2012-05-09 2015-05-19 Nvidia Corporation Method and system for heterogeneous filtering framework for shared memory data access hazard reports
TWI464580B (zh) * 2012-12-24 2014-12-11 Ind Tech Res Inst 資料儲存方法、採用此方法的資料儲存系統及需求節點
US9619364B2 (en) 2013-03-14 2017-04-11 Nvidia Corporation Grouping and analysis of data access hazard reports
WO2014184612A1 (en) 2013-05-13 2014-11-20 Freescale Semiconductor, Inc. Method and device for detecting a race condition and a computer program product
CN103488563B (zh) * 2013-09-05 2017-04-12 龙芯中科技术有限公司 并行程序的数据竞争检测方法、装置及多核处理系统
US9886736B2 (en) 2014-01-20 2018-02-06 Nvidia Corporation Selectively killing trapped multi-process service clients sharing the same hardware context
CN104978272B (zh) * 2015-07-08 2018-05-18 中国科学院软件研究所 一种用于数据竞争检测的程序调度方法
CN105260312B (zh) * 2015-10-26 2018-04-06 北京航空航天大学 一种多核实时系统应用数据竞争错误的调试方法
CN106201732B (zh) * 2016-07-18 2019-05-14 电子科技大学 在粒子模拟算法并行中去除数据竞争的线分配并行方法
CN109324916B (zh) * 2018-08-09 2022-02-08 武汉斗鱼网络科技有限公司 一种任务执行方法和装置
CN110059014B (zh) * 2019-04-28 2022-09-27 西安邮电大学 一种并发程序数据竞争指令级定位方法
US11138093B2 (en) * 2019-04-30 2021-10-05 Microsoft Technology Licensing, Llc Identifying data inconsistencies and data contention based on historic debugging traces

Family Cites Families (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5161227A (en) * 1989-11-13 1992-11-03 International Business Machines Corporation Multilevel locking system and method
JPH05134886A (ja) * 1990-11-30 1993-06-01 Fujitsu Ltd デツドロツク検出方式
US5193180A (en) * 1991-06-21 1993-03-09 Pure Software Inc. System for modifying relocatable object code files to monitor accesses to dynamically allocated memory
US6009269A (en) 1997-03-10 1999-12-28 Digital Equipment Corporation Detecting concurrency errors in multi-threaded programs
US6920634B1 (en) * 1998-08-03 2005-07-19 International Business Machines Corporation Detecting and causing unsafe latent accesses to a resource in multi-threaded programs
US6405326B1 (en) * 1999-06-08 2002-06-11 International Business Machines Corporation Limited Timing related bug detector method for detecting data races
US6546443B1 (en) * 1999-12-15 2003-04-08 Microsoft Corporation Concurrency-safe reader-writer lock with time out support
US7516446B2 (en) * 2002-06-25 2009-04-07 International Business Machines Corporation Method and apparatus for efficient and precise datarace detection for multithreaded object-oriented programs

Also Published As

Publication number Publication date
JP4965081B2 (ja) 2012-07-04
EP1591895A2 (en) 2005-11-02
JP2005285122A (ja) 2005-10-13
KR20060044639A (ko) 2006-05-16
KR101143214B1 (ko) 2012-05-18
EP1591895B1 (en) 2016-11-16
CN1677353A (zh) 2005-10-05
EP1591895A3 (en) 2007-07-18
US20050216798A1 (en) 2005-09-29
US7549150B2 (en) 2009-06-16

Similar Documents

Publication Publication Date Title
CN100517235C (zh) 用于检测多线程程序中潜在竞争的方法和系统
US7752605B2 (en) Precise data-race detection using locksets
Tallent et al. Effective performance measurement and analysis of multithreaded applications
US6343371B1 (en) System and method for statically detecting potential race conditions in multi-threaded computer programs
US6009269A (en) Detecting concurrency errors in multi-threaded programs
US8417919B2 (en) Assigning different serialization identifier to operations on different data set for execution in respective processor in multi-processor system
US10943041B2 (en) Electronic system level parallel simulation method with detection of conflicts of access to a shared memory
EP0953908A2 (en) Method, apparatus, and article of manufacture for time profiling multithreaded programs
US8707272B2 (en) Scenario driven concurrency bugs: model and check
US20180329753A1 (en) Scheduling heterogenous computation on multithreaded processors
US8141082B2 (en) Node-based representation of multi-threaded computing environment tasks, and node-based data race evaluation
Prokopec et al. Flowpools: A lock-free deterministic concurrent dataflow abstraction
Lu et al. Dynamic enforcement of determinism in a parallel scripting language
Ceze et al. Colorama: Architectural support for data-centric synchronization
Murillo et al. Automatic detection of concurrency bugs through event ordering constraints
Haller et al. Reactive Async: expressive deterministic concurrency
KR20130017923A (ko) 프로그램 분석 장치 및 분석용 프로그램을 기록한 컴퓨터 판독 가능한 저장매체
Gnesi et al. A stochastic extension of a behavioural subset of UML statechart diagrams
Rauchwerger Run-time parallelization: A framework for parallel computation
US8627301B2 (en) Concurrent management of adaptive programs
Helmbold et al. A taxonomy of race conditions
CN104216685A (zh) 依赖性问题的有效率的并行计算
Chen et al. Testing concurrent programs using value schedules
Belwal et al. Schedulability analysis of transactions in software transactional memory using timed automata
Baklanova et al. Abstraction and verification of properties of a Real-Time Java

Legal Events

Date Code Title Description
C06 Publication
PB01 Publication
C10 Entry into substantive examination
SE01 Entry into force of request for substantive examination
C14 Grant of patent or utility model
GR01 Patent grant
ASS Succession or assignment of patent right

Owner name: MICROSOFT TECHNOLOGY LICENSING LLC

Free format text: FORMER OWNER: MICROSOFT CORP.

Effective date: 20150507

C41 Transfer of patent application or patent right or utility model
TR01 Transfer of patent right

Effective date of registration: 20150507

Address after: Washington State

Patentee after: Micro soft technique license Co., Ltd

Address before: Washington State

Patentee before: Microsoft Corp.

CF01 Termination of patent right due to non-payment of annual fee

Granted publication date: 20090722

Termination date: 20200324

CF01 Termination of patent right due to non-payment of annual fee