描述现代计算机的多样性,基于PetriNet的目标机描述的初步研究符文杰.DOC

您所在位置：网站首页 > 海量文档

&nbsp>&nbsp学术论文&nbsp>&nbsp自然科学论文

基于PetriNet的目标机描述的初步研究符文杰.DOC8页

本文档一共被下载：次,您可全文免费在线阅读后下载本文档。

下载提示

1.本站不保证该用户上传的文档完整性，不预览、不比对内容而直接下载产生的反悔问题本站不予受理。

2.该文档所得收入(下载+内容+预览三)归上传者、原创者。

3.登录后可充值，立即自动返金币，充值渠道很便利

基于Petri Net的目标机描述的初步研究

符文杰

清华大学 计算机科学与技术系，北京 100084

A Primary Study in the Architecture Description Language based on Petri-Net

Wenjie FU

Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China

Abstract: Retargetability is especially important in compilers, and architecture description is one of the key elements for such a purpose. The paper studies how to specify the architecture using some kinds of Petri Net models. The concurrency and other properties Petri Net has make it certain advantages as an Architecture Description Language, but the current research in the field is not so much. During the progress of modeling a simple CPU design using Petri Net, we conclude some general ideas of the modeling work and discuss some different Petri Net models which can be used. On the basis of these work, we can carry out more complicated architecture model and develop an efficient method in the future.

Key words: Architecture Description Language, Petri Net, Modeling, Execution

摘 要：在编译程序中，可重定向性非常重要，而目标机描述是实现可重定向性的核心环节。本文研究了用Petri网模型对目标机进行描述的问题。Petri网的并发性等特点使得它在作为目标机描述语言有一定的优势，但是目前在该领域中的研究并不多。我们在对一个简单的CPU设计进行Petri网建模的过程中，总结了一些建模的基本方法并讨论了适用的Petri网模型。在这些工作的基础上，今后可以对更复杂的目标机进行建模，并逐渐形成一套有效的建模方法。

关键词：目标机描述语言、Petri网、建模、执行

引言

在编译程序中，可重定向性是一个重要的追求目标。它的原因有很多，如：

现代计算机系统结构呈多样性的态势。

相对于计算机硬件技术的迅猛发展，系统软件和工具的开发周期更长、费用更高。

许多应用系统，特别是嵌入式系统，需要用到宿主机上具有重定向能力的交叉开发工具。

在软硬件协同设计过程中，目标机环境并不可用，系统结构设计方案也是多变的。

目标机描述是实现可重定向性的核心环节。对目标机的描述可分为结构级、行为级和这两种的混合。结构级以描述各功能部件的结构及其互联关系为主。行为级以指令集系统结构的描述为主。

服务于可重定向编译程序的目标机描述语言，至少应该包含行为级的描述，多数都不同程度地包含结构级信息的描述。但是，当前的目标机描述语言中结构级信息的描述能力和分析使用能力较弱，并且缺乏形式化的方法。这就是这个题目的研究意义之所在。

使用Petri网[1][2]作为目标机描述语言在这方面具有一些优势，原因是：

Petri网在描述并发性，资源流动、依赖与共享等方面优于其它的形式模型。

Petri网具有简单、易理解的图形表示。

Petri网具有较强的行为分析、模拟(执行)和正确性(安全性和活性)验证能力。

本文首先根据任务的特点，选择了一种适合的Petri网模型作为目标机描述语言。然后，我们选定了一个单发射5级流水CPU作为建模对象。我们完成了对该CPU的建模，并运用一些验证手段和模拟器来验证其正确性。在建模的过程中，我们总结了一些基本方法并讨论了适用于目标机建模的Petri网模型。

第二章介绍了Petri网模型的选择。第三章介绍了建模中的一些基本方法。第四章作了小结并展望今后的工作。

Petri网模型

Petri网的种类很多，从简单的库所/变迁网，到有色网，到更复

发表评论

请自觉遵守互联网相关的政策法规，严禁发布色情、暴力、反动的言论。

用户名:

验证码:

匿名?

发表评论