Skip to content

Commit 701b3e5

Browse files
committed
Add terminology section aligned with P0737 Execution Context.
1 parent d99a57a commit 701b3e5

File tree

1 file changed

+25
-0
lines changed

1 file changed

+25
-0
lines changed

affinity/cpp-20/d0796r2.md

Lines changed: 25 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -174,6 +174,27 @@ This feature could be easily scaled to heterogeneous and distributed systems, as
174174
175175
In this paper we propose an interface for querying and representing the execution resources within a system, queurying the relative affinity metric between those execution resources, and then using those execution resources to allocate memory and execute work with affinity to the underlying hardware. The interface described in this paper builds on the existing interface for executors and execution contexts defined in the executors proposal [[22]][p0443r4].
176176
177+
### Terminology
178+
179+
An **execution agent** executes work, typically implemented by a *callable*,
180+
on an **execution resource** of a given **execution architecture**.
181+
An **execution context** manages a set of execution agents on an
182+
execution resource.
183+
An **executor** submits work to an execution context.
184+
More that one executor may submit work to an execution context.
185+
More than on execution context may manage execution agents
186+
on an execution resource.
187+
188+
> [*Note:* The execution context terminology used here
189+
and in the Networking TS [[33]][networking-ts] deviate from the
190+
traditional *context of execution* usage that refers
191+
to the state of a single executing callable; *e.g.*,
192+
program counter, registers, stack frame. *--end note*]
193+
194+
The **concurrency** of an execution resource is the maximum number
195+
of execution agents that could make concurrent forward progress
196+
on that execution resource.
197+
177198
### Execution resources
178199
179200
An `execution_resource` is a lightweight structure which acts as an identifier to particular piece of hardware within a system. It can be queried for whether it can allocate memory via `can_place_memory`, whether it can execute work via `can_place_agents`, and for its name via `name`. An `execution_resource` can also represent other `execution_resource`s. We call these *members of* that `execution_resource`, and can be queried via `resources`. Additionally the `execution_resource` which another is a *member of* can be queried vis `member_of`. An `execution_resource` can also be queried for the concurrency it can provide, the total number of *threads of execution* supported by that *execution_resource*, and all resources it represents.
@@ -676,3 +697,7 @@ Thanks to Christopher Di Bella, Toomas Remmelg and Morris Hafner for their revie
676697

677698
[madness-journal]: http://dx.doi.org/10.1137/15M1026171
678699
[[32]][madness-journal] MADNESS: A Multiresolution, Adaptive Numerical Environment for Scientific Simulation
700+
701+
[networking-ts]: http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/n4734.pdf
702+
[[33]][networking-ts] N4734 : Working Draft, C++ Extensions for Networking
703+

0 commit comments

Comments
 (0)