嵌入式系统之KPN网络图

2024-03-07 20:30
文章标签 系统 嵌入式 网络图 kpn

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

specification model:

                   推荐用于并行程序;进程通过无线规格的FIFO队列进行通信。

                   读:具有破坏性和阻塞。一个进程停留在waiting队列直到它被另外一个进程的通道传输。

                   写:非阻塞。一个进程不能阻止一个通道传输数据。

KPN图像:(具有下标的节点和边)

                    节点:进程。

                    边:通道。(单向的)


KPN:assumption and restriction。

          进程只能通过FIFO进行通信;

          一个通道传输不可预测的但是时间有限的信息;

          在任何时间,一个进程正在计算或者等待它的输入通道的准确信息。

          每个进程都跟随着一个连续的程序。


性质一:单调性(monotonicity)

                不管输入是什么,它都是之前的一个输出的子集。

                

性质二:确定性(determinacy)

                一个进程网络是确定的,如果所有通道的历史进程只和历史的输入有关。

                一个通道的历史:已经读或者写的序列。

                函数的行为和时间无关。

                增加不确定性:去介绍不确定性的方法。

                         允许进程去执行非阻塞测试空虚。

                         允许两个甚至更多的进程从一个通道中读或者写。

                         允许所有的进程去共享变量。

性质三:SDF(synchronous Data flow,同步数据流)

                允许编译时调度;

                每个进程在每次的点火的时候进行固定数目的读/写。

                调度的两个步骤:

                         为进程建立相应的执行率的过程;(解决一个系统的线性方程)

                         决定周期性地调度。

                 这种调度可以在缓存中没有数据的时候进行。

有n个进程的拓扑矩阵M:

                 连通的SDF有周期性的调度当且仅当M满足r = n - 1;(Mq = 0有一个最小的整数解)

                 对于一个不相容的SDF,M满足 r = n;(Mq = 0 有所有的非零的解)

                 对于一个不连通的SDF而言,M满足r < n -1(Mq = 0,有两个或者是更高维度的解)

举一个栗子:


参考资料:矩阵的秩 http://baike.baidu.com/view/346467.htm?fr=aladdin

                               

对于merge 算法的举例:


   

                  

                      

                        






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



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

相关文章

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. 创