Real-time programming safety in Java and Ada

Authors:
Bo I. Sandén
Affiliations:
Colorado Technical University, Colorado Springs, CO
Venue:
ACM SIGAda Ada Letters
Year:
2003

Citing 17
Cited 0

Software systems construction with examples in Ada

Software systems construction with examples in Ada
Programming in Ada95

Programming in Ada95
Java Threads

Java Threads
Concurrency in Ada (2nd ed.)

Concurrency in Ada (2nd ed.)
A comparison of the concurrency features of Ada 95 and Java

Proceedings of the 1998 annual ACM SIGAda international conference on Ada
Java's insecure parallelism

ACM SIGPLAN Notices
Concepts of Programming Languages

Concepts of Programming Languages
Java Thread Programming

Java Thread Programming
The Elements of Java Style

The Elements of Java Style
The Real-Time Specification for Java

The Real-Time Specification for Java
Just Java 2 with CD-ROM

Just Java 2 with CD-ROM
Integrating object-oriented programming and protected objects in Ada 95

ACM SIGAda Ada Letters
The Practical Use of Ada 95's Concurrency Features

IEEE Concurrency
Coping with Java Programming Stress

Computer
The Real-Time Specification for Java

Computer
Modeling Concurrent Software

IEEE Software
Concurrent Programming in Java(TM): Design Principles and Patterns (3rd Edition) (Java (Addison-Wesley))

Concurrent Programming in Java(TM): Design Principles and Patterns (3rd Edition) (Java (Addison-Wesley))

Quantified Score

Hi-index	0.00

Visualization

Abstract

Both Java and the Real-time Specification for Java contain concurrency-related constructs that are easily abused or simply misunderstood by a programmer without sufficient knowledge of multi-threading. This article lists a number of those constructs and shows how they are avoided in Ada. Many of the mistakes arise when a programmer confuses exclusion synchronization and condition synchronization. The article opens with an explanation of those concepts.