公开(公告)号：CN106874074B

公开(公告)日：2020-05-05

申请号：CN201611218952.6

申请日：2016-12-26

Applicant: 哈尔滨工业大学

Inventor： 禹振 ,  苏小红 ,  王甜甜 ,  赵玲玲

IPC: G06F9/46 ,  G06F11/14

Abstract: 本发明公开了一种基于软件事务内存的并发缺陷规避系统及方法，所述系统由事务自动划分模块、可回滚内存模块、可回滚I/O模块、条件变量处理模块和加锁解锁处理模块5个模块构成，所述方法为：一、实现对目标程序的自动事务划分；二、实现内存事务化；三、实现执行流的可回滚化；四、实现I/O事务化；五、实现对死锁、数据竞争、原子性违背和顺序违背的有效规避。本发明能够自动事务化C/C++多线程程序、合理处理条件变量、支持普通文件和字符文件在系统层面、C语言层面和C++语言层面的事务化I/O和消除包括死锁、数据竞争、原子性违背和顺序违背在内的多种并发缺陷。

公开(公告)号：CN106874074A

公开(公告)日：2017-06-20

申请号：CN201611218952.6

申请日：2016-12-26

Applicant: 哈尔滨工业大学

Inventor： 禹振 ,  苏小红 ,  王甜甜 ,  赵玲玲

IPC: G06F9/46 ,  G06F11/14

Abstract: 本发明公开了一种基于软件事务内存的并发缺陷规避系统及方法，所述系统由事务自动划分模块、可回滚内存模块、可回滚I/O模块、条件变量处理模块和加锁解锁处理模块5个模块构成，所述方法为：一、实现对目标程序的自动事务划分；二、实现内存事务化；三、实现执行流的可回滚化；四、实现I/O事务化；五、实现对死锁、数据竞争、原子性违背和顺序违背的有效规避。本发明能够自动事务化C/C++多线程程序、合理处理条件变量、支持普通文件和字符文件在系统层面、C语言层面和C++语言层面的事务化I/O和消除包括死锁、数据竞争、原子性违背和顺序违背在内的多种并发缺陷。