LReplay

计算机科学 调试 字节 顺序一致性 一致性(知识库) 钥匙(锁) 并行计算 计算机硬件 程序设计语言 一致性模型 数据一致性 操作系统 人工智能
作者
Tianshi Chen,Weiwu Hu,Tianshi Chen,Ruiyang Wu
标识
DOI:10.1145/1815961.1815985
摘要

Debugging parallel program is a well-known difficult problem. A promising method to facilitate debugging parallel program is using hardware support to achieve deterministic replay. A hardware-assisted deterministic replay scheme should have a small log size, as well as low design cost, to be feasible for adopting by industrial processors. To achieve the goals, we propose a novel and succinct hardware-assisted deterministic replay scheme named LReplay. The key innovation of LReplay is that instead of recording the logical time orders between instructions or instruction blocks as previous investigations, LReplay is built upon recording the pending period information [6]. According to the experimental results on Godson-3, the overall log size of LReplay is about 0.55B/K-Inst (byte per k-instruction) for sequential consistency, and 0.85B/K-Inst for Godson-3 consistency. The log size is smaller in an order of magnitude than state-of-art deterministic replay schemes incuring no performance loss. Furthermore, LReplay only consumes about $1.3%$ area of Godson-3, since it requires only trivial modifications to the existing components of Godson-3. The above features of LReplay demonstrate the potential of integrating hardware-assisted deterministic replay into future industrial processors.
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
踏实的雁玉完成签到,获得积分10
3秒前
5秒前
6秒前
完美世界应助咖啡续命采纳,获得10
7秒前
小伙子发布了新的文献求助10
9秒前
9秒前
复杂的路人完成签到 ,获得积分10
10秒前
11秒前
bboyyujie完成签到,获得积分10
11秒前
re发布了新的文献求助10
12秒前
soumei发布了新的文献求助10
15秒前
呀呀呀完成签到 ,获得积分10
15秒前
16秒前
17秒前
re完成签到,获得积分10
20秒前
RW发布了新的文献求助10
20秒前
不如吃茶去完成签到,获得积分10
21秒前
22秒前
朱湋帆完成签到 ,获得积分10
22秒前
纳米粒子完成签到,获得积分10
24秒前
纳米粒子发布了新的文献求助10
27秒前
科研通AI2S应助lijikj采纳,获得10
30秒前
32秒前
36秒前
万能图书馆应助苏打汽水采纳,获得10
36秒前
凌代萱发布了新的文献求助10
37秒前
JONY完成签到 ,获得积分10
38秒前
樱桃味的火苗完成签到,获得积分10
40秒前
Emper发布了新的文献求助10
41秒前
划水发布了新的文献求助10
43秒前
张志伟发布了新的文献求助10
45秒前
qrj发布了新的文献求助10
45秒前
肃清夏安完成签到,获得积分10
46秒前
50秒前
搜集达人应助RW采纳,获得10
51秒前
静影沉璧发布了新的文献求助10
52秒前
bkagyin应助Peng采纳,获得10
54秒前
阿坤完成签到,获得积分20
55秒前
金陵第一大美女完成签到,获得积分10
56秒前
1分钟前
高分求助中
Evolution 10000
ISSN 2159-8274 EISSN 2159-8290 1000
Becoming: An Introduction to Jung's Concept of Individuation 600
Ore genesis in the Zambian Copperbelt with particular reference to the northern sector of the Chambishi basin 500
A new species of Coccus (Homoptera: Coccoidea) from Malawi 500
A new species of Velataspis (Hemiptera Coccoidea Diaspididae) from tea in Assam 500
PraxisRatgeber: Mantiden: Faszinierende Lauerjäger 500
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3161827
求助须知:如何正确求助?哪些是违规求助? 2813059
关于积分的说明 7898411
捐赠科研通 2472080
什么是DOI,文献DOI怎么找? 1316331
科研通“疑难数据库(出版商)”最低求助积分说明 631278
版权声明 602129