嵌入式实验EX1：Kahn Process Networks and Synchronous Data Flows

KPN（Kahn Process Networks），即卡恩进程网络，是一种应用于数据流建模的模型，描述了进程间网络图，直观的显示进程之间的交互。

 

一、KPN模型特性

1、一种并行程序设计语言

2、进程通过一个拥有无限容量的单向First-In-First-Out(FIFO)通道，以点对点的方式进行通信

3、阻塞式读取：当通道为空时，写操作将会被阻塞直到有数据被写入通道

4、非阻塞式写入：进程往通道中写入数据的操作，永远不会被阻止

5、图形化表示如下，如图所示，节点表示进程，边表示单向通道，对于一个节点来说，入边表示输入，出边表示输出

     

 

二、KPN的假设条件及约束

1、进程之间只能通过FIFO通道进行通信