Search Results - "java memory model"

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

“…Safety-Critical Java (SCJ) is a version of Java for real-time programming, restricted to facilitate certification of implementations of safety-critical…”
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

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

“…After many years, support for multithreading has been integrated into mainstream programming languages. Inclusion of this feature brings with it a need for a…”
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

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

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

Mastering High Performance with Kotlin: Overcome Performance Difficulties in Kotlin with a Range of Exciting Techniques and Solutions by Kucherenko, Igor

“…A balance between implementing complex applications and optimizing performance is a present-day need. This book helps you achieve this balance while developing…”
Get full text

BulkCompiler: high-performance sequential consistency through cooperative compiler and hardware support by Ahn, W., Qi, S., Nicolaides, M., Torrellas, J., Lee, J.-W., Fang, X., Midkiff, S., Wong, David

“…A platform that supported Sequential Consistency (SC) for all codes --- not only the well-synchronized ones --- would simplify the task of programmers…”
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

Learning Concurrent Programming in Scala by Prokopec, Aleksandar

“…This book is a must-have tutorial for software developers aiming to write concurrent programs in Scala, or broaden their existing knowledge of concurrency.This…”
Get full text

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

“…Given the complicated nature of modern shared memory systems, it is vital to have a systematic approach to specifying and analyzing memory consistency…”
Get full text

JRF-E: using model checking to give advice on eliminating memory model-related bugs by Kim, Kyung Hee, Yavuz-Kahveci, Tuba, Sanders, Beverly A.

“…), a model checker for Java bytecode. JRF precisely detects data races as defined by the Java memory model and can thus be used to verify sequential consistency…”
Get full text

Specifying multithreaded Java semantics for program verification by Roychoudhury, Abhik, Mitra, Tulika

“…) supports a weaker model of execution, called the Java Memory Model (JMM). The JMM allows certain reordering of operations within a thread and thus permits more behaviors than the interleaving based execution model…”
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

Exploiting Task Order Information for Optimizing Sequentially Consistent Java Programs by Angerer, C. M., Gross, T. R.

“… that gives the compiler more optimization opportunities. As it is today, however, the relaxed Java Memory Model is not only hard to understand but it unnecessarily…”
Get full text

A compiler for multiple memory models by Midkiff, S. P., Lee, J., Padua, D. A.

“… a voyage into uncharted territory. A concrete example of the difficulties of the task is the current Java Memory Model…”
Get full text