A family of real-time Java benchmarks

Kalibera, Tomas and Hagelberg, Jeff and Maj, Petr and Pizlo, Filip and Titzer, Ben and Vitek, Jan (2011) A family of real-time Java benchmarks. Concurrency and Computation: Practice and Experience, 23 (14). pp. 182-196. (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)

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. (Contact us about this Publication)
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
Uncontrolled keywords: determinacy analysis, Craig interpolants
Subjects: Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions: Faculties > Science Technology and Medical Studies > School of Computing > Programming Languages and Systems Group
Depositing User: T. Kalibera
Date Deposited: 21 Sep 2012 09:49
Last Modified: 21 Sep 2012 09:49
Resource URI: https://kar.kent.ac.uk/id/eprint/30729 (The current URI for this page, for reference purposes)
  • Depositors only (login required):