Abstract:Despite decades of research, we do not have a satisfactory concurrency semantics for any general-purpose programming language that aims to support concurrent systems code. The Java Memory Model has been shown to be unsound with respect to standard compiler optimisations, while the C/C++11 model is too weak, admitting undesirable thin-air executions.Our goal in this paper is to articulate this major open problem as clearly as is currently possible, showing how it arises from the combination of multiprocessor relaxed-memory behaviour and the desire to accommodate current compiler optimisations. We make several novel contributions that each shed some light on the problem, constraining the possible solutions and identifying new difficulties.First we give a positive result, proving in HOL4 that the existing axiomatic model for C/C++11 guarantees sequentially consistent semantics for simple race-free programs that do not use low-level atomics (DRF-SC, one of the core design goals). We then describe the thin-air problem and show that it cannot be solved, without restricting current compiler optimisations, using any per-candidate-execution condition in the style of the C/C++11 model. Thin-air executions were thought to be confined to programs using relaxed atomics, but we further show that they recur when one attempts to integrate the concurrency model with more of C, mixing atomic and nonatomic accesses, and that also breaks the DRF-SC result. We then describe a semantics based on an explicit operational construction of out-of-order execution, giving the desired behaviour for thin-air examples but exposing further difficulties with accommodating existing compiler optimisations. Finally, we show that there are major difficulties integrating concurrency semantics with the C/C++ notion of undefined behaviour.We hope thereby to stimulate and enable research on this key issue.

Concurrency Model of BDI Programming Frameworks: Why Should We Control It?

On the external concurrency of current BDI frameworks for MAS

BDCI: Behavioral Driven Conflict Identification

DGCC: A New Dependency Graph based Concurrency Control Protocol for Multicore Database Systems.

Concurrency control in database systems

Concurrency control scheme for CSCW(computer supported cooperative work)

Flexible Concurrency Control for Synchronized Collaborative Design

A Fine Granular Concurrency Control Mechanism for a Peer-to-Peer Cooperative Design Environment

Modularizing and Specifying Protocols among Threads

Handling Concurrency in Behavior Trees

A Survey on Exposing,Detecting and Avoiding Concurrency Bugs

Oodopt: A Semantics-Based Concurrency Control Framework for Fully-Replicated Architecture

Conversational Concurrency

Replicated Concurrency Control for Collaborative Feature Modelling: A Fine Granular Approach

Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence

The Nature of Concurrency

Actors vs Shared Memory: two models at work on Big Data application frameworks

A Categorical Approach to DIBI Models

Modeling and Control of bittide Synchronization

The Problem of Programming Language Concurrency Semantics

Concurrency In A Distributed Collaborative Cad/Cae Enviromnent