research-article

Chip-multiprocessor hardware locks for safety-critical Java

Authors:

Tórur Biskopstø Strøm,

Wolfgang Puffitsch,

Martin SchoeberlAuthors Info & Claims

JTRES '13: Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems

Pages 38 - 46

https://doi.org/10.1145/2512989.2512995

Published: 09 October 2013 Publication History

Abstract

Accessing shared resources in multicore systems is usually protected by a software locking mechanism, which itself is implemented through atomic operations. This can result in a large synchronization overhead, which, in the context of real-time systems, increases the worst-case execution time and may void a task set's schedulability. In this paper we present a hardware locking mechanism to reduce the synchronization overhead. The solution is implemented for the chip-multiprocessor version of the Java Optimized Processor in the context of safety-critical Java. The implementation is compared to a software solution. The performance and the hardware cost are evaluated.

References

[1]

D. F. Bacon, S. J. Fink, and D. Grove. Space- and time-efficient implementation of the java object model. In B. Magnusson, editor, ECOOP 2002 - Object-Oriented Programming, 16th European Conference, Malaga, Spain, June 10--14, 2002, Proceedings, volume 2374 of Lecture Notes in Computer Science, pages 111--132. Springer, 2002.

Digital Library

[2]

D. F. Bacon, R. Konuru, C. Murthy, and M. Serrano. Thin locks: featherweight synchronization for java. In Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation, PLDI '98, pages 258--268, New York, NY, USA, 1998. ACM.

Digital Library

[3]

A. Block, H. Leontyev, B. B. Brandenburg, and J. H. Anderson. A flexible real-time locking protocol for multiprocessors. In Embedded and Real-Time Computing Systems and Applications, 2007. RTCSA 2007. 13th IEEE International Conference on, pages 47--56. IEEE, 2007.

Digital Library

[4]

G. Bollella, J. Gosling, B. Brosgol, P. Dibble, S. Furr, and M. Turnbull. The Real-Time Specification for Java. Java Series. Addison-Wesley, June 2000.

Digital Library

[5]

B. B. Brandenburg. Improved analysis and evaluation of real-time semaphore protocols for p-fp scheduling. In Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2013), 2013.

Digital Library

[6]

B. B. Brandenburg, J. M. Calandrino, A. Block, H. Leontyev, and J. H. Anderson. Real-time synchronization on multiprocessors: To block or not to block, to suspend or spin? In Real-Time and Embedded Technology and Applications Symposium, 2008. RTAS'08. IEEE, pages 342--353. IEEE, 2008.

Digital Library

[7]

A. Burns, B. Dobbing, and G. Romanski. The Ravenscar tasking profile for high integrity real-time programs. In Proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, pages 263--275. Springer-Verlag, 1998.

Digital Library

[8]

A. Burns and A. J. Wellings. Real-Time Systems and Programming Languages: ADA 95, Real-Time Java, and Real-Time POSIX. Addison-Wesley Longman Publishing Co., Inc., 3rd edition, 2001.

Digital Library

[9]

P. Gai, M. Di Natale, G. Lipari, A. Ferrari, C. Gabellini, and P. Marceca. A comparison of mpcp and msrp when sharing resources in the janus multiple-processor on a chip platform. In Real-Time and Embedded Technology and Applications Symposium, 2003. Proceedings. The 9th IEEE, pages 189--198. IEEE, 2003.

Digital Library

[10]

T. Henties, J. J. Hunt, D. Locke, K. Nilsen, M. Schoeberl, and J. Vitek. Java for safety-critical applications. In 2nd International Workshop on the Certification of Safety-Critical Software Controlled Systems (SafeCert 2009), York, United Kingdom, Mar. 2009.

[11]

M. H. Klein, T. Ralya, B. Pollak, and R. Obenza. A Practitioner's Handbook for Real-Time Analysis: Guide to Rate Monotonic Analysis for Real-Time Systems. Kluwer Academic Publ., Boston, MA, USA, 1993.

Digital Library

[12]

B. W. Lampson and D. D. Redell. Experience with processes and monitors in Mesa. Commun. ACM, 23(2): 105--117, Feb. 1980.

Digital Library

[13]

D. Locke, B. S. Andersen, B. Brosgol, M. Fulton, T. Henties, J. J. Hunt, J. O. Nielsen, K. Nilsen, M. Schoeberl, J. Tokar, J. Vitek, and A. Wellings. Safety-critical Java technology specification, public draft, 2011.

[14]

C. Pitter and M. Schoeberl. A real-time Java chip-multiprocessor. ACM Trans. Embed. Comput. Syst., 10(1): 9: 1--34, 2010.

Digital Library

[15]

W. Puffitsch. Design and analysis of a hard real-time garbage collector for a Java chip multi-processor. Concurrency and Computation: Practice and Experience, 2012. Published on-line, to appear in print.

[16]

A. P. Ravn and M. Schoeberl. Safety-critical Java with cyclic executives on chip-multiprocessors. Concurrency and Computation: Practice and Experience, 24: 772--788, 2012.

Digital Library

[17]

M. Schoeberl. SimpCon - a simple and efficient SoC interconnect. In Proceedings of the 15th Austrian Workhop on Microelectronics, Austrochip 2007, Graz, Austria, October 2007.

[18]

M. Schoeberl. A Java processor architecture for embedded real-time systems. Journal of Systems Architecture, 54/1--2: 265--286, 2008.

Digital Library

[19]

M. Schoeberl. Is time predictability quantifiable? In International Conference on Embedded Computer Systems (SAMOS 2012), Samos, Greece, July 2012. IEEE.

[20]

M. Schoeberl, S. Korsholm, T. Kalibera, and A. P. Ravn. A hardware abstraction layer in Java. ACM Trans. Embed. Comput. Syst., 10(4): 42:1--42:40, November 2011.

Digital Library

[21]

M. Schoeberl, W. Puffitsch, R. U. Pedersen, and B. Huber. Worst-case execution time analysis for a Java processor. Software: Practice and Experience, 40/6: 507--542, 2010.

Digital Library

[22]

M. Schoeberl and J. R. Rios. Safety-critical Java on a Java processor. In Proceedings of the 10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012), pages 54--61, Copenhagen, DK, October 2012. ACM.

Digital Library

[23]

M. Schoeberl, P. Schleuniger, W. Puffitsch, F. Brandner, C. W. Probst, S. Karlsson, and T. Thorn. Towards a time-predictable dual-issue microprocessor: The Patmos approach. In First Workshop on Bringing Theory to Practice: Predictability and Performance in Embedded Systems (PPES 2011), pages 11--20, Grenoble, France, March 2011.

[24]

L. Sha, R. Rajkumar, and J. P. Lehoczky. Priority inheritance protocols: An approach to real-time synchronization. IEEE Trans. Comput., 39(9): 1175--1185, 1990.

Digital Library

[25]

T. B. Strøm and M. Schoeberl. A desktop 3d printer in safety-critical Java. In Proceedings of the 10th International Workshop on Java Technologies for Real-Time and Embedded Systems (JTRES 2012), pages 72--79, Copenhagen, DK, October 2012. ACM.

Digital Library

[26]

A. J. Wellings, S. Lin, and A. Burns. Resource sharing in RTSJ and SCJ systems. In Proceedings of the 9th International Workshop on Java Technologies for Real-Time and Embedded Systems, JTRES '11, pages 11--19, New York, NY, USA, 2011. ACM.

Digital Library

Cited By

Schoeberl MDalsgaard AHansen RKorsholm SRavn ARios Rivas JStrøm TSøndergaard HWellings AZhao S(2016)Safety‐critical Java for embedded systemsConcurrency and Computation: Practice and Experience10.1002/cpe.396329:22Online publication date: 14-Dec-2016
https://doi.org/10.1002/cpe.3963
Strøm TPuffitsch WSchoeberl M(2016)Hardware locks for a real‐time Java chip multiprocessorConcurrency and Computation: Practice and Experience10.1002/cpe.395029:6Online publication date: 12-Oct-2016
https://doi.org/10.1002/cpe.3950
Strøm TSchoeberl MZiarek L(2015)Multiprocessor Priority Ceiling Emulation for Safety-Critical JavaProceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2822304.2822308(1-10)Online publication date: 7-Oct-2015
https://dl.acm.org/doi/10.1145/2822304.2822308
Show More Cited By

Index Terms

Chip-multiprocessor hardware locks for safety-critical Java
1. Computer systems organization
  1. Embedded and cyber-physical systems
    1. Embedded systems
2. Software and its engineering
  1. Software organization and properties
    1. Software system structures
      1. Embedded software
      2. Real-time systems software

Recommendations

Safety-Critical Java on a Time-Predictable Processor
JTRES '15: Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems

For real-time systems the whole execution stack needs to be time-predictable and analyzable for the worst-case execution time (WCET). This paper presents a time-predictable platform for safety-critical Java. The platform consists of (1) the Patmos ...
Scalable reader-writer locks
SPAA '09: Proceedings of the twenty-first annual symposium on Parallelism in algorithms and architectures

We present three new reader-writer lock algorithms that scale under high read-only contention. Many previous reader-writer locks suffer significant degradation when many readers attempt to acquire the lock concurrently, even though they are all allowed ...
Multiprocessor Priority Ceiling Emulation for Safety-Critical Java
JTRES '15: Proceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems

Priority ceiling emulation has preferable properties on uniprocessor systems, such as avoiding priority inversion and being deadlock free. This has made it a popular locking protocol. According to the safety-critical Java specification, priority ceiling ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Other conferences

JTRES '13: Proceedings of the 11th International Workshop on Java Technologies for Real-time and Embedded Systems

October 2013

122 pages

ISBN:9781450321662

DOI:10.1145/2512989

Conference Chair:
Fridtjof Siebert
aicas
,
Program Chair:
Kelvin Nilsen
Atego Systems

Copyright © 2013 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

Atego: Atego
aicas GmbH

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 October 2013

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Danish Research Council for Technology and Production Sciences

Conference

JTRES '13

Sponsor:

Atego

JTRES '13: The 11th International Workshop on Java Technologies for Real-time and Embedded Systems

October 9 - 10, 2013

Karlsruhe, Germany

Acceptance Rates

JTRES '13 Paper Acceptance Rate 12 of 16 submissions, 75%;

Overall Acceptance Rate 50 of 70 submissions, 71%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

5
Total Citations
View Citations
77
Total Downloads

Downloads (Last 12 months)2
Downloads (Last 6 weeks)0

Reflects downloads up to 14 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Schoeberl MDalsgaard AHansen RKorsholm SRavn ARios Rivas JStrøm TSøndergaard HWellings AZhao S(2016)Safety‐critical Java for embedded systemsConcurrency and Computation: Practice and Experience10.1002/cpe.396329:22Online publication date: 14-Dec-2016
https://doi.org/10.1002/cpe.3963
Strøm TPuffitsch WSchoeberl M(2016)Hardware locks for a real‐time Java chip multiprocessorConcurrency and Computation: Practice and Experience10.1002/cpe.395029:6Online publication date: 12-Oct-2016
https://doi.org/10.1002/cpe.3950
Strøm TSchoeberl MZiarek L(2015)Multiprocessor Priority Ceiling Emulation for Safety-Critical JavaProceedings of the 13th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2822304.2822308(1-10)Online publication date: 7-Oct-2015
https://dl.acm.org/doi/10.1145/2822304.2822308
Strøm TSchoeberl M(2015)Hardware Locks with Priority Ceiling Emulation for a Java Chip-MultiprocessorProceedings of the 2015 IEEE 18th International Symposium on Real-Time Distributed Computing10.1109/ISORC.2015.33(268-271)Online publication date: 13-Apr-2015
https://dl.acm.org/doi/10.1109/ISORC.2015.33
Schoeberl MDalsgaard AHansen RKorsholm SRavn ARivas JStrøm TSøndergaard HPuffitsch W(2014)Certifiable Java for Embedded SystemsProceedings of the 12th International Workshop on Java Technologies for Real-time and Embedded Systems10.1145/2661020.2661025(10-19)Online publication date: 13-Oct-2014
https://dl.acm.org/doi/10.1145/2661020.2661025

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents