제어흐름 에러 탐지를 위한 분리형 시그니처 모니터링 기법
Separate Signature Monitoring for Control Flow Error Detection
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
Control flow errors are caused by the vulnerability of memory and result in system failure. Signature-based control flow monitoring is a representative method for alleviating the problem. The method commonly consists of two routines; one routine is signature update and the other is signature verification. However, in the existing signature-based control flow monitoring, monitoring target application is tightly combined with the monitoring code, and the operation of monitoring in a single thread is the basic model. This makes the signature-based monitoring method difficult to expect performance improvement that can be taken in multi-thread and multi-core environments. In this paper, we propose a new signature-based control flow monitoring model that separates signature update and signature verification in thread level. The signature update is combined with application thread and signature verification runs on a separate monitor thread. In the proposed model, the application thread and the monitor thread are separated from each other, so that we can expect a performance improvement that can be taken in a multi-core and multi-thread environment.
Abstract
Control flow errors are caused by the vulnerability of memory and result in system failure. Signature-based control flow monitoring is a representative method for alleviating the problem. The method commonly consists of two routines; one routine is signature update and the other is signature verification. However, in the existing signature-based control flow monitoring, monitoring target application is tightly combined with the monitoring code, and the operation of monitoring in a single thread is the basic model. This makes the signature-based monitoring method difficult to expect performance improvement that can be taken in multi-thread and multi-core environments. In this paper, we propose a new signature-based control flow monitoring model that separates signature update and signature verification in thread level. The signature update is combined with application thread and signature verification runs on a separate monitor thread. In the proposed model, the application thread and the monitor thread are separated from each other, so that we can expect a performance improvement that can be taken in a multi-core and multi-thread environment.
참고문헌 (14)
- N. Oh, "Control-flow Checking by Software Signatures", Proceedings of IEEE Transactions on Reliability, 51(1), pp.111~122 (2002)
- O. Goloubeva, "Softerror Detection Using Control Flow Assertions", Proceedings of 18th IEEE Int. Symp. Defect Fault Tolerance VLSI Syst, pp.581~588 (2003)
- Z. Alkhalifa, "Design and Evaluation of System-level Checks for On-line Control Flow Error Detection", IEEE Trans. Parallel Distrib. Syst, 10(6), pp.627~641 (1999)
- A. Li, "Software Implemented Transient Fault Detectionin Space Computer", Aerosp. Sci. Technol, 11(2), pp.245~252 (2007)
- S. A. Asghari, "SEDSR : Soft Error Detection Using Software Redundancy", Softw. Eng. Appl, 5(9), pp.664~670 (2012)
- S. A. Asghari, "Software-based Control Flow Checking Against Transient Faults in Industrial Environments", Proceedings of IEEE Trans. Ind. Informat, 10(1), pp.481~490 (2014)
- J. Vankeirsbilck, "Random Additive Signature Monitoring for Control Flow Error Detection", in IEEE Transactions on Reliability, 66(4), pp.1178~1192 (2017)
- G, Blake, "A Survey of Multicore Processors", IEEE Signal Processing Magazine, 26(6), pp.26~37 (2009)
- D. M. Tullsen, "Simultaneous Multithreading : Maximizing On-chip Parallelism", Proceedings of 22nd Annual International Symposium on Computer Architecture, pp.392~403 (1995)
- 공영주, "대칭형 멀티코어 커널에서 DBS(Doppler Beam Sharpening) 알고리즘 실시간 구현", 대한임베디드공학회논문지, 11(4), pp.251~257 (2016), 대한임베디드공학회[DOI]
- C. Lattner, "LLVM : a Compilation Framework for Lifelong Program Analysis & Transformation", Proceedings of CGO ’04, pp.75~86 (2004)
- R. P. Weicker, "Dhrystone : A Synthetic Systems Programming Benchmark", Communications of the ACM, 27(10), pp.1013~1030 (1984)
- H. J. Curnow, "A Synthetic Benchmark", The Computer Journal, 19(1), pp.43~49 (1976)
- M. R. Guthaus, "MiBench : a Free, Commercially Representative Embedded Benchmark Suite", Proceedings of 4th Annual IEEE International Workshop Workload Characterization, pp.3~14 (2001)