Geodesic
Automatic data race error detection in systemC models
Modelirovanie i analiz informacionnyh sistem, Tome 18 (2011) no. 4, pp. 94-105.

Voir la notice de l'article provenant de la source Math-Net.Ru

Hardware/software systems simulated by using the SystemC language are usually parallel and, therefore, may contain synchronization errors. One widespread type of synchronization errors is data races. In this paper we propose an approach to data race detection in SystemC programs which is based on the source code static analysis. We have developed some static analysis algorithms that can extract information for data race detection in a SystemC program without quantitative time. These algorithms can detect all the errors that exist in the program. The efficiency of our approach is shown by the evaluation results of the developed tool on a set of test SystemC programs.
Mots-clés : SystemC
Keywords: static analysis, data error race detection. 
@article{MAIS_2011_18_4_a8,
     author = {A. V. Zakharov and M. Yu. Moiseev},
     title = {Automatic data race error detection in {systemC} models},
     journal = {Modelirovanie i analiz informacionnyh sistem},
     pages = {94--105},
     publisher = {mathdoc},
     volume = {18},
     number = {4},
     year = {2011},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a8/}
}
TY  - JOUR
AU  - A. V. Zakharov
AU  - M. Yu. Moiseev
TI  - Automatic data race error detection in systemC models
JO  - Modelirovanie i analiz informacionnyh sistem
PY  - 2011
SP  - 94
EP  - 105
VL  - 18
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a8/
LA  - ru
ID  - MAIS_2011_18_4_a8
ER  - 
%0 Journal Article
%A A. V. Zakharov
%A M. Yu. Moiseev
%T Automatic data race error detection in systemC models
%J Modelirovanie i analiz informacionnyh sistem
%D 2011
%P 94-105
%V 18
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a8/
%G ru
%F MAIS_2011_18_4_a8
A. V. Zakharov; M. Yu. Moiseev. Automatic data race error detection in systemC models. Modelirovanie i analiz informacionnyh sistem, Tome 18 (2011) no. 4, pp. 94-105. http://geodesic.mathdoc.fr/item/MAIS_2011_18_4_a8/

[1] 1666-2005 IEEE Standard SystemC Language Reference Manual

[2] S. Savage, M. Burrows et al., “Eraser: a Dynamic Data Race Detector for Multithreaded Programs”, J. ACM Transaction of Computer System, 15 (1997), 391–411 | DOI

[3] L. Pierre, L. Ferro, “Enhancing the Assertion-based Verification of TLM Designs with Reentrancy”, 8th International Conference on Formal Methods and Models for Codesign, 2010, 103–112 | DOI

[4] N. Blanc, D. Kroening, “Race Analysis for SystemC using Model Checking”, ICCAD, 2008, 356–363

[5] C. Traulsen, J. Cornet, M. Moy, F. Maraninchi, “A SystemC/TLM Semantics in Promela and Its Possible Applications”, 14th Workshop on Model Checking Software SPIN, 2007, 204–222

[6] H. Garavel, C. Helmstetter, O. Ponsini, W. Serwe, “Verification of an Industrial SystemC/TLM Model Using LOTOS and CADP”, 7th IEEE/ACM International Conference on Formal Methods and Models for Co-Design, 2009, 46–55 | DOI

[7] H. Hojjat, M.R. Mousavi, M. Sirjani, “Process Algebraic Verification of SystemC Codes”, 8th International Conference on Application of Concurrency to System Design, 2008, 62–67 | DOI

[8] Yu Zhang, F. Vedrine, B. Monsuez, “SystemC Waiting-State Automata”, 1st International Workshop on Verification and Evaluation of Computer and Communication Systems, 2007

[9] P. Pratikakis, J. S. Foster, M. Hicks, “LOCKSMITH: Practical Static Race Detection for C”, J. ACM Transactions on Programming Languages and Systems, 2011

[10] V. Kahlon, S. Sankaranarayanan, A. Gupta, “Semantic Reduction of Thread Interleavings in Concurrent Programs”, 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 2009

[11] V. Kahlon, N. Sinha, E. Kruus, Y. Zhang, “Static Data Race Detection for Concurrent Programs with Asynchronous Calls”, 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, 2009

[12] T. Terauchi, “Checking Race Freedom via Linear Programming”, ACM SIGPLAN conference on Programming language design and implementation, 2008 | Zbl

[13] M. Naik, A. Aiken, “Conditional Must Not Aliasing for Static Race Detection”, 34th annual ACM SIGPLAN-SIGACT symposium on POPL, 2007

[14] V. M. Itsykson, M. Ju. Moiseev, A. V. Zakharov et al., “Automatic Defects Detection in Industrial C/C++ Software”, 5th Central and Eastern European Software Engineering Conference in Russia, 2009 | Zbl

[15] (Aegis Error Detection Tool) http://www.digiteklabs.ru/aegis/