HLS的任務(wù)級(jí)并行性（Task-level Parallelism）分為兩種：一種是控制驅(qū)動(dòng)型；一種是數(shù)據(jù)驅(qū)動(dòng)型。對(duì)于控制驅(qū)動(dòng)型，用戶要手工添加DATAFLOWpragma，工具會(huì)在該pragma指定的區(qū)域內(nèi)判別任務(wù)之間的并行性，生成各進(jìn)程之間的模塊級(jí)控制信號(hào)。對(duì)于數(shù)據(jù)驅(qū)動(dòng)型，用于需要明確指定可并行執(zhí)行的任務(wù)。

從描述手段來(lái)看，控制驅(qū)動(dòng)型本質(zhì)上是由工具判定各任務(wù)能否并行執(zhí)行。用戶在對(duì)各函數(shù)描述時(shí)只要遵守DATAFLOW的要求即可。例如：讀取輸入數(shù)據(jù)應(yīng)該位于DATAFLOW區(qū)域的起始位置，寫(xiě)入輸出數(shù)據(jù)應(yīng)位于該區(qū)域的終止位置。DATALOW區(qū)域內(nèi)的所有變量遵循“一次讀一次寫(xiě)”原則。除非使用hls::stream，否則不支持反饋支路。不支持在指定條件下才執(zhí)行函數(shù)。不支持for在指定條件下退出（使用break語(yǔ)句）。但控制驅(qū)動(dòng)型比較靈活，這是因?yàn)镈ATAFLOW的作用對(duì)象可以是for循環(huán)也可以是函數(shù)。

控制驅(qū)動(dòng)器適合于順序執(zhí)行的C函數(shù)?？刂乞?qū)動(dòng)型模型帶來(lái)的好處包括：當(dāng)前函數(shù)在結(jié)束執(zhí)行之前后續(xù)函數(shù)可以開(kāi)始執(zhí)行；函數(shù)在結(jié)束執(zhí)行之前可以重新開(kāi)始執(zhí)行；兩個(gè)或更多順序函數(shù)可以同時(shí)開(kāi)始執(zhí)行。我們看一個(gè)例子。如下圖所示，頂層函數(shù)diamond調(diào)用了4各函數(shù)funcA~funcD。

在沒(méi)有添加DATAFLOW的情況下，工具能自動(dòng)探測(cè)出funcB和funcC的并行性，這可從Schedule視圖中看到，如下圖所示。

添加DATAFLOW之后，對(duì)兩者性能進(jìn)行對(duì)比，如下圖所示（NO_TLP為沒(méi)有添加DATAFLOW的solution），從Latency角度看，兩者相當(dāng)，但從interval角度看，DATAFLOW帶來(lái)的效果還是很明顯的。Interval從457降到了175。

再看數(shù)據(jù)驅(qū)動(dòng)型。數(shù)據(jù)驅(qū)動(dòng)型要求任務(wù)之前以stream作為接口，允許反饋支路。用戶需要明確通過(guò)hls::task指定可并行執(zhí)行的任務(wù)。對(duì)于上述函數(shù)，我們可以將其改造為數(shù)據(jù)驅(qū)動(dòng)型，如下圖所示。代碼第98行聲明了4個(gè)stream，第99行~第102行通過(guò)hls::task指定并行任務(wù)。

將三者放在一起對(duì)比，如下圖所示。可以看到數(shù)據(jù)驅(qū)動(dòng)型無(wú)論在性能還是資源上都獲得最佳表現(xiàn)。

那么兩種類(lèi)型能否混合使用呢？答案是肯定的，但是有限制的，這源于兩者的自身特征?？梢栽诳刂乞?qū)動(dòng)型中嵌入數(shù)據(jù)驅(qū)動(dòng)型，但反過(guò)來(lái)是不允許的。我們將上面的例子改造為控制驅(qū)動(dòng)型嵌入數(shù)據(jù)驅(qū)動(dòng)型的模式，如下圖所示。這里需要注意的是代碼第137行的DATAFLOWpragma，同時(shí)代碼第141行和第142行都設(shè)置了task，task接口為stream。此外也給出了Vitis HLS的Schedule視圖和Dataflow視圖。Dataflow視圖中也顯示了KPN。

審核編輯：劉清