Using CSP languages to program parallel workstation systems

被引:0
|
作者
Mazzeo, A. [1 ]
Russo, S. [1 ]
Ventre, G. [1 ]
机构
[1] Univ degli Studi di Napoli, Naples, Italy
关键词
Concurrent languages - Parallel programming environments - Parallel Workstation Systems (PWS) - Workstation networks;
D O I
暂无
中图分类号
学科分类号
摘要
During the last decade one of the most relevant events in the computer market has been the large diffusion of workstations. In both industrial and research environments a huge amount of computing is done on personal workstations. Despite the rapid growth in networking technologies, however, a network of workstations cannot be easily seen as a global computational resource, although it represents a large amount of computing power. Moreover, its inherent parallelism is not accessible without a heavy effort to modify existing software and/or to develop new code. It is our belief that the CSP model is suitable to develop distributed applications for a particular class of such systems that can be defined Parallel Workstation Systems. This thesis has been tested in the course of the DISC project. In DISC, the language implementation of the CSP model tries to minimize the programming effort toward the development of parallel applications, and a friendly programming environment, integrated in the native workbench of workstations, is provided.
引用
收藏
页码:149 / 163
相关论文
共 50 条
  • [21] Performance evaluation of a workstation cluster, TMC CM-5, and Intel Paragon/XP using a parallel homology analysis program
    Sakata, S
    Nagashima, U
    Sato, M
    Sekiguchi, S
    Hosoya, H
    PARALLEL COMPUTING, 1997, 22 (12) : 1677 - 1693
  • [22] A case study of the formal specification of a parallel system using CSP
    Kiyamura, S
    Roscoe, AW
    CORRECT MODELS OF PARALLEL COMPUTING, 1997, 49 : 68 - 86
  • [24] An Experiment Planner for Parallel Multidirectional Searches Using an Automated Chemistry Workstation
    Dixon, James M.
    Lindsey, Jonathan S.
    JALA, 2004, 9 (06): : 355 - 363
  • [25] Evaluation of parallel performance of large scale computing using workstation network
    Kyushu Inst of Technology, Fukuoka, Japan
    Comput Mech, 4 (234-241):
  • [26] Evaluation of parallel performance of large scale computing using workstation network
    Horie, T
    Kuramae, H
    COMPUTATIONAL MECHANICS, 1996, 17 (04) : 234 - 241
  • [27] Workstation Replacement Program continued
    OCLC Newsl, 232 (09):
  • [28] Architectural Verification of Control Systems Using CSP
    Jesus, Joabe
    Mota, Alexandre
    Sampaio, Augusto
    Grijo, Luiz
    FORMAL METHODS AND SOFTWARE ENGINEERING, 2011, 6991 : 323 - +
  • [29] Parallel program model for distributed systems
    Tran, VD
    Hluchy, L
    Nguyen, GT
    RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, PROCEEDINGS, 2000, 1908 : 250 - 257
  • [30] Verifying anonymity in voting systems using CSP
    Moran, Murat
    Heather, James
    Schneider, Steve
    FORMAL ASPECTS OF COMPUTING, 2014, 26 (01) : 63 - 98