公开(公告)号：CN103729290A

公开(公告)日：2014-04-16

申请号：CN201310716578.2

申请日：2013-12-23

Applicant: 华中科技大学

Inventor： 金海 ,  邵志远 ,  黄能 ,  彭建

IPC: G06F11/36

Abstract: 本发明公开了一种基于共享变量访问频度的采样率决策方法和系统，通过将该方法应用到数据竞争动态检测领域，可以实现在线的实时动态数据竞争检测。该方法首先对共享变量访问频度进行统计，接着利用共享变量的访问频度差异对这些变量进行分组，然后再针对不同的分组变量分派不同的采样率，从而减少不必要的共享变量访问和同步操作检测代码，带来极小的性能开销（时间2-4倍，空间1-2倍），同时能够保证相应的检测准确率。利用该方法可以有效地实现低开销多线程程序数据竞争的实时在线分析。

公开(公告)号：CN103729291A

公开(公告)日：2014-04-16

申请号：CN201310716720.3

申请日：2013-12-23

Applicant: 华中科技大学

Inventor： 金海 ,  邵志远 ,  彭建 ,  黄能

IPC: G06F11/36 ,  G06F9/44

Abstract: 本发明公开了一种基于同步关系的并行动态数据竞争检测系统，包括过滤模块、记录模块、向量时钟计算模块以及并行检测模块。过滤模块负责监控待检测程序运行过程中各个线程的内存访问操作，过滤冗余的内存访问以及不可能发生数据竞争的访问，过滤后剩下的访问由记录模块写入到各线程对应的记录文件中。向量时钟计算模块从记录文件中读出程序的内存访问记录，计算内存访问的向量时钟。并行检测模块利用向量时钟将检测任务划分成小的任务分配到多个工作线程中并负责汇总检测结果。本发明只记录可能发生竞争的内存访问并对访问区间进行合并压缩，使得记录量大幅减少，同时数据竞争检测算法的并行度较高，能够充分利用多核硬件实现检测加速。

公开(公告)号：CN1203260C

公开(公告)日：2005-05-25

申请号：CN03118633.5

申请日：2003-02-21

Applicant: 华中科技大学

Inventor： 杨曙东 ,  彭建 ,  薛红军

IPC: F15B13/044

Abstract: 三位三通水液压换向阀，属于阀类，用于液压系统方向控制元件，解决用于含固体杂质较多的脏水，实现严格的无泄露密封，避免昂贵陶瓷材料和精密加工手段，不必过滤、延长使用寿命的问题。本发明由两个结构相同的倒口锥阀对称相接构成，各自包括带倒口锥阀座的阀体、阀芯、橡胶膜片、气缸活塞、气缸活塞导向套、复位弹簧以及端盖，橡胶膜片将阀体内空间分隔为工作腔和气缸腔，工作腔所处阀体具有工作外接接口，阀体上安装有电磁先导阀；本发明由橡胶膜片将工作主流道与气缸腔隔离，避免气缸腔中工作部件严重腐蚀和磨粒磨损，采用倒口锥阀可以实现可靠的无泄露密封，对介质污染不敏感，无须采用昂贵的陶瓷材料或阀套，无须精密加工，工作可靠、寿命长，适用于海水、淡水及高水基低粘度介质。

公开(公告)号：CN1434219A

公开(公告)日：2003-08-06

申请号：CN03118633.5

申请日：2003-02-21

Applicant: 华中科技大学

Inventor： 杨曙东 ,  彭建 ,  薛红军

IPC: F15B13/044

Abstract: 三位三通水液压换向阀，属于阀类，用于液压系统方向控制元件，解决用于含固体杂质较多的脏水，实现严格的无泄露密封，避免昂贵陶瓷材料和精密加工手段，不必过滤、延长使用寿命的问题。本发明由两个结构相同的倒口锥阀对称相接构成，各自包括带倒口锥阀座的阀体、阀芯、橡胶膜片、气缸活塞、气缸活塞导向套、复位弹簧以及端盖，橡胶膜片将阀体内空间分隔为工作腔和气缸腔，工作腔所处阀体具有工作外接接口，阀体上安装有电磁先导阀；本发明由橡胶膜片将工作主流道与气缸腔隔离，避免气缸腔中工作部件严重腐蚀和磨粒磨损，采用倒口锥阀可以实现可靠的无泄露密封，对介质污染不敏感，无须采用昂贵的陶瓷材料或阀套，无须精密加工，工作可靠、寿命长，适用于海水、淡水及高水基低粘度介质。

公开(公告)号：CN2603870Y

公开(公告)日：2004-02-18

申请号：CN03235549.1

申请日：2003-02-21

Applicant: 华中科技大学

Inventor： 杨曙东 ,  彭建 ,  薛红军

IPC: F15B13/02

Abstract: 三位三通水液压换向阀，属于阀类，用于液压系统方向控制元件，解决用于含固体杂质较多的脏水，实现严格的无泄露密封，避免昂贵陶瓷材料和精密加工手段，不必过滤、延长使用寿命的问题。本实用新型由两个结构相同的倒口锥阀对称相接构成，各自包括带倒口锥阀座的阀体、阀芯、橡胶膜片、气缸活塞、气缸活塞导向套、复位弹簧以及端盖，橡胶膜片将阀体内空间分隔为工作腔和气缸腔，工作腔所处阀体具有工作外接接口，阀体上安装有电磁先导阀；本实用新型由橡胶膜片将工作主流道与气缸腔隔离，避免气缸腔中工作部件严重腐蚀和磨粒磨损，采用倒口锥阀可以实现可靠的无泄露密封，对介质污染不敏感，无须采用昂贵的陶瓷材料或阀套，无须精密加工，工作可靠、寿命长，适用于海水、淡水及高水基低粘度介质。