2012年5月
苹果
摘要： 苹果公司的标志有时被误认为源于图灵自杀时咬下的半个苹果 阅读全文
posted @ 2012-05-10 11:48 ohscar 阅读(101) 评论(0) 推荐(0) 编辑
COPAS(Coroutine Oriented Portable Asynchronous Services for Lua)
摘要： Copas is a dispatcher based on coroutines that can be used by TCP/IP servers. It uses LuaSocket as the interface with the TCP/IP stack.A server registered with Copas should provide a handler for reque... 阅读全文
posted @ 2012-05-05 13:53 ohscar 阅读(213) 评论(0) 推荐(0) 编辑
paper :《Monitors: An Operating System Structuring Concept》(1974)
摘要： OS领域的经典Paper！ Monitor的概念充分体现了现代程序设计的思想，在当时的年代背景下，写出如此优雅的代码，可以不朽~~ 1. 本文讲述了一种用于实现操作系统的基础结构：Monitor 该结构将需要共享的资源(data)和访问资源的代码(interface)组合起来，对外提供访问函数，数据不可见，通过访问函数来保护数据。每个访问函数都具在一个临界区中。这种手法被后人广泛使用~~ 2. 为了实现Monitor，给出了一种配套使用的机制：Condition 对就是多线程设计中常见的Condition，这个东东就是从这里来的。唯一与现在的Condition不通的地方在于：本文要求wait被 阅读全文
posted @ 2012-05-05 04:52 ohscar 阅读(172) 评论(0) 推荐(0) 编辑
paper : 《Synchronization Primitives for a Multiprocessor: A Formal Specification》(1987)
摘要： 原文下载：Synchronization Primitives for a Multiprocessor : A Formal Specification 本文给出了一组用于线程同步的原语，它们在DEV SRC线程包中被实现（Modula-2+语言）：MutexConditionSemaphore首先是非形式化的描述，讲述每个原语的含义和用法； 然后是形式化描述，通过一种Latch Language来定义每个原语的语义； 最后简单介绍了每个原语在语言包中是如何实现的。 文章想告诉我们：同步原语是非常复杂和精妙的，如果不用形式化方法是难以说清楚的（虽然我觉得本文第一部分已经把原语的含义讲得很好了 阅读全文
posted @ 2012-05-01 21:45 ohscar 阅读(168) 评论(0) 推荐(0) 编辑
2012年4月
paper :《Event-Driven Programming: Introduction, Tutorial, History》
摘要： 网上链接：http://eventdrivenpgm.sourceforge.net/本文讲述什么是事件驱动的程序设计，主要介绍了一个Handlers模式，这个模式与Reactor模式非常接近，应该来说，Reactor就是一个特殊的Handlers模式。OK，不管什么模式吧，事件驱动的模型基本就是体现了代码执行的不确定性。从实现技术上说，主要是一个event loop，windows是如此，redis也是如此。 值得一提的是，本文提到了面向对象技术本质上也是一种事件驱动，每个对象定义的方法就是event handler，而调用的顺序无法预知。这虽然不是什么新鲜的说法，但至少让我回忆起最早学习. 阅读全文
posted @ 2012-04-30 21:34 ohscar 阅读(204) 评论(0) 推荐(0) 编辑
操作系统方面的paper
摘要： 原文http://zoo.cs.yale.edu/classes/cs422/2010/readingHistorical Perspective E. W. Dijkstra.The Structure of the THE Multiprogramming System. Communications of the ACM 11(5), May 1968. D. M. Ritchie ... 阅读全文
posted @ 2012-04-26 14:38 ohscar 阅读(329) 评论(0) 推荐(0) 编辑
关于存储的一个paper参考
摘要： 原文：http://dirkmeister.blogspot.com/2010/01/storage-systems-course-my-own-idea.htmlStorage Systems Course: My proposalIn mylast post, I summarized some of the storage systems courses from internationa... 阅读全文
posted @ 2012-04-26 14:22 ohscar 阅读(268) 评论(0) 推荐(0) 编辑
看到一个有趣的项目
摘要： Xv6, a simple Unix-like teaching operating systemMIT的一个实验操作系统，基本想法就是把《莱昂氏Unix源代码》分析中的Unix移植到x86体系上。记得我上大学时读这本书，也有过这种冲得:)http://pdos.csail.mit.edu/6.828/2011/xv6.html通过这个链接，找到了《莱昂氏Unix源代码》的在线pdf版本，以及珍贵... 阅读全文
posted @ 2012-04-24 21:46 ohscar 阅读(140) 评论(0) 推荐(0) 编辑
[zz]TMPFS和RAMFS
摘要： TMPFS和RAMFS是两种类型的文件系统，可以动态改变大小。非传统的虚拟磁盘，而传统的虚拟磁盘是个块设备。需要mkfs之后才可以使用。Overview:Using in-memory fs you can allocate part of physical memory to be used as a harddisk partition. You can mount this partitio... 阅读全文
posted @ 2012-04-20 23:44 ohscar 阅读(235) 评论(0) 推荐(0) 编辑
[zz]The difference between thread-safety and re-entrancy
摘要： An operation is "thread-safe" if it can be performed from multiple threads safely, even if the calls happen simultaneously on multiple threads.An operation is re-entrant if it can be performed while t... 阅读全文
posted @ 2012-04-14 13:09 ohscar 阅读(222) 评论(0) 推荐(0) 编辑