It was pointed out that the current contextual keyword syntax is ambiguous. One alternate syntax is

atomic do { ... }

But this needs more email reflector discussion.

Otherwise EWG generally agreed with our direction:

---------- Forwarded message ---------
From: JF Bastien <cxx@jfbastien.com>
Date: Wed, Aug 5, 2020 at 9:43 AM
Subject: Re: Virtual EWG meeting on transactional memory light TS, Wednesday August 5th @8AM Pacific
To: Evolution Working Group mailing list <ext@lists.isocpp.org>
Cc: Jens Maurer <Jens.Maurer@gmx.net>, Michael Spear <spear@lehigh.edu>, Michael Wong <fraggamuffin@gmail.com>, Hans Boehm <boehm@acm.org>, SG1 concurrency and parallelism <parallel@lists.isocpp.org>


Hi EWG,

We met this morning to discuss TM TS v2.

Minutes: https://wiki.edg.com/bin/view/Wg21summer2020/EWG-P1875R0-5-Aug-2020

Polls:

Use a/many (potentially contextual) keyword to denote atomic blocks, rather than making it a library feature. For example atomic do { ... }.

SFFNASA
58100

The proposed approach to TM generally seems acceptable, and would fit in a TM TS v2.

SFFNASA
312100

We'll see it again after discussing the particular keyword approach. LEWG should also see it to discuss library support guarantees, if any.


On Fri, Jul 31, 2020 at 9:01 AM JF Bastien <cxx@jfbastien.com> wrote:
Hello atomic { EWG(); }

Next week, August 5th at 8AM Pacific (3PM GMT), we'll have an EWG telecon on the transactional memory light TS:
Let's discuss it on the reflector first. I expect to hear questions on implementations, as well as use of contextual keyword versus other approaches.

Here's the call-in information:

Zoom Meeting ID 735059607 
Zoom Meeting Password template 
Zoom Meeting Room https://iso.zoom.us/j/735059607?pwd=d2tzRkZrTGY1c241R2prOVIrVnNXdz09
Zoom Meeting Automatic Phone-In US: +16699006833,,735059607# or +14086380968,,735059607# 
Zoom Meeting Phone Number US: +1 669 900 6833 
International numbers available https://iso.zoom.us/u/acPWjSNM0