Search Results - Java memory model

The Safety-Critical Java memory model formalised by Cavalcanti, Ana, Wellings, Andy, Woodcock, Jim

“… What we provide here is, as far as we know, the first formalisation of the SCJ model of memory regions…”
Get full text

The Java memory model is fatally flawed by Pugh, William

“…The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory…”
Get full text

A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler by Lochbihler, Andreas

“… They distinguish it from other mainstream programming languages like C and C++. In this work, we develop a machine-checked model of concurrent Java and the Java memory model and investigate the impact of concurrency on these guarantees…”
Get full text

Java memory model-aware model checking by Jin, Huafeng

“…The Java memory model (JMM) determines whether an execution of a concurrent Java program is legal…”
Get full text

The Java memory model by Manson, Jeremy

“… Java's original threading specification, its memory model, was fundamentally flawed. Some language features, like volatile fields, were under-specified…”
Get full text

Impact of Java Memory Model on Out-of-Order Multiprocessors by Mitra, Tulika, Roychoudhury, Abhik, Shen, Qinghua

“… This is called the Java Memory Model (JMM) and describes the allowed reorderings among the memory operations in a thread…”
Get full text

Impact of Java memory model on out-of-order multiprocessors by Mitra, T., Abhik Roychoudhury, Shen, Q.

“… This is called the Java memory model (JMM) and describes the allowed reorderings among the memory operations in a thread…”
Get full text

Analyzing the CRF Java memory model by Yang, Y., Gopalakrishnan, G., Lindstrom, G.

“…The current Java memory model is flawed and has many unintended implications. As multithreaded programming becomes increasingly popular in Java and hardware…”
Get full text

Repairing and Mechanising the JavaScript Relaxed Memory Model by Watt, Conrad, Pulte, Christopher, Podkopaev, Anton, Barbier, Guillaume, Dolan, Stephen, Shaked Flur, Pichon-Pharabod, Jean, Shu-yu, Guo

“… SharedArrayBuffers are simple linear buffers of bytes, and the JavaScript specification defines an axiomatic relaxed memory model to describe their behaviour…”
Get full text

An operational happens-before memory model by ZHANG, Yang, FENG, Xinyu

“…Happens-before memory model （HMM） is used as the basis of Java memory model （JMM）. Although HMM itself is simple, some complex axioms have to be…”
Get full text

Mechanising a Type-Safe Model of Multithreaded Java with a Verified Compiler by Lochbihler, Andreas

“… behaviours as the source code, even for infinite executions and under the Java memory model…”
Get full text

LLM-Based Java Concurrent Program to ArkTS Converter by Liu, Runlin, Lin, Yuhang, Hu, Yunge, Zhang, Zhe, Gao, Xiang

“…, Java, which is known to be very challenging, especially for concurrency programs. Java utilizes shared memory to implement concurrency programs, while ArkTS relies on message passing (i.e., Actor model…”
Get full text

A formalization of Java’s concurrent access modes by Bender, John, Palsberg, Jens

“…Java's memory model was recently updated and expanded with new access modes. The accompanying documentation for these access modes is intended to make strong…”
Get full text

Object representation model for a cache memory in a real-time Java environment by Higuera-Toledano, M. Teresa

“…; in this way, each cache memory line supports a block. This memory model avoids external fragmentation, while minimizing internal fragmentation…”
Get full text

Flood Disaster Prediction Model Using Long Short-Term Memory (LSTM) in Pekalongan, Central Java by Asrofi, Muhammad, Septyandy, Muhammad Rizqy, Indra, Tito Latif

“…Pekalongan is located in the northern part of Java Island, directly adjacent to the sea in the north…”
Get full text

Model checking a cache coherence protocol of a Java DSM implementation by Pang, Jun, Fokkink, Wan, Hofman, Rutger, Veldema, Ronald

Get full text

Model for the extension of the processing and memory capabilities of Java Card smartcards by Susana María Ramírez Brey, Adonis César Legón Campo, Yusnier Valle Martínez

“… In this work, is presented a smartcard application development model with Java Card technology that allows to extend memory and processing capabilities, making use of the computer's hardware resources…”
Get full text

A volatile-by-default JVM for server applications by Liu, Lun, Millstein, Todd, Musuvathi, Madanlal

“… Choosing a memory model involves an inherent performance-programmability tradeoff. The Java language has adopted a *relaxed* (or *weak…”
Get full text

Region-Based RTSJ Memory Management: State of the art by Hamza, H., Counsell, S.

“… The Real-Time Specification for Java (RTSJ) introduces a scoped memory model to avoid garbage collection delays in critical real-time applications which need to meet hard real-time constraints…”
Get full text

DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems by Shum, Chong, Lau, Wing-Hong, Mao, Tian, Chung, Henry Shu-Hung, Tse, Norman Chung-Fai, Tsang, Kim-Fung, Lai, Loi Lei

“… This paper first presents a novel simulation model based on the Java memory model. The model axiomatically defines action ordering, relationships, and constraints to ensure the well-formedness and determinism of a simulated execution…”
Get full text