网络信息检索期末作业.docx

1、网络信息检索期末作业课 题 名 称操作系统算法与死锁的关系选题目的及要解决的问题:当前社会上已经普及了计算机，然而计算机操作系统却一直无法做到尽善尽美万无一失，在关键时刻引起例如国家安全机密泄露、航天飞机失事等重大事故，为了探究背后的秘密，故选此课题，以求其解。本课题学科背景：现代操作系统已经普及到千家万户，无论是Windows还是Linux都各自占据一方市场，从军事、教育、文化、办公等方面为人们提供了各种各样的服务。但是操作系统的设计却一直无法完全做到万无一失。由于在设计操作系统程序的算法时，人们极尽全力也一直无法完全消除逻辑上的错误，故计算机时常发生死锁而崩溃，操作系统的漏洞小则丢失个人数

2、据，大则危机人身安全，不得不引起重视。检索本课题的关键词:中文检索词：操作系统 算法 死锁 英文检索词：operation system，algorithm，deadlock本课题的检索策略：1、操作系统*算法*死锁2、operation system*algorithm*deadlock一、课题检索情况，请根据检索结果选择您的参考文献（总共不少于15篇参考文献），按照题录的格式记录下来。（要求：每个检索系统的检索结果页面请做个截图，可通过键盘上的Print Screen键进行截图，或通过相应的截图工具进行截图，截图内容必须有检索条件的输入以及检索结果）。（一）图书文献信息检索（要求：不少于三

3、个检索系统）。1.海南大学图书馆书目查询检索条件：任意词=死锁；检索结果：共检索到28条记录；1戴仕明，姚昌顺. 操作系统M.北京：科学出版社，2011-05.2秦明，李波. 计算机操作系统实验与实践：基于Windows与LinuxM.北京：清华大学出版社，2010.3范立南，刘飒.操作系统实用教程M.北京：清华大学出版社，2010.2.万方数据库检索条件：ALL=死锁；检索结果：共检索到3条记录；1许日滨.计算机操作系统M.北京：北京邮电大学出版社，2007-01.2许日滨.操作系统M.北京：北京邮电大学出版社，2005-01-01.3操作系统编委会.操作系统教程.西安：西北工业大学出版社，

4、2004-01.3.维库电子图书检索条件：KEY=死锁；检索结果：共检索到6条记录；1陈向群.操作系统M.北京：北京大学出版社，2002-1-11.2于玉.操作系统M.北京：电子工业出版社，2003-01-03.3陈应明.现代计算机操作系统M.北京：冶金工业出版社，2004-01-01.（二）中文期刊、学位论文文献信息检索（要求：不少于五个检索系统）。1.中国知网（CNKI）全文数据库 中国期刊全文数据库检索条件: KEY=操作系统*KEY=算法*KEY=死锁；检索结果：共检索到19条记录；1尚德基. “一主三学”教学模式在操作系统课程教学中的应用以死锁问题出现的原因及对策为例J.郑州广播电视

5、大学，管理工程师，2011-03，03期.2黄志华.银行家算法中若干问题的讨论J.福州大学信息科学技术学院，福州大学学报（自然科学版），2001，S1期.2.中科院联合期刊目录检索检索条件：主题词=死锁；检索结果：共检索到7条记录；1 廖名学. MPICH同步通信程序死锁检测研究 D.北京：中国科学院软件研究所，2008.2 王毅. MPI程序通信行为循环不变分析 D.北京：中国科学院研究生院，2010.3 周海新. Petri网的理论与分析 D.北京：中国科学院空间科学与应用研究中心，1996.3 博看畅销期刊检索条件：全文检索 检索词=死锁；检索结果：共检索到6条记录；1国海，梁佐泉，汪治

6、，贾伟锋. 多业务USBKey在劳动保障公共服务网络平台中的应用J.电子商务，2011，：37-38.2 李嶒，李文娟. 基于Petri网的工作流管理系统的设计与开发J.软件工程师，2011，：53-56.3 耿骞，关注校园数字资源整合协议J.中国教育网络，2011，：56-57.4.维普期刊大全检索条件：TI/KY=算法思索检索结果：共检索到2条记录；1 唐京桥，侯朝桢. HLA中时间管理算法死锁问题的分析J.计算机应用，2005，B12期：358-360.2 唐京桥，侯朝桢. HLA中时间管理算法死锁的规律性J.计算机工程，2005，15期：27-29.5.万方期刊检索条件：Keyword

7、s:algorithm Keywords:deadlock检索结果：共检索到6条记录；1 肖灿文，张民选，过锋. 二维环网中基于自适应维度气泡路由的组播算法J.计算机研究与发展，2010，47（2）.2 赵军，许玉龙，孙晓静. 一种车间调度死锁实时解决算法J.计算机工程，2010，36（5）：185-187：354-360.（三）外文期刊文献信息检索（要求：不少于三个检索系统）。1.CALIS外文期刊网检索条件：高级检索 全面=operation system*全面=algorithm*全面=deadlock；检索结果：共检索到47条记录：1 Mukesh Singhal. A class o

8、f deadlock-free Maekawa-type algorithms for mutual exclusion in distributed systemsJ. Distributed Computing，1991，04卷，03期，P131.2 Placid Ferreira. The Application and Evaluation of Bankers Algorithm for Deadlock-Free Buffer Space Allocation in Flexible Manufacturing SystemsJ. International Journal of

9、Flexible Manufacturing Systems，1998，10卷，1期，P73.3 Boppana, R.V.;Chalasani, S. A framework for designing deadlock-free wormhole routing algorithmsJ. Parallel and Distributed Systems, IEEE Transactions on，1996，7卷，2期，P169.4S. -T. Huang. A distributed deadlock detection algorithm for CSP-like communicati

10、onJ. ACM Transactions on Programming Languages and Systems (TOPLAS)，1990，12卷，1期，P102.2.Ovid期刊检索条件：高级检索 TI=algorithm deadlock；检索结果：共检索到2条记录；1Youn，Jong-Hoon1，Bose，Bella2，Park，Seungjin3.Fault-Tolerant Routing Algorithm in Meshes with Solid Faults*J. Journal of Supercomputing. August 2006. 37(2):161-177

11、.2 Lawley, Mark，Reveliotis，Spyros，Ferreira Placid. The Application and Evaluation of Bankers Algorithm for Deadlock-Free Buffer Space Allocation in Flexible Manufacturing Systems.J. International Journal of Flexible Manufacturing Systems，February 1998，10(1):73-100.3. 免费期刊指南（Directory of Open Access

12、Journals）检索条件：ALL Fields=algorithm*ALL Fields=deadlock；检索结果：共检索到21条记录；1 V. Geetha，N. Sreenath. Distributed Deadlock Detection using Fault Informing ProbesJ. International Journal of Computer Applications，2012，vol 41， issue 8:6-11.2 Parag Parandkar，Jayesh kumar Dalal，Sumant Katiyal. Performance Compa

13、rison of XY, OE and DY Ad Routing Algorithm by Load Variation Analysis of 2-Dimensional Mesh Topology Based Network-on-ChipJ. BVICAMs International Journal of Information Technology,2012, Vol: 4 Issue: 1. （四）其他文献信息类型检索（要求：不少于三个检索系统）。中国知网全文数据库（1）中国重要会议论文全文数据库检索条件：KEY=算法*KEY=死锁；检索结果：共检索到3条记录；1 欧阳一鸣，丁同

14、柱，梁华国.一种基于2D-mesh的低延迟NoC路由算法设计C. 第十四届全国容错计算学术会议(CFTC2011).北京.2011-07-30.2 姜作廉，涂菶生. FMS中的在线调度与死锁问题C. 1993中国控制与决策学术年会.中国安徽黄山.1993-05. （2）中国专利数据库；检索条件：专利名称=算法死锁检索结果：共检索到一条记录；1 向东，罗伟. Torus网络中的无死锁自适应路由算法：中国，.5P. 2011-08-31. （3）中国博士学位论文全文数据库；检索条件：KEY=算法*KEY=死锁；检索结果：共检索到6条记录；1赵丹.柔性制造系统刀具流动态调度研究D.哈尔滨：哈尔滨工程

15、大学，2011.2何善军. 自动小车存取系统的建模及其若干关键技术研究D.厦门：厦门大学，2008.（五）网络信息检索（要求：不少于三个检索系统）。1.XX检索条件：操作系统*算法*死锁；检索结果：约9，604，000个；1互联网. 操作系统课程设计死锁检测算法，这个程序自动显示死锁检测过程OL.2006-06-04. 2彭媛.基于系统安全性的死锁避免算法OL.2006-01. . 2.Google检索条件：操作系统*算法*死锁；检索结果：约2，409，000条；1互联网.操作系统上机报告银行家算法并解决死锁问题OL.2007-10-4. 2XX空间. 利用银行家算法避免死锁OL.2009-0

16、3-20. 3搜狗检索条件：操作系统*算法*死锁；检索结果：约214，107条记录；1XX文库. 操作系统课设(模拟实现银行家算法实现死锁避免)OL.2011-05-08. 2XX文库. 操作系统十大算法之死锁检测算法OL.2010-06-02. 二、检索总结。（一）请根据您所选的参考文献，选出一篇，把您会参考使用到的部分截取下来（文字格式，图书请注明在第几页第几段落，论文请注明第几节第几段落）。李嶒，李文娟. 基于Petri网的工作流管理系统的设计与开发J.软件工程师，2011，：53-56.文章第三部分 工作流模型验证3工作流模型验证应用Petri网的分析技术对工作流模型进行验证的目的是在

17、过程设计中检验工作流的正确性，避免执行时出现异常，过程异常包括死锁、死任务和活锁等。工作流建模是开发工作流管理系统的先行任务，所以在工作流投入使用之前就要进行很好的分析验证。如果一个工作流过程定义模型在其正确性、合理性没有得到充分验证时就投入使用，在工作流管理系统运行后再去进行修改，代价将远远高于前期的修改。因此在工作流模型实际实施之前，对其进行合理性分析，探索其中可能存在的各种过程异常，可以大大降低工作流运行时停产、检查和修复的成本，具有重大的意义。（二）请描述小组协作练习中您所演示的数据库的独特特色。本小组协作练习我所演示的数据库的特色有以下三点：1.检索得到的文献会按照与检索词的相关度进

18、行排序，并且分为2，3，4，5级四个等级的相关度。2检索文献时，系统会自动搜索到相关的检索词，并且在检索得到的文献中用两种不同的颜色标明检索词：原检索词以紫色突出显示；系统自动联想检索词以黄色突出显示。使我能够很明确地区分哪些检索词是原检索词，哪些检索词是联想检索词，从而能够了解文章是否能够满足我的检索目的。3在多次检索后，系统会自动保存检索记录，并且可以对多个检索记录进行进一步操作。例如，勾选两个检索记录之后，可以选择“and”和“or”操作，“and”操作相当于将两个检索记录的检索词进行一次“与”类型的检索；“or”操作相当于将两个检索记录的检索词进行一次“or”类型的检索。当然也可以选择

19、多个检索记录。（三）课题检索总结（论文的撰写构思或提纲）。 操作系统是现在许多电脑用户必须使用的大型基础软件。对于使用电脑的用户来说，他们对操作系统并不了解，甚至于当我们向他提起操作系统这个词语的时候，他会茫然地看着我们然后问道“操作系统是什么东西？”然而操作系统是个非常庞大的软件，它连接了电脑硬件（如硬盘、内存、鼠标、键盘、音响、网线接口）和应用程序（如酷狗、QQ、IE浏览器）。用户们在使用电脑的过程中已经在不知不觉中对操作系统发出了不计其数的指令。然而当电脑突然间无法满足用户的需求，或者崩溃死机时，用户必然会抱怨电脑的性能太低了，殊不知这不是电脑的问题，很大程度上是操作系统或者是应用程序中

20、算法设计的不足造成的。所以对于从事软件开发的人士来说，如何使程序（包括操作系统等大型基础软件和酷狗这类应用软件）顺利运行而不至于在不确定时刻出错，是很重要的任务。（四）个人总结（学习体会、对本课程学习的建议等）。个人认为，网络信息检索课程是一门服务性课程。当前互联网已经把世界各地的信息都联系起来，这些信息中包括了研究生、博士生论文，也包括了国家、社会上各种研究机构的会议记录，杂志社的期刊，个人的专利文献等等。为了更好地促进学术交流，这些资源都被无私地放到了网络上，这是一笔巨大的资源，对于在校生来说，能够开阔知识面，对专业有更加深入的了解。而这门课正好传授了如何利用各种检索工具对学术资源进行各种方式的检索，让同学系统地了解了文献检索的方法，让同学们更加清晰地了解了专业研究的形式和最新科研成果的发展。