SWAT: Designing resilient hardware by treating software anomalies.
저자
발행사항
[S.l.]: University of Illinois at Urbana-Champaign 2009
학위수여대학
University of Illinois at Urbana-Champaign
수여연도
2009
작성언어
영어
주제어
학위
Ph.D.
페이지수
134 p.
지도교수/심사위원
Adviser: Sarita V. Adve.
With continued CMOS scaling, future shipped hardware will be increasingly vulnerable to faults and inevitably fail in the field for a variety of reasons such as aging or wear-out, radiation, infant mortality due to inadequate burn-in, design defects, manufacturing defects, and so on. Further, this reliability threat is expected to pervade even the mainstream computing market, making traditional solutions that involve redundancy in space, time, and/or information too expensive to be broadly deployable. Hence, there is a need for effective in-field reliability solutions that incur low overheads in area, power, and performance and handle multiple sources of errors.
The main contribution of this dissertation is to investigate the design of a low-cost comprehensive reliability solution that detects, diagnoses, and recovers from in-field errors. Our design is based on the following two key observations. (1) Hardware reliability solutions only need to handle device faults that manifest to higher levels of the system and appear as software bugs. (2) Despite the growing reliability problem, the fault-free operation remains the common case and must be optimized.
These insights drive the design of a novel reliability solution that employs near zero overhead "always-on" monitors to detect hardware faults by watching for the anomalous software behavior (called symptoms). After a detection, a potentially expensive diagnosis algorithm is invoked to diagnose the source of the error and ensure full recovery. While the diagnosis may incur high overhead, it is only invoked in the rare case of a detection. We believe that the very low cost detection coupled with higher cost diagnosis is the right tradeoff for achieving very low cost in reliability solutions.
With these strategies, this dissertation presents a comprehensive reliability solution, called SWAT (Soft Ware Anomaly Treatment), that detects, diagnoses, and recovers from in-the-field failures at very low cost. For hardware error detection, SWAT relies on low cost, "always-on" monitors of software symptoms. After a detection, SWAT uses a novel technique called trace based fault diagnosis to identify whether the symptom detection is a result of a hardware or software error and to diagnose the faulty microarchitectural component in case of a hardware permanent fault. For recovery, SWAT aims to use hardware checkpointing for restoring the fault-free execution state and relies on output event buffering for preventing hardware faults from propagating and becoming visible outside of the system.
We evaluated the SWAT system with statistical fault injection experiments. Our results show that simple monitors of software symptoms can achieve high permanent hardware fault detection coverage and comparable transient fault detection coverage as previously proposed symptom-based transient fault detection schemes. After a detection, our traced based nucroarchitecture-level diagnosis correctly identifies most of the detected hardware permanent faults, facilitating fine-grained repair. For error recovery, we found that high system recoverability can only be attained by employing both hardware checkpointing and output buffering mechanisms, indicating that both are essential for ensuring hardware reliability. These results show empirically that the SWAT system is an effective hardware reliability solution that detects, diagnoses, and recovers from failed components in the field.
The final contribution of this dissertation is to investigate the accuracy of microarchitecture-level fault modeling. To achieve this goal, we present a novel fault simulation framework called SWAT-Sim that can model gate-level faults accurately while achieving speed comparable to microarchitectural simulations. Using SWAT-Sim, we found that existing microarchitecture-level faults cannot, in general, accurately represent gate-level faults. The SWAT-Sim framework, therefore, serves as an important research vehicle for both SWAT and other ongoing or future research in hardware reliability.
In summary, this dissertation shows, for the first time, that a comprehensive hardware reliability solution can be realized by treating the software-level symptoms caused by both permanent and transient hardware faults. The presented work lays the foundation for the SWAT approach and paves the way for future work on low-cost software anomaly based resilient systems.
분석정보
서지정보 내보내기(Export)
닫기소장기관 정보
닫기권호소장정보
닫기오류접수
닫기오류 접수 확인
닫기음성서비스 신청
닫기음성서비스 신청 확인
닫기이용약관
닫기학술연구정보서비스 이용약관 (2017년 1월 1일 ~ 현재 적용)
학술연구정보서비스(이하 RISS)는 정보주체의 자유와 권리 보호를 위해 「개인정보 보호법」 및 관계 법령이 정한 바를 준수하여, 적법하게 개인정보를 처리하고 안전하게 관리하고 있습니다. 이에 「개인정보 보호법」 제30조에 따라 정보주체에게 개인정보 처리에 관한 절차 및 기준을 안내하고, 이와 관련한 고충을 신속하고 원활하게 처리할 수 있도록 하기 위하여 다음과 같이 개인정보 처리방침을 수립·공개합니다.
주요 개인정보 처리 표시(라벨링)
목 차
3년
또는 회원탈퇴시까지5년
(「전자상거래 등에서의 소비자보호에 관한3년
(「전자상거래 등에서의 소비자보호에 관한2년
이상(개인정보보호위원회 : 개인정보의 안전성 확보조치 기준)개인정보파일의 명칭 | 운영근거 / 처리목적 | 개인정보파일에 기록되는 개인정보의 항목 | 보유기간 | |
---|---|---|---|---|
학술연구정보서비스 이용자 가입정보 파일 | 한국교육학술정보원법 | 필수 | ID, 비밀번호, 성명, 생년월일, 신분(직업구분), 이메일, 소속분야, 웹진메일 수신동의 여부 | 3년 또는 탈퇴시 |
선택 | 소속기관명, 소속도서관명, 학과/부서명, 학번/직원번호, 휴대전화, 주소 |
구분 | 담당자 | 연락처 |
---|---|---|
KERIS 개인정보 보호책임자 | 정보보호본부 김태우 | - 이메일 : lsy@keris.or.kr - 전화번호 : 053-714-0439 - 팩스번호 : 053-714-0195 |
KERIS 개인정보 보호담당자 | 개인정보보호부 이상엽 | |
RISS 개인정보 보호책임자 | 대학학술본부 장금연 | - 이메일 : giltizen@keris.or.kr - 전화번호 : 053-714-0149 - 팩스번호 : 053-714-0194 |
RISS 개인정보 보호담당자 | 학술진흥부 길원진 |
자동로그아웃 안내
닫기인증오류 안내
닫기귀하께서는 휴면계정 전환 후 1년동안 회원정보 수집 및 이용에 대한
재동의를 하지 않으신 관계로 개인정보가 삭제되었습니다.
(참조 : RISS 이용약관 및 개인정보처리방침)
신규회원으로 가입하여 이용 부탁 드리며, 추가 문의는 고객센터로 연락 바랍니다.
- 기존 아이디 재사용 불가
휴면계정 안내
RISS는 [표준개인정보 보호지침]에 따라 2년을 주기로 개인정보 수집·이용에 관하여 (재)동의를 받고 있으며, (재)동의를 하지 않을 경우, 휴면계정으로 전환됩니다.
(※ 휴면계정은 원문이용 및 복사/대출 서비스를 이용할 수 없습니다.)
휴면계정으로 전환된 후 1년간 회원정보 수집·이용에 대한 재동의를 하지 않을 경우, RISS에서 자동탈퇴 및 개인정보가 삭제처리 됩니다.
고객센터 1599-3122
ARS번호+1번(회원가입 및 정보수정)