Suchergebnisse - java memory model~

The Safety-Critical Java memory model formalised von 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 …”
Volltext

The Java memory model is fatally flawed von Pugh, William

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

A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler von 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 …”
Volltext

Java memory model-aware model checking von Jin, Huafeng

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

The Java memory model von Manson, Jeremy

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

Impact of Java Memory Model on Out-of-Order Multiprocessors von 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 …”
Volltext

Impact of Java memory model on out-of-order multiprocessors von 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 …”
Volltext

Analyzing the CRF Java memory model von 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 …”
Volltext

Repairing and Mechanising the JavaScript Relaxed Memory Model von 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 …”
Volltext

An operational happens-before memory model von 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 …”
Volltext

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

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

LLM-Based Java Concurrent Program to ArkTS Converter von 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 …”
Volltext

A formalization of Java’s concurrent access modes von 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 …”
Volltext

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

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

Flood Disaster Prediction Model Using Long Short-Term Memory (LSTM) in Pekalongan, Central Java von 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 …”
Volltext

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

Volltext

Model for the extension of the processing and memory capabilities of Java Card smartcards von 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 …”
Volltext

A volatile-by-default JVM for server applications von 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 …”
Volltext

Region-Based RTSJ Memory Management: State of the art von 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 …”
Volltext

DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems von 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 …”
Volltext