.png){kind=icon}
返回
MSI-A: An Energy Efficient Approximated Cache Coherence Protocol
.png){kind=icon}
OA
AI
DOI：10.1109/ACCESS.2023.3273219.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Energy consumption has become an essential factor in designing modern computer system architecture. Because of physical limits, the termination of Moore's law and Dennard's scaling has forced the computer design community to investigate new approaches to meet the requirements for computing resources. Approximate computing has emerged as a promising method for reducing energy consumption while trading a controllable quality loss. This paper asserts that an approximated cache coherence protocol preserves overall energy for computation. We can approximate the cache coherence protocol by adding approximated cache lines to a certain level without hindering the output. This paper introduces an enhanced approximated version of the MSI (Modified Shared Invalid) cache coherence protocol MSI-A (Modified Shared Invalid-Approx). We have verified MSI-A and MSI by employing LTL specifications in the NuSMV model checker. To illustrate the benefits of MSI-A, we have added DTMC (Discrete-Time Markov Chain) with PCTL (Probabilistic Computational Tree Logic). Although the PCTL proves the theory of approximation, we have also simulated the MSI-A in the TEJAS hardware simulator on PARSEC 3.0 to investigate the energy gains and cycle gains of MSI-A in varied applications. The cache lines considered to be approx are between 10 and 30 percent. Each application benefited from approximation according to its nature, and VIPS has indicated a total energy gain of 30.18 percent.
Keyword:
Formal verification
Cache storage
Transistors
Program processors
Hardware
Computational modeling
Approximate computing
Logistics
Approximation
cache coherence
NuSMV
formal verification
temporal logic
computation
期刊
IF:
3.6
论文数:
9.8W
被引数:
29.4W
机构
引用论文
分享收藏CHALLENGES IN PRACTICAL APPLICATION OF LA TESTING GUIDELINES IN NORTH AMERICA: MIXING STUDIES AND BEYOND!北美LA测试指南在实践应用中的挑战：混合研究及更多内容！
PREAI
分享收藏分享收藏LONG-TERM SAFETY AND EFFICACY OF FITUSIRAN PROPHYLAXIS IN A PHASE 1/2 OPEN-LABEL EXTENSION STUDY IN PEOPLE WITH MODERATE OR SEVERE HEMOPHILIA A OR BFITUSIRAN预防疗法在1/2期开放标签扩展研究中，中度或重度血友病A或B患者的长期安全性与有效性
PREAI
分享收藏Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges.png)
AUTOMATICA
OAAI
AUTOMATICAIF5.9
OAAI分享收藏
查看更多内容