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

“… model.Furthermore, implementing Java on a shared‐memory multiprocessor that implements a weakmemory model poses some implementation challenges not previously considered. Copyright © 2000 John Wiley & Sons, Ltd…”
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

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

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

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

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

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

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

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

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 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

UMM: an operational memory model specification framework with integrated model checking capability by Yang, Yue, Gopalakrishnan, Ganesh, Lindstrom, Gary

“… In this paper, we present the UMM specification framework, which integrates two key features to support memory model verification…”
Get full text

Precise Data Race Detection in a Relaxed Memory Model Using Heuristic-Based Model Checking by KyungHee Kim, Yavuz-Kahveci, T., Sanders, B.A.

“… We describe an extension to the model checker Java PathFinder that incorporates knowledge of the Java Memory Model to precisely detect data races in Java byte code…”
Get full text