嵌入式系统之KPN网络图(Kahn Process Networks)

2024-03-07 20:30

本文主要是介绍嵌入式系统之KPN网络图(Kahn Process Networks),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

Kahn Process Networks(嵌入式系统之KPN网络图)
—— 一个与数据流模型密切相关的模型

  1. 首先还是从大体上来看这个东西,到底是什么吧!
    简单说它是描述进程间网络图的一个方式,我觉得它存在的主要目的是让我们对于进程间的交互有更直接方便的了解,当然它也有一些特性,接下来再介绍。
  2. KPN的具体特性
    KPN的一天图像实例
    如上图:
    节点代表进程,边代表通道(单向通道)
    进程只能通过FIFO进行通信;
    一个通道传输不可预测的但是时间有限的信息;
    在任何时间,一个进程正在计算或者等待它的输入通道的准确信息。
    每个进程都跟随着一个连续的程序。

性质一:单调性:不管输入是什么,它都是之前的一个输出的子集。(可以这样理解,就是每次输入的信息其实是通过输出得到的,当然会初始化一个初始状态,设置一个初始化的值)
这里写图片描述

性质二:确定性:
一个进程网络是确定的,如果所有通道的历史进程只和历史的输入有关;
一个通道的历史:已经读或者写的序列;
函数的行为和时间无关;
允许进程去执行非阻塞测试空虚;
允许两个甚至更多的进程从一个通道中读或者写;
允许所有的进程去共享变量;

性质三:SDF同步数据流:
允许编译时调度;
每个进程在每次的点火的时候进行固定数目的读/写。
调度的两个步骤:
为进程建立相应的执行率的过程;
决定周期性地调度
这种调度可以在缓存中没有数据的时候进行。

而对于SDF,我们又需要去判断其是否相容,有三个黄金法则:
(其中r为矩阵的秩—–最下面有参考怎么求)
连通的SDF有周期性的调度当且仅当M满足r = n - 1;(Mq = 0有一个最小的整数解)
对于一个不相容的SDF,M满足 r = n;(Mq = 0 有所有的非零的解)
对于一个不连通的SDF(需要划分)而言,M满足r < n -1(Mq = 0,有两个或者是更高维度的解)
举个例子:
这里写图片描述
这里写图片描述

http://wenku.baidu.com/link?url=x4MBZRz3rxHCP_MUygDc8paDBjQ8ndzyIbb3AkktOkHYT6045wo8Xgk7neEhQsaFmUAyeiFl8WoBPgCMftPWJrJPFG5pe4mj6XDEm7QLfsW

这篇关于嵌入式系统之KPN网络图(Kahn Process Networks)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/784730

相关文章

Python FastAPI+Celery+RabbitMQ实现分布式图片水印处理系统

《PythonFastAPI+Celery+RabbitMQ实现分布式图片水印处理系统》这篇文章主要为大家详细介绍了PythonFastAPI如何结合Celery以及RabbitMQ实现简单的分布式... 实现思路FastAPI 服务器Celery 任务队列RabbitMQ 作为消息代理定时任务处理完整

Linux系统中卸载与安装JDK的详细教程

《Linux系统中卸载与安装JDK的详细教程》本文详细介绍了如何在Linux系统中通过Xshell和Xftp工具连接与传输文件,然后进行JDK的安装与卸载,安装步骤包括连接Linux、传输JDK安装包... 目录1、卸载1.1 linux删除自带的JDK1.2 Linux上卸载自己安装的JDK2、安装2.1

Linux系统之主机网络配置方式

《Linux系统之主机网络配置方式》:本文主要介绍Linux系统之主机网络配置方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、查看主机的网络参数1、查看主机名2、查看IP地址3、查看网关4、查看DNS二、配置网卡1、修改网卡配置文件2、nmcli工具【通用

Linux系统之dns域名解析全过程

《Linux系统之dns域名解析全过程》:本文主要介绍Linux系统之dns域名解析全过程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、dns域名解析介绍1、DNS核心概念1.1 区域 zone1.2 记录 record二、DNS服务的配置1、正向解析的配置

Linux系统中配置静态IP地址的详细步骤

《Linux系统中配置静态IP地址的详细步骤》本文详细介绍了在Linux系统中配置静态IP地址的五个步骤,包括打开终端、编辑网络配置文件、配置IP地址、保存并重启网络服务,这对于系统管理员和新手都极具... 目录步骤一:打开终端步骤二:编辑网络配置文件步骤三:配置静态IP地址步骤四:保存并关闭文件步骤五:重

Windows系统下如何查找JDK的安装路径

《Windows系统下如何查找JDK的安装路径》:本文主要介绍Windows系统下如何查找JDK的安装路径,文中介绍了三种方法,分别是通过命令行检查、使用verbose选项查找jre目录、以及查看... 目录一、确认是否安装了JDK二、查找路径三、另外一种方式如果很久之前安装了JDK,或者在别人的电脑上,想

Linux系统之authconfig命令的使用解读

《Linux系统之authconfig命令的使用解读》authconfig是一个用于配置Linux系统身份验证和账户管理设置的命令行工具,主要用于RedHat系列的Linux发行版,它提供了一系列选项... 目录linux authconfig命令的使用基本语法常用选项示例总结Linux authconfi

Nginx配置系统服务&设置环境变量方式

《Nginx配置系统服务&设置环境变量方式》本文介绍了如何将Nginx配置为系统服务并设置环境变量,以便更方便地对Nginx进行操作,通过配置系统服务,可以使用系统命令来启动、停止或重新加载Nginx... 目录1.Nginx操作问题2.配置系统服android务3.设置环境变量总结1.Nginx操作问题

CSS3 最强二维布局系统之Grid 网格布局

《CSS3最强二维布局系统之Grid网格布局》CS3的Grid网格布局是目前最强的二维布局系统,可以同时对列和行进行处理,将网页划分成一个个网格,可以任意组合不同的网格,做出各种各样的布局,本文介... 深入学习 css3 目前最强大的布局系统 Grid 网格布局Grid 网格布局的基本认识Grid 网

在不同系统间迁移Python程序的方法与教程

《在不同系统间迁移Python程序的方法与教程》本文介绍了几种将Windows上编写的Python程序迁移到Linux服务器上的方法,包括使用虚拟环境和依赖冻结、容器化技术(如Docker)、使用An... 目录使用虚拟环境和依赖冻结1. 创建虚拟环境2. 冻结依赖使用容器化技术(如 docker)1. 创