This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of New status.

4330. affine_on semantics

Section: 33.13.3 [exec.affine.on] Status: New Submitter: Dietmar Kühl Opened: 2025-08-31 Last modified: 2025-09-01

Priority: Not Prioritized

View other active issues in [exec.affine.on].

View all other issues in [exec.affine.on].

View all issues with New status.

Discussion:

The specification of affine_on uses "current execution resource" and it is unclear what that means exactly. Additionally, it is unclear what the difference between affine_on and continues_on is. The intended difference for affine_on is to avoid unnecessary scheduling which continues_on is already allowed to do in some cases, too.

The intended semantics is that affine_on 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 affine_on 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.

Proposed resolution: