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
来源：
INFORMATION PROCESSING LETTERS | 2011年 / 111卷 / 03期
关键词：
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 条
  • [1] Introducing concurrency in sequential Java via laws
    Centro de Informática, Universidade Federal de Pernambuco, Caixa Postal 7851, Recife, PE, Brazil
    Inf. Process. Lett., 3 (129-134):
  • [2] Refactoring Sequential Java']Java Code for Concurrency via Concurrent Libraries
    Dig, Danny
    Marrero, John
    Ernst, Michael D.
    2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 397 - 407
  • [3] Concurrencer: a Tool for Retrofitting Concurrency into Sequential Java']Java Applications via Concurrent Libraries
    Dig, Danny
    Marrero, John
    Ernst, Michael D.
    2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME, 2009, : 399 - 400
  • [4] Refactoring sequential java code for concurrency via concurrent libraries
    Massachusetts Institute of Technology, Computer Science and Artificial Intelligence Laboratory, United States
    Proc Int Conf Software Eng, (397-407):
  • [5] Flow Java']Java: Declarative concurrency for Java']Java
    Drejhammar, F
    Schulte, C
    Brand, P
    Haridi, S
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 346 - 360
  • [6] Concurrency analysis for Java']Java
    Ungureanu, C
    Jagannathan, S
    STATIC ANALYSIS, 2000, 1824 : 413 - 432
  • [7] Declarative concurrency in Java']Java
    Ramirez, R
    Santosa, AE
    PARALLEL AND DISTRIBUTED PROCESSING, PROCEEDINGS, 2000, 1800 : 332 - 339
  • [8] JAC:: declarative Java']Java concurrency
    Haustein, M
    Löhr, KP
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2006, 18 (05): : 519 - 546
  • [9] Implementing declarative concurrency in Java']Java
    Ramirez, R
    Santosa, AE
    Hong, LW
    EURO-PAR 2000 PARALLEL PROCESSING, PROCEEDINGS, 2000, 1900 : 700 - 708
  • [10] Advanced concurrency control in Java']Java
    Felber, P
    Reiter, MK
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2002, 14 (04): : 261 - 285
12345