Výsledky vyhledávání - "Java memory model"

The Safety-Critical Java memory model formalised Autor 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…”
Získat plný text

The Java memory model is fatally flawed Autor Pugh, William

“…The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory…”
Získat plný text

Java memory model-aware model checking Autor Jin, Huafeng

“…The Java memory model (JMM) determines whether an execution of a concurrent Java program is legal…”
Získat plný text

The Java memory model Autor 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…”
Získat plný text

Impact of Java Memory Model on Out-of-Order Multiprocessors Autor 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…”
Získat plný text

Impact of Java memory model on out-of-order multiprocessors Autor 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…”
Získat plný text

Analyzing the CRF Java memory model Autor 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…”
Získat plný text

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

Získat plný text

An operational happens-before memory model Autor 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…”
Získat plný text

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

“… behaviours as the source code, even for infinite executions and under the Java memory model…”
Získat plný text

BulkCompiler: high-performance sequential consistency through cooperative compiler and hardware support Autor 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…”
Získat plný text

DecompositionJ: Parallel and Deterministic Simulation of Concurrent Java Executions in Cyber-Physical Systems Autor 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…”
Získat plný text

Learning Concurrent Programming in Scala Autor 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…”
Získat plný text

Mastering High Performance with Kotlin: Overcome Performance Difficulties in Kotlin with a Range of Exciting Techniques and Solutions Autor 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…”
Získat plný text

UMM: an operational memory model specification framework with integrated model checking capability Autor 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…”
Získat plný text

JRF-E: using model checking to give advice on eliminating memory model-related bugs Autor 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…”
Získat plný text

Specifying multithreaded Java semantics for program verification Autor 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…”
Získat plný text

A machine-checked, type-safe model of Java concurrency : language, virtual machine, memory model, and verified compiler Autor 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…”
Získat plný text

Exploiting Task Order Information for Optimizing Sequentially Consistent Java Programs Autor 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…”
Získat plný text

A compiler for multiple memory models Autor 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…”
Získat plný text