静态数据竞争检测工具之RELAY-安装和使用

最新推荐文章于 2022-01-07 10:23:00 发布
最新推荐文章于 2022-01-07 10:23:00 发布
阅读量1.2k 收藏
点赞数
分类专栏： 数据竞争检测 文章标签： 静态数据竞争检测 RELAY
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/yangzhen92/article/details/51759577
版权

RELAY同样也是基于中间语言编写的静态数据竞争检测工具
安装RELAY之前确保Ocaml安装完毕，可参考之前的文章
http://blog.csdn.net/yangzhen92/article/details/46980511
下载RELAY，可参考这里，选择0.10版本，解压
进入cil目录，执行下面操作
./configure
make
make check
然后回到relay根目录，执行make操作
上述步骤完成之后，relay安装成功
进入racetest目录，执行make renew_small; make 命令
执行成功就能够看到测试结果
racetest中的测试用例的整体结果都保存在out目录中
而如果想要查看每一个测试用例的详细输出信息，则进入相关的子目录，以thread_tests为例
子目录中包含gcc-log.txt文件，内容如下
cd test_dir
duppy -c threads2.c -I ../../include
cd ../test_dir
duppy -c threads.c -I ../../include
其中每个文件表示需要待测试源文件
进入ciltrees目录，
这里可以发现有两个warnings.xml文件，都保存着数据竞争相关的信息

更进一步的使用RELAY，可参考README文件

勿到
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 5
    评论
专栏目录
三种高效的数据竞争检测工具的比较
03-13
三种高效的数据竞争检测工具的比较
DHCPv4 Relay场景测试—信而泰网络测试仪实操
XINERTEL的博客
11-04 392
一、测试说明 本文主要介绍DHCPv4 Relay场景的测试仪配置方法以及需要注意的事项。 DHCPv4 Relay原理： DHCP中继代理，就是在DHCP服务器和客户端之间转发DHCP数据包。当DHCP客户端与服务器不在同一个子网上，就必须有DHCP中继代理来转发DHCP请求和应答消息。DHCP中继代理的数据转发，与通常路由转发是不同的，通常的路由转发相对来说是透明传输的，设备一般不会修改IP包内容。而DHCP中继代理接收到DHCP消息后，进行转换源目的IP，MAC生成一个DHCP消息，然后转发出去。 在
Sentry 企业级数据安全解决方案 - Relay 配置选项
o__cc的博客
01-07 289
Relay 的配置记录在文件 .relay/config.yml 中。要更改此位置，请将 --config 选项传递给任何 Relay 命令： ❯ ./relay run --config /path/to/folder 所有配置 key 都是 snake_case。 系列 Sentry 企业级数据安全解决方案 - Relay 入门 Sentry 企业级数据安全解决方案 - Relay 运行...
华为DHCP relay配置过程/管理口配置
IT小灰的笔记
06-22 1万+
# ## 华为DHCP中继配置过程—示例篇 # DHCP relay/5700/5352C/云维护 需求概述： DHCP客户端所在的网段为20.20.20.0/24，而DHCP服务器所在的网段为100.10.10.0/24。需要通过带DHCP Relay功能的Switch中继DHCP报文，使得DHCP客户端可以从DHCP服务器上申请到IP地址等相关配置信息。 DHCP服务器应当配
Darwin Stream server（DSS服务器）的Relay（中继/转发）设置
皓月如我的专栏
07-23 1万+
A机做视频源向DSS服务器B推送RTSP流，DSS服务器C做中继将B的转发给客户端D。D机上运行VLC向C请求播放视频流。 本文详述了一个DSS中继转发的实验，在实验过程过程中，同时实现了直播流和点播流的转发。 对网上流传的DSS服务器转发配置相关文献加以实践并进行了点评，指出其中一些容易产生误导或容易被误读的部分。
DHCP Relay配置
热门推荐
大任的网络专栏
04-01 2万+
25             DHCP Relay配置 25.1        概述 25.1.1  理解DHCP DHCP协议被广泛用来动态分配可重用的网络资源，如IP地址。 DHCP Client发出DHCP DISCOVER广播报文给DHCP Server。DHCP Server收到后DHCP DISCOVER报文后，根据一定的策略来给Client分配资源,如IP地址，发出DHCP
relay-angular:中继和Angular离线中继
05-14
yarn add relay-angular-plugin ngx-build-plus relay-compiler relay-config 配置 中继 配置文件： // relay.config.js module . exports = { // ... // Configuration options accepted by the `relay-...
relay-modern-typescript:使用Webpack中继Modern Typescript入门
05-07
在Web上使用Webpack使用Typescript启动Relay Modern 设置 安装依赖项 yarn install 运行中继编译器以生成GraphQL工件（静态查询） yarn relay 启动网络应用 yarn start 打开Web应用程序，网址为： http：// [::...
react-relay-example:示例项目如何使用React，Relay和TypeScript
05-14
React+中继示例 在React + Relay中实现的带有作者的引文清单。 您可以使用或作为后端。 如何运行项目 安装 yarn install # or if you use npm npm install ...该版本正在使用较旧的Relay版本10.0.1 ：
nextjs-with-relay-modern:在NextJS项目中使用Relay Modern处理SSR
05-17
NextJS与Relay Modern结合使用，为Web应用开发提供了一个强大的解决方案，特别是在处理服务器端渲染（SSR）和数据获取方面。接下来，我们将深入探讨这个主题，了解如何在NextJS项目中集成Relay Modern，以及它如何...
react-relay-crud:使用React和Relay的简单CRUD
04-30
一个使用 ， 和简单CRUD响应式Web应用程序。 最终的应用程序可以。 如果要在本地计算机上运行，​​只需克隆存储库并运行： 注意：该项目是使用作为程序包管理器构建的，但是您始终可以运行等效命令。 yarn ...
帧中继（frame-relay）配置实例
weixin_34043301的博客
11-14 309
frame-relay: frame-relay switching ! interface Serial0/0 no ip address encapsulation frame-relay clockrate 64000 frame-relay lmi-type ansi frame-relay intf-type dce frame-relay ...
并发程序中数据竞争检测方法研究综述
shanlijia的博客
11-30 468
数据竞争是多线程程序中最为常见也是最为复杂的一种错误。由于并发条件下，信息不同步，产生读写误差，就可能会出现数据竞争。 条件： 1.一个线程写入一个变量，另一个变量来读这个变量。 2.或者读之前，另一个线程写入时，这两个线程没有使用同步关系。 3.这两个线程访问同一片共享内存，并且没有明确的先后顺序关系，且至少有一个为写访问时，则会发生数据竞争。 Inlel使用原理 PIN是intel公司开发的动态二进制插桩框架，可用于创建动态程序检测工具。 pin通过它提供的一些API，可以在二级制代码中插入一些探测函数
ThreadSanitizer检测工具-动态数据竞争检测技术
shanlijia的博客
07-29 1453
ThreadSanitizer是检测数据争用的工具。它由一个编译器检测模块和一个运行时库组成。 Data Race Data Race是指多个线程在没有正确加锁的情况下，同时访问同一块数据，并且至少有一个线程是写操作，对数据的读取和修改产生了竞争，从而导致各种不可预计的问题。 Data Race的问题非常难查，Data Race一旦发生，结果是不可预期的，也许直接就Crash了，也许导致执行流程错乱了，也许把内存破坏导致之后某个时刻突然Crash了。 例子一: #include <pthread.h&
浅析 <路印协议--Loopring> 及整体分析 Relay 源码
weixin_33859504的博客
07-08 304
作者：林冠宏 / 指尖下的幽灵 前序： 路印协议功能非常之多及强大，本文只做入门级别的分析。 理论部分请细看其白皮书，https://github.com/Loopring/whitepaper 实际代码部分：https://github.com/Loopring/relay 目录 路印协议 一般应用于 作用 模块组成部分 交易流程 代码核心业务逻辑 relay源码概述 ...
数据竞争（data race）问题分析的利器——valgrind的Helgrind
方亮的专栏
08-02 9486
        数据竞争（data race）是指在非线程安全的情况下，多线程对同一个地址空间进行写操作。一般来说，我们都会通过线程同步方法来保证数据的安全，比如采用互斥量或者读写锁。但是由于某些笔误或者设计的缺陷，还是存在data race的可能性的。（转载请指明出于breaksoftware的csdn博客）         比如下面这段代码 #define _GNU_SOURCE 1 ...
Open Relay 测试链接
weixin_34236497的博客
04-21 122
1.Anonymous Relay Test [url]http://www.antispam-ufrj.pads.ufrj.br/test-relay.html[/url]   2. [url]http://abuse.net/relay.html[/url]   3.检查邮件服务器是否列入RBL名单: [url]http://openrbl.org/[/url]...
relay-log 不配置
最新发布
05-22
如果不配置 MySQL 的 relay-log，那么 MySQL 就不会启用复制功能。复制功能是指将一个 MySQL 实例上的数据同步到其他 MySQL 实例上，通常用于数据备份、负载均衡和高可用性等场景。如果不启用复制功能，那么 MySQL 实例上的数据只能在该实例上使用，不能在其他实例上使用。因此，在实际应用中，建议配置 MySQL 的 relay-log 以启用复制功能。

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

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

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值