PIPS: Task

Nelson Lossing

CRI, M&S, MINES ParisTech

October 17, 2021, revision r–revision–


1 Imported Domains

Internal representation dependencies.

import statement from "ri.newgen"

import entity from "ri.newgen"

2 Task


id of the task

on_cluster id of the cluster in which the task will be executed

private_data list of entity private of the task, don’t need to communicate with the other cluster

task = id:int x private_data:entity* x on_cluster:int x synchronization:bool

statement_task = persistant statement -> task