From 0e059c6e057ff8c98ba118b33f6cd13ca6cbe6b1 Mon Sep 17 00:00:00 2001 From: kotsifa2 <kotsifa2@illinois.edu> Date: Thu, 23 Jan 2020 19:15:21 -0600 Subject: [PATCH] Update hpvm-specification.md --- hpvm/docs/hpvm-specification.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/hpvm/docs/hpvm-specification.md b/hpvm/docs/hpvm-specification.md index d5c9e00417..9a776af7df 100644 --- a/hpvm/docs/hpvm-specification.md +++ b/hpvm/docs/hpvm-specification.md @@ -13,9 +13,9 @@ Internal nodes only create the structure of the child graph, and cannot include Leaf nodes contain code expressing actual computations. Leaf nodes may contain instructions to query the structure of the underlying DFG, and any non host side HPVM operation for synchronization and memory allocation. ## Dataflow Edge -A *dataflow edge* from the output out of a source dataflow node ```Src``` to the input in of a sink dataflow node ```Dst``` describes the explicit data transfer requirements. ```Src``` and ```Dst``` node must belong to the same child graph, i.e. must be children of the same internal node. +A *dataflow edge* from the output ```out``` of a source dataflow node ```Src``` to the input ```in``` of a sink dataflow node ```Dst``` describes the explicit data transfer requirements. ```Src``` and ```Dst``` node must belong to the same child graph, i.e. must be children of the same internal node. -An edge from source to sink has the semantics of copying the specified data from the source to the sink after the source node has completed execution. The pairs ```(Src, out)```, and ```(Dst, in)``` must be unique, i.e. no two dataflow edges in the same graph can have the same source or destination. +An edge from source to sink has the semantics of copying the specified data from the source to the sink after the source node has completed execution. The pairs ```(Src, out)```, and ```(Dst, in)``` must be unique w.r.t. every other edge in the same child graph, i.e. two dataflow edges in the same child graph cannot have the same source or destination. A static edge also represents multiple dynamic instances of that edge between the dynamic instances of the source and the sink nodes. -- GitLab