HAFT: hardware-assisted fault tolerance
HAFT: hardware-assisted fault tolerance
复制标题
HAFT：硬件辅助容错
DOI：
10.1145/2901318.2901339
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
C. Fetzer
中科院分区：
文献类型：
--
作者：
D. Kuvaiskii;R. Faqeh;P. Bhatotia;P. Felber;C. Fetzer
程序执行期间的瞬时硬件故障可能导致数据损坏。我们提出了HAFT，容错技术，使用商品CPU的硬件扩展，以保护未经修改的多线程应用程序对这种腐败。HAFT利用冗余级冗余进行故障检测，利用硬件事务存储器进行故障恢复。我们用Phoenix和PARSEC基准对HAFT进行了评估。观察到的归一化运行时间是2x，其中98.9%的注入数据损坏被检测到，91.2%被纠正。为了证明HAFT的有效性，我们将其应用于现实世界的案例研究，包括Memcached，Apache和SQLite。
Transient hardware faults during the execution of a program can cause data corruptions. We present HAFT, a fault tolerance technique using hardware extensions of commodity CPUs to protect unmodified multithreaded applications against such corruptions. HAFT utilizes instruction-level redundancy for fault detection and hardware transactional memory for fault recovery. We evaluated HAFT with Phoenix and PARSEC benchmarks. The observed normalized runtime is 2x, with 98.9% of the injected data corruptions being detected and 91.2% being corrected. To demonstrate the effectiveness of HAFT, we applied it to real-world case studies including Memcached, Apache, and SQLite.
登录
查看更多内容
利用主内存数据库中的硬件事务内存
DOI：
10.1109/icde.2014.6816683
发表时间：
2014
期刊：
2014 IEEE 30th International Conference on Data Engineering
影响因子：
--
作者：
V. Leis;A. Kemper;T. Neumann
通讯作者：
T. Neumann
DOI：
10.1145/2168836.2168866
发表时间：
2012-04
期刊：
--
影响因子：
--
作者：
R. Kapitza;J. Behl;C. Cachin;T. Distler;Simon Kuhnle;Seyed Vahid Mohammadi;Wolfgang Schröder-Preikschat;Klaus Stengel
通讯作者：
R. Kapitza;J. Behl;C. Cachin;T. Distler;Simon Kuhnle;Seyed Vahid Mohammadi;Wolfgang Schröder-Preikschat;Klaus Stengel
通过系统事务改进服务器应用程序
DOI：
10.1145/2168836.2168839
发表时间：
2012
期刊：
--
影响因子：
--
作者：
Sangman Kim;Michael Z. Lee;Alan M. Dunn;O. S. Hofmann;Xuan Wang;Emmett Witchel;Donald E. Porter
通讯作者：
Donald E. Porter
利用 Intel TSX 在安全关键系统中实现容错执行
DOI：
10.1109/dft.2014.6962083
发表时间：
2014
期刊：
2014 IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems (DFT)
影响因子：
--
作者：
Florian Haas;Sebastian Weis;Stefan Metzlaff;T. Ungerer
通讯作者：
T. Ungerer
我们可以将并发性重新引入冗余多线程吗？
DOI：
10.1145/2656045.2656050
发表时间：
2014
期刊：
2014 International Conference on Embedded Software (EMSOFT)
影响因子：
--
作者：
Björn Döbel;Hermann Härtig
通讯作者：
Hermann Härtig