按时间顺序写的作文范文1
我们该怎样阅读写景类文章呢？
一、明确顺序
写景必须按照一定的顺序来写，因此明了作者的写作顺序，对理解全文的内容有相当大的帮助。写景文章常见的顺序有：空间顺序、观察顺序、时间顺序、景物类别等。如《三味书屋》一课的第二段就是按空间顺序写的：书屋正中的墙上挂着一幅画。画前面是先生的座位。学生的书桌在四面，鲁迅的那一张在东北角。《长城》一课就是按观察顺序写的。“远看长城，像一条长龙，在崇山峻岭之间蜿蜒盘旋。”“站在长城上，踏着脚下的方砖，扶着墙上的条石，很自然地想起古代修筑长城的劳动人民来。”《美丽的小兴安岭》一课就是按一年四季春夏秋冬的时间变化规律来写的。《迷人的张家界》一课，就是按景物类别来写的。先写了张家界神奇的群峰，又写了张家界美丽的溪流。
二、理清层次
写景类文章在结构上一般有两种：总分结构、移位换景结构。前者简洁明了、容易掌握，移位换景结构是按照观察点的转移来写的，这时文中一般有明显的提示语，告诉我们作者位置的变化，有助于我们理解层次。如《参观人民大会堂》，就是以空间的变换顺序安排层次的。作者运用了如下提示段落的词句：
1.登上台阶，一抬头就望见正门上那个庄严的国徽，红底镶金，闪闪发光。
2.进了大门就是中央大厅。
3.穿过大厅，走进了大礼堂。
4.从大礼堂出来，我们又上楼去参观北面的宴会厅。
5.我们又参观了几个会议厅。
6.走出大门的时候……
通过上述的例句，我们可以看出：此文空间的变换，是随着作者立足点移动而变换的，即，正门――中央大厅――大礼堂――宴会厅――会议厅――大门。运用这种顺序记叙，脉络分明、层次清楚地表现出作者所见到的人民大会堂的雄伟壮丽的景象。
三、体会思想感情
按时间顺序写的作文范文2
台湾诗人余光中的《乡愁》也是运用时空序列式结构的代表作，诗人把“乡愁”按照“小时候”、“长大后”、“后来呵”、“而现在”的时序比作“邮票”、“船票”、“坟墓”、“海峡”，借助时空的变化，层层推进诗情的抒发。
时空序列式结构也是记叙文、散文常用的结构模式。因为人物的性格成长、事件的发生发展，总是处在一定的时间和空间维度里的，所以，一般人在写记叙文时都喜欢采用这种时空结构。这类文章按事情发生、发展的时空顺序来组织文章的结构，可分为时空正常式与时空穿越式。
一、时空正常式
1.时序式（纵式）结构 就是按照时间先后顺序写人叙事。有两种形式，一种是连贯式的，即在时间上不间断的故事；一种是不连贯式的，即截取几个生活片段，然后按照时间顺序组合起来。从另一角度来看，时序式有顺时针方向的顺进式和逆时针方向的逆进式。“顺进式”即按照时间先后和事件的发展顺序安排的结构，“逆进式”即开篇倒叙，然后回过头来再按时间顺序展开回忆的结构。
2.空间转换式（横式）结构 就是按照空间转换的顺序安排文章结构。人物的活动和事件的展开都要以一定的空间为背景，所以，人们在写记叙类文章时也常常会采用空间转换式的结构。随着地点的变换，分别展现不同的画面。在游记类散文中常以行踪和方位变化为序，无论是移步换景，还是定点观察都是空间顺序的体现。
3.时空式结构 这种文章以时间的先后推移为经、空间的方位变换为纬，将时间和空间相互糅合在一起，以此来组织材料和编排内容。这种结构，既可以把不同时间、相同（或不同）地点发生的事情从“纵”的方面串连在一起，又可以把相同时间、不同地点发生的事情从“横”的方面向外扩延。既要保持时间的连续性，又要注意空间的并列性。这类文章常有时间和空间两条线索。
二、时空穿越式
这种结构的文章常打破时空界限，可以把过去当成现在来处理，人物在时空中穿越，历史和现实交错并置，人物或事件处于多时空变化的格局中。以主观意图来重新安排事物。这种结构的记叙文，其内容一般都是时间跨度较大，而空间转移又比较频繁的人事等。
时空序列式作文一般以人物活动为线索，其情节结构一般分为“序幕开端发展高潮结局尾声”六个环节。其中的“序幕”与“尾声”不是必需的，视情况而定。
时空序列式结构的高考优秀作文也很多，值得同学们借鉴。如2012年一位江苏考生的作文《忧与爱》，便是时空序列式结构的典范。
考生非常机智，没有从平时积累的素材中选择材料，而是就以高考当天的经历为写作素材，巧借高考说事。所写的事情很单纯，“我”想多喝水，而身边的人一个个都劝“我”少喝，因考语文要考三小时，大家担忧喝水影响考试。而监考老师见“我”口渴难耐，担忧影响考试，于是把自己的水拿给“我”喝。无论是劝“我”别喝水，还是让“我”喝水，都是出于一种担忧，而这种担忧中饱含着爱。选材切合题意，感情真挚。
按时间顺序写的作文范文3
1.培养学生热爱家乡、热爱祖国、热爱大自然的思想感情
2.能对自己喜爱的景物进行仔细观察，弄明白这些景物有什么特点，并展开想象。
3.学会按一定的顺序描写景物，抓住景物的特点。
4.要做到语句通顺，不写错别字。
重、难点 1.能对自己喜爱的景物进行仔细观察，弄明白这些景物有什么特点，并展开想象。
2.学会按一定的顺序描写景物，抓住景物的特点。
3.要做到语句通顺，不写错别字。
课时安排 3 课时
教具准备 多媒体课件 教学方法：自主、合作、探究法。
一、教学过程中的策略预设：（作文前）
结合口语交际进行。在口语交际的基础上，开拓学生思路，写出家乡的景物及感受。引导学生按一定的顺序，选择自己喜欢的景物来写。引导学生把自己观察和发现《套娃广场》的美和可爱之处表达出来。让学生在小组交流，选出写得好的习作，并说出习作好在哪里。最后在全班交流。选取好的以及有特点的习作做讲评。在全班讲评后，学生自己修改作文，也可以小组交流提出修改意见，最后誊写清楚。在全班讲评后，学生自己修改作文，也可以相互交流提出修改意见，最后誊写清楚。
二、教学过程中
（一）话题交流，真情融汇：
1.谈话引入.明确要求，小组交流。
2.准备素材
生报：（读素材）满洲里俄罗斯套娃广场是全国唯一的以俄罗斯传统工艺品――套娃为主题的旅游休闲娱乐广场，集中体现了满洲里中俄蒙三国交界地域特色和中俄蒙三国风情交融的特点。
生报（读素材）：主体套娃内部为俄式餐厅和演艺大厅。套娃外部彩绘由代表着中俄蒙三国的美丽女孩组成，主体套娃周围有8个功能性套娃、200个代表全世界不同国家和地区的小套娃和30个色彩缤纷的俄罗斯复活节彩蛋。在广场音乐喷泉的周围还有代表中国传统文化的十二生肖和西方占星文化的十二星座。夜色中，在近千盏彩灯的映射下，广场上流光溢彩，仿佛是一个五彩缤纷的童话世界。俄罗斯套娃广场将中俄蒙三国风情和东西方文化完美的融合在一起，是集旅游观光和趣味性、娱乐性为一体的满洲里标志性旅游景区。
（二）激趣，游戏引路：
1.猜谜语是大家喜欢的游戏。下面我们就做一个“夸家乡，猜景物”的小游戏。（让一个小朋友说家乡的《套娃广场》的特点，其他同学猜是什么地方）
2.评议谁说得好，为什么说得好。
[设计意图：创设情景，激趣，引导学生进入写作的氛围，积累习作的语言，实际上也是抓住景物特点的训练，为下面的习作指导做好了铺垫。]
三、教学过程中的奇思妙想，开启心路：
通过上节课的口语交际课，我们的家乡是个非常可爱的地方。要注意把景物特点写清楚，如能加上自己的想象或关于家乡景物美妙的传说，就更吸引人了！
（二）佳作引路，章法导写：
1.按一定的顺序仔细观察景物，按一定的顺序写。
要根椐事物本身的特点和观察的角度。观察顺序大体有三种：①按空间顺序；②按时间顺序；③按从整体到局部或从局部到整体。
本文可以按从整体到局部或从局部到整体来描写。
2.抓住景物的特点写。（大套娃，小套娃的特点）
3.带着自己的感情写。
4.按先总后分的顺序写。
5.描写抒情相结合充分表达自己的感情。⑴师述：写景往往是为了借景抒情，表达对家乡或是对祖国、对学校的热爱，或是赞颂大自然的宏伟、壮观，或是寄托对美好未来的向往……，情和景交融起来，写出来的习作才能打动人心。好的习作要有健康乐观向上的思想感情。
[设计意图：佳作引路，引导学生读中学法，读写结合，一方面积累了习作的语言，另一方面借鉴文章的方法，快速打开习作的思路。在此前提下，学生习作也就有话可说，有法可行了。
（一）自我欣赏，同伴交流：（如果第三课时能完成习作，还有时间，也可以在第三课时进行，在小组里进行。）
1.朗读自己的习作，把不通顺的地方改通顺。
2.同桌互相修改，相互启发。
3.小组评选最佳，推荐一个参加全班交流。
（二）集体会诊，创新行文：
1.挑选佳作两三篇，集体会诊，评议优点，指出不足。
2.对照评议出的毛病，修改自己的习作。注意借鉴别人的好方法好词语。
（三）佳作展览，评选最佳：
1.小组评选最佳：最佳开头、结尾、句子、想象等等，越多越好。
2.班级展览最佳。举办“美丽的套娃广场”习作展览。
（四）变格创新，自由表达。
四、课后反思：
按时间顺序写的作文范文4
到一年级下学期则分阶段进行“写好一句话”的训练。
1．练写“四素”句。
“四素”句即包括时间、地点、人物、事件这四个记叙文的要素的句子（见丁有宽《小学语文读写结合法》）。练写之初，可用课文中的句子做例子，使学生认识“四素”句。如：“一个夏天的傍晚，王冕在湖边放牛。”（《王冕学画》）教师将句子作如下分析：
什么时间？什么人？什么地方了做什么？
夏天的傍晚 王冕 湖边 放牛
（时间）（人物）（地点）（事件）
这样，学生一般就能理解什么是“四素”句。老师即可引导他们按照这样的形式写句子。学生会写后，又可进一步引导他们认识诸如“爸爸吃过午饭后立即赶到医院值班”（人、时、地、事）、“星期天，公园里有许多老人在下棋”（时、地、人、事）的句式，并且让他们练写。练写“四素”句，其内容依然是学生丰富多彩的生活。“四素”句要素齐全，意思完整，内容比较具体，反复练习，可为以后的作文训练打下良好的基础。
2．练写“10句”。
即“看”“听”“说”“想”“感”“在”“是”“有”“被”“把”句。
例：
我看见一只小鸟落在草坪上。（“看”句）
李奶奶听到一阵敲门声。（“听”句）
李奶奶说：“你真是个好孩子。”（“说”句）
他想：我的笔哪儿去了？（“想”句）
我感到很高兴。（“感”句）
我在山坡上放牛。（“在”句）
你是我的好朋友。（“是”句）
雨伞被哥哥拿走了。（“被”句）
妈妈把我的书包补好了。（“把”句）
爷爷家门前有一棵大树。（“有”句）
以上10句的练写，指导方法也同“四素”句的练习：先认识，后仿写，再以生活为内容创写新句。训练时务必从简单到复杂，一句一句地练习到位。通过一段时间练写“10句”，优等生便可以逐步进行“连句”训练。对于较差的学生来说，可继续强化练句，到二年级可进入“连句”的训练。
二年级“连句”，从写好一句话到写好一个句群。“学习按一定顺序观察图画和简单事物，写几句意思连贯的话”，这是大纲对二年级作文的主要要求。毫无疑问，一年级的“练句”为此已打下良好的基础。“写”的前提是“观察”。“连句”的关键就在如何引导学生“按一定的顺序观察”。因为“按一定的顺序观察”才能按一定的顺序思维，有了一定顺序的思维也才会有按一定顺序的表达，即意思连贯的表达。
如何在一年级“练句”的基础上指导学生进行“连句”训练呢？
1．引导学生向课文学习。在讲读课文时，不失时机地引导学生熟读、背诵一些句群，体会其内在的联系，在头脑中积累一些句群的范式。
2．创设情境，引导学生观察简单事件，按事件的变化过程写话。
3．出示图画，提示观察顺序（由近及远、由远及近、由景到人、由人到景等），要求学生按观察顺序写话。
4．引导学生用“首先……接着……然后……最后……”“有的……有的……有的……还有的……”“一会儿……一会儿……”“有……有……有……”等进行“连句”的训练。
5．开展“续句”游戏：请两组同学，每组四五人，以同一句话开头，分别续说，每人说一句，看哪组续得好，再把好的句群写下来。
6．调整排列错乱的句子顺序。
通过以上不同方式的“连句”训练，学生将会不断地从写好一句话向写好一个句群过渡，顺利达到大纲的要求，而为数不少的学生在写好一个句群的同时，自然而然地进入到了片断作文训练。
按时间顺序写的作文范文5
关键词：乱序执行；数据相关性；流水线调度
中图分类号：TP302文献标识码：A 文章编号：1009-3044(2011)04-0829-03
A Method for Verification of Out-of-order Processor Based on Data Dependencies
NING Yong-bo, LI Qian, LI Qiang, ZHANG Qi-bin
(Jiangnan Institute of Computing Technology, Wuxi 214083, China)
Abstract: Out-of-order instruction execution is widely used in modern microprocessors for improve the performance of pipeline. But those processors with both out-of-order execution and out-of-order retire are not at large. This takes great challenge for verification those processors with full out-of-order architecture. Then present a new approach to the verification of Out-of-order processor from the point of structure variable changed that according to the program at programmer-lever, which is the final slandered for verify the behavior of processor. Our approach can avoid the affect come from the indeterminacy of control flow.
Key words: out-of-order execution; data dependencies; pipeline dispatch
1 概述
随着处理器技术的不断发展，分支预测、乱序执行、寄存器重命名、开发指令级并行和数据级并行的硬件机制、cache等技术不断涌现，这些都是提高流水线性能的有效手段。其中乱序执行(out-of-order execution)是目前处理器设计中应用较为广泛的技术。乱序执行，是指多条指令在消除了相关性之后可以不按程序规定的顺序、发送给多个执行部件并行执行的技术。根据执行部件的状态和各指令能否提前执行的具体情况分析后，将能提前执行的指令立即发送给执行部件执行，由于各执行部件的延时不一致，执行结果可能不按规定顺序给出。采用乱序执行技术的目的是为了充分发挥各功能部件的并行性，提高发射宽度，从而提高CPU的运行程序的速度。在顺序退出的处理器结构中，指令的提交顺序由重排序缓冲将各执行结果按指令顺序重新排列，并按序退出，以保证程序行为上的正确。而在采用指令乱序写回的处理器中，指令的退出及执行结果写回也是乱序的，这时程序的指令序①无法捕捉，但仍然保证程序的结构序②。
这些新技术不断应用的同时，也给处理器的验证工作提出了众多挑战[1]。本文在已有验证工作的基础上，根据指令间的数据依赖关系，针对这种全乱序结构处理器的验证，提出了一种基于结构序的乱序处理器验证方法，解决了乱序退出带来的指令序无法捕捉的问题。
2 乱序的产生
为了提高流水线的性能，现代微处理器采用不同的调度策略。流水线调度策略主要有两种：一是静态调度，根据软件的行为特征进行优化来编译调度指令代码次序，主要依据程序未执行时的行为特征和统计数据进行的调度策略；另一种是动态调度，通过硬件在程序执行时重新安排代码的执行序列来减少竞争引起的流水线停顿时间。
现代微处理器大都采用动态调度技术，即允许处理器改变指令执行的次序，以克服相关性，增加并行性。动态调度的算法有两种：计分牌算法和Tomasulo算法。
记分牌算法：
记分牌是一集中控制部件，其功能是控制数据寄存器与处理部件之间的数据传送。在记分牌中保存有与各处理部件相关联寄存器中的数据装载情况。当一个处理部件所要求的数据都已就绪（装载完毕），记分牌允许处理部件开始执行。在执行完成后，处理部件通知记分牌释放相关资源。所以在记分牌中记录了数据寄存器和多个处理部件状态的变化情况，通过它来检测和消除或减少数据相关性，加快程序执行速度。其思想是尽可能提早指令的执行。当一条指令暂停执行时，如果其他后继指令与暂停指令及已发射的指令无任何相关，则仍然可以发射，执行。
Tomasulo算法：
Tomasulo方法在记分牌算法的基础上，采用的寄存器重命名的实现方法，把记分牌中的寄存器名用一大组虚拟寄存器的名来代替，即用虚拟寄存器集来代替真实的寄存器组，消除了WAR和WAW的假相关。Tomasulo算法主要分三步：发射、执行和写结果。该方法通过将有效的操作数保存在保留站中，避免指令直接从寄存器中读取数据。当一条指令发射后，就在保留站中为其分配一个条目，用以保存该指令的操作码和操作数。在该指令执行完成后，其结果由数据总线送入目标寄存器中。
动态调度允许指令在资源得到满足的情况下即可得到执行，其带来的问题就是指令的乱序执行，指令的发射及执行都有可能是乱序的。乱序执行能够在存在数据相关时，尽量避免暂停流水线。在乱序执行处理器中，多采用重排序缓冲 (Re-Order Buffer ROB)结构来保证指令的退出是按照程序序的。重排序缓冲技术本质上是一种寄存器重命名技术，它在指令提交时，要求必须按照程序序提交到存储单元，指令执行完毕后，便能保证最终结果顺序提交。
3 常用验证方法
对一个设计的功能验证就是将设计者的意图与观察到设计的行为进行比较，来确定它的一致性[2]，目前常用的乱序执行处理器功能验证方法主要有形式验证和参考模型验证，此外还有采用逻辑演绎法进行验证[3-4]。在顺序执行的处理器中，指令的执行是顺序的，其执行结果依次写入存储单元中，写入的过程也是严格按照程序的顺序。而在乱序执行处理器中，由于流水线可提供多个功能单元、并行执行，因而指令可在资源得到满足的情况下提前执行，这就使得指令的执行过程具有随机性，与程序顺序不吻合。其执行流的不确定性，无法预知指令执行的确切时间及顺序，给指令级的验证提出了挑战。
形式验证方法使用理论证明的方法，证明处理器模型的行为等同于处理器指令集架构（ISA），ISA将提供处理器指令级的抽象[5]。这种验证方法在流水线及超标量处理器上应用较多，但乱序执行处理器存在的指令间的并行性，造成了指令执行的复杂性，使得处理器功能的抽象十分困难。Skakkebaek和Jones利用理论证明器SVC(Stanford Validity Checkered），采用分步验证的方法，验证了乱序执行。该方法的第一步，首先将乱序处理器设计修改为一个顺序抽象模型。在抽象的过程中，去掉了乱序逻辑，使得指令能够顺序执行，解决了乱序调度带来的问题，从而建立了乱序实现和顺序抽象间的等价关系。第二步中，利用Burch和Dill提出的流水线自动排空的方法，证明了这个乱序抽象模型和ISA的功能是等价的。该方法在实现流水线排空时，需要编译器的支持，在程序中添加标记。但随着微处理器规模及复杂性的增大，这种形式验证越发困难。
另一种是参考模型验证法，它是业界在大规模IC的验证中普遍采用的方法。针对指令级的验证，参考模型的建模方法大多采用功能模型，但功能模型仍是一种顺序模型，不能准确表示微结构中指令的乱序执行和退出。由于全乱序微结构的设计中无法捕获真正的指令序，所以如何用顺序执行的功能模型来验证全乱序的微结构设计中执行和退出的实时过程是否正确，是此验证方法的重大挑战。下面介绍一种基于结构序的乱序过程比较方法。
4 基于数据流的验证
1）方法概述
为了解决乱序处理器中，由于指令乱序退出的不确定性带来的验证问题，本文提出了一种基于数据相关性的验证方法，通过寄存器对执行流进行再组织，形成针对某一寄存器的数据流，并与顺序模型的数据流进行比对，以实现正确性的验证。文中的验证方法，需要使用一个顺序执行处理器参考模型，用作乱序模型的对照模型。程序中间结果的保存，主要有写寄存器和写主存两种，文中只考虑写回寄存的情况，处理写回主存数据可采用类似方法。
无论是记分牌策略还是Tomasulo策略，都需要保证指令间的相关性。对于指令I和指令I’，若在程序顺序中，指令I是最后一次对指令I’的源寄存器有写操作，则这两条指令间存在数据相关性，称为写后读相关。此外，还有读后写和写后写相关。存在数据相关性的指令发射也是顺序的。如图1所示。
如果两条指令间存在相关性，则它们的执行顺序必定和它们在程序中的顺序是一致的，如图中指令I1和I4之间的调度，由于指令I4需要用到源数据R1，来自指令I1的计算结果的写回，它们直接存在数据相关性，因而它们的执行必须是顺序的，二者之间的调度次序与顺序调度完全相同。
W.Damm和A.Pnueli使用形式验证方法，通过建立一个非确定性抽象的ISA，并引入一个中间抽象层，验证了乱序执行[6]。在他们的方法中，证明了如果不存在预测执行，乱序执行和顺序执行处理器在运行相同程序时，会产生相同的中间结果，如对寄存器或存储器写回，即存在数据相关性的指令，它们对寄存器的写回也是按照顺序执行的次序进行写入的。这为数据流相关的验证方法提供了理论依据。从W.Damm和A.Pnueli的证明可得出：
定理一：如果不存在预测执行，一个乱序执行处理器设计是正确的，当且仅当其中间结果与参考模型是等价的，即结构序是等价的。
2）寄存器模型建立
我们在方法中建立寄存器模型，并用此模型生成对应的数据流轨迹。通过与参考模型比较轨迹文件，实现对乱序处理器的验证。由于记分牌和Tomasulo的调度不同，我们将分别对寄存器建立模型。
在采用记分牌调度的策略的处理器模型中，我们为每个寄存器增加一个唯一的标识位ID，用于标识寄存器号。对于每条发射的指令，根据其目标寄存器号唯一对应一个ID标识，记录该指令的PC值以及写入寄存器的数据。增加cnt位，作为写回计数器，用以记录程序对该寄存器的写回次数。根据定理一可知，对于某一固定寄存器的每次写回，其发起写回的指令、写回数据以及写回次序与参考模型是等价的，因而该寄存器的数据轨迹也是相同的。即使存在循环指令，虽然其PC值可能相同，但写入数据的顺序不受影响。如图2所示。
即在与参考模型的比对中，存在对任意的寄存器ID，若cntin-order=cntout-of-order，则必有PCin-order=PCout-of-order ,valuein-order=valueout-of-order。在轨迹比较过程中，如果乱序处理器中所有寄存器的数据流轨迹均和参考模型的轨迹相同，即二者在运行同样程序时，中间结果写回轨迹是相同的，则可认为此乱序处理器是正确的。
若要在Tomasulo调度策略下使用我们的方法，就需要解决该策略在处理两种相关性所带来的问题。
在消除读后写相关时，指令I需要先读寄存器R1的数据，指令I’的结果要写回R1。
ADDR2，R1，R3； //R1+R3－>R2指令I
MULR1，R4，R5； //R4×R5－>R1 指令I’
指令I和I’需要用到的操作数均已保存在保留站中，因而指令I’的执行，不会改变指令I的源操作数，因而指令I的执行不会受I’的影响。指令I’的源数据也已在保留站中，其执行结果由数据总线写入寄存器R1时，对数据流轨迹的改变不受流水线调度的影响。故Tomasulo算法在解决读后写相关时，不会对写入寄存器的数据轨迹产生影响，因而仍然可以采用数据流相关的验证方法。
在消除写后写相关时，指令I及指令I’同时发射，且均需要对寄存器R1进行写回。
ADDR1，R2，R3； //R2+R3－>R1指令I
MULR1，R4，R5； //R4×R5－>R1 指令I’
它们的执行顺序可以随机，但在程序序中Time I’> Time I，因而，指令I’对寄存器R1的写回才是最终的写回结果。在Tomasulo算法调度时，当产生连续写入同一寄存器时，只有最后一次才进行写回，之前的写回操作则会被忽略。由于调度算法忽略了某些寄存器的写入操作，因而造成了寄存器数据流轨迹与参考模型的不一致。
解决的方法是在记分牌策略的寄存器模型上，增加一个有效位Valid及一个标识位Tag，初始时值置为无效，如图3所示。
在指令发射时，给每个以寄存器R为目标寄存器的指令添加一个标识位，指令标识信息的添加是按照程序顺序递增的，因而在当前发射的指令中，标识位最大的那个指令将最终写回寄存器。当指令进行写回时，通过查询写回指令对应的Tag位，将寄存器的Valid位置为有效。在与参考模型进行比较时，只对标识位有效的寄存器进行比较。
由于Tomasulo算法不支持预测执行，所有发射的指令都会被执行，其对寄存器的写回数据均为有效数据，因而采用数据相关性验证的方法具有较高的可信度。
5 结束语
流水线动态调度策略，通过允许指令的乱序执行，最大化的提高了指令执行的效率。乱序执行在提高流水线的性能同时，也增加了验证的复杂性。本文首先介绍了乱序问题产生的原因以及一些常用的乱序验证方法，并对流水线的调度进行分析。针对执行流不确定性的问题，提出了基于数据流的验证方法，降低了验证的难度，并实现了在采用记分牌及Tomasulo调度策略的处理器设计中的应用。但在预测执行处理器中，由于预测执行存在预测成功和预测失败两种情况，在预测失败后需要对写回的数据进行回退，影响数据流的轨迹，因而该方法只能在不存在预测执行的处理器上使用。同时在实现时，还存在异步及中断等事件的影响，造成了乱序处理器与参考模型在程序执行上的不一致，导致轨迹比较的失败。
注释：
① 程序的指令序：程序中的指令顺序。
② 程序的结构序：程序中结构变量（程序员可见的变量）的变化顺序。
参考文献：
[1] Taylor S,Quinn M.Functional Verification of a Muliple-issue,Out-of-Order,Superscalar Alpha Processor-The DEC Alpha 21264 Microprocessor[Z].1998.
[2] Glasser M,dam Rose,Fitzpatric T.高级验证方法学[M].王欣,俞俊,罗开杰,等,译.成都:电子科技大学出版社,2007.
[3] Lahiri S K,Seshia S A,Bryant R E,et al.Modeling and Verification of Out-of-Order Microprocessors in UCLID 2001[EB/OL].citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.1301.
[4] Lahiri S K,Bryant R E.Deductive Verification of Advanced Out-of-Order Microprocessors[EB/OL].citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.65.8089.
按时间顺序写的作文范文6
“写一写家乡的景物”选自人教版小学语文教材第六册习作一。通过引导学习，培养学生观察生活，提高写作能力。
二、教学目标
1.通过观察，把习作与生活结合起来，在口语交流的基础上，拓展交流，赏析评议，学会描写家乡的某一处景物。
2.通过范例引领，学会按一定的顺序写出景物的特点。
3.通过观看图片，写出家乡的某一处景物，表达自己热爱家乡的真情实感。
4.通过赏析评价，培养修改能力。
三、教学重难点
抓住景物特点，按一定的顺序描写，把家乡的美景具体生动地描绘出来。
四、课前准备
多媒体课件及格尔木市的美景照片。
五、指导习作过程
（一）创设情境，激发兴趣
情境渲染：播放歌曲《谁不说俺家乡好》，配合课件：祖国各地美丽风光图片。提出要求：班级准备举办一次“慧眼看家乡”为主题的习作展览，请大家积极参加，一展才华。
（二）活动回现，拓展交流
激趣谈话：同学们，格尔木市是我们的第二故乡，我市有哪些美丽的地方呢？你们平时出去玩或上下学途中，都看到过哪些美丽的景色或某一处景物呢？
活动交流：请把你最喜欢的照片拿出来给同学们介绍介绍。
[设计意图：紧密结合生活实际和学生体验，相互启发，拓宽思路，同时培养实践操作和自主活动能力。]
（三）资源共享，交流评议
播放我市几处有代表性的景物，要求学生边看，边交流，想想：哪处景物给你留下了深刻的印象？看后交流小结，重点指导抓住景物特点，按一定的顺序观察。
[设计意图：充分挖掘利用教学资源，丰富学生见闻，指导观察方法，以达抛砖引玉之目的。]
（四）精心选材，构思立意
1.按一定顺序说说自己家乡的一处美丽风景。只要是你认为美的地方都可以，比如家乡的山，水、桥、路、花草、树木、果园、田野、街道、广场、路灯、雕塑……
课堂活动：想一想自己的家乡哪个地方最吸引你？
（要求：听的同学要认真听别人讲，可以补充，可以提问题；说的同学声音要洪亮，并耐心解答同学的提问）
[设计意图：引导学生发掘家乡美景，选材构思，先说后写，降低习作难度。]
（五）赏析例文，指导写法
1.赏析例文《家乡的湖》（见参考书），讨论交流，感悟写法：文章生动具体，抓住湖是静的、软的、活的三个特点写出湖的美丽与温柔，层次清楚，观察有序，使用了比喻、拟人、排比等修辞手法。
2.回忆单元课文《荷花》《珍珠泉》等，归纳总结，学习写法，从中借鉴写作方法，使学生的读写结合起来。
教师指导学生描写景物的方法有：
（1）要抓住景物的特点来写。学会从多个角度和用变化的眼光去观察和描写景物，即使是同一样景物，早、中、晚也会呈现不同的特征，远、近、左、右，所得到的印象也不尽相同。
（2）观察要有序。要使习作写得层次清楚，有理有序，我们把自己所观察到的景物按观察的顺序，抓住特点写出来，并且要把主要部分写具体些，就会是一处谁看了都会喜欢的好风景。写家乡的景物，一定要选择自己最熟悉的景物，按一定的顺序写。
写景的顺序一般以观察顺序和游览顺序为序：
可以按季节顺序写家乡四季不同的美景；可以按空间顺序写出游览某处景地的景色等等。只要是按一定顺序把观察的景物合理写出来，美景自然会呈现在读者眼前。
要求：内容要具体，语言要生动。
[设计意图：范例引路，单元整合，写法指导，授之以渔，培养学生习作和终身学习的能力。]
（六）行笔成文，相机辅导
1.同学们，我们家乡的景物是如此美丽，让我们拿起手中的笔去细细地描绘吧！可以写我们的第二故乡—青海，题目自拟，如《家乡的……》《我爱家乡的……》等。
2.学生自由习作。（教师巡回指导，及时给予个别辅导。）
[设计意图：我手写我心。关注每一位学生，尊重个性发展，尤其要给后进生更多的帮助与指导，鼓励大胆习作。]
（七）评议修改，点评佳作
自我修改、同桌互评、小组赏评、全班点评、再次认真修改。
[设计意图：好文章是改出来的，培养学生修改作文的能力至关重要。]
（八）习作小结，期待提高
交流习作收获或好的建议，以完善今后的习作活动。鼓励学生善于观察，拥有一双发现美的眼睛，勇于思考，做生活中的有心人，在丰富的生活中寻找写作的源泉和灵感。
