文件名称：weak-det-hw:硬件级别弱确定性探索
文件大小：31KB
文件格式：ZIP
更新时间：2024-04-15 01:59:13
C++
硬件弱确定性的探索 探索硬件级别的弱确定性。 介绍 我们提供了一个定制的x86模拟器，该模拟器旨在在硬件中实现弱确定性。 我们计划将此模拟器与Intel的二进制仪器工具Pin结合使用。 模拟器详细信息 我们的模拟器仿真多核系统，其中每个核将处理由调度算法确定的某些指令流。 每个内核将仅运行已由控制模块批准的指令。 硬件弱确定性 为确保我们的模拟器的确定性较弱，我们必须确定性地对给定程序的关键部分进行访问。 我们的想法是要有一个调度算法，它将元数据打包到每条指令中。 此元数据将存储到类型定义的指令结构中。 一旦调度算法为指令创建了元数据，它将把指令和元数据传递给控制模块。 然后，控制模块将确保我们对某些关键部分的访问具有确定的顺序。 控制模块通过检查指令的元数据确定性地对关键部分进行访问。 一旦控制模块读取了指令的元数据，它将使用所提供的信息来检查以硬件实现的全局锁表。 在这里，控制模
【文件预览】：
weak-det-hw-main
----.gitignore(15B)
----images()
--------weak_det_flowchart.png(27KB)
----Makefile(853B)
----README.md(4KB)
----include()
--------multicore.hpp(100B)
----main.cpp(89B)
----multicore()
--------control.cpp(2KB)
--------control.hpp(212B)
--------core.hpp(177B)
--------structs.hpp(1KB)
--------core.cpp(425B)