Conference proceeding
thr2csp: Toward Transforming Threads into Communicating Sequential Processes
2009 NINTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, pp 3-12
01 Jan 2009
Abstract
As multicore and heterogeneous multiprocessor platforms replace uniprocessor systems, software programs must he designed with a greater emphasis on concurrency. Threading has become the dominant paradigm of concurrent computation in the most popular programming languages. Large threaded programs are known to be difficult to implement correctly, comprehend, and maintain, while concurrent programs written in process algebraic paradigms of concurrency, such as communicating sequential processes, are known to be easier to analyze. This paper presents our initial work on reverse engineering threaded source code and transforming the code into functionally-equivalent message-passing code. The paper also explores future work needed to convert the message-passing code into communicating sequential processes.
Metrics
10 Record Views
2 citations in Scopus
Details
- Title
- thr2csp: Toward Transforming Threads into Communicating Sequential Processes
- Creators
- Robert Lange - Drexel UniversitySpiros Mancoridis - Drexel UniversityIEEE Computer Soc
- Publication Details
- 2009 NINTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, pp 3-12
- Series
- IEEE International Working Conference on Source Code Analysis and Manipulation
- Publisher
- IEEE
- Number of pages
- 10
- Resource Type
- Conference proceeding
- Language
- English
- Academic Unit
- Computer Science
- Web of Science ID
- WOS:000275709800001
- Scopus ID
- 2-s2.0-72349083312
- Other Identifier
- 991019167536804721
InCites Highlights
Data related to this publication, from InCites Benchmarking & Analytics tool:
- Web of Science research areas
- Computer Science, Software Engineering