首页 | 本学科首页   官方微博 | 高级检索  
     


Introducing concurrency in sequential Java via laws
Authors:Rafael Duarte  Augusto Sampaio
Affiliation:Centro de Informática, Universidade Federal de Pernambuco, Caixa Postal 7851, Recife, PE, Brazil
Abstract:
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).
Keywords:Formal methods   Concurrency   Parallel processing   Performance evaluation   Program correctness
本文献已被 ScienceDirect 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号