...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>SIGCSE bulletin >'Laurel and Hardy' Model for Analyzing Process Synchronization Algorithms and Primitives
【24h】

'Laurel and Hardy' Model for Analyzing Process Synchronization Algorithms and Primitives

机译：用于分析过程同步算法和基元的“ Laurel and Hardy”模型

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The initial software solutions to solve the Process Synchronization problems, which ultimately led to the use of Semaphores are usually hard for a beginner to understand and appreciate. The reason is that one has to do lots of book keeping in tracing these algorithms, which involve multiple processes and variable instances. In order to prove the correctness of any synchronization problem, it has to be tested over the Critical Section conditions which again might be a tough exercise. In this paper we propose a model called "Laurel and Hardy" to understand and prove the (in)completeness of the software solutions to the Process Synchronization problem. A series of dramas is enacted between the two comedians Laurel and Hardy which makes understanding of synchronization problem solutions and testing it over Critical Section conditions very simple. We attempt to convince the readers that Laurel and Hardy model can be used as a potential tool for the analysis of any synchronization algorithms and also in assessing the (in)completeness of it. In addition, Laurel and Hardy model can be used as a teaching aid in beginner's Operating System course.
机译：解决过程同步问题的最终软件解决方案最终导致使用信号量，对于初学者来说通常很难理解和欣赏。原因是在跟踪这些算法时必须做很多工作，这些算法涉及多个过程和变量实例。为了证明任何同步问题的正确性，必须在关键部分条件下进行测试，这可能也是一项艰巨的任务。在本文中，我们提出了一个名为“ Laurel and Hardy”的模型，以理解和证明过程同步问题的软件解决方案的（不完整）性。两位喜剧演员劳雷尔（Laurel）和哈迪（Hardy）之间制作了一系列戏剧，这使对同步问题解决方案的理解和在关键部分条件下的测试变得非常简单。我们试图说服读者，Laurel和Hardy模型可以用作分析任何同步算法并评估其（不完整）潜力的工具。此外，Laurel和Hardy模型可以用作初学者的“操作系统”课程的教具。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号