基于Lockset和Happens-before的数据竞争方法汇总

最新推荐文章于 2021-06-24 13:55:58 发布
VIP文章 最新推荐文章于 2021-06-24 13:55:58 发布
阅读量2k 收藏 3
点赞数
文章标签： Helgrind+ Acculock MultiLock SimpleLock
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/yangzhen92/article/details/51567543
版权

之前的文章介绍都是单独使用lockset或是单独使用happens-before关系进行动态数据竞争检测的方法。单纯使用lockset算法，由于不考虑其他的一些同步原语，会导致很多的误报，但是该方法对线程交错不太敏感。单纯使用happens-before关系，该方法对线程交错比较敏感，因此会导致出现很多漏报。因此结合lockset算法和happens-before关系的混合(hybrid)算法由此而生。

Hybrid混合算法的思想主要有两种：

  • 首先利用happens-before关系找到所有潜在的并发的访问，然后利用lockset算法验证这些并发访问是否受到公共的锁集保护。
  • 首先利用lockset算法找到不受公共锁保护的潜在的并发访问，然后利用happens-before关系推导哪些访问之间没有确定性先后关系。

这篇文章中主要介绍的是第一种混合算法，主要相关的方法包括如下：

最低0.47元/天 解锁文章
勿到
关注
  • 0
    点赞
  • 踩
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
java并发编程-第一篇：先行发生原则(happens-before)、指令重排序、顺序一致性
狗蛋儿_312的博客
07-28 1664
注：本篇即作者加深记忆编写 1.先行发生原则-它是判断数据是否存在竞争、线程是否安全的主要依据。 2.重排序是指编译器和处理器为了优化程序性能而对指令序列进行重新排序的一种手段。（多线程不安全，遵循as-if-serial语义） 3.理想参考模型，在设计的时候，处理器的内存模型和编程语言的内存模型都会以顺序一致性内训模型作为参考。   一、先行发生原则(happens-before) ...
基于Happens-before的数据竞争方法汇总 （三）
yiranyaoqiu的专栏
01-26 1114
在上一篇文章中提到了基于happens-before关系的FastTrack动态数据竞争检测方法，这篇文章中介绍的Loft方法是在FastTrack方法上进行了进一步地改进。
基于Happens-before的数据竞争方法汇总 （二）
yiranyaoqiu的专栏
01-26 1405
上一篇文章我们谈到了Happens-before方法中最基础的方法Djit+，Djit+使用向量时钟VC进行数据竞争分析。下面这篇文章介绍的是FastTrack算法，在Djit+基础上进行的改进，将Djit+的时间复杂度从O(n)降到接近于O(1)。首次看的同学还是建议先看我之前写的有关介绍Djit+的相关基础内容。
lock-set方法
shanlijia的博客
07-12 913
lock-set方法最早由 Savage等人在 Eraser系统中提出。 这种方法的基本思想是提取并记录不同线程所申请的锁的集合，当每个线程访问共享资源时，取不同线程针对该共享资源锁的交集，如果两个线程对该共享资源没有使用同一个锁保护，那么两个线程就可能同时对该共享资源进行操作，认为存在竞态漏洞。 ...
Java内存模型（JMM）
Ju的博客
06-24 171
《Java虚拟机规范》中定义了一种Java内存模型来屏蔽各种硬件和操作系统的内存访问差异，以实现让Java程序在各种平台下都能达到一致的内存访问效果。Java内存模型的主要目的是定义程序中各种变量的访问规则，即关注在虚拟机中把变量值存储到内存和从内存中取出变量值这样的底层细节。
并发程序中数据竞争检测方法研究综述
shanlijia的博客
11-30 408
数据竞争是多线程程序中最为常见也是最为复杂的一种错误。由于并发条件下，信息不同步，产生读写误差，就可能会出现数据竞争。 条件： 1.一个线程写入一个变量，另一个变量来读这个变量。 2.或者读之前，另一个线程写入时，这两个线程没有使用同步关系。 3.这两个线程访问同一片共享内存，并且没有明确的先后顺序关系，且至少有一个为写访问时，则会发生数据竞争。 Inlel使用原理 PIN是intel公司开发的动态二进制插桩框架，可用于创建动态程序检测工具。 pin通过它提供的一些API，可以在二级制代码中插入一些探测函数
基于Lockset的数据竞争检测方法汇总（一）
yiranyaoqiu的专栏
04-17 2977
对于搞数据竞争检测方向的人来说，Lockset方法大家肯定不陌生，作为一个刚入门数据竞争检测方向的我来说，就和大家总结一下我近期有关Lockset方法的一些研究和心得。       Lockset方法研究比较早可以追溯到1997年Eraser那篇论文，被引用无数次，非常经典的方法。       Reference       Savage S, Burrows M, Nelson G, et
基于Lockset的数据竞争检测方法汇总（三）
yiranyaoqiu的专栏
04-17 964
上一篇文章中我们看到了有关共享对象状态变迁在Eraser基础上进行的改进，但是改进的不是特别明显，下面这篇论文不是单纯的用Lockset作为数据竞争检测方法，而是采用的Djit+以及改进的Lockset方法结合来进行动态数据竞争检测。         Djit+方法在这篇文章中已经说得比较明白了，想了解的同学可以看这里。         改进的Lockset方法用到了Djit+中的一些概念（后
基于Lockset的数据竞争检测方法汇总（二）
yiranyaoqiu的专栏
04-17 1097
前一篇文章提到的是使用Lockset最经典的方法，但是存在很多误报，针对这些误报产生的原因，有很多分析并改进了原始的Lockset方法，今天主要和大家谈的就是有关Lockset中状态ownership transition的一种改进。 Reference von Praun C, Gross T R. Object race detection[C]//ACM SIGPLAN No
基于Lockset的数据竞争检测方法汇总（四）
yiranyaoqiu的专栏
04-18 771
今天讲的这篇文论中提到的Lockset方法同样也是和Happens-Before结合来进行动态数据竞争检测，这篇论文中使用的Happens-Before方法不是上一篇文章中提出的Djit+方法，而是使用Threadset方法，同时这篇论文提出的自适应检测方法能够在Threadset和Lockset自由切换，并且在检测共享对象的粒度上也是自适应的（这里的话不会提如何自适应的，将会在以后的文章中提到）
Java 先行发生原则（Happens-Before）
CrazyTiger的博客
09-16 510
先行发生原则可以判断数据是否存在竞争，线程是否安全。 如果两个操作之间缺乏 happens-before关系，那么 JVM 可以对它们任意地排序。
linux下的简单文件读写锁的操作
道亦无名
05-27 7305
设置文件锁/* lock_set.c */ int lock_set(int fd, int type) { struct flock old_lock, lock; lock.l_whence = SEEK_SET; lock.l_start = 0; lock.l_len = 0; lock.l_type = type; lock.l_pid = -1; /* 判断文件是否
Java 内存模型
weixin_34013044的博客
04-29 121
Java 内存模型规范了 JVM 如何提供按需禁用缓存和编译优化的方法。具体来说，这些方法包括 volatile、synchronized 和 final 三个关键字，以及六项 Happens-Before 规则。 Happens-Before的7个规则： (1).程序次序规则：在一个线程内，按照程序代码顺序，书写在前面的操作先行发生于书写在后面的操作。准确地说，应该是控制流顺序而不是程序代码顺序...
“locktype”enum type 类型重定义问题的解决
weixin_33816611的博客
06-24 173
作者：朱金灿来源：http://blog.csdn.net/clever101 使用ado来连接数据库，结果出现这样一些编译错误：1>f:\c++pro\iocptser\debug\msado15.tlh(228) : error C2011: “LockTypeEnum”: “enum”类型重定义1> c:\program files\microsoftsdk...
JMM和happens-before原则
aipiannian6725的博客
01-10 105
JMM： 　　Java Memory Model(Java内存模型)，围绕着在并发过程中如何处理可见性、原子性、有序性这三个特性而建立的模型。 可见性： 　　JMM提供了volatile变量定义、final、synchronized块来保证可见性。　　例如：线程a在将共享变量x=1写入主内存的时候，如何保证线程b读取共享变量x的值为1，这就是JMM做的事情。JMM通过控制主内存与每...
【笔记】高并发编程第二阶段09讲、指令重排序，happens-before规则精讲
中国华的博客
03-15 96
原子性： 对基本类型的变量读取与赋值是保证原子性的，要么都成功，要么都失败，这些操作不可中断。 i = 10; cache 10, memory 10 a = 10; 原子性 b = a; 不满足；1. read a; 2. assinged b c++; 不满足；1. read c; 2. add c ; 3.assinged to c c=c+1; 不满足；1. read c; 2. a...
redisson的MultiLock连锁
IT云清
11-29 7399
redisson中的MultiLock，可以把一组锁当作一个锁来加锁和释放。 1.官方文档的解释： Redis based distributed RedissonMultiLock object groups multiple RLock objects and handles them as one lock. Each RLock object may belong to different...
关于happens-before规则的研究
m_xiaoer的博客
06-16 516
简介 JMM是什么？ 线程间的操作可见性 happens-before规则 总结 Refer 简介### Java使用新的JSR-133内存模型，JSR-133使用happens-before的概念来阐述操作之间的内存可见性。在JMM中，如果一个操作执行的结果需要对另一个操作可见，那么这两个操作之间必须要存在happens-before关系。这里提到的两个操作既可以是在一个线程之内，也可以是在不
动态数据竞争检测方法实验分析（一）
yiranyaoqiu的专栏
06-03 2467
之前的文章大致介绍了一下我们的动态数据竞争检测平台如何构建，这篇文章主要是在动态数据竞争检测平台上实现了之前介绍的数据竞争检测方法，我们扩展了其中的一些方法使得这些方法能够识别所有的Pthread库中的同步原语。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值