Name
Abstract | ||
|---|---|---|
As multicore and heterogeneous multiprocessor platforms replace uniprocessor systems, software programs must be 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. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/SCAM.2009.10 | SCAM |
Keywords | Field | DocType |
multithreading,multicore processing,synchronization,process algebra,communicating sequential processes,data mining,concurrent computing,message passing,concurrency,concurrency control,programming language,multi threading,source code,reverse engineering | Uniprocessor system,Programming language,Concurrency control,Source code,Concurrency,Computer science,Communicating sequential processes,Thread (computing),Concurrent computing,Message passing | Conference |
ISSN | Citations | PageRank |
1942-5430 | 0 | 0.34 |
References | Authors | |
9 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Robert Charles Lange | 1 | 0 | 0.34 |
| Spiros Mancoridis | 2 | 888 | 56.82 |