Kalibera, Tomas, Hagelberg, Jeff, Maj, Petr, Pizlo, Filip, Titzer, Ben, Vitek, Jan (2011) A family of real-time Java benchmarks. Concurrency and Computation: Practice and Experience, 23 (14). pp. 182-196. (doi:10.1002/cpe.1677) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:30729)
The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. | |
Official URL: http://www.cs.kent.ac.uk/pubs/2011/3160 |
Abstract
Java is becoming a viable platform for real-time computing. There are production and research real-time Java VMs, as well as applications in both the military and civil sectors. Technological advances and increased adoption of real-time Java contrast significantly with the lack of benchmarks. Existing benchmarks are either synthetic micro-benchmarks, or proprietary, making it difficult to independently verify and repeat reported results. This paper presents the CDx benchmark, a family of open-source implementations of the same application that target different real-time virtual machines. CDx is, at its core, a real-time benchmark with a single periodic task, which implements an idealized aircraft collision detection algorithm. The benchmark can be configured to use different sets of real-time features and comes with a number of workloads. It can be run on standard Java virtual machines, on real-time and Safety Critical Java virtual machine, and a C version is provided to compare with native performance.
Item Type: | Article |
---|---|
DOI/Identification number: | 10.1002/cpe.1677 |
Uncontrolled keywords: | determinacy analysis, Craig interpolants |
Subjects: | Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
Depositing User: | Tomas Kalibera |
Date Deposited: | 21 Sep 2012 09:49 UTC |
Last Modified: | 16 Nov 2021 10:08 UTC |
Resource URI: | https://kar.kent.ac.uk/id/eprint/30729 (The current URI for this page, for reference purposes) |
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):