Vitis HLS 学习笔记--TLP（控制驱动：处理死锁deadlock）

hi94

已于 2025-03-06 23:28:08 修改

阅读量1.7k

点赞数 39

CC 4.0 BY-SA版权

分类专栏： Vitis HLS 文章标签：学习笔记 fpga开发 HLS c++

于 2024-05-22 23:10:49 首次发布

本文链接：https://blog.csdn.net/DongDong314/article/details/139124847

1. 简介

本文是对《Hardware Acceleration Tutorials: FIFO Sizing for Performance and Avoiding Deadlocks》实验内容的详细解释。

首先需要了解，鉴于数据流优化具有动态特性，且不同并行任务的执行速度各不相同，设置不当的数据流通道可能会引发性能下降或死锁。

数据流通道有两种：FIFO 和 PIPO。可以由工具推断，或者用户自行创建。

FIFO：

Streams (including hls::streams and streamed arrays)，用户创建。
Scalar propagation FIFOs，工具推断。
Streams of blocks，用户创建。

每个通道都有自己的握手信号。因为：

它们的读写操作是被调度的。
它们的读/写信号分别由流水线控制或有限状态机（FSM）单独驱动。
它们的full_n/empty_n信号直接使流水线的单个迭代或FSM的状态暂停。

PIPO：

PIPO，用户创建。
Task Level FIFOs (TLF)，工具推断。
Input and output ports to the upper level，用户创建。

其中，Task Level FIFOs (TLF) 是标量（scalar）FIFO，其连接到生产者的“done”握手信号以进行写入，并连接到消费者的“start”握手信号以进行读取。这些类型的FIFO是由工具自动推断的。由于底层同步机制的缘故，它们被视为类PIPO。

这些通道应该被视为“使用ap_ctrl_chain握手的通道”，因为：

它们的写入和读取操作不会被调度。它们隐式地与进程的“done”握手或“start”握手相关联。
它们的写入和读取信号分别连接到ap_done和ap_ready。
它们的full_n和empty_n分别连接到ap_continue和ap_start。

总结一下，在分析存储深度、性能、死锁等方面，真正需要关系的是：

通道是否拥有自己的握手机制（FIFOs）。它们的访问在其进程执行期间被分散开来。例如，你可以在管道的第一个II之外读取一个FIFO，或者甚至在数据流网络的最后一个过程中读取。
通道是否通过ap_ctrl_chain进行握手（PIPOs）。它们的读取必须在管道的第一个II中，或者在数据流网络的第一个“层级”的过程中进行，类似地，它们的写入必须在最后一个II或在最后一个“层级”中进行。
另一个区别基于一次操作中传输的数据量，这对于资源分析比对性能分析更为重要：对于PIPOs来说是数组，对于流来说是块流、标量流，对于标量传播FIFOs和任务级FIFOs来说是标量。

2. 代码解析

2.1 HLS kernel代码

#include "example.h"

void example(hls::stream<int>& A, hls::stream<int>& B){
#pragma HLS dataflow
#pragma HLS INTERFACE ap_fifo port=A
#pragma HLS INTERFACE ap_