【文件属性】:
文件名称:sheriff:警长由两个工具组成
文件大小:960KB
文件格式:ZIP
更新时间:2021-05-03 07:38:44
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