Processor/task mapping functions

Processor/task mapping functions

coNCePTuaL supports a level of indirection in task numbering. The language defines a “processor” as a value that does not change for the task’s entire lifetime and a “task” as a value that can be remapped at will. By default, task numbers match processor numbers, but if task numbers are remapped (using the IS ASSIGNED TO construct described in Reordering task IDs), the following functions can be used to query the current mapping:

TASK_OF returns the task number associated with a given processor number.

PROCESSOR_OF returns the processor number associated with a given task number.

These functions are especially useful when a task A RANDOM PROCESSOR IS ASSIGNED TO A RANDOM PROCESSOR, because there is no other mechanism for determining the resulting task mapping.