Introducing concurrency in sequential Java']Java via laws

被引:3
|
作者
Duarte, Rafael [1 ]
Mota, Alexandre [1 ]
Sampaio, Augusto [1 ]
机构
[1] Univ Fed Pernambuco, Ctr Informat, Recife, PE, Brazil
关键词
Formal methods; Concurrency; Parallel processing; Performance evaluation; Program correctness; PARALLELIZATION;
D O I
10.1016/j.ipl.2010.11.004
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Nowadays multi-core processors can be found everywhere. It is well known that one way of improving performance is by parallelization. In this paper we propose a parallelization strategy for Java using algebraic laws. We perform an experiment with two benchmarks and show that our strategy produces a gain similar to a specialized parallel version provided by the Java Grande Benchmark (JGB). (C) 2010 Elsevier B.V. All rights reserved.
引用
收藏
页码:129 / 134
页数:6
相关论文
共 50 条
  • [21] On implementing high level concurrency in Java']Java
    Itzstein, GS
    Jasiunas, M
    ADVANCES IN COMPUTER SYSTEMS ARCHITECTURE, 2003, 2823 : 151 - 165
  • [22] Concurrency control with Java']Java and relational databases
    Soares, S
    Borba, P
    26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2002, : 843 - 849
  • [23] Modelling Java']Java Concurrency: An Approach and a UPPAAL Library
    Cicirelli, Franco
    Furfaro, Angelo
    Nigro, Libero
    Pupo, Francesco
    2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2013, : 1373 - 1380
  • [24] Process oriented design for Java']Java: Concurrency for all
    Welch, P
    COMPUTATIONAL SCIENCE-ICCS 2002, PT II, PROCEEDINGS, 2002, 2330 : 687 - 687
  • [25] The expression of common concurrency patterns in join Java']Java
    Itzstein, GS
    Kearney, D
    PDPTA '04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS 1-3, 2004, : 1021 - 1027
  • [26] Java']Java annotated concurrency based on the concurrent package
    Zhu, Hong
    Yin, Zhaolin
    Ding, Ying
    SEVENTH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PROCEEDINGS, 2006, : 38 - +
  • [27] Test-First Java']Java Concurrency for the Classroom
    Ricken, Mathias
    Cartwright, Robert
    SIGCSE 10: PROCEEDINGS OF THE 41ST ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2010, : 219 - 223
  • [28] Modelling Java']Java concurrency with object-Z
    Duke, R
    Wildman, L
    Long, B
    FIRST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2003, : 173 - 181
  • [29] Process oriented design for Java']Java: Concurrency for all
    Welch, PH
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-V, 2000, : 51 - 57
  • [30] Java']Java4P: Java']Java with high-level concurrency constructs
    Nugroho, LE
    Sajeev, ASM
    FOURTH INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS, AND NETWORKS (I-SPAN'99), PROCEEDINGS, 1999, : 328 - 333