Title :
Fine-grained multithreading with process calculi
Author :
Lopes, L. ; Vasconcelos, V.T. ; Silva, F.
Author_Institution :
Dept. of Comput. Sci., Porto Univ., Portugal
Abstract :
This paper presents a multithreaded abstract machine for the TyCO process calculus. We argue that process calculi provide a powerful framework to reason about fine-grained parallel computations. They allow for the construction of formally verifiable systems on which to base high-level programming idioms, combined with efficient compilation schemes into multithreaded architectures.
Keywords :
multi-threading; parallel architectures; process algebra; TyCO process calculus; compilation schemes; fine-grained multithreading; fine-grained parallel computations; formally verifiable systems; high-level programming; multithreaded abstract machine; multithreaded architectures; Calculus; Computer architecture; Concurrent computing; Context; Delay; Hardware; Microprocessors; Multithreading; Parallel processing;
Journal_Title :
Computers, IEEE Transactions on
