高技术通讯2026，Vol.36Issue(4)：340-353,14.DOI:10.3772/j.issn.1002-0470.2026.04.002
一种支持在线检测静默数据错误的事务性框架
An online silent data corruption detection transactional framework
摘要
Abstract
As processor design becomes increasingly complex and the manufacturing processes become more refined,the reliability and stability of processors are facing more significant challenges.Despite rigorous testing,processors may still encounter hardware issues after production deployment,leading to various application-level errors.Among these errors,one particular type could cause application data to corrupt without crashing the application or trigge-ring any warnings.This error is known as silent data corruption(SDC).Although the proportion of the processors that may cause SDC errors is only 0.03％,the probability of SDC occurrences is still non-negligible for the data centers that run hundreds of thousands of cores.At the same time,the existing fault-tolerant systems that depend on the Fail-Stop error consumption lack the ability to detect SDC at runtime.These pose a significant threat to the data security of data centers.This paper introduces an online SDC detection mechanism named Gemini.Gemini is in-spired by its operational design,where the validation module operates concurrently with the application,closely mo-nitoring and verifying the application's outcomes.Gemini provides a transaction based framework,including a set of data structures,accompanying transactions,and a runtime system.For applications developed based on Gemini,there is an online SDC verification module running in the background during its executing phase.The module vali-dates the correctness of the application's computations in real-time at the transaction granularity.To avoid perform-ance impact by the frequent synchronization between the verification module and the application,Gemini adopts a log-based verification method at the end of each transaction,the application generates an SDC log with information such as modifications to the user data and executed functions.The verification module automatically checks the log queue and performs recalculation work from a core different from the transaction's execution core based on the SDC log.Gemini's contribution lies in its ability to detect the silent user data corruption from the processor's silent er-ror at the millisecond level while only introducing a minimal 3.20％and average 15.20％performance overhead,which makes it a feasible online SDC detection mechanism for continuous deployment in data centers.关键词
静默数据错误/容错系统/云计算/数据中心/编程框架Key words
silent data corruption/fault-tolerance/cloud computing/data center/programming framework引用本文复制引用
刘晨骁,王晨曦,杜子东..一种支持在线检测静默数据错误的事务性框架[J].高技术通讯,2026,36(4):340-353,14.基金项目
国家重点研发计划(2022YFB4501603),国家自然科学基金(U22A2028,62222214,61925208,62102398,62102399,U20A20227,62372436,62302478,62302482,62302483,62302480),中国科学院稳定支持基础研究领域青年团队计划(YSBR-029)和中国科学院青年创新促进会和科学探索奖资助项目. （2022YFB4501603）
