Play all

Intro

Observation: Java abstractions are so worth it

Thesis: confinement enables abstraction

On abstraction and logic

digression on Raymond Smullyan

Abstraction in computing - An abstraction is a part of a program which is worth looking at by itselt

Causes vs. confinement

A moral of this story: Uncertainty is expensive

What about benign races?

Sequential Consistency isn't even the main issue

Inscrutability vs. Lines of Code

Java safety checking is never finished

Reasons to watch for racers

Design pattern: Immutable objects

JVM support: Frozen arrays

Design pattern: Stable variables

Design pattern sketch: Monotonic variables

Design pattern sketch: Race-resistant class

Design pattern sketch: Thread-confined class

Making the best of the Object header

Project Valhalla interactions with confinement

Project Panama uses of confinement

Project Metropolis uses of confinement

Confinement! Confinement!

Description:

Explore a comprehensive conference talk on confinement in the JVM, presented by John Rose. Delve into the world of Java abstractions, confinement, and their role in enabling effective programming. Examine the historical context of logic and its application in computing. Discover key design patterns, including immutable objects, frozen arrays, and stable variables. Gain insights into JVM support for these patterns and learn about race conditions and their impact on program safety. Investigate the relationships between confinement and ongoing Java projects such as Valhalla, Panama, and Metropolis. Enhance your understanding of Java programming concepts and their practical applications in modern software development.

Confinement in the JVM - Abstractions, Design Patterns, and Project Updates

Java

Add to list

#Programming #Programming Languages #Java #Computer Science #Concurrency #Race Conditions #Software Engineering #Design Patterns #Project Valhalla