New issue from Dietmar: Affine on semantics

Author: dietmarkuehl

xml/issue4330.xml

@@ -0,0 +1,36 @@
+<?xml version='1.0' encoding='utf-8' standalone='no'?>
+<!DOCTYPE issue SYSTEM "lwg-issue.dtd">
+
+<issue num="4330" status="New">
+<title><code>affine_on</code> semantics</title>
+<section><sref ref="[exec.affine.on]"/></section>
+<submitter>Dietmar Kühl</submitter>
+<date>31 Aug 2025</date>
+<priority>99</priority>
+
+<discussion>
+<p>
+The specification of <code>affine_on</code> uses "current execution
+resource" and it is unclear what that means exactly. Additionally,
+it is unclear what the difference between <code>affine_on</code>
+and <code>continues_on</code> is. The intended difference for
+<code>affine_on</code> is to avoid unnecessary scheduling which
+<code>continues_on</code> is already allowed to do in some cases,
+too.
+</p>
+<p>
+The intended semantics is that <code>affine_on</code> will either
+complete inline on whatever execution agent it was started on or
+it will complete asynchronously on the specified execution context.
+With this formulation <code>affine_on</code> may complete on one
+of two different execution context if it is started on an execution
+context that is different from the one specified by the scheduler.
+</p>
+</discussion>
+
+<resolution>
+<p>
+</p>
+</resolution>
+
+</issue>