제어흐름 에러 탐지를 위한 분리형 시그니처 모니터링 기법 = Separate Signature Monitoring for Control Flow Error Detection

다국어 초록 (Multilingual 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.

참고문헌 (Reference)

1 공영주, "대칭형 멀티코어 커널에서 DBS(Doppler Beam Sharpening) 알고리즘 실시간 구현" 대한임베디드공학회 11 (11): 251-257, 2016

2 S. A. Asghari, "Software-based Control Flow Checking Against Transient Faults in Industrial Environments" 10 (10): 481-490, 2014

3 A. Li, "Software Implemented Transient Fault Detectionin Space Computer" 11 (11): 245-252, 2007

4 O. Goloubeva, "Softerror Detection Using Control Flow Assertions" 581-588, 2003

5 D. M. Tullsen, "Simultaneous Multithreading : Maximizing On-chip Parallelism" 392-403, 1995

6 S. A. Asghari, "SEDSR : Soft Error Detection Using Software Redundancy" 5 (5): 664-670, 2012

7 J. Vankeirsbilck, "Random Additive Signature Monitoring for Control Flow Error Detection" 66 (66): 1178-1192, 2017

8 M. R. Guthaus, "MiBench : a Free, Commercially Representative Embedded Benchmark Suite" 3-14, 2001

9 C. Lattner, "LLVM : a Compilation Framework for Lifelong Program Analysis & Transformation" 75-86, 2004

10 R. P. Weicker, "Dhrystone : A Synthetic Systems Programming Benchmark" 27 (27): 1013-1030, 1984

11 Z. Alkhalifa, "Design and Evaluation of System-level Checks for On-line Control Flow Error Detection" 10 (10): 627-641, 1999

12 N. Oh, "Control-flow Checking by Software Signatures" 51 (51): 111-122, 2002

13 H. J. Curnow, "A Synthetic Benchmark" 19 (19): 43-49, 1976

14 G, Blake, "A Survey of Multicore Processors" 26 (26): 26-37, 2009