• DocumentCode
    1525505
  • Title

    Fine-grained multithreading with process calculi

  • Author

    Lopes, L. ; Vasconcelos, V.T. ; Silva, F.

  • Author_Institution
    Dept. of Comput. Sci., Porto Univ., Portugal
  • Volume
    50
  • Issue
    8
  • fYear
    2001
  • Firstpage
    852
  • Lastpage
    862
  • 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;
  • fLanguage
    English
  • Journal_Title
    Computers, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0018-9340
  • Type

    jour

  • DOI
    10.1109/12.947014
  • Filename
    947014
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1525505