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 等数据库收录! |