基于再生周期技术POOSL构件库扩展.docVIP

基于再生周期技术POOSL构件库扩展 　　摘要：针对POOSL不支持定量分析系统的吞吐量、时延等长期样本均值性能指标的缺点，引入再生周期技术扩展了POOSL的构件库。这对在系统早期设计阶段确定可行的参数设置具有重要的应用价值。?? 　　关键词：面向对象的并行描述语言； 长期样本均值； 再生周期； 性能分析 　　中图分类号：TP391文献标志码：A 　　文章编号：1001－3695(2007)08－0109－03 　　 　　POOSL(parallel object??oriented specification language)是荷兰Eindhoven大学研究和设计的面向对象的形式化建模语言[1]。它是专门为复杂实时软/硬件系统开发而设计的，该语言基于数学定义的语义使得它能够精确地描述系统并发、分布、实时特性[2]。它已经被证明是一种非常高效的分析和评估工业级系统的建模语言，并已成功地建模分析了以下几种系统：IBMZurich research laboratory的packet switch system[3]、network processor[4]、DECT wireless protocol[5]。?? 　　POOSL的显著特点[1,2]有：基于离散马尔科夫链，能够有效地描述系统并发、分布和实时的行为；执行速度快，能够以直观的方式描述大型工业级系统；能够再现模拟执行结果，即执行结果具有确定性和惟一性。?? 　　在系统的建模和性能分析中，经常需要定量分析和评估系统吞吐量、时延和缓存平均利用率等长期样本均值性能指标，但POOSL本身不支持分析这类指标。?? 　　 　　1POOSL及建模工具?? 　　 　　1．1 POOSL?? 　　POOSL基于古典的进程代数，很适合描述复杂系统的实时行为和验证其功能正确性。POOSL由数据类、处理器类以及聚类三部分组成。?? 　　 　　1．2建模工具SHESim和Rotalumis?? 　　为了在早期设计阶段开发出POOSL可执行模型，荷兰Eindhoven大学开发了交互式建模工具SHESim和高速执行引擎Rotalumis[1,6]。SHESim能够生成POOSL的可执行抽象模型，能够以可视化的方式建立和修改POOSL数据类、处理器类及聚类。通过SHESim工具也可以方便地调试模型，借助模拟执行中产生的交互图表可以分析消息交互情况，并动态验证模型的正确性。Rotalumis能够快速模拟执行大型的工业级系统模型，从而能够迅速获取SHESim所建模型的执行结果。?? 　　1．3POOSL的特点?? 　　POOSL模型能够被转换为离散马尔科夫链。如果转换后的离散马尔科夫链的状态空间不大，则可以用数学方法分析计算由它确定的性能指标。但是由于工业级系统非常复杂，状态空间极其庞大，实际应用中采用模拟方式进行分析。模拟执行的结果只有达到足够精度时才有实际意义，在使用POOSL进行系统的建模和性能分析中，为了准确地分析性能指标的精度，并使模拟执行过程在达到预先给定的精度时自动终止，采用置信区间技术。?? 　　通常应用该技术分析计算性能指标的置信区间要求所分析的随机变量是独立同分布的，但在分析系统吞吐量、时延、缓存平均利用率等长期样本均值性能指标时，这个属性通常得不到满足[2]。为了解决这个问题，应用再生周期技术分析计算这类性能指标，并扩展了POOSL的构件库。?? 　　 　　2再生周期技术?? 　　 　　应用上述传统的置信区间技术分析计算性能指标的精度要求r(X??1),r(X??2),…,r(X??n)是独立同分布的随机变量。但是在分析计算长期样本均值性能指标时，这个属性通常得不到满足[2]。本文采用再生周期技术计算长期样本均值性能指标。?? 　　 　　3POOSL构件库的扩展及应用?? 　　 　　3．1POOSL构件库的扩展?? 　　为了在嵌入式系统建模时重复使用，建立了典型的功能构件类库、资源构件类库以及性能评价类库。嵌入式系统功能构件类库（进程类和聚类）包括任务调度类、队列类、缓冲器类、信息通道类等。嵌入式资源构件类库（进程类和聚类）包括CPU处理器、存储器、总线、I/O设备等。将再生周期技术应用于实际的POOSL建模和性能分析中，建立了一个可量化的性能评价类库（数据类）。为了评估一些不同性质的系统性能，如反映被设计系统的时延、抖动、吞吐量、信道丢包率、CPU利用率等，构造了多个典型的性能分析数据类，包括长期样本均值类、长期时间均值类和长期速率类，分别用于计算时延、缓存平均利用率、吞吐量等性能指标。另外还包括一些常用的类，如normal（正态分布）、uniform（平均分布）等。?? 　　在计算过程中，首先设定需要达到的置信度和相对