虚拟接口体系结构的Petri网模型及分析

来源 :第九届全国Petri网学术年会 | 被引量 : 0次 | 上传用户:ontheroad2005
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着计算机硬件的发展,网络硬件支持Gb/s的带宽已成为现实.但是由于分层网络软件频繁的系统调用和内存-内存拷贝,物理层和应用层之间形成性能鸿沟.虚拟接口体系结构是一种崭新的机群系统内部通信思想,它为用户提供了一个直接与网络相联系的虚拟接口,使操作系统不参与进程双方的通信过程,大大提高了通信效率.首先介绍了虚拟接口体系结构,然后为Berkeley模型建立了Petri网模型,通过模型对其工作模式进行分析,并对其中存在的活锁问题给出了具有实际意义的解决方法.
其他文献
电子货币作为一种新的支付方式,具有物理货币的一个基本特征隐私性.为了保护用户的隐私性和有效地阻止洗黑钱、敲诈勒索等不法活动,本文基于一次离散对数证明和Schnorr盲签名
作为国家公共文化服务的基本内容,广播电视发射台在公益性广播电视节目覆盖的过程中具有举足轻重的作用.要想实现广播电视传输覆盖系统化、智能化,就必须做到在基于互联网技
本文提出一种基于混沌映射的图像脆弱数字水印方案以实现数字图像的内容完整性保护和真实性认证.通过随机替换原始图像的第二至四比特位实现二值水印图像的嵌入,该二值水印的
会议
2020年的浙江高考作文题,顾及了疫情下对考生的人文关怀,但试题材料的呈现也存在概念繁多以及彼此之间关系复杂等问题.比较理想的命题,在材料的选择上应直接关联学生生活,在
为引导真阅读,切实“扩大阅读面,增加阅读量”,浙江省各中考卷中的名著阅读题,着力于“运用”,以证言、解说、辨伪以及解决具体任务等方式来检测学生阅读名著所得.这符合语言
移动代理作为一种分布式计算和移动计算的支撑技术,已得到了广泛的研究和应用.但由于移动代理可以迁移到其他主机上运行,而主机必须为移动代理提供一个运行环境,这就引起了全
通过对一种基于Strand空间的认证协议模型检测方法的分析研究,在该方法中引入自由变量表示,并提出一些规则对状态搜索空间进行剪枝,可有效缩小状态搜索空间,防止状态空间爆炸
随着计算机技术的快速发展以及智能设备的普及,现阶段计算机在人们的日常生活中扮演着越来越重要的作用.但是计算机在给人们的工作和生活提供便利的同时,也面临着一些问题,首
随着计算机技术的不断发展和教育改革的进一步推进,云桌面技术已经全面被引入校园教育之中.为了有效分析噢易云桌面系统在学校计算机管理过程中的运用,应当结合实际,才能制定
2007年1月23日乍得卫生部确诊了1例新的脊髓灰质炎(脊灰)病例(Ⅲ型)。这是自2005年12月以来,乍得发现的第1例脊灰。患者为1名2岁女孩,2006年11月26日出现麻痹。对分离出的病