Analyzing Variable Entanglement for Parallel Simulation of SystemC TLM-2.0 Models
| Autor: | Rainer Dömer, Zhongqi Cheng |
|---|---|
| Rok vydání: | 2019 |
| Předmět: |
010302 applied physics
Interface (Java) Computer science 02 engineering and technology Construct (python library) Parallel computing Static analysis computer.software_genre 01 natural sciences Blocking (computing) 020202 computer hardware & architecture Variable (computer science) Hardware and Architecture SystemC 0103 physical sciences 0202 electrical engineering electronic engineering information engineering Compiler computer Software Compile time computer.programming_language |
| Zdroj: | ACM Transactions on Embedded Computing Systems. 18:1-20 |
| ISSN: | 1558-3465 1539-9087 |
| DOI: | 10.1145/3358194 |
| Popis: | The SystemC TLM-2.0 standard is widely used in modern electronic system level design for better interoperability and higher simulation speed. However, TLM-2.0 has been identified as an obstacle for parallel SystemC simulation due to the disappearance of channels. Without a containment construct, simulation threads are permitted to directly access data of other modules and that makes it difficult to synchronize such accesses as required by the SystemC execution semantics. In this paper, we propose a compile time approach to statically analyze potential conflicts among threads in SystemC TLM-2.0 loosely- and approximately-timed models. We introduce a new Socket Call Path technique which provides the compiler with socket binding information for precise static analysis. We also propose an algorithm to analyze entangled variable pairs. Experimental results show that our approach is able to support automatically safe parallel simulation of SystemC models with TLM-2.0 Blocking Transport Interface, Direct Memory Interface and Non-blocking Transport Interface, resulting in impressive simulation speeds. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|