# A Concurrent Model for Imperative Languages with Improved Atomicity

## TL;DR

This paper introduces a new concurrent programming model with block sequential statements that execute code blocks atomically, improving atomicity and predictability in imperative languages, exemplified by an extension of concurrent C.

## Contribution

It presents a novel concurrent model featuring block sequential statements for atomic execution, enhancing control and predictability in imperative languages.

## Key findings

- Introduces block sequential statement for atomic execution.
- Extends concurrent C with new atomicity features.
- Improves atomicity and predictability in concurrent programming.

## Abstract

We propose a new concurrent model for imperative languages where concurrency occurs at a subprogram level. This model introduces a new {\it block sequential} statement of the form $#(G_1,\ldots,G_n)$ where each $G_i$ is a statement. This statement tells the machine to execute $G_1,\ldots,G_n$ sequentially and atomically (\ie, without interleaving). It therefore enhances atomicity and predictability in concurrent programming. We illustrate our idea via $C^{\|}$, an extension of the core concurrent C with the new block sequential statement.