sheriff:警长由两个工具组成

时间:2024-05-23 01:25:24
【文件属性】:

文件名称:sheriff:警长由两个工具组成

文件大小:960KB

文件格式:ZIP

更新时间:2024-05-23 01:25:24

C++

警长:精确检测和自动缓解虚假共享 刘同平,Emery D. Berger 版权所有(C)2011-2012,麻省大学,阿默斯特分校 建筑警长 运行make构建Sheriff库的两个变体,分别为32位和64位版本: Sheriff_Protect :使用libsheriff_protect32.so或libsheriff_protect64.so替代pthreads库,以自动消除错误的共享问题。 Sheriff_Detect :使用libsheriff_detect32.so或libsheriff_detect64.so查找错误的共享问题(在程序完成执行后报告)。 ***注意:您可能需要安装32位库才能生成32位可执行文件。 例如,在Debian上,键入sudo yum install glibc-devel.i686和sudo yum install libstdc++.i686


网友评论