florian/mesytec-mnode
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
mesytec-mnode/external/taskflow-3.8.0/docs/ConditionalTasking.html
Florian Lüke e426fb7628 add taskflow-3.8.0
2025-01-04 01:25:05 +01:00

1440 lines
130 KiB
HTML
Raw Permalink Blame History

<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8" />
<title>Cookbook &raquo; Conditional Tasking | Taskflow QuickStart</title>
<link rel="stylesheet" href="https://fonts.googleapis.com/css?family=Source+Sans+Pro:400,400i,600,600i%7CSource+Code+Pro:400,400i,600" />
<link rel="stylesheet" href="m-dark+documentation.compiled.css" />
<link rel="icon" href="favicon.ico" type="image/vnd.microsoft.icon" />
<meta name="viewport" content="width=device-width, initial-scale=1.0" />
<meta name="theme-color" content="#22272e" />
</head>
<body>
<header><nav id="navigation">
<div class="m-container">
<div class="m-row">
<span id="m-navbar-brand" class="m-col-t-8 m-col-m-none m-left-m">
<a href="https://taskflow.github.io"><img src="taskflow_logo.png" alt="" />Taskflow</a> <span class="m-breadcrumb">|</span> <a href="index.html" class="m-thin">QuickStart</a>
</span>
<div class="m-col-t-4 m-hide-m m-text-right m-nopadr">
<a href="#search" class="m-doc-search-icon" title="Search" onclick="return showSearch()"><svg style="height: 0.9rem;" viewBox="0 0 16 16">
<path id="m-doc-search-icon-path" d="m6 0c-3.31 0-6 2.69-6 6 0 3.31 2.69 6 6 6 1.49 0 2.85-0.541 3.89-1.44-0.0164 0.338 0.147 0.759 0.5 1.15l3.22 3.79c0.552 0.614 1.45 0.665 2 0.115 0.55-0.55 0.499-1.45-0.115-2l-3.79-3.22c-0.392-0.353-0.812-0.515-1.15-0.5 0.895-1.05 1.44-2.41 1.44-3.89 0-3.31-2.69-6-6-6zm0 1.56a4.44 4.44 0 0 1 4.44 4.44 4.44 4.44 0 0 1-4.44 4.44 4.44 4.44 0 0 1-4.44-4.44 4.44 4.44 0 0 1 4.44-4.44z"/>
</svg></a>
<a id="m-navbar-show" href="#navigation" title="Show navigation"></a>
<a id="m-navbar-hide" href="#" title="Hide navigation"></a>
</div>
<div id="m-navbar-collapse" class="m-col-t-12 m-show-m m-col-m-none m-right-m">
<div class="m-row">
<ol class="m-col-t-6 m-col-m-none">
<li><a href="pages.html">Handbook</a></li>
<li><a href="namespaces.html">Namespaces</a></li>
</ol>
<ol class="m-col-t-6 m-col-m-none" start="3">
<li><a href="annotated.html">Classes</a></li>
<li><a href="files.html">Files</a></li>
<li class="m-show-m"><a href="#search" class="m-doc-search-icon" title="Search" onclick="return showSearch()"><svg style="height: 0.9rem;" viewBox="0 0 16 16">
<use href="#m-doc-search-icon-path" />
</svg></a></li>
</ol>
</div>
</div>
</div>
</div>
</nav></header>
<main><article>
<div class="m-container m-container-inflatable">
<div class="m-row">
<div class="m-col-l-10 m-push-l-1">
<h1>
<span class="m-breadcrumb"><a href="Cookbook.html">Cookbook</a> &raquo;</span>
Conditional Tasking
</h1>
<nav class="m-block m-default">
<h3>Contents</h3>
<ul>
<li><a href="#CreateAConditionTask">Create a Condition Task</a></li>
<li>
<a href="#TaskSchedulingPolicy">Understand our Task-level Scheduling</a>
<ul>
<li><a href="#TaskLevelSchedulingExample">Example</a></li>
</ul>
</li>
<li><a href="#AvoidCommonPitfalls">Avoid Common Pitfalls</a></li>
<li>
<a href="#ImplementControlFlowGraphs">Implement Control-flow Graphs</a>
<ul>
<li><a href="#ImplementIfElseControlFlow">Implement If-Else Control Flow</a></li>
<li><a href="#ImplementSwitchControlFlow">Implement Switch Control Flow</a></li>
<li><a href="#ImplementDoWhileLoopControlFlow">Implement Do-While-Loop Control Flow</a></li>
<li><a href="#ImplementWhileLoopControlFlow">Implement While-Loop Control Flow</a></li>
</ul>
</li>
<li><a href="#CreateAMultiConditionTask">Create a Multi-condition Task</a></li>
</ul>
</nav>
<p>Parallel workloads often require making control-flow decisions across dependent tasks. Taskflow supports a very efficient interface of conditional tasking for users to implement general control flow such as dynamic flow, cycles and conditionals that are otherwise difficult to do with existing frameworks.</p><section id="CreateAConditionTask"><h2><a href="#CreateAConditionTask">Create a Condition Task</a></h2><p>A condition task evaluates a set of instructions and returns an integer index of the next successor task to execute. The index is defined with respect to the order of its successor construction. The following example creates an if-else block using a single condition task.</p><pre class="m-code"><span class="w"> </span><span class="mi">1</span><span class="o">:</span><span class="w"> </span><span class="n">tf</span><span class="o">::</span><span class="n">Taskflow</span><span class="w"> </span><span class="n">taskflow</span><span class="p">;</span>
<span class="w"> </span><span class="mi">2</span><span class="o">:</span>
<span class="w"> </span><span class="mi">3</span><span class="o">:</span><span class="w"> </span><span class="k">auto</span><span class="w"> </span><span class="p">[</span><span class="n">init</span><span class="p">,</span><span class="w"> </span><span class="n">cond</span><span class="p">,</span><span class="w"> </span><span class="n">yes</span><span class="p">,</span><span class="w"> </span><span class="n">no</span><span class="p">]</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">(</span>
<span class="w"> </span><span class="mi">4</span><span class="o">:</span><span class="w"> </span><span class="p">[]</span><span class="w"> </span><span class="p">()</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="mi">5</span><span class="o">:</span><span class="w"> </span><span class="p">[]</span><span class="w"> </span><span class="p">()</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="mi">6</span><span class="o">:</span><span class="w"> </span><span class="p">[]</span><span class="w"> </span><span class="p">()</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;yes</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="mi">7</span><span class="o">:</span><span class="w"> </span><span class="p">[]</span><span class="w"> </span><span class="p">()</span><span class="w"> </span><span class="p">{</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;no</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">}</span>
<span class="w"> </span><span class="mi">8</span><span class="o">:</span><span class="w"> </span><span class="p">);</span>
<span class="w"> </span><span class="mi">9</span><span class="o">:</span>
<span class="mi">10</span><span class="o">:</span><span class="w"> </span><span class="n">cond</span><span class="p">.</span><span class="n">succeed</span><span class="p">(</span><span class="n">init</span><span class="p">)</span>
<span class="mi">11</span><span class="o">:</span><span class="w"> </span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">yes</span><span class="p">,</span><span class="w"> </span><span class="n">no</span><span class="p">);</span><span class="w"> </span><span class="c1">// executes yes if cond returns 0</span>
<span class="mi">12</span><span class="o">:</span><span class="w"> </span><span class="c1">// executes no if cond returns 1</span></pre><div class="m-graph"><svg style="width: 26.300rem; height: 9.800rem;" viewBox="0.00 0.00 262.60 98.00">
<g transform="scale(1 1) rotate(0) translate(4 94)">
<title>Taskflow</title>
<g class="m-node m-flat">
<title>p0x7f9e1e700030</title>
<ellipse cx="27" cy="-45" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-42.5" font-family="Helvetica,sans-Serif" font-size="10.00">init</text>
</g>
<g class="m-node">
<title>p0x7f9e1e700140</title>
<polygon points="124.3,-63 91.2,-45 124.3,-27 157.4,-45 124.3,-63"/>
<text text-anchor="middle" x="124.3" y="-42.5" font-family="Helvetica,sans-Serif" font-size="10.00">cond</text>
</g>
<g class="m-edge">
<title>p0x7f9e1e700030&#45;&gt;p0x7f9e1e700140</title>
<path d="M54.04,-45C62.37,-45 71.82,-45 80.99,-45"/>
<polygon points="81.17,-48.5 91.17,-45 81.17,-41.5 81.17,-48.5"/>
</g>
<g class="m-node m-flat">
<title>p0x7f9e1e700250</title>
<ellipse cx="227.6" cy="-72" rx="27" ry="18"/>
<text text-anchor="middle" x="227.6" y="-69.5" font-family="Helvetica,sans-Serif" font-size="10.00">yes</text>
</g>
<g class="m-edge">
<title>p0x7f9e1e700140&#45;&gt;p0x7f9e1e700250</title>
<path stroke-dasharray="5,2" d="M147.03,-50.79C160.16,-54.29 177.19,-58.83 192.13,-62.81"/>
<polygon points="191.49,-66.27 202.06,-65.46 193.3,-59.5 191.49,-66.27"/>
<text text-anchor="middle" x="179.1" y="-63" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>p0x7f9e1e700360</title>
<ellipse cx="227.6" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="227.6" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">no</text>
</g>
<g class="m-edge">
<title>p0x7f9e1e700140&#45;&gt;p0x7f9e1e700360</title>
<path stroke-dasharray="5,2" d="M147.03,-39.21C160.16,-35.71 177.19,-31.17 192.13,-27.19"/>
<polygon points="193.3,-30.5 202.06,-24.54 191.49,-23.73 193.3,-30.5"/>
<text text-anchor="middle" x="179.1" y="-34" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
</g>
</svg>
</div><p>Line 5 creates a condition task <code>cond</code> and line 11 creates two dependencies from <code>cond</code> to two other tasks, <code>yes</code> and <code>no</code>. With this order, when <code>cond</code> returns 0, the execution moves on to task <code>yes</code>. When <code>cond</code> returns 1, the execution moves on to task <code>no</code>.</p><aside class="m-note m-warning"><h4>Attention</h4><p>It is your responsibility to ensure the return of a condition task goes to a correct successor task. If the return falls beyond the range of the successors, the executor will not schedule any tasks.</p></aside><p>Condition task can go cyclic to describe <em>iterative</em> control flow. The example below implements a simple yet commonly used feedback loop through a condition task (line 7-10) that returns a random binary value. If the return value from <code>cond</code> is <code>0</code>, it loops back to itself, or otherwise to <code>stop</code>.</p><pre class="m-code"><span class="w"> </span><span class="mi">1</span><span class="o">:</span><span class="w"> </span><span class="n">tf</span><span class="o">::</span><span class="n">Taskflow</span><span class="w"> </span><span class="n">taskflow</span><span class="p">;</span>
<span class="w"> </span><span class="mi">2</span><span class="o">:</span><span class="w"> </span>
<span class="w"> </span><span class="mi">3</span><span class="o">:</span><span class="w"> </span><span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">init</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;init&quot;</span><span class="p">);</span>
<span class="w"> </span><span class="mi">4</span><span class="o">:</span><span class="w"> </span><span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">stop</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;stop&quot;</span><span class="p">);</span>
<span class="w"> </span><span class="mi">5</span><span class="o">:</span>
<span class="w"> </span><span class="mi">6</span><span class="o">:</span><span class="w"> </span><span class="c1">// creates a condition task that returns 0 or 1</span>
<span class="w"> </span><span class="mi">7</span><span class="o">:</span><span class="w"> </span><span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">cond</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){</span>
<span class="w"> </span><span class="mi">8</span><span class="o">:</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;flipping a coin</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span>
<span class="w"> </span><span class="mi">9</span><span class="o">:</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">rand</span><span class="p">()</span><span class="w"> </span><span class="o">%</span><span class="w"> </span><span class="mi">2</span><span class="p">;</span>
<span class="mi">10</span><span class="o">:</span><span class="w"> </span><span class="p">}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;cond&quot;</span><span class="p">);</span>
<span class="mi">11</span><span class="o">:</span>
<span class="mi">12</span><span class="o">:</span><span class="w"> </span><span class="c1">// creates a feedback loop {0: cond, 1: stop}</span>
<span class="mi">13</span><span class="o">:</span><span class="w"> </span><span class="n">init</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">cond</span><span class="p">);</span>
<span class="mi">14</span><span class="o">:</span><span class="w"> </span><span class="n">cond</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">cond</span><span class="p">,</span><span class="w"> </span><span class="n">stop</span><span class="p">);</span><span class="w"> </span><span class="c1">// returns 0 to &#39;cond&#39; or 1 to &#39;stop&#39;</span>
<span class="mi">15</span><span class="o">:</span>
<span class="mi">16</span><span class="o">:</span><span class="w"> </span><span class="n">executor</span><span class="p">.</span><span class="n">run</span><span class="p">(</span><span class="n">taskflow</span><span class="p">).</span><span class="n">wait</span><span class="p">();</span></pre><div class="m-graph"><svg style="width: 26.300rem; height: 7.300rem;" viewBox="0.00 0.00 262.60 73.00">
<g transform="scale(1 1) rotate(0) translate(4 69)">
<title>Taskflow</title>
<g class="m-node">
<title>cond</title>
<polygon points="124.3,-36 91.2,-18 124.3,0 157.4,-18 124.3,-36"/>
<text text-anchor="middle" x="124.3" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">cond</text>
</g>
<g class="m-edge">
<title>cond&#45;&gt;cond</title>
<path stroke-dasharray="5,2" d="M116.24,-31.67C113.02,-42.66 115.71,-54 124.3,-54 130.21,-54 133.32,-48.64 133.65,-41.72"/>
<polygon points="137.1,-41.14 132.36,-31.67 130.16,-42.03 137.1,-41.14"/>
<text text-anchor="middle" x="124.3" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>stop</title>
<ellipse cx="227.6" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="227.6" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">stop</text>
</g>
<g class="m-edge">
<title>cond&#45;&gt;stop</title>
<path stroke-dasharray="5,2" d="M157.63,-18C167.97,-18 179.48,-18 190.09,-18"/>
<polygon points="190.32,-21.5 200.32,-18 190.32,-14.5 190.32,-21.5"/>
<text text-anchor="middle" x="179.1" y="-21" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>init</title>
<ellipse cx="27" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">init</text>
</g>
<g class="m-edge">
<title>init&#45;&gt;cond</title>
<path d="M54.04,-18C62.37,-18 71.82,-18 80.99,-18"/>
<polygon points="81.17,-21.5 91.17,-18 81.17,-14.5 81.17,-21.5"/>
</g>
</g>
</svg>
</div><p>A taskflow of complex control flow often just takes a few lines of code to implement, and different control flow blocks may run in parallel. The code below creates another taskflow with three condition tasks.</p><pre class="m-code"><span class="n">tf</span><span class="o">::</span><span class="n">Taskflow</span><span class="w"> </span><span class="n">taskflow</span><span class="p">;</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">A</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;A&quot;</span><span class="p">);</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">B</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;B&quot;</span><span class="p">);</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">C</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;C&quot;</span><span class="p">);</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">D</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;D&quot;</span><span class="p">);</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">E</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;E&quot;</span><span class="p">);</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">F</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;F&quot;</span><span class="p">);</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">G</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;G&quot;</span><span class="p">);</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">H</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;H&quot;</span><span class="p">);</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">I</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;I&quot;</span><span class="p">);</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">K</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;K&quot;</span><span class="p">);</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">L</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;L&quot;</span><span class="p">);</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">M</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;M&quot;</span><span class="p">);</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">cond_1</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">rand</span><span class="p">()</span><span class="o">%</span><span class="mi">2</span><span class="p">;</span><span class="w"> </span><span class="p">}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;cond_1&quot;</span><span class="p">);</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">cond_2</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">rand</span><span class="p">()</span><span class="o">%</span><span class="mi">2</span><span class="p">;</span><span class="w"> </span><span class="p">}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;cond_2&quot;</span><span class="p">);</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">cond_3</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">rand</span><span class="p">()</span><span class="o">%</span><span class="mi">2</span><span class="p">;</span><span class="w"> </span><span class="p">}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;cond_3&quot;</span><span class="p">);</span>
<span class="n">A</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">B</span><span class="p">,</span><span class="w"> </span><span class="n">F</span><span class="p">);</span>
<span class="n">B</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">C</span><span class="p">);</span>
<span class="n">C</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">D</span><span class="p">);</span>
<span class="n">D</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">cond_1</span><span class="p">);</span>
<span class="n">E</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">K</span><span class="p">);</span>
<span class="n">F</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">cond_2</span><span class="p">);</span>
<span class="n">H</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">I</span><span class="p">);</span>
<span class="n">I</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">cond_3</span><span class="p">);</span>
<span class="n">L</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">M</span><span class="p">);</span>
<span class="n">cond_1</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">B</span><span class="p">,</span><span class="w"> </span><span class="n">E</span><span class="p">);</span><span class="w"> </span><span class="c1">// return 0 to &#39;B&#39; or 1 to &#39;E&#39;</span>
<span class="n">cond_2</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">G</span><span class="p">,</span><span class="w"> </span><span class="n">H</span><span class="p">);</span><span class="w"> </span><span class="c1">// return 0 to &#39;G&#39; or 1 to &#39;H&#39;</span>
<span class="n">cond_3</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">cond_3</span><span class="p">,</span><span class="w"> </span><span class="n">L</span><span class="p">);</span><span class="w"> </span><span class="c1">// return 0 to &#39;cond_3&#39; or 1 to &#39;L&#39;</span>
<span class="n">taskflow</span><span class="p">.</span><span class="n">dump</span><span class="p">(</span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="p">);</span></pre><p>The above code creates three condition tasks: (1) a condition task <code>cond_1</code> that loops back to <code>B</code> on returning <code>0</code>, or proceeds to <code>E</code> on returning <code>1</code>, (2) a condition task <code>cond_2</code> that goes to <code>G</code> on returning <code>0</code>, or <code>H</code> on returning <code>1</code>, (3) a condition task <code>cond_3</code> that loops back to itself on returning <code>0</code>, or proceeds to <code>L</code> on returning <code>1</code></p><div class="m-graph"><svg style="width: 81.000rem; height: 19.200rem;" viewBox="0.00 0.00 809.74 192.00">
<g transform="scale(1 1) rotate(0) translate(4 188)">
<title>Taskflow</title>
<g class="m-node m-flat">
<title>p0x7fecbdc02830</title>
<ellipse cx="27" cy="-94" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-91.5" font-family="Helvetica,sans-Serif" font-size="10.00">A</text>
</g>
<g class="m-node m-flat">
<title>p0x7fecbdc02940</title>
<ellipse cx="118" cy="-122" rx="27" ry="18"/>
<text text-anchor="middle" x="118" y="-119.5" font-family="Helvetica,sans-Serif" font-size="10.00">B</text>
</g>
<g class="m-edge">
<title>p0x7fecbdc02830&#45;&gt;p0x7fecbdc02940</title>
<path d="M51.85,-101.5C61.61,-104.57 73.06,-108.18 83.62,-111.5"/>
<polygon points="82.8,-114.91 93.39,-114.57 84.9,-108.23 82.8,-114.91"/>
</g>
<g class="m-node m-flat">
<title>p0x7fecbdc02d80</title>
<ellipse cx="118" cy="-68" rx="27" ry="18"/>
<text text-anchor="middle" x="118" y="-65.5" font-family="Helvetica,sans-Serif" font-size="10.00">F</text>
</g>
<g class="m-edge">
<title>p0x7fecbdc02830&#45;&gt;p0x7fecbdc02d80</title>
<path d="M52.32,-86.9C61.82,-84.12 72.87,-80.89 83.12,-77.9"/>
<polygon points="84.4,-81.17 93.02,-75.01 82.44,-74.45 84.4,-81.17"/>
</g>
<g class="m-node m-flat">
<title>p0x7fecbdc02a50</title>
<ellipse cx="224.46" cy="-166" rx="27" ry="18"/>
<text text-anchor="middle" x="224.46" y="-163.5" font-family="Helvetica,sans-Serif" font-size="10.00">C</text>
</g>
<g class="m-edge">
<title>p0x7fecbdc02940&#45;&gt;p0x7fecbdc02a50</title>
<path d="M141.15,-131.33C155.97,-137.57 175.69,-145.88 192.11,-152.8"/>
<polygon points="190.76,-156.03 201.34,-156.68 193.48,-149.57 190.76,-156.03"/>
</g>
<g class="m-node">
<title>p0x7fecbdc03600</title>
<polygon points="224.46,-86 182.04,-68 224.46,-50 266.87,-68 224.46,-86"/>
<text text-anchor="middle" x="224.46" y="-65.5" font-family="Helvetica,sans-Serif" font-size="10.00">cond_2</text>
</g>
<g class="m-edge">
<title>p0x7fecbdc02d80&#45;&gt;p0x7fecbdc03600</title>
<path d="M145.09,-68C153.25,-68 162.57,-68 171.86,-68"/>
<polygon points="171.87,-71.5 181.87,-68 171.87,-64.5 171.87,-71.5"/>
</g>
<g class="m-node m-flat">
<title>p0x7fecbdc02b60</title>
<ellipse cx="336.91" cy="-166" rx="27" ry="18"/>
<text text-anchor="middle" x="336.91" y="-163.5" font-family="Helvetica,sans-Serif" font-size="10.00">D</text>
</g>
<g class="m-edge">
<title>p0x7fecbdc02a50&#45;&gt;p0x7fecbdc02b60</title>
<path d="M251.63,-166C265.84,-166 283.62,-166 299.19,-166"/>
<polygon points="299.54,-169.5 309.54,-166 299.54,-162.5 299.54,-169.5"/>
</g>
<g class="m-node">
<title>p0x7fecbdc034f0</title>
<polygon points="443.37,-155 400.96,-137 443.37,-119 485.79,-137 443.37,-155"/>
<text text-anchor="middle" x="443.37" y="-134.5" font-family="Helvetica,sans-Serif" font-size="10.00">cond_1</text>
</g>
<g class="m-edge">
<title>p0x7fecbdc02b60&#45;&gt;p0x7fecbdc034f0</title>
<path d="M362.14,-159.27C375.56,-155.55 392.48,-150.85 407.31,-146.73"/>
<polygon points="408.49,-150.04 417.19,-143.99 406.61,-143.3 408.49,-150.04"/>
</g>
<g class="m-edge">
<title>p0x7fecbdc034f0&#45;&gt;p0x7fecbdc02940</title>
<path stroke-dasharray="5,2" d="M404.95,-135.26C342.33,-132.36 217.1,-126.55 155.26,-123.68"/>
<polygon points="155.34,-120.18 145.19,-123.21 155.02,-127.17 155.34,-120.18"/>
<text text-anchor="middle" x="288.41" y="-133" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>p0x7fecbdc02c70</title>
<ellipse cx="571.29" cy="-137" rx="27" ry="18"/>
<text text-anchor="middle" x="571.29" y="-134.5" font-family="Helvetica,sans-Serif" font-size="10.00">E</text>
</g>
<g class="m-edge">
<title>p0x7fecbdc034f0&#45;&gt;p0x7fecbdc02c70</title>
<path stroke-dasharray="5,2" d="M485.95,-137C501.4,-137 518.79,-137 533.76,-137"/>
<polygon points="534.16,-140.5 544.16,-137 534.16,-133.5 534.16,-140.5"/>
<text text-anchor="middle" x="507.33" y="-140" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>p0x7fecbdc031c0</title>
<ellipse cx="683.74" cy="-137" rx="27" ry="18"/>
<text text-anchor="middle" x="683.74" y="-134.5" font-family="Helvetica,sans-Serif" font-size="10.00">K</text>
</g>
<g class="m-edge">
<title>p0x7fecbdc02c70&#45;&gt;p0x7fecbdc031c0</title>
<path d="M598.46,-137C612.67,-137 630.45,-137 646.02,-137"/>
<polygon points="646.37,-140.5 656.37,-137 646.37,-133.5 646.37,-140.5"/>
</g>
<g class="m-node m-flat">
<title>p0x7fecbdc02e90</title>
<ellipse cx="336.91" cy="-72" rx="27" ry="18"/>
<text text-anchor="middle" x="336.91" y="-69.5" font-family="Helvetica,sans-Serif" font-size="10.00">G</text>
</g>
<g class="m-edge">
<title>p0x7fecbdc03600&#45;&gt;p0x7fecbdc02e90</title>
<path stroke-dasharray="5,2" d="M263.78,-69.39C275.42,-69.81 288.17,-70.27 299.67,-70.69"/>
<polygon points="299.69,-74.19 309.81,-71.05 299.94,-67.19 299.69,-74.19"/>
<text text-anchor="middle" x="288.41" y="-73" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>p0x7fecbdc02fa0</title>
<ellipse cx="336.91" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="336.91" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">H</text>
</g>
<g class="m-edge">
<title>p0x7fecbdc03600&#45;&gt;p0x7fecbdc02fa0</title>
<path stroke-dasharray="5,2" d="M245.72,-58.83C262.23,-51.35 285.84,-40.67 304.76,-32.1"/>
<polygon points="306.22,-35.28 313.89,-27.97 303.34,-28.91 306.22,-35.28"/>
<text text-anchor="middle" x="288.41" y="-43" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>p0x7fecbdc030b0</title>
<ellipse cx="443.37" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="443.37" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">I</text>
</g>
<g class="m-edge">
<title>p0x7fecbdc02fa0&#45;&gt;p0x7fecbdc030b0</title>
<path d="M364,-18C376.72,-18 392.21,-18 406.06,-18"/>
<polygon points="406.25,-21.5 416.25,-18 406.25,-14.5 406.25,-21.5"/>
</g>
<g class="m-node">
<title>p0x7fecbdc03710</title>
<polygon points="571.29,-36 528.87,-18 571.29,0 613.7,-18 571.29,-36"/>
<text text-anchor="middle" x="571.29" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">cond_3</text>
</g>
<g class="m-edge">
<title>p0x7fecbdc030b0&#45;&gt;p0x7fecbdc03710</title>
<path d="M470.46,-18C484.42,-18 502.11,-18 518.71,-18"/>
<polygon points="518.86,-21.5 528.86,-18 518.86,-14.5 518.86,-21.5"/>
</g>
<g class="m-edge">
<title>p0x7fecbdc03710&#45;&gt;p0x7fecbdc03710</title>
<path stroke-dasharray="5,2" d="M561.16,-32.04C557.38,-42.91 560.75,-54 571.29,-54 578.53,-54 582.39,-48.76 582.86,-41.95"/>
<polygon points="586.32,-41.43 581.41,-32.04 579.4,-42.44 586.32,-41.43"/>
<text text-anchor="middle" x="571.29" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>p0x7fecbdc032d0</title>
<ellipse cx="683.74" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="683.74" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">L</text>
</g>
<g class="m-edge">
<title>p0x7fecbdc03710&#45;&gt;p0x7fecbdc032d0</title>
<path stroke-dasharray="5,2" d="M613.73,-18C624.47,-18 635.96,-18 646.42,-18"/>
<polygon points="646.47,-21.5 656.47,-18 646.47,-14.5 646.47,-21.5"/>
<text text-anchor="middle" x="635.24" y="-21" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>p0x7fecbdc033e0</title>
<ellipse cx="774.74" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="774.74" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">M</text>
</g>
<g class="m-edge">
<title>p0x7fecbdc032d0&#45;&gt;p0x7fecbdc033e0</title>
<path d="M710.97,-18C719.29,-18 728.66,-18 737.56,-18"/>
<polygon points="737.71,-21.5 747.71,-18 737.71,-14.5 737.71,-21.5"/>
</g>
</g>
</svg>
</div><p>You can use condition tasks to create cycles as long as the graph does not introduce task race during execution. However, cycles are not allowed in non-condition tasks.</p><aside class="m-note m-info"><h4>Note</h4><p>Conditional tasking lets you make in-task control-flow decisions to enable <em>end-to-end</em> parallelism, instead of resorting to client-side partition or synchronizing your task graph at the decision points of control flow.</p></aside></section><section id="TaskSchedulingPolicy"><h2><a href="#TaskSchedulingPolicy">Understand our Task-level Scheduling</a></h2><p>In order to understand how an executor schedules condition tasks, we define two dependency types, <em>strong dependency</em> and <em>weak dependency</em>. A strong dependency is a preceding link from a non-condition task to another task. A weak dependency is a preceding link from a condition task to another task. The number of dependents of a task is the sum of strong dependency and weak dependency. The table below lists the strong dependency and weak dependency numbers of each task in the previous example.</p><table class="m-table"><thead><tr><th>task</th><th>strong dependency</th><th>weak dependency</th><th>dependents</th></tr></thead><tbody><tr><td>A</td><td>0</td><td>0</td><td>0</td></tr><tr><td>B</td><td>1</td><td>1</td><td>2</td></tr><tr><td>C</td><td>1</td><td>0</td><td>1</td></tr><tr><td>D</td><td>1</td><td>0</td><td>1</td></tr><tr><td>E</td><td>0</td><td>1</td><td>1</td></tr><tr><td>F</td><td>1</td><td>0</td><td>1</td></tr><tr><td>G</td><td>0</td><td>1</td><td>1</td></tr><tr><td>H</td><td>0</td><td>1</td><td>1</td></tr><tr><td>I</td><td>1</td><td>0</td><td>1</td></tr><tr><td>K</td><td>1</td><td>0</td><td>1</td></tr><tr><td>L</td><td>0</td><td>1</td><td>1</td></tr><tr><td>M</td><td>1</td><td>0</td><td>1</td></tr><tr><td>cond_1</td><td>1</td><td>0</td><td>1</td></tr><tr><td>cond_2</td><td>1</td><td>0</td><td>1</td></tr><tr><td>cond_3</td><td>1</td><td>1</td><td>2</td></tr></tbody></table><p>You can query the number of strong dependents, the number of weak dependents, and the number of dependents of a task.</p><pre class="m-code"><span class="mi">1</span><span class="o">:</span><span class="w"> </span><span class="n">tf</span><span class="o">::</span><span class="n">Taskflow</span><span class="w"> </span><span class="n">taskflow</span><span class="p">;</span>
<span class="mi">2</span><span class="o">:</span><span class="w"> </span>
<span class="mi">3</span><span class="o">:</span><span class="w"> </span><span class="n">tf</span><span class="o">::</span><span class="n">Task</span><span class="w"> </span><span class="n">task</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){});</span>
<span class="mi">4</span><span class="o">:</span><span class="w"> </span>
<span class="mi">5</span><span class="o">:</span><span class="w"> </span><span class="c1">// ... add more tasks and preceding links</span>
<span class="mi">6</span><span class="o">:</span>
<span class="mi">7</span><span class="o">:</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n">task</span><span class="p">.</span><span class="n">num_dependents</span><span class="p">()</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="sc">&#39;\n&#39;</span><span class="p">;</span>
<span class="mi">8</span><span class="o">:</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n">task</span><span class="p">.</span><span class="n">num_strong_dependents</span><span class="p">()</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="sc">&#39;\n&#39;</span><span class="p">;</span><span class="w"> </span>
<span class="mi">9</span><span class="o">:</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n">task</span><span class="p">.</span><span class="n">num_weak_dependents</span><span class="p">()</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="sc">&#39;\n&#39;</span><span class="p">;</span></pre><p>When you submit a task to an executor, the scheduler starts with tasks of <em>zero dependents</em> (both zero strong and weak dependencies) and continues to execute successive tasks whenever their <em>strong dependencies</em> are met. However, the scheduler skips this rule when executing a condition task and jumps directly to its successors indexed by the return value.</p><div class="m-graph"><svg style="width: 60.800rem; height: 34.600rem;" viewBox="0.00 0.00 607.80 346.00">
<g transform="scale(1 1) rotate(0) translate(4 342)">
<title>G</title>
<g class="m-node m-flat">
<title>atask</title>
<ellipse cx="368.96" cy="-320" rx="32.93" ry="18"/>
<text text-anchor="middle" x="368.96" y="-317.5" font-family="Helvetica,sans-Serif" font-size="10.00">a task T</text>
</g>
<g class="m-node">
<title>cond</title>
<polygon points="368.96,-265 269.16,-247 368.96,-229 468.76,-247 368.96,-265"/>
<text text-anchor="middle" x="368.96" y="-244.5" font-family="Helvetica,sans-Serif" font-size="10.00">is T a condition task?</text>
</g>
<g class="m-edge">
<title>atask&#45;&gt;cond</title>
<path d="M368.96,-301.81C368.96,-293.79 368.96,-284.05 368.96,-275.07"/>
<polygon points="372.46,-275.03 368.96,-265.03 365.46,-275.03 372.46,-275.03"/>
</g>
<g class="m-node m-flat">
<title>invokeN</title>
<ellipse cx="317.96" cy="-164" rx="36.49" ry="18"/>
<text text-anchor="middle" x="317.96" y="-161.5" font-family="Helvetica,sans-Serif" font-size="10.00">invoke(T)</text>
</g>
<g class="m-edge">
<title>cond&#45;&gt;invokeN</title>
<path stroke-dasharray="5,2" d="M359.13,-230.38C351.93,-218.95 342.02,-203.21 333.72,-190.03"/>
<polygon points="336.58,-188 328.29,-181.4 330.66,-191.73 336.58,-188"/>
<text text-anchor="middle" x="353.46" y="-203" font-family="Helvetica,sans-Serif" font-size="10.00">no</text>
</g>
<g class="m-node m-flat">
<title>invokeY</title>
<ellipse cx="471.96" cy="-164" rx="48.72" ry="18"/>
<text text-anchor="middle" x="471.96" y="-161.5" font-family="Helvetica,sans-Serif" font-size="10.00">R = invoke(T)</text>
</g>
<g class="m-edge">
<title>cond&#45;&gt;invokeY</title>
<path stroke-dasharray="5,2" d="M386.9,-231.89C402.7,-219.47 425.95,-201.18 444.15,-186.87"/>
<polygon points="446.42,-189.54 452.12,-180.61 442.09,-184.04 446.42,-189.54"/>
<text text-anchor="middle" x="435.96" y="-203" font-family="Helvetica,sans-Serif" font-size="10.00">yes</text>
</g>
<g class="m-node m-flat">
<title>decrement</title>
<ellipse cx="188.96" cy="-91" rx="188.92" ry="18"/>
<text text-anchor="middle" x="188.96" y="-88.5" font-family="Helvetica,sans-Serif" font-size="10.00">decrement strong dependencies of each successor of T by one</text>
</g>
<g class="m-edge">
<title>invokeN&#45;&gt;decrement</title>
<path d="M294.6,-150.14C276.18,-140 250.07,-125.63 228.41,-113.72"/>
<polygon points="229.89,-110.53 219.44,-108.78 226.52,-116.67 229.89,-110.53"/>
</g>
<g class="m-node m-flat">
<title>enqueueR</title>
<ellipse cx="497.96" cy="-91" rx="101.68" ry="18"/>
<text text-anchor="middle" x="497.96" y="-88.5" font-family="Helvetica,sans-Serif" font-size="10.00">enqueue the R&#45;th successor of T</text>
</g>
<g class="m-edge">
<title>invokeY&#45;&gt;enqueueR</title>
<path d="M478.25,-145.81C481.26,-137.62 484.92,-127.62 488.26,-118.48"/>
<polygon points="491.57,-119.62 491.72,-109.03 485,-117.22 491.57,-119.62"/>
</g>
<g class="m-node m-flat">
<title>enqueueS</title>
<ellipse cx="188.96" cy="-18" rx="150.9" ry="18"/>
<text text-anchor="middle" x="188.96" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">enqueue successors of zero strong dependencies</text>
</g>
<g class="m-edge">
<title>decrement&#45;&gt;enqueueS</title>
<path d="M188.96,-72.81C188.96,-64.79 188.96,-55.05 188.96,-46.07"/>
<polygon points="192.46,-46.03 188.96,-36.03 185.46,-46.03 192.46,-46.03"/>
</g>
</g>
</svg>
</div><p>Each task has an <em>atomic</em> join counter to keep track of strong dependents that are met at runtime. When a task completes, the join counter is restored to the task&#x27;s strong dependency number in the graph, such that the subsequent execution can reuse the counter again.</p><section id="TaskLevelSchedulingExample"><h3><a href="#TaskLevelSchedulingExample">Example</a></h3><p>Let&#x27;s take a look at an example to understand how task-level scheduling works. Suppose we have the following taskflow of one condition task <code>cond</code> that forms a loop to itself on returning <code>0</code> and moves on to <code>stop</code> on returning <code>1</code>:</p><div class="m-graph"><svg style="width: 26.300rem; height: 7.300rem;" viewBox="0.00 0.00 262.60 73.00">
<g transform="scale(1 1) rotate(0) translate(4 69)">
<title>Taskflow</title>
<g class="m-node">
<title>cond</title>
<polygon points="124.3,-36 91.2,-18 124.3,0 157.4,-18 124.3,-36"/>
<text text-anchor="middle" x="124.3" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">cond</text>
</g>
<g class="m-edge">
<title>cond&#45;&gt;cond</title>
<path stroke-dasharray="5,2" d="M116.24,-31.67C113.02,-42.66 115.71,-54 124.3,-54 130.21,-54 133.32,-48.64 133.65,-41.72"/>
<polygon points="137.1,-41.14 132.36,-31.67 130.16,-42.03 137.1,-41.14"/>
<text text-anchor="middle" x="124.3" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>stop</title>
<ellipse cx="227.6" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="227.6" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">stop</text>
</g>
<g class="m-edge">
<title>cond&#45;&gt;stop</title>
<path stroke-dasharray="5,2" d="M157.63,-18C167.97,-18 179.48,-18 190.09,-18"/>
<polygon points="190.32,-21.5 200.32,-18 190.32,-14.5 190.32,-21.5"/>
<text text-anchor="middle" x="179.1" y="-21" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>init</title>
<ellipse cx="27" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">init</text>
</g>
<g class="m-edge">
<title>init&#45;&gt;cond</title>
<path d="M54.04,-18C62.37,-18 71.82,-18 80.99,-18"/>
<polygon points="81.17,-21.5 91.17,-18 81.17,-14.5 81.17,-21.5"/>
</g>
</g>
</svg>
</div><p>The scheduler starts with <code>init</code> task because it has no dependencies (both strong and weak dependencies). Then, the scheduler moves on to the condition task <code>cond</code>. If <code>cond</code> returns <code>0</code>, the scheduler enqueues <code>cond</code> and runs it again. If <code>cond</code> returns <code>1</code>, the scheduler enqueues <code>stop</code> and then moves on.</p></section></section><section id="AvoidCommonPitfalls"><h2><a href="#AvoidCommonPitfalls">Avoid Common Pitfalls</a></h2><p>Condition tasks are handy in creating dynamic and cyclic control flows, but they are also easy to make mistakes. It is your responsibility to ensure a taskflow is properly conditioned. Top things to avoid include <em>no source tasks</em> to start with and <em>task race</em>. The figure below shows common pitfalls and their remedies.</p><div class="m-graph"><svg style="width: 91.000rem; height: 26.100rem;" viewBox="0.00 0.00 910.00 261.00">
<g transform="scale(1 1) rotate(0) translate(4 257)">
<title>Taskflow</title>
<g class="m-cluster">
<title>cluster_error1</title>
<polygon points="8,-91 8,-245 150,-245 150,-91 8,-91"/>
<text text-anchor="middle" x="79" y="-233" font-family="Helvetica,sans-Serif" font-size="10.00">error1: no source tasks</text>
</g>
<g class="m-cluster">
<title>cluster_fix1</title>
<polygon points="158,-8 158,-245 300,-245 300,-8 158,-8"/>
<text text-anchor="middle" x="229" y="-233" font-family="Helvetica,sans-Serif" font-size="10.00">fix1: adds a source</text>
</g>
<g class="m-cluster">
<title>cluster_error2</title>
<polygon points="308,-91 308,-245 450,-245 450,-91 308,-91"/>
<text text-anchor="middle" x="379" y="-233" font-family="Helvetica,sans-Serif" font-size="10.00">error2: race on D</text>
</g>
<g class="m-cluster">
<title>cluster_fix2</title>
<polygon points="458,-8 458,-245 672,-245 672,-8 458,-8"/>
<text text-anchor="middle" x="565" y="-233" font-family="Helvetica,sans-Serif" font-size="10.00">fix2: adds an auxiliary task</text>
</g>
<g class="m-cluster">
<title>cluster_risky</title>
<polygon points="680,-91 680,-245 894,-245 894,-91 680,-91"/>
<text text-anchor="middle" x="787" y="-233" font-family="Helvetica,sans-Serif" font-size="10.00">risky: X might be raced</text>
</g>
<g class="m-node">
<title>e1A</title>
<polygon points="58,-218 31,-200 58,-182 85,-200 58,-218"/>
<text text-anchor="middle" x="58" y="-197.5" font-family="Helvetica,sans-Serif" font-size="10.00">A</text>
</g>
<g class="m-edge">
<title>e1A&#45;&gt;e1A</title>
<path stroke-dasharray="5,2" d="M75.55,-206.53C89.14,-208.97 103,-206.8 103,-200 103,-194.9 95.2,-192.4 85.57,-192.5"/>
<polygon points="85.17,-189.03 75.55,-193.47 85.84,-195.99 85.17,-189.03"/>
<text text-anchor="middle" x="106.5" y="-197.5" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>e1B</title>
<ellipse cx="43" cy="-117" rx="27" ry="18"/>
<text text-anchor="middle" x="43" y="-114.5" font-family="Helvetica,sans-Serif" font-size="10.00">B</text>
</g>
<g class="m-edge">
<title>e1A&#45;&gt;e1B</title>
<path stroke-dasharray="5,2" d="M55.18,-183.76C53.18,-172.95 50.43,-158.14 48.06,-145.31"/>
<polygon points="51.43,-144.33 46.17,-135.13 44.55,-145.6 51.43,-144.33"/>
<text text-anchor="middle" x="54.5" y="-156" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>e1C</title>
<ellipse cx="115" cy="-117" rx="27" ry="18"/>
<text text-anchor="middle" x="115" y="-114.5" font-family="Helvetica,sans-Serif" font-size="10.00">C</text>
</g>
<g class="m-edge">
<title>e1A&#45;&gt;e1C</title>
<path stroke-dasharray="5,2" d="M66.17,-187.39C74.45,-175.62 87.52,-157.05 98.06,-142.08"/>
<polygon points="101.02,-143.95 103.91,-133.76 95.29,-139.92 101.02,-143.95"/>
<text text-anchor="middle" x="92.5" y="-156" font-family="Helvetica,sans-Serif" font-size="10.00">2</text>
</g>
<g class="m-node m-flat">
<title>f1S</title>
<ellipse cx="208" cy="-200" rx="27" ry="18"/>
<text text-anchor="middle" x="208" y="-197.5" font-family="Helvetica,sans-Serif" font-size="10.00">S</text>
</g>
<g class="m-node">
<title>f1A</title>
<polygon points="208,-135 181,-117 208,-99 235,-117 208,-135"/>
<text text-anchor="middle" x="208" y="-114.5" font-family="Helvetica,sans-Serif" font-size="10.00">A</text>
</g>
<g class="m-edge">
<title>f1S&#45;&gt;f1A</title>
<path d="M208,-181.82C208,-171.19 208,-157.31 208,-145.2"/>
<polygon points="211.5,-145.15 208,-135.15 204.5,-145.15 211.5,-145.15"/>
</g>
<g class="m-edge">
<title>f1A&#45;&gt;f1A</title>
<path stroke-dasharray="5,2" d="M225.55,-123.53C239.14,-125.97 253,-123.8 253,-117 253,-111.9 245.2,-109.4 235.57,-109.5"/>
<polygon points="235.17,-106.03 225.55,-110.47 235.84,-112.99 235.17,-106.03"/>
<text text-anchor="middle" x="256.5" y="-114.5" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>f1B</title>
<ellipse cx="193" cy="-34" rx="27" ry="18"/>
<text text-anchor="middle" x="193" y="-31.5" font-family="Helvetica,sans-Serif" font-size="10.00">B</text>
</g>
<g class="m-edge">
<title>f1A&#45;&gt;f1B</title>
<path stroke-dasharray="5,2" d="M205.18,-100.76C203.18,-89.95 200.43,-75.14 198.06,-62.31"/>
<polygon points="201.43,-61.33 196.17,-52.13 194.55,-62.6 201.43,-61.33"/>
<text text-anchor="middle" x="204.5" y="-73" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>f1C</title>
<ellipse cx="265" cy="-34" rx="27" ry="18"/>
<text text-anchor="middle" x="265" y="-31.5" font-family="Helvetica,sans-Serif" font-size="10.00">C</text>
</g>
<g class="m-edge">
<title>f1A&#45;&gt;f1C</title>
<path stroke-dasharray="5,2" d="M216.17,-104.39C224.45,-92.62 237.52,-74.05 248.06,-59.08"/>
<polygon points="251.02,-60.95 253.91,-50.76 245.29,-56.92 251.02,-60.95"/>
<text text-anchor="middle" x="242.5" y="-73" font-family="Helvetica,sans-Serif" font-size="10.00">2</text>
</g>
<g class="m-node">
<title>e2C</title>
<polygon points="415,-218 388,-200 415,-182 442,-200 415,-218"/>
<text text-anchor="middle" x="415" y="-197.5" font-family="Helvetica,sans-Serif" font-size="10.00">C</text>
</g>
<g class="m-node m-flat">
<title>e2D</title>
<ellipse cx="343" cy="-117" rx="27" ry="18"/>
<text text-anchor="middle" x="343" y="-114.5" font-family="Helvetica,sans-Serif" font-size="10.00">D</text>
</g>
<g class="m-edge">
<title>e2C&#45;&gt;e2D</title>
<path stroke-dasharray="5,2" d="M405.29,-188.08C394.5,-175.94 376.79,-156.02 363.01,-140.51"/>
<polygon points="365.47,-138.02 356.22,-132.87 360.24,-142.67 365.47,-138.02"/>
<text text-anchor="middle" x="386.5" y="-156" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>e2F</title>
<ellipse cx="415" cy="-117" rx="27" ry="18"/>
<text text-anchor="middle" x="415" y="-114.5" font-family="Helvetica,sans-Serif" font-size="10.00">F</text>
</g>
<g class="m-edge">
<title>e2C&#45;&gt;e2F</title>
<path stroke-dasharray="5,2" d="M415,-181.82C415,-171.19 415,-157.31 415,-145.2"/>
<polygon points="418.5,-145.15 415,-135.15 411.5,-145.15 418.5,-145.15"/>
<text text-anchor="middle" x="418.5" y="-156" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>e2E</title>
<ellipse cx="343" cy="-200" rx="27" ry="18"/>
<text text-anchor="middle" x="343" y="-197.5" font-family="Helvetica,sans-Serif" font-size="10.00">E</text>
</g>
<g class="m-edge">
<title>e2E&#45;&gt;e2D</title>
<path d="M343,-181.82C343,-171.19 343,-157.31 343,-145.2"/>
<polygon points="346.5,-145.15 343,-135.15 339.5,-145.15 346.5,-145.15"/>
</g>
<g class="m-node">
<title>f2C</title>
<polygon points="590,-218 563,-200 590,-182 617,-200 590,-218"/>
<text text-anchor="middle" x="590" y="-197.5" font-family="Helvetica,sans-Serif" font-size="10.00">C</text>
</g>
<g class="m-node m-flat">
<title>f2Daux</title>
<ellipse cx="565" cy="-117" rx="27.16" ry="18"/>
<text text-anchor="middle" x="565" y="-114.5" font-family="Helvetica,sans-Serif" font-size="10.00">D&#45;aux</text>
</g>
<g class="m-edge">
<title>f2C&#45;&gt;f2Daux</title>
<path stroke-dasharray="5,2" d="M585.65,-184.89C582.21,-173.77 577.33,-157.94 573.17,-144.47"/>
<polygon points="576.46,-143.27 570.17,-134.75 569.77,-145.33 576.46,-143.27"/>
<text text-anchor="middle" x="581.5" y="-156" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>f2F</title>
<ellipse cx="637" cy="-117" rx="27" ry="18"/>
<text text-anchor="middle" x="637" y="-114.5" font-family="Helvetica,sans-Serif" font-size="10.00">F</text>
</g>
<g class="m-edge">
<title>f2C&#45;&gt;f2F</title>
<path stroke-dasharray="5,2" d="M597.14,-186.7C603.84,-175.15 614.06,-157.54 622.47,-143.04"/>
<polygon points="625.69,-144.46 627.69,-134.05 619.64,-140.95 625.69,-144.46"/>
<text text-anchor="middle" x="619.5" y="-156" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>f2D</title>
<ellipse cx="529" cy="-34" rx="27" ry="18"/>
<text text-anchor="middle" x="529" y="-31.5" font-family="Helvetica,sans-Serif" font-size="10.00">D</text>
</g>
<g class="m-edge">
<title>f2Daux&#45;&gt;f2D</title>
<path d="M557.71,-99.61C552.74,-88.41 546.04,-73.34 540.37,-60.58"/>
<polygon points="543.53,-59.08 536.27,-51.37 537.14,-61.93 543.53,-59.08"/>
</g>
<g class="m-node m-flat">
<title>f2E</title>
<ellipse cx="493" cy="-117" rx="27" ry="18"/>
<text text-anchor="middle" x="493" y="-114.5" font-family="Helvetica,sans-Serif" font-size="10.00">E</text>
</g>
<g class="m-edge">
<title>f2E&#45;&gt;f2D</title>
<path d="M500.29,-99.61C505.26,-88.41 511.96,-73.34 517.63,-60.58"/>
<polygon points="520.86,-61.93 521.73,-51.37 514.47,-59.08 520.86,-61.93"/>
</g>
<g class="m-node">
<title>rP</title>
<polygon points="809,-218 782,-200 809,-182 836,-200 809,-218"/>
<text text-anchor="middle" x="809" y="-197.5" font-family="Helvetica,sans-Serif" font-size="10.00">P</text>
</g>
<g class="m-node m-flat">
<title>rQ</title>
<ellipse cx="859" cy="-117" rx="27" ry="18"/>
<text text-anchor="middle" x="859" y="-114.5" font-family="Helvetica,sans-Serif" font-size="10.00">Q</text>
</g>
<g class="m-edge">
<title>rP&#45;&gt;rQ</title>
<path stroke-dasharray="5,2" d="M816.59,-186.7C823.79,-175.04 834.8,-157.2 843.8,-142.62"/>
<polygon points="846.82,-144.4 849.09,-134.05 840.86,-140.72 846.82,-144.4"/>
<text text-anchor="middle" x="839.5" y="-156" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>rX</title>
<ellipse cx="787" cy="-117" rx="27" ry="18"/>
<text text-anchor="middle" x="787" y="-114.5" font-family="Helvetica,sans-Serif" font-size="10.00">X</text>
</g>
<g class="m-edge">
<title>rP&#45;&gt;rX</title>
<path stroke-dasharray="5,2" d="M805.07,-184.52C802.08,-173.53 797.9,-158.11 794.3,-144.89"/>
<polygon points="797.58,-143.61 791.58,-134.88 790.83,-145.44 797.58,-143.61"/>
<text text-anchor="middle" x="802.5" y="-156" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node">
<title>rM</title>
<polygon points="730,-218 703,-200 730,-182 757,-200 730,-218"/>
<text text-anchor="middle" x="730" y="-197.5" font-family="Helvetica,sans-Serif" font-size="10.00">M</text>
</g>
<g class="m-edge">
<title>rM&#45;&gt;rX</title>
<path stroke-dasharray="5,2" d="M738.17,-187.39C746.45,-175.62 759.52,-157.05 770.06,-142.08"/>
<polygon points="773.02,-143.95 775.91,-133.76 767.29,-139.92 773.02,-143.95"/>
<text text-anchor="middle" x="764.5" y="-156" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>rN</title>
<ellipse cx="715" cy="-117" rx="27" ry="18"/>
<text text-anchor="middle" x="715" y="-114.5" font-family="Helvetica,sans-Serif" font-size="10.00">N</text>
</g>
<g class="m-edge">
<title>rM&#45;&gt;rN</title>
<path stroke-dasharray="5,2" d="M727.18,-183.76C725.18,-172.95 722.43,-158.14 720.06,-145.31"/>
<polygon points="723.43,-144.33 718.17,-135.13 716.55,-145.6 723.43,-144.33"/>
<text text-anchor="middle" x="726.5" y="-156" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
</g>
</svg>
</div><p>In the <code>error1</code> scenario, there is no source task for the scheduler to start with, and the simplest fix is to add a task <code>S</code> that has no dependents. In the <code>error2</code> scenario, <code>D</code> might be scheduled twice by <code>E</code> through the strong dependency and <code>C</code> through the weak dependency (on returning <code>1</code>). To fix this problem, you can add an auxiliary task <code>D-aux</code> to break the mixed use of strong dependency and weak dependency. In the risky scenario, task <code>X</code> may be raced by <code>M</code> and <code>P</code> if <code>M</code> returns <code>0</code> and P returns <code>1</code>.</p><aside class="m-note m-warning"><h4>Attention</h4><p>It is your responsibility to ensure a written taskflow graph is properly conditioned. We suggest that you <a href="#TaskSchedulingPolicy" class="m-doc">Understand our Task-level Scheduling</a> and infer if task race exists in the execution of your graph.</p></aside></section><section id="ImplementControlFlowGraphs"><h2><a href="#ImplementControlFlowGraphs">Implement Control-flow Graphs</a></h2><section id="ImplementIfElseControlFlow"><h3><a href="#ImplementIfElseControlFlow">Implement If-Else Control Flow</a></h3><p>You can use conditional tasking to implement if-else control flow. The following example creates a nested if-else control flow diagram that executes three condition tasks to check the range of <code>i</code>.</p><pre class="m-code"><span class="n">tf</span><span class="o">::</span><span class="n">Taskflow</span><span class="w"> </span><span class="n">taskflow</span><span class="p">;</span>
<span class="kt">int</span><span class="w"> </span><span class="n">i</span><span class="p">;</span>
<span class="c1">// create three condition tasks for nested control flow</span>
<span class="k">auto</span><span class="w"> </span><span class="n">initi</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">i</span><span class="o">=</span><span class="mi">3</span><span class="p">;</span><span class="w"> </span><span class="p">});</span><span class="w"> </span>
<span class="k">auto</span><span class="w"> </span><span class="n">cond1</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">i</span><span class="o">&gt;</span><span class="mi">1</span><span class="w"> </span><span class="o">?</span><span class="w"> </span><span class="mi">1</span><span class="w"> </span><span class="o">:</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="p">});</span><span class="w"> </span>
<span class="k">auto</span><span class="w"> </span><span class="n">cond2</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">i</span><span class="o">&gt;</span><span class="mi">2</span><span class="w"> </span><span class="o">?</span><span class="w"> </span><span class="mi">1</span><span class="w"> </span><span class="o">:</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="p">});</span><span class="w"> </span>
<span class="k">auto</span><span class="w"> </span><span class="n">cond3</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">i</span><span class="o">&gt;</span><span class="mi">3</span><span class="w"> </span><span class="o">?</span><span class="w"> </span><span class="mi">1</span><span class="w"> </span><span class="o">:</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="p">});</span><span class="w"> </span>
<span class="k">auto</span><span class="w"> </span><span class="n">equl1</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;i=1</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">});</span><span class="w"> </span>
<span class="k">auto</span><span class="w"> </span><span class="n">equl2</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;i=2</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">});</span><span class="w"> </span>
<span class="k">auto</span><span class="w"> </span><span class="n">equl3</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;i=3</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">});</span><span class="w"> </span>
<span class="k">auto</span><span class="w"> </span><span class="n">grtr3</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;i&gt;3</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">});</span><span class="w"> </span>
<span class="n">initi</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">cond1</span><span class="p">);</span>
<span class="n">cond1</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">equl1</span><span class="p">,</span><span class="w"> </span><span class="n">cond2</span><span class="p">);</span><span class="w"> </span><span class="c1">// goes to cond2 if i&gt;1</span>
<span class="n">cond2</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">equl2</span><span class="p">,</span><span class="w"> </span><span class="n">cond3</span><span class="p">);</span><span class="w"> </span><span class="c1">// goes to cond3 if i&gt;2</span>
<span class="n">cond3</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">equl3</span><span class="p">,</span><span class="w"> </span><span class="n">grtr3</span><span class="p">);</span><span class="w"> </span><span class="c1">// goes to grtr3 if i&gt;3</span></pre><div class="m-graph"><svg style="width: 81.100rem; height: 15.200rem;" viewBox="0.00 0.00 811.47 152.00">
<g transform="scale(1 1) rotate(0) translate(4 148)">
<title>Taskflow</title>
<g class="m-node m-flat">
<title>p0x7fc231700030</title>
<ellipse cx="27" cy="-99" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-96.5" font-family="Helvetica,sans-Serif" font-size="10.00">init</text>
</g>
<g class="m-node">
<title>p0x7fc231700140</title>
<polygon points="179.24,-117 90.75,-99 179.24,-81 267.73,-99 179.24,-117"/>
<text text-anchor="middle" x="179.24" y="-96.5" font-family="Helvetica,sans-Serif" font-size="10.00">cond1 (i&gt;1 ? 1 : 0)</text>
</g>
<g class="m-edge">
<title>p0x7fc231700030&#45;&gt;p0x7fc231700140</title>
<path d="M54.17,-99C61.97,-99 71.02,-99 80.6,-99"/>
<polygon points="80.76,-102.5 90.76,-99 80.76,-95.5 80.76,-102.5"/>
</g>
<g class="m-node m-flat">
<title>p0x7fc231700470</title>
<ellipse cx="398.73" cy="-126" rx="27" ry="18"/>
<text text-anchor="middle" x="398.73" y="-123.5" font-family="Helvetica,sans-Serif" font-size="10.00">equl1</text>
</g>
<g class="m-edge">
<title>p0x7fc231700140&#45;&gt;p0x7fc231700470</title>
<path stroke-dasharray="5,2" d="M234.85,-105.78C274.64,-110.72 327.43,-117.27 361.97,-121.56"/>
<polygon points="361.72,-125.06 372.07,-122.81 362.58,-118.11 361.72,-125.06"/>
<text text-anchor="middle" x="288.99" y="-115" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node">
<title>p0x7fc231700250</title>
<polygon points="398.73,-90 310.24,-72 398.73,-54 487.22,-72 398.73,-90"/>
<text text-anchor="middle" x="398.73" y="-69.5" font-family="Helvetica,sans-Serif" font-size="10.00">cond2 (i&gt;2 ? 1 : 0)</text>
</g>
<g class="m-edge">
<title>p0x7fc231700140&#45;&gt;p0x7fc231700250</title>
<path stroke-dasharray="5,2" d="M234.85,-92.22C264.71,-88.51 301.88,-83.9 333.17,-80.01"/>
<polygon points="333.62,-83.49 343.11,-78.78 332.76,-76.54 333.62,-83.49"/>
<text text-anchor="middle" x="288.99" y="-88" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>p0x7fc231700580</title>
<ellipse cx="618.22" cy="-99" rx="27" ry="18"/>
<text text-anchor="middle" x="618.22" y="-96.5" font-family="Helvetica,sans-Serif" font-size="10.00">equl2</text>
</g>
<g class="m-edge">
<title>p0x7fc231700250&#45;&gt;p0x7fc231700580</title>
<path stroke-dasharray="5,2" d="M454.33,-78.78C494.13,-83.72 546.92,-90.27 581.46,-94.56"/>
<polygon points="581.2,-98.06 591.56,-95.81 582.07,-91.11 581.2,-98.06"/>
<text text-anchor="middle" x="508.48" y="-88" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node">
<title>p0x7fc231700360</title>
<polygon points="618.22,-63 529.73,-45 618.22,-27 706.71,-45 618.22,-63"/>
<text text-anchor="middle" x="618.22" y="-42.5" font-family="Helvetica,sans-Serif" font-size="10.00">cond3 (i&gt;3 ? 1 : 0)</text>
</g>
<g class="m-edge">
<title>p0x7fc231700250&#45;&gt;p0x7fc231700360</title>
<path stroke-dasharray="5,2" d="M454.33,-65.22C484.2,-61.51 521.37,-56.9 552.66,-53.01"/>
<polygon points="553.11,-56.49 562.6,-51.78 552.24,-49.54 553.11,-56.49"/>
<text text-anchor="middle" x="508.48" y="-61" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>p0x7fc231700690</title>
<ellipse cx="776.47" cy="-72" rx="27" ry="18"/>
<text text-anchor="middle" x="776.47" y="-69.5" font-family="Helvetica,sans-Serif" font-size="10.00">equl3</text>
</g>
<g class="m-edge">
<title>p0x7fc231700360&#45;&gt;p0x7fc231700690</title>
<path stroke-dasharray="5,2" d="M666.95,-53.25C690.55,-57.33 718.53,-62.16 740.17,-65.9"/>
<polygon points="739.79,-69.39 750.24,-67.64 740.98,-62.49 739.79,-69.39"/>
<text text-anchor="middle" x="727.97" y="-67" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>p0x7fc2317007a0</title>
<ellipse cx="776.47" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="776.47" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">grtr3</text>
</g>
<g class="m-edge">
<title>p0x7fc231700360&#45;&gt;p0x7fc2317007a0</title>
<path stroke-dasharray="5,2" d="M666.95,-36.75C690.55,-32.67 718.53,-27.84 740.17,-24.1"/>
<polygon points="740.98,-27.51 750.24,-22.36 739.79,-20.61 740.98,-27.51"/>
<text text-anchor="middle" x="727.97" y="-29" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
</g>
</svg>
</div></section><section id="ImplementSwitchControlFlow"><h3><a href="#ImplementSwitchControlFlow">Implement Switch Control Flow</a></h3><p>You can use conditional tasking to implement <em>switch</em> control flow. The following example creates a switch control flow diagram that executes one of the three cases at random using four condition tasks.</p><pre class="m-code"><span class="n">tf</span><span class="o">::</span><span class="n">Taskflow</span><span class="w"> </span><span class="n">taskflow</span><span class="p">;</span>
<span class="k">auto</span><span class="w"> </span><span class="p">[</span><span class="n">source</span><span class="p">,</span><span class="w"> </span><span class="n">swcond</span><span class="p">,</span><span class="w"> </span><span class="n">case1</span><span class="p">,</span><span class="w"> </span><span class="n">case2</span><span class="p">,</span><span class="w"> </span><span class="n">case3</span><span class="p">,</span><span class="w"> </span><span class="n">target</span><span class="p">]</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">(</span>
<span class="w"> </span><span class="p">[](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;source</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;switch</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">rand</span><span class="p">()</span><span class="o">%</span><span class="mi">3</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;case 1</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;case 2</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;case 3</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;target</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">}</span>
<span class="p">);</span>
<span class="n">source</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">swcond</span><span class="p">);</span>
<span class="n">swcond</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">case1</span><span class="p">,</span><span class="w"> </span><span class="n">case2</span><span class="p">,</span><span class="w"> </span><span class="n">case3</span><span class="p">);</span>
<span class="n">target</span><span class="p">.</span><span class="n">succeed</span><span class="p">(</span><span class="n">case1</span><span class="p">,</span><span class="w"> </span><span class="n">case2</span><span class="p">,</span><span class="w"> </span><span class="n">case3</span><span class="p">);</span></pre><div class="m-graph"><svg style="width: 40.300rem; height: 15.200rem;" viewBox="0.00 0.00 402.69 152.00">
<g transform="scale(1 1) rotate(0) translate(4 148)">
<title>Taskflow</title>
<g class="m-node m-flat">
<title>p0x7fa25f000030</title>
<ellipse cx="28.84" cy="-72" rx="28.69" ry="18"/>
<text text-anchor="middle" x="28.84" y="-69.5" font-family="Helvetica,sans-Serif" font-size="10.00">source</text>
</g>
<g class="m-node">
<title>p0x7fa25f000140</title>
<polygon points="134.65,-90 94.73,-72 134.65,-54 174.57,-72 134.65,-90"/>
<text text-anchor="middle" x="134.65" y="-69.5" font-family="Helvetica,sans-Serif" font-size="10.00">switch</text>
</g>
<g class="m-edge">
<title>p0x7fa25f000030&#45;&gt;p0x7fa25f000140</title>
<path d="M57.94,-72C66.14,-72 75.35,-72 84.45,-72"/>
<polygon points="84.62,-75.5 94.62,-72 84.62,-68.5 84.62,-75.5"/>
</g>
<g class="m-node">
<title>p0x7fa25f000250</title>
<polygon points="257.57,-144 217.65,-126 257.57,-108 297.49,-126 257.57,-144"/>
<text text-anchor="middle" x="257.57" y="-123.5" font-family="Helvetica,sans-Serif" font-size="10.00">case 1</text>
</g>
<g class="m-edge">
<title>p0x7fa25f000140&#45;&gt;p0x7fa25f000250</title>
<path stroke-dasharray="5,2" d="M155.35,-80.8C174.93,-89.54 205.2,-103.06 227.54,-113.04"/>
<polygon points="226.32,-116.33 236.88,-117.21 229.18,-109.93 226.32,-116.33"/>
<text text-anchor="middle" x="196.11" y="-102" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node">
<title>p0x7fa25f000360</title>
<polygon points="257.57,-90 217.65,-72 257.57,-54 297.49,-72 257.57,-90"/>
<text text-anchor="middle" x="257.57" y="-69.5" font-family="Helvetica,sans-Serif" font-size="10.00">case 2</text>
</g>
<g class="m-edge">
<title>p0x7fa25f000140&#45;&gt;p0x7fa25f000360</title>
<path stroke-dasharray="5,2" d="M174.57,-72C184.93,-72 196.26,-72 207.1,-72"/>
<polygon points="207.3,-75.5 217.3,-72 207.3,-68.5 207.3,-75.5"/>
<text text-anchor="middle" x="196.11" y="-75" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node">
<title>p0x7fa25f000470</title>
<polygon points="257.57,-36 217.65,-18 257.57,0 297.49,-18 257.57,-36"/>
<text text-anchor="middle" x="257.57" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">case 3</text>
</g>
<g class="m-edge">
<title>p0x7fa25f000140&#45;&gt;p0x7fa25f000470</title>
<path stroke-dasharray="5,2" d="M155.35,-63.2C174.93,-54.46 205.2,-40.94 227.54,-30.96"/>
<polygon points="229.18,-34.07 236.88,-26.79 226.32,-27.67 229.18,-34.07"/>
<text text-anchor="middle" x="196.11" y="-48" font-family="Helvetica,sans-Serif" font-size="10.00">2</text>
</g>
<g class="m-node m-flat">
<title>p0x7fa25f000580</title>
<ellipse cx="367.61" cy="-72" rx="27.16" ry="18"/>
<text text-anchor="middle" x="367.61" y="-69.5" font-family="Helvetica,sans-Serif" font-size="10.00">target</text>
</g>
<g class="m-edge">
<title>p0x7fa25f000250&#45;&gt;p0x7fa25f000580</title>
<path stroke-dasharray="5,2" d="M277.39,-116.59C293.63,-108.48 317.38,-96.6 336.3,-87.15"/>
<polygon points="338.03,-90.19 345.41,-82.59 334.9,-83.93 338.03,-90.19"/>
<text text-anchor="middle" x="319.03" y="-100" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-edge">
<title>p0x7fa25f000360&#45;&gt;p0x7fa25f000580</title>
<path stroke-dasharray="5,2" d="M297.57,-72C308.27,-72 319.82,-72 330.36,-72"/>
<polygon points="330.49,-75.5 340.49,-72 330.49,-68.5 330.49,-75.5"/>
<text text-anchor="middle" x="319.03" y="-75" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-edge">
<title>p0x7fa25f000470&#45;&gt;p0x7fa25f000580</title>
<path stroke-dasharray="5,2" d="M277.39,-27.41C293.63,-35.52 317.38,-47.4 336.3,-56.85"/>
<polygon points="334.9,-60.07 345.41,-61.41 338.03,-53.81 334.9,-60.07"/>
<text text-anchor="middle" x="319.03" y="-52" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
</g>
</svg>
</div><p>Assuming <code>swcond</code> returns 1, the program outputs:</p><pre class="m-console"><span class="go">source</span>
<span class="go">switch</span>
<span class="go">case 2</span>
<span class="go">target</span></pre><p>Keep in mind, both switch and case tasks must be described as condition tasks. The following implementation is a common mistake in which case tasks are not described as condition tasks.</p><pre class="m-code"><span class="c1">// wrong implementation of switch control flow using only one condition task</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Taskflow</span><span class="w"> </span><span class="n">taskflow</span><span class="p">;</span>
<span class="k">auto</span><span class="w"> </span><span class="p">[</span><span class="n">source</span><span class="p">,</span><span class="w"> </span><span class="n">swcond</span><span class="p">,</span><span class="w"> </span><span class="n">case1</span><span class="p">,</span><span class="w"> </span><span class="n">case2</span><span class="p">,</span><span class="w"> </span><span class="n">case3</span><span class="p">,</span><span class="w"> </span><span class="n">target</span><span class="p">]</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">(</span>
<span class="w"> </span><span class="p">[](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;source</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;switch</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">rand</span><span class="p">()</span><span class="o">%</span><span class="mi">3</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;case 1</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;case 2</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;case 3</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;target</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">}</span><span class="w"> </span><span class="c1">// target has three strong dependencies</span>
<span class="p">);</span>
<span class="n">source</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">swcond</span><span class="p">);</span>
<span class="n">swcond</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">case1</span><span class="p">,</span><span class="w"> </span><span class="n">case2</span><span class="p">,</span><span class="w"> </span><span class="n">case3</span><span class="p">);</span>
<span class="n">target</span><span class="p">.</span><span class="n">succeed</span><span class="p">(</span><span class="n">case1</span><span class="p">,</span><span class="w"> </span><span class="n">case2</span><span class="p">,</span><span class="w"> </span><span class="n">case3</span><span class="p">);</span></pre><div class="m-graph"><svg style="width: 37.300rem; height: 15.200rem;" viewBox="0.00 0.00 373.28 152.00">
<g transform="scale(1 1) rotate(0) translate(4 148)">
<title>Taskflow</title>
<g class="m-node m-flat">
<title>p0x7f96d3000030</title>
<ellipse cx="28.84" cy="-72" rx="28.69" ry="18"/>
<text text-anchor="middle" x="28.84" y="-69.5" font-family="Helvetica,sans-Serif" font-size="10.00">source</text>
</g>
<g class="m-node">
<title>p0x7f96d3000140</title>
<polygon points="134.65,-90 94.73,-72 134.65,-54 174.57,-72 134.65,-90"/>
<text text-anchor="middle" x="134.65" y="-69.5" font-family="Helvetica,sans-Serif" font-size="10.00">switch</text>
</g>
<g class="m-edge">
<title>p0x7f96d3000030&#45;&gt;p0x7f96d3000140</title>
<path d="M57.94,-72C66.14,-72 75.35,-72 84.45,-72"/>
<polygon points="84.62,-75.5 94.62,-72 84.62,-68.5 84.62,-75.5"/>
</g>
<g class="m-node m-flat">
<title>p0x7f96d3000250</title>
<ellipse cx="245.86" cy="-126" rx="28.01" ry="18"/>
<text text-anchor="middle" x="245.86" y="-123.5" font-family="Helvetica,sans-Serif" font-size="10.00">case 1</text>
</g>
<g class="m-edge">
<title>p0x7f96d3000140&#45;&gt;p0x7f96d3000250</title>
<path stroke-dasharray="5,2" d="M154.67,-81.41C170.98,-89.47 194.8,-101.25 213.86,-110.67"/>
<polygon points="212.54,-113.92 223.06,-115.22 215.65,-107.65 212.54,-113.92"/>
<text text-anchor="middle" x="196.11" y="-105" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>p0x7f96d3000360</title>
<ellipse cx="245.86" cy="-72" rx="28.01" ry="18"/>
<text text-anchor="middle" x="245.86" y="-69.5" font-family="Helvetica,sans-Serif" font-size="10.00">case 2</text>
</g>
<g class="m-edge">
<title>p0x7f96d3000140&#45;&gt;p0x7f96d3000360</title>
<path stroke-dasharray="5,2" d="M174.77,-72C185.33,-72 196.73,-72 207.2,-72"/>
<polygon points="207.31,-75.5 217.31,-72 207.31,-68.5 207.31,-75.5"/>
<text text-anchor="middle" x="196.11" y="-75" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>p0x7f96d3000470</title>
<ellipse cx="245.86" cy="-18" rx="28.01" ry="18"/>
<text text-anchor="middle" x="245.86" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">case 3</text>
</g>
<g class="m-edge">
<title>p0x7f96d3000140&#45;&gt;p0x7f96d3000470</title>
<path stroke-dasharray="5,2" d="M154.67,-62.59C170.98,-54.53 194.8,-42.75 213.86,-33.33"/>
<polygon points="215.65,-36.35 223.06,-28.78 212.54,-30.08 215.65,-36.35"/>
<text text-anchor="middle" x="196.11" y="-46" font-family="Helvetica,sans-Serif" font-size="10.00">2</text>
</g>
<g class="m-node m-flat">
<title>p0x7f96d3000580</title>
<ellipse cx="338.2" cy="-72" rx="27.16" ry="18"/>
<text text-anchor="middle" x="338.2" y="-69.5" font-family="Helvetica,sans-Serif" font-size="10.00">target</text>
</g>
<g class="m-edge">
<title>p0x7f96d3000250&#45;&gt;p0x7f96d3000580</title>
<path d="M267.36,-113.75C279.54,-106.47 295.18,-97.12 308.56,-89.12"/>
<polygon points="310.61,-91.97 317.4,-83.83 307.02,-85.96 310.61,-91.97"/>
</g>
<g class="m-edge">
<title>p0x7f96d3000360&#45;&gt;p0x7f96d3000580</title>
<path d="M274.46,-72C282.81,-72 292.12,-72 300.95,-72"/>
<polygon points="301.01,-75.5 311.01,-72 301.01,-68.5 301.01,-75.5"/>
</g>
<g class="m-edge">
<title>p0x7f96d3000470&#45;&gt;p0x7f96d3000580</title>
<path d="M267.36,-30.25C279.54,-37.53 295.18,-46.88 308.56,-54.88"/>
<polygon points="307.02,-58.04 317.4,-60.17 310.61,-52.03 307.02,-58.04"/>
</g>
</g>
</svg>
</div><p>In this faulty implementation, task <code>target</code> has three strong dependencies but only one of them will be met. This is because <code>swcond</code> is a condition task, and only one case task will be executed depending on the return of <code>swcond</code>.</p></section><section id="ImplementDoWhileLoopControlFlow"><h3><a href="#ImplementDoWhileLoopControlFlow">Implement Do-While-Loop Control Flow</a></h3><p>You can use conditional tasking to implement <em>do-while-loop</em> control flow. The following example creates a do-while-loop control flow diagram that repeatedly increments variable <code>i</code> five times using one condition task.</p><pre class="m-code"><span class="n">tf</span><span class="o">::</span><span class="n">Taskflow</span><span class="w"> </span><span class="n">taskflow</span><span class="p">;</span>
<span class="kt">int</span><span class="w"> </span><span class="n">i</span><span class="p">;</span>
<span class="k">auto</span><span class="w"> </span><span class="p">[</span><span class="n">init</span><span class="p">,</span><span class="w"> </span><span class="n">body</span><span class="p">,</span><span class="w"> </span><span class="n">cond</span><span class="p">,</span><span class="w"> </span><span class="n">done</span><span class="p">]</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">(</span>
<span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;i=0</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="n">i</span><span class="o">=</span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;i++ =&gt; i=&quot;</span><span class="p">;</span><span class="w"> </span><span class="n">i</span><span class="o">++</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n">i</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="sc">&#39;\n&#39;</span><span class="p">;</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">i</span><span class="o">&lt;</span><span class="mi">5</span><span class="w"> </span><span class="o">?</span><span class="w"> </span><span class="mi">0</span><span class="w"> </span><span class="o">:</span><span class="w"> </span><span class="mi">1</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;done</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">}</span>
<span class="p">);</span><span class="w"> </span>
<span class="n">init</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">body</span><span class="p">);</span>
<span class="n">body</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">cond</span><span class="p">);</span>
<span class="n">cond</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">body</span><span class="p">,</span><span class="w"> </span><span class="n">done</span><span class="p">);</span></pre><div class="m-graph"><svg style="width: 40.400rem; height: 4.400rem;" viewBox="0.00 0.00 403.94 44.00">
<g transform="scale(1 1) rotate(0) translate(4 40)">
<title>Taskflow</title>
<g class="m-node m-flat">
<title>p0x7f950d600030</title>
<ellipse cx="27" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">init</text>
</g>
<g class="m-node m-flat">
<title>p0x7f950d600140</title>
<ellipse cx="121.02" cy="-18" rx="30.04" ry="18"/>
<text text-anchor="middle" x="121.02" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">do i++</text>
</g>
<g class="m-edge">
<title>p0x7f950d600030&#45;&gt;p0x7f950d600140</title>
<path d="M54.12,-18C62.37,-18 71.68,-18 80.64,-18"/>
<polygon points="80.92,-21.5 90.92,-18 80.92,-14.5 80.92,-21.5"/>
</g>
<g class="m-node">
<title>p0x7f950d600250</title>
<polygon points="246.49,-36 194.1,-18 246.49,0 298.89,-18 246.49,-36"/>
<text text-anchor="middle" x="246.49" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">while i&lt;5</text>
</g>
<g class="m-edge">
<title>p0x7f950d600140&#45;&gt;p0x7f950d600250</title>
<path d="M151.28,-18C161,-18 172.22,-18 183.45,-18"/>
<polygon points="183.73,-21.5 193.73,-18 183.73,-14.5 183.73,-21.5"/>
</g>
<g class="m-edge">
<title>p0x7f950d600250&#45;&gt;p0x7f950d600140</title>
<path stroke-dasharray="5,2" d="M219.74,-9.04C204.95,-4.96 186,-1.53 169.04,-4 165.08,-4.58 160.98,-5.42 156.94,-6.4"/>
<polygon points="155.83,-3.07 147.1,-9.08 157.67,-9.83 155.83,-3.07"/>
<text text-anchor="middle" x="172.54" y="-7" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>p0x7f950d600360</title>
<ellipse cx="368.94" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="368.94" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">done</text>
</g>
<g class="m-edge">
<title>p0x7f950d600250&#45;&gt;p0x7f950d600360</title>
<path stroke-dasharray="5,2" d="M298.92,-18C309.93,-18 321.34,-18 331.64,-18"/>
<polygon points="331.9,-21.5 341.9,-18 331.9,-14.5 331.9,-21.5"/>
<text text-anchor="middle" x="320.44" y="-21" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
</g>
</svg>
</div><p>The program outputs:</p><pre class="m-console"><span class="go">i=0</span>
<span class="go">i++ =&gt; i=1</span>
<span class="go">i++ =&gt; i=2</span>
<span class="go">i++ =&gt; i=3</span>
<span class="go">i++ =&gt; i=4</span>
<span class="go">i++ =&gt; i=5</span>
<span class="go">done</span></pre></section><section id="ImplementWhileLoopControlFlow"><h3><a href="#ImplementWhileLoopControlFlow">Implement While-Loop Control Flow</a></h3><p>You can use conditional tasking to implement <em>while-loop</em> control flow. The following example creates a while-loop control flow diagram that repeatedly increments variable <code>i</code> five times using two condition task.</p><pre class="m-code"><span class="n">tf</span><span class="o">::</span><span class="n">Taskflow</span><span class="w"> </span><span class="n">taskflow</span><span class="p">;</span>
<span class="kt">int</span><span class="w"> </span><span class="n">i</span><span class="p">;</span>
<span class="k">auto</span><span class="w"> </span><span class="p">[</span><span class="n">init</span><span class="p">,</span><span class="w"> </span><span class="n">cond</span><span class="p">,</span><span class="w"> </span><span class="n">body</span><span class="p">,</span><span class="w"> </span><span class="n">back</span><span class="p">,</span><span class="w"> </span><span class="n">done</span><span class="p">]</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">(</span>
<span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;i=0</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="n">i</span><span class="o">=</span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;while i&lt;5</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">i</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">5</span><span class="w"> </span><span class="o">?</span><span class="w"> </span><span class="mi">0</span><span class="w"> </span><span class="o">:</span><span class="w"> </span><span class="mi">1</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;i++=&quot;</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n">i</span><span class="o">++</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="sc">&#39;\n&#39;</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;back</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;done</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">}</span>
<span class="p">);</span>
<span class="n">init</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">cond</span><span class="p">);</span>
<span class="n">cond</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">body</span><span class="p">,</span><span class="w"> </span><span class="n">done</span><span class="p">);</span>
<span class="n">body</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">back</span><span class="p">);</span>
<span class="n">back</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">cond</span><span class="p">);</span></pre><div class="m-graph"><svg style="width: 40.400rem; height: 13.300rem;" viewBox="0.00 0.00 404.49 133.00">
<g transform="scale(1 1) rotate(0) translate(4 129)">
<title>Taskflow</title>
<g class="m-node m-flat">
<title>p0x7fdba4000030</title>
<ellipse cx="27" cy="-53" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-50.5" font-family="Helvetica,sans-Serif" font-size="10.00">init</text>
</g>
<g class="m-node">
<title>p0x7fdba4000140</title>
<polygon points="143.45,-71 91.05,-53 143.45,-35 195.84,-53 143.45,-71"/>
<text text-anchor="middle" x="143.45" y="-50.5" font-family="Helvetica,sans-Serif" font-size="10.00">while i&lt;5</text>
</g>
<g class="m-edge">
<title>p0x7fdba4000030&#45;&gt;p0x7fdba4000140</title>
<path d="M54.26,-53C62.2,-53 71.29,-53 80.55,-53"/>
<polygon points="80.6,-56.5 90.6,-53 80.6,-49.5 80.6,-56.5"/>
</g>
<g class="m-node m-flat">
<title>p0x7fdba4000470</title>
<ellipse cx="265.89" cy="-107" rx="27" ry="18"/>
<text text-anchor="middle" x="265.89" y="-104.5" font-family="Helvetica,sans-Serif" font-size="10.00">done</text>
</g>
<g class="m-edge">
<title>p0x7fdba4000140&#45;&gt;p0x7fdba4000470</title>
<path stroke-dasharray="5,2" d="M166.82,-63.03C185.7,-71.49 212.92,-83.7 233.9,-93.1"/>
<polygon points="232.49,-96.31 243.05,-97.21 235.35,-89.92 232.49,-96.31"/>
<text text-anchor="middle" x="217.39" y="-89" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>p0x7fdba4000250</title>
<ellipse cx="265.89" cy="-53" rx="27" ry="18"/>
<text text-anchor="middle" x="265.89" y="-50.5" font-family="Helvetica,sans-Serif" font-size="10.00">i++</text>
</g>
<g class="m-edge">
<title>p0x7fdba4000140&#45;&gt;p0x7fdba4000250</title>
<path stroke-dasharray="5,2" d="M195.88,-53C206.89,-53 218.3,-53 228.59,-53"/>
<polygon points="228.86,-56.5 238.86,-53 228.86,-49.5 228.86,-56.5"/>
<text text-anchor="middle" x="217.39" y="-56" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node">
<title>p0x7fdba4000360</title>
<polygon points="363.19,-36 330.09,-18 363.19,0 396.29,-18 363.19,-36"/>
<text text-anchor="middle" x="363.19" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">back</text>
</g>
<g class="m-edge">
<title>p0x7fdba4000250&#45;&gt;p0x7fdba4000360</title>
<path d="M289.96,-44.53C303,-39.74 319.41,-33.71 333.29,-28.62"/>
<polygon points="334.69,-31.83 342.87,-25.1 332.28,-25.26 334.69,-31.83"/>
</g>
<g class="m-edge">
<title>p0x7fdba4000360&#45;&gt;p0x7fdba4000140</title>
<path stroke-dasharray="5,2" d="M336.9,-14.25C311.79,-11.25 272.32,-8.53 238.89,-15 216.35,-19.37 192.36,-29.09 174.2,-37.61"/>
<polygon points="172.23,-34.67 164.75,-42.17 175.28,-40.97 172.23,-34.67"/>
<text text-anchor="middle" x="265.89" y="-18" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
</g>
</svg>
</div><p>The program outputs:</p><pre class="m-console"><span class="go">i=0</span>
<span class="go">while i&lt;5</span>
<span class="go">i++=0</span>
<span class="go">back</span>
<span class="go">while i&lt;5</span>
<span class="go">i++=1</span>
<span class="go">back</span>
<span class="go">while i&lt;5</span>
<span class="go">i++=2</span>
<span class="go">back</span>
<span class="go">while i&lt;5</span>
<span class="go">i++=3</span>
<span class="go">back</span>
<span class="go">while i&lt;5</span>
<span class="go">i++=4</span>
<span class="go">back</span>
<span class="go">while i&lt;5</span>
<span class="go">done</span></pre><p>Notice that, when you implement a while-loop block, you cannot direct a dependency from the body task to the loop condition task. Doing so will introduce a strong dependency between the body task and the loop condition task, and the loop condition task will never be executed. The following code shows a common faulty implementation of while-loop control flow.</p><pre class="m-code"><span class="c1">// wrong implementation of while-loop using only one condition task</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Taskflow</span><span class="w"> </span><span class="n">taskflow</span><span class="p">;</span>
<span class="kt">int</span><span class="w"> </span><span class="n">i</span><span class="p">;</span>
<span class="k">auto</span><span class="w"> </span><span class="p">[</span><span class="n">init</span><span class="p">,</span><span class="w"> </span><span class="n">cond</span><span class="p">,</span><span class="w"> </span><span class="n">body</span><span class="p">,</span><span class="w"> </span><span class="n">done</span><span class="p">]</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">(</span>
<span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;i=0</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="n">i</span><span class="o">=</span><span class="mi">0</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;while i&lt;5</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="n">i</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">5</span><span class="w"> </span><span class="o">?</span><span class="w"> </span><span class="mi">0</span><span class="w"> </span><span class="o">:</span><span class="w"> </span><span class="mi">1</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;i++=&quot;</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n">i</span><span class="o">++</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="sc">&#39;\n&#39;</span><span class="p">;</span><span class="w"> </span><span class="p">},</span>
<span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;done</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">}</span>
<span class="p">);</span>
<span class="n">init</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">cond</span><span class="p">);</span>
<span class="n">cond</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">body</span><span class="p">,</span><span class="w"> </span><span class="n">done</span><span class="p">);</span>
<span class="n">body</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">cond</span><span class="p">);</span></pre><div class="m-graph"><svg style="width: 30.100rem; height: 10.400rem;" viewBox="0.00 0.00 300.89 104.00">
<g transform="scale(1 1) rotate(0) translate(4 100)">
<title>Taskflow</title>
<g class="m-node m-flat">
<title>p0x7fdba4000030</title>
<ellipse cx="27" cy="-44" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-41.5" font-family="Helvetica,sans-Serif" font-size="10.00">init</text>
</g>
<g class="m-node">
<title>p0x7fdba4000140</title>
<polygon points="143.45,-62 91.05,-44 143.45,-26 195.84,-44 143.45,-62"/>
<text text-anchor="middle" x="143.45" y="-41.5" font-family="Helvetica,sans-Serif" font-size="10.00">while i&lt;5</text>
</g>
<g class="m-edge">
<title>p0x7fdba4000030&#45;&gt;p0x7fdba4000140</title>
<path d="M54.26,-44C62.2,-44 71.29,-44 80.55,-44"/>
<polygon points="80.6,-47.5 90.6,-44 80.6,-40.5 80.6,-47.5"/>
</g>
<g class="m-node m-flat">
<title>p0x7fdba4000470</title>
<ellipse cx="265.89" cy="-78" rx="27" ry="18"/>
<text text-anchor="middle" x="265.89" y="-75.5" font-family="Helvetica,sans-Serif" font-size="10.00">done</text>
</g>
<g class="m-edge">
<title>p0x7fdba4000140&#45;&gt;p0x7fdba4000470</title>
<path stroke-dasharray="5,2" d="M172.69,-51.97C190.05,-56.87 212.42,-63.19 230.77,-68.37"/>
<polygon points="229.92,-71.76 240.5,-71.11 231.82,-65.03 229.92,-71.76"/>
<text text-anchor="middle" x="217.39" y="-68" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>p0x7fdba4000250</title>
<ellipse cx="265.89" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="265.89" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">i++</text>
</g>
<g class="m-edge">
<title>p0x7fdba4000140&#45;&gt;p0x7fdba4000250</title>
<path stroke-dasharray="5,2" d="M176.09,-37.17C192.6,-33.61 212.84,-29.24 229.82,-25.57"/>
<polygon points="230.88,-28.92 239.91,-23.39 229.4,-22.08 230.88,-28.92"/>
<text text-anchor="middle" x="217.39" y="-31" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-edge">
<title>p0x7fdba4000250&#45;&gt;p0x7fdba4000140</title>
<path d="M239.1,-20.87C230.99,-21.96 222.04,-23.33 213.89,-25 203.22,-27.18 191.77,-30.08 181.3,-32.96"/>
<polygon points="180.3,-29.6 171.63,-35.68 182.2,-36.34 180.3,-29.6"/>
</g>
</g>
</svg>
</div><p>In the taskflow diagram above, the scheduler starts with <code>init</code> and then decrements the strong dependency of the loop condition task, <code>while i&lt;5</code>. After this, there remains one strong dependency, i.e., introduced by the loop body task, <code>i++</code>. However, task <code>i++</code> will not be executed until the loop condition task returns <code>0</code>, causing a deadlock.</p></section></section><section id="CreateAMultiConditionTask"><h2><a href="#CreateAMultiConditionTask">Create a Multi-condition Task</a></h2><p>A <em>multi-condition task</em> is a generalized version of conditional tasking. In some cases, applications need to jump to multiple branches from a parent task. This can be done by creating a <em>multi-condition task</em> which allows a task to select one or more successor tasks to execute. Similar to a condition task, a multi-condition task returns a vector of integer indices that indicate the successors to execute when the multi-condition task completes. The index is defined with respect to the order of successors preceded by a multi-condition task. For example, the following code creates a multi-condition task, <code>A</code>, that informs the scheduler to run on its two successors, <code>B</code> and <code>D</code>.</p><pre class="m-code"><span class="n">tf</span><span class="o">::</span><span class="n">Executor</span><span class="w"> </span><span class="n">executor</span><span class="p">;</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Taskflow</span><span class="w"> </span><span class="n">taskflow</span><span class="p">;</span>
<span class="k">auto</span><span class="w"> </span><span class="n">A</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([</span><span class="o">&amp;</span><span class="p">]()</span><span class="w"> </span><span class="o">-&gt;</span><span class="w"> </span><span class="n">tf</span><span class="o">::</span><span class="n">SmallVector</span><span class="o">&lt;</span><span class="kt">int</span><span class="o">&gt;</span><span class="w"> </span><span class="p">{</span><span class="w"> </span>
<span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;A</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span>
<span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="p">{</span><span class="mi">0</span><span class="p">,</span><span class="w"> </span><span class="mi">2</span><span class="p">};</span>
<span class="p">}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;A&quot;</span><span class="p">);</span>
<span class="k">auto</span><span class="w"> </span><span class="n">B</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;B</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;B&quot;</span><span class="p">);</span>
<span class="k">auto</span><span class="w"> </span><span class="n">C</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;C</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;C&quot;</span><span class="p">);</span>
<span class="k">auto</span><span class="w"> </span><span class="n">D</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([</span><span class="o">&amp;</span><span class="p">](){</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;D</span><span class="se">\n</span><span class="s">&quot;</span><span class="p">;</span><span class="w"> </span><span class="p">}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;D&quot;</span><span class="p">);</span>
<span class="n">A</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">B</span><span class="p">,</span><span class="w"> </span><span class="n">C</span><span class="p">,</span><span class="w"> </span><span class="n">D</span><span class="p">);</span>
<span class="n">executor</span><span class="p">.</span><span class="n">run</span><span class="p">(</span><span class="n">taskflow</span><span class="p">).</span><span class="n">wait</span><span class="p">();</span></pre><div class="m-graph"><svg style="width: 20.600rem; height: 12.700rem;" viewBox="0.00 0.00 206.00 127.00">
<g transform="scale(1 1) rotate(0) translate(4 123)">
<title>Taskflow</title>
<g class="m-node">
<title>p0x7bc400014030</title>
<polygon points="99,-119 72,-101 99,-83 126,-101 99,-119"/>
<text text-anchor="middle" x="99" y="-98.5" font-family="Helvetica,sans-Serif" font-size="10.00">A</text>
</g>
<g class="m-node m-flat">
<title>p0x7bc400014118</title>
<ellipse cx="27" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">B</text>
</g>
<g class="m-edge">
<title>p0x7bc400014030&#45;&gt;p0x7bc400014118</title>
<path stroke-dasharray="5,2" d="M89.29,-89.08C78.5,-76.94 60.79,-57.02 47.01,-41.51"/>
<polygon points="49.47,-39.02 40.22,-33.87 44.24,-43.67 49.47,-39.02"/>
<text text-anchor="middle" x="71.5" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node m-flat">
<title>p0x7bc400014200</title>
<ellipse cx="99" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="99" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">C</text>
</g>
<g class="m-edge">
<title>p0x7bc400014030&#45;&gt;p0x7bc400014200</title>
<path stroke-dasharray="5,2" d="M99,-82.82C99,-72.19 99,-58.31 99,-46.2"/>
<polygon points="102.5,-46.15 99,-36.15 95.5,-46.15 102.5,-46.15"/>
<text text-anchor="middle" x="102.5" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-node m-flat">
<title>p0x7bc4000142e8</title>
<ellipse cx="171" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="171" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">D</text>
</g>
<g class="m-edge">
<title>p0x7bc400014030&#45;&gt;p0x7bc4000142e8</title>
<path stroke-dasharray="5,2" d="M108.71,-89.08C119.5,-76.94 137.21,-57.02 150.99,-41.51"/>
<polygon points="153.76,-43.67 157.78,-33.87 148.53,-39.02 153.76,-43.67"/>
<text text-anchor="middle" x="142.5" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00">2</text>
</g>
</g>
</svg>
</div><aside class="m-note m-info"><h4>Note</h4><p>The return type of a multi-condition task is <a href="classtf_1_1SmallVector.html" class="m-doc">tf::<wbr />SmallVector</a>, which provides C++ vector-style functionalities but comes with small buffer optimization.</p></aside><p>One important application of conditional tasking is implementing <em>iterative control flow</em>. You can use multi-condition tasks to create multiple loops that run concurrently. The following code creates a sequential chain of four loops in which each loop increments a counter variable ten times. When the program completes, the value of the counter variable is <code>40</code>.</p><pre class="m-code"><span class="n">tf</span><span class="o">::</span><span class="n">Executor</span><span class="w"> </span><span class="n">executor</span><span class="p">;</span>
<span class="n">tf</span><span class="o">::</span><span class="n">Taskflow</span><span class="w"> </span><span class="n">taskflow</span><span class="p">;</span>
<span class="n">std</span><span class="o">::</span><span class="n">atomic</span><span class="o">&lt;</span><span class="kt">int</span><span class="o">&gt;</span><span class="w"> </span><span class="n">counter</span><span class="p">{</span><span class="mi">0</span><span class="p">};</span>
<span class="k">auto</span><span class="w"> </span><span class="n">loop</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="p">[</span><span class="o">&amp;</span><span class="p">,</span><span class="w"> </span><span class="n">c</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="kt">int</span><span class="p">(</span><span class="mi">0</span><span class="p">)]()</span><span class="w"> </span><span class="k">mutable</span><span class="w"> </span><span class="o">-&gt;</span><span class="w"> </span><span class="n">tf</span><span class="o">::</span><span class="n">SmallVector</span><span class="o">&lt;</span><span class="kt">int</span><span class="o">&gt;</span><span class="w"> </span><span class="p">{</span>
<span class="w"> </span><span class="n">counter</span><span class="p">.</span><span class="n">fetch_add</span><span class="p">(</span><span class="mi">1</span><span class="p">,</span><span class="w"> </span><span class="n">std</span><span class="o">::</span><span class="n">memory_order_relaxed</span><span class="p">);</span>
<span class="w"> </span><span class="k">return</span><span class="w"> </span><span class="p">{</span><span class="o">++</span><span class="n">c</span><span class="w"> </span><span class="o">&lt;</span><span class="w"> </span><span class="mi">10</span><span class="w"> </span><span class="o">?</span><span class="w"> </span><span class="mi">0</span><span class="w"> </span><span class="o">:</span><span class="w"> </span><span class="mi">1</span><span class="p">};</span>
<span class="p">};</span>
<span class="k">auto</span><span class="w"> </span><span class="n">init</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">([](){}).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;init&quot;</span><span class="p">);</span>
<span class="k">auto</span><span class="w"> </span><span class="n">A</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">(</span><span class="n">loop</span><span class="p">).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;A&quot;</span><span class="p">);</span>
<span class="k">auto</span><span class="w"> </span><span class="n">B</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">(</span><span class="n">loop</span><span class="p">).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;B&quot;</span><span class="p">);</span>
<span class="k">auto</span><span class="w"> </span><span class="n">C</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">(</span><span class="n">loop</span><span class="p">).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;C&quot;</span><span class="p">);</span>
<span class="k">auto</span><span class="w"> </span><span class="n">D</span><span class="w"> </span><span class="o">=</span><span class="w"> </span><span class="n">taskflow</span><span class="p">.</span><span class="n">emplace</span><span class="p">(</span><span class="n">loop</span><span class="p">).</span><span class="n">name</span><span class="p">(</span><span class="s">&quot;D&quot;</span><span class="p">);</span>
<span class="n">init</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">A</span><span class="p">);</span>
<span class="n">A</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">A</span><span class="p">,</span><span class="w"> </span><span class="n">B</span><span class="p">);</span>
<span class="n">B</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">B</span><span class="p">,</span><span class="w"> </span><span class="n">C</span><span class="p">);</span>
<span class="n">C</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">C</span><span class="p">,</span><span class="w"> </span><span class="n">D</span><span class="p">);</span>
<span class="n">D</span><span class="p">.</span><span class="n">precede</span><span class="p">(</span><span class="n">D</span><span class="p">);</span>
<span class="n">executor</span><span class="p">.</span><span class="n">run</span><span class="p">(</span><span class="n">taskflow</span><span class="p">).</span><span class="n">wait</span><span class="p">();</span><span class="w"> </span><span class="c1">// counter == 40</span>
<span class="n">taskflow</span><span class="p">.</span><span class="n">dump</span><span class="p">(</span><span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="p">);</span>
<span class="n">std</span><span class="o">::</span><span class="n">cout</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="s">&quot;counter == &quot;</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="n">counter</span><span class="w"> </span><span class="o">&lt;&lt;</span><span class="w"> </span><span class="sc">&#39;\n&#39;</span><span class="p">;</span></pre><div class="m-graph"><svg style="width: 44.400rem; height: 7.300rem;" viewBox="0.00 0.00 444.00 73.00">
<g transform="scale(1 1) rotate(0) translate(4 69)">
<title>Taskflow</title>
<g class="m-node m-flat">
<title>p0x7bc400014030</title>
<ellipse cx="27" cy="-18" rx="27" ry="18"/>
<text text-anchor="middle" x="27" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">init</text>
</g>
<g class="m-node">
<title>p0x7bc400014118</title>
<polygon points="118,-36 91,-18 118,0 145,-18 118,-36"/>
<text text-anchor="middle" x="118" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">A</text>
</g>
<g class="m-edge">
<title>p0x7bc400014030&#45;&gt;p0x7bc400014118</title>
<path d="M54.22,-18C62.55,-18 71.91,-18 80.82,-18"/>
<polygon points="80.97,-21.5 90.97,-18 80.97,-14.5 80.97,-21.5"/>
</g>
<g class="m-edge">
<title>p0x7bc400014118&#45;&gt;p0x7bc400014118</title>
<path stroke-dasharray="5,2" d="M110.91,-31.67C108.07,-42.66 110.44,-54 118,-54 123.2,-54 125.94,-48.64 126.23,-41.72"/>
<polygon points="129.69,-41.21 125.09,-31.67 122.73,-42 129.69,-41.21"/>
<text text-anchor="middle" x="118" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node">
<title>p0x7bc400014200</title>
<polygon points="215,-36 188,-18 215,0 242,-18 215,-36"/>
<text text-anchor="middle" x="215" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">B</text>
</g>
<g class="m-edge">
<title>p0x7bc400014118&#45;&gt;p0x7bc400014200</title>
<path stroke-dasharray="5,2" d="M145.21,-18C155.28,-18 166.96,-18 177.81,-18"/>
<polygon points="177.87,-21.5 187.87,-18 177.87,-14.5 177.87,-21.5"/>
<text text-anchor="middle" x="166.5" y="-21" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-edge">
<title>p0x7bc400014200&#45;&gt;p0x7bc400014200</title>
<path stroke-dasharray="5,2" d="M207.37,-31.29C204.11,-42.4 206.66,-54 215,-54 220.74,-54 223.73,-48.52 223.98,-41.48"/>
<polygon points="227.42,-40.74 222.63,-31.29 220.48,-41.67 227.42,-40.74"/>
<text text-anchor="middle" x="215" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node">
<title>p0x7bc4000142e8</title>
<polygon points="312,-36 285,-18 312,0 339,-18 312,-36"/>
<text text-anchor="middle" x="312" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">C</text>
</g>
<g class="m-edge">
<title>p0x7bc400014200&#45;&gt;p0x7bc4000142e8</title>
<path stroke-dasharray="5,2" d="M242.21,-18C252.28,-18 263.96,-18 274.81,-18"/>
<polygon points="274.87,-21.5 284.87,-18 274.87,-14.5 274.87,-21.5"/>
<text text-anchor="middle" x="263.5" y="-21" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-edge">
<title>p0x7bc4000142e8&#45;&gt;p0x7bc4000142e8</title>
<path stroke-dasharray="5,2" d="M304.37,-31.29C301.11,-42.4 303.66,-54 312,-54 317.74,-54 320.73,-48.52 320.98,-41.48"/>
<polygon points="324.42,-40.74 319.63,-31.29 317.48,-41.67 324.42,-40.74"/>
<text text-anchor="middle" x="312" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
<g class="m-node">
<title>p0x7bc4000143d0</title>
<polygon points="409,-36 382,-18 409,0 436,-18 409,-36"/>
<text text-anchor="middle" x="409" y="-15.5" font-family="Helvetica,sans-Serif" font-size="10.00">D</text>
</g>
<g class="m-edge">
<title>p0x7bc4000142e8&#45;&gt;p0x7bc4000143d0</title>
<path stroke-dasharray="5,2" d="M339.21,-18C349.28,-18 360.96,-18 371.81,-18"/>
<polygon points="371.87,-21.5 381.87,-18 371.87,-14.5 371.87,-21.5"/>
<text text-anchor="middle" x="360.5" y="-21" font-family="Helvetica,sans-Serif" font-size="10.00">1</text>
</g>
<g class="m-edge">
<title>p0x7bc4000143d0&#45;&gt;p0x7bc4000143d0</title>
<path stroke-dasharray="5,2" d="M401.37,-31.29C398.11,-42.4 400.66,-54 409,-54 414.74,-54 417.73,-48.52 417.98,-41.48"/>
<polygon points="421.42,-40.74 416.63,-31.29 414.48,-41.67 421.42,-40.74"/>
<text text-anchor="middle" x="409" y="-57" font-family="Helvetica,sans-Serif" font-size="10.00">0</text>
</g>
</g>
</svg>
</div><aside class="m-note m-warning"><h4>Attention</h4><p>It is your responsibility to ensure the return of a multi-condition task goes to a correct successor task. If a returned index falls outside the successor range of a multi-condition task, the scheduler will skip that index without doing anything.</p></aside></section>
</div>
</div>
</div>
</article></main>
<div class="m-doc-search" id="search">
<a href="#!" onclick="return hideSearch()"></a>
<div class="m-container">
<div class="m-row">
<div class="m-col-m-8 m-push-m-2">
<div class="m-doc-search-header m-text m-small">
<div><span class="m-label m-default">Tab</span> / <span class="m-label m-default">T</span> to search, <span class="m-label m-default">Esc</span> to close</div>
<div id="search-symbolcount">&hellip;</div>
</div>
<div class="m-doc-search-content">
<form>
<input type="search" name="q" id="search-input" placeholder="Loading &hellip;" disabled="disabled" autofocus="autofocus" autocomplete="off" spellcheck="false" />
</form>
<noscript class="m-text m-danger m-text-center">Unlike everything else in the docs, the search functionality <em>requires</em> JavaScript.</noscript>
<div id="search-help" class="m-text m-dim m-text-center">
<p class="m-noindent">Search for symbols, directories, files, pages or
modules. You can omit any prefix from the symbol or file path; adding a
<code>:</code> or <code>/</code> suffix lists all members of given symbol or
directory.</p>
<p class="m-noindent">Use <span class="m-label m-dim">&darr;</span>
/ <span class="m-label m-dim">&uarr;</span> to navigate through the list,
<span class="m-label m-dim">Enter</span> to go.
<span class="m-label m-dim">Tab</span> autocompletes common prefix, you can
copy a link to the result using <span class="m-label m-dim">⌘</span>
<span class="m-label m-dim">L</span> while <span class="m-label m-dim">⌘</span>
<span class="m-label m-dim">M</span> produces a Markdown link.</p>
</div>
<div id="search-notfound" class="m-text m-warning m-text-center">Sorry, nothing was found.</div>
<ul id="search-results"></ul>
</div>
</div>
</div>
</div>
</div>
<script src="search-v2.js"></script>
<script src="searchdata-v2.js" async="async"></script>
<footer><nav>
<div class="m-container">
<div class="m-row">
<div class="m-col-l-10 m-push-l-1">
<p>Taskflow handbook is part of the <a href="https://taskflow.github.io">Taskflow project</a>, copyright © <a href="https://tsung-wei-huang.github.io/">Dr. Tsung-Wei Huang</a>, 2018&ndash;2024.<br />Generated by <a href="https://doxygen.org/">Doxygen</a> 1.9.1 and <a href="https://mcss.mosra.cz/">m.css</a>.</p>
</div>
</div>
</div>
</nav></footer>
</body>
</html>
Reference in a new issue View git blame Copy permalink