用于识别并且再现多线程程序中并发冲突的方法及系统

摘要

本文公开了用于识别并且再现多线程程序中的并发冲突的方法及系统。本文公开的示例方法包括确定条件是否被满足，并且相对于多线程程序的第二线程的操作来对多线程程序的第一线程的操作进行串行化。对第一及第二线程的操作进行的串行化导致了并发冲突或故障，由此造成多线程程序崩溃。以这种方式，识别出对所述并发冲突承担责任的多线程程序的第一及第二线程的操作，并且能够将其修正，以消除所述故障。

主权项

一种方法，包括：确定条件是否被满足；以及，当所述条件被满足时，相对于多线程程序的第二线程的操作来对所述多线程程序的第一线程的操作进行串行化。