Garbage collection for safety critical Java

Schoeberl, Martin; Vítek, Jan

doi:10.1145/1288940.1288953

Cited by 17 publications

(18 citation statements)

References 25 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The implemented collector on JOP is an incremental collector [29,36] based on the copy collector by Cheney [13] and the incremental version by Baker [8]. To avoid the expensive read barrier in Baker's collector all object copies are performed concurrently by the collector.…”

Section: Methodsmentioning

confidence: 99%

See 1 more Smart Citation

Scheduling of hard real-time garbage collection

Schoeberl

2010

Real-Time Syst

Self Cite

View full text Add to dashboard Cite

Automatic memory management or garbage collection greatly simplifies development of large systems. However, garbage collection is usually not used in real-time systems due to the unpredictable temporal behavior of current implementations of a garbage collector. In this paper we propose a real-time garbage collector that can be scheduled like a normal real-time thread with a deadline monotonic assigned priority. We provide an upper bound for the collector period so that the application threads will never run out of memory. Furthermore, we show that the restricted execution model of the Safety Critical Java standard simplifies root scanning and reduces copying of static data. Our proposal has been implemented and evaluated in the context of the Java processor JOP.

show abstract

Section: Methodsmentioning

confidence: 99%

“…It is also essential to minimize the overhead introduced by readand write-barriers, which are necessary for synchronization between the GC thread and the application threads. The design of a GC within these constraints is described in [36,33] and summarized in Section 4.…”

Section: Introductionmentioning

confidence: 99%

Scheduling of hard real-time garbage collection

Schoeberl

2010

Real-Time Syst

Self Cite

View full text Add to dashboard Cite

show abstract

“…Work has been done to develop garbage collectors suitable for hard-real time systems and while it can be proved that a GC task can be scheduled on hardreal time systems given that allocation rates of the mutator task are known (see e.g., [119]), safety-critical systems will need a certified GC, i.e., a GC that can be proved in a formal way to be correct. Efforts towards a certified GC [55,84,86,129] have focused on correctly specifying the collector-mutator interface in order to avoid implementers either on the collector or mutator side to violate intended invariants [83].…”

Section: Certifiable Garbage Collectormentioning

confidence: 99%

Safety‐critical Java for embedded systems

Schoeberl

Dalsgaard

Hansen

et al. 2016

Concurrency and Computation

Self Cite

View full text Add to dashboard Cite

Phone +45 4525 3351 compute@compute.dtu.dk www.compute.dtu.dk IMM-PhD-2014-340 Summary (English) Safety-critical systems are real-time systems whose failure can have severe or catastrophic consequences, possibly endangering human life. Many safety-critical systems incorporate embedded computers used to control different tasks. Software running on safety-critical systems needs to be certified before its deployment and the most time-consuming step of this process is the testing and verification phase. Due to the increasing complexity in safety-critical systems there is a need for new technologies that can facilitate testing and verification activities.The safety-critical specification for Java aims at providing a reduced set of the Java programming language that can be used for systems that need to be certified at the highest levels of criticality. Safety-critical Java (SCJ) restricts how a developer can structure an application by providing a specific programming model and by restricting the set of methods and libraries that can be used. Furthermore, its memory model do not use a garbage-collected heap but scoped memories.In this thesis we examine the use of the SCJ specification through an implementation in a time-predictable, FPGA-based Java processor. The specification is now in a mature state and with our implementation we have proved its feasibility in an embedded platform. Moreover, we have explored how simple hardware extensions can reduce the execution time of time-critical operations required by the SCJ specification.The scoped memory model used in SCJ is perhaps one of its most difficult features to use correctly. Therefore, in this work we have also studied practical aspects of its usage by developing scoped memory use patterns and reusable libraries aiming at facilitating the development of complex software systems.ii Summary (Danish)Sikkerhedskritiske systemer er realtidssystemer. Hvis sådanne systemer fejler, kan det have alvorlige eller katastrofale konsekvenser, muligvis livsfarlige konsekvenser. Mange sikkerhedskritiske systemer inkorporerer embeddede computere, som bruges til at kontrollere forskellige opgaver. Software, som kører på sikkerhedskritiske systemer, skal certificeres, før softwaren udrulles, og det mest tidskraevende skridt i denne proces er test-og verifikationsfasen. På grund af den stigende kompleksitet i sikkerhedskritiske systemer er der behov for nye teknologier til at facilitere test-og verifikationsaktiviteter.Den sikkerhedskritiske specifikation for Java har til formål at levere en reduceret udgave af Java-programmeringssproget, som kan bruges til systemer, der skal kunne certificeres på de højeste kritikalitetsniveauer. Safety Critical Java (SCJ) begraenser, hvordan en udvikler kan strukturere en applikation, ved at levere en specifik programmeringsmodel og ved at begraense de metoder og biblioteker, som kan anvendes. Derudover benytter hukommelsesmodellen i SCJ ikke en heap, der er garbage-collected, men afgraensede hukommelser.I denne afhandling undersøger vi brugen a...

show abstract

“…The key issue of time-based real-time GC is how much time should be given to the collector. Schoeberl and Vitek [54] presented the algorithm to compute the GC quota and interval in their study. Cho et al [55] used Yu Sun and Wei Zhang statistical tools to guarantee the algorithm's effectiveness and superiority.…”

Section: B Time-predictable Garbage Collectionmentioning

confidence: 99%

Overview of Real-Time Java Computing

Sun¹,

Zhang²

2013

Journal of Computing Science and Engineering

View full text Add to dashboard Cite

This paper presents a complete survey of recent techniques that are applied in the field of real-time Java computing. It focuses on the issues that are especially important for hard real-time applications, which include time predictable garbage collection, worst-case execution time analysis of Java programs, real-time Java threads scheduling and compiler techniques designed for real-time purpose. It also evaluates experimental frameworks that can be used for researching real-time Java. This overview is expected to help researchers understand the state-of-the-art and advance the research in real-time Java computing.

show abstract

Garbage collection for safety critical Java

Cited by 17 publications

References 25 publications

Scheduling of hard real-time garbage collection

Scheduling of hard real-time garbage collection

Safety‐critical Java for embedded systems

Overview of Real-Time Java Computing

Contact Info

Product

Resources

About