Vector Clock 기반의 메모리 접근 부분순서 추적을 통한 SoC 이기종 환경에서의 원자성 위반 동적 검출

Vol. 35, No. 2, pp. 189-204, 4월. 2025
10.13089/JKIISC.2025.35.2.189, Full Text:
Keywords: SoC, Heterogeneous System, Atomicity Violation, Vector Clock
Abstract

We propose a novel approach for the dynamic detection of atomicity violations in heterogeneous systems within a SoC. Our method is based on the 1V2C3A model, derived from vulnerability modeling, which classifies eight distinct atomicity violation patterns. By identifying the serializability of these patterns, we have designed and implemented an algorithm that dynamically detects atomicity violations via vector clock based partial order tracking of three memory accesses. The proposed detection tool was evaluated using a custom-designed benchmark suite as well as a case study on real-world software. Our experimental results demonstrate that the tool achieves high precision, recall, accuracy, and F1-score compared to existing detection tools. Moreover, it has proven to be an effective solution for detecting atomicity violations and enhancing system reliability when applied to neural network software in real SoC-based heterogeneous system.

Statistics
Show / Hide Statistics

Statistics (Cumulative Counts from December 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.


Cite this article
[IEEE Style]
오시천 and 최진영, "Dynamic Detection of Atomicity Violation via Vector Clock-Based Partial Order of Three Memory Accesses in Heterogeneous System within SoC," Journal of The Korea Institute of Information Security and Cryptology, vol. 35, no. 2, pp. 189-204, 2025. DOI: 10.13089/JKIISC.2025.35.2.189.

[ACM Style]
오시천 and 최진영. 2025. Dynamic Detection of Atomicity Violation via Vector Clock-Based Partial Order of Three Memory Accesses in Heterogeneous System within SoC. Journal of The Korea Institute of Information Security and Cryptology, 35, 2, (2025), 189-204. DOI: 10.13089/JKIISC.2025.35.2.189.