历史各类平台上操作系统的功能演化综观电脑之历史，操作系统与电脑硬件的发展息息相关。操作系统之本意原为提供简单的工作排序能力，后为辅助更新更复杂的硬件设施而渐渐演化。从最早的批量模式开始，分时机制也随之出现，在多处理器时代来临时，操作系统也随之添加多处理器协调功能，甚至是分布式系统的协调功能。其他方面的演变也类似于此。另一方面，在个人电脑上，个人电脑之操作系统因袭大型机的成长之路，在硬件越来越复杂、强大时，也逐步实践以往衹有大型机才有的功能。总而言之，操作系统的历史就是一部解决电脑系统需求与问题的历史。1980年代前IBMSystem/360，大型主机的经典之作第一部电脑并没有操作系统。这是由于早期电脑的创建方式（如同建造机械算盘）与性能不足以运行如此程序。但在1947年发明了晶体管，以及莫里斯·威尔克斯发明的微程序方法，使得电脑不再是机械设备，而是电子产品。系统管理工具以及简化硬件操作流程...

设计理念通常，实时操作系统分为两大类:事件驱动型。当一个高优先级的任务需要执行时，系统会自动切换到这个任务。这种根据优先级调度任务的方式称为抢占式任务处理。时间触发型。每个任务在各自设定好的的时间间隔内重复、轮流调度。时间触发型设计往往比较严格地调度任务，具有更好的多任务处理能力。多个任务被不停地轮流调度，在宏观上，就相当于一个CPU同时执行多个任务。在过去，CPU在切换任务时往往需要多个机器周期，在这段时间内，CPU不能处理其他任何任务。例如，一个20MHz的摩托罗拉68000处理器（1980年代后期），在切换任务时需要花费20微秒。（相比之下，一个100MHz的ARM架构的处理器（2008年之后的）只需要3微秒。）因此，早期的实时操作系统通过减少任务切换次数来避免消耗过多CPU时间。任务调度在典型的设计中，一个任务有以下三种状态：正在运行（Running，正在CPU中执行）待命（Rea...

历史与发展Deepin系统源于HiweedLinux（Hiwix）系统，Hiwix0.1最早发布于2004年2月28日，是一款比Ubuntu历史还要悠久的Linux发行版。Deepin系统经历了Hiwix、HiweedLinux和LinuxDeepin多次更名的同时，默认使用的桌面环境上也不断的变化，Deepin早期曾使用过IceWM、xfce、LXDE和Gnome，但是最终确定使用自行开发的DeepinDesktopEnvironment。关于基于的底层系统上，也经历了Morphix、Debian和Ubuntu的多次变化。发行版本第五届开发者与用户大会上，深度科技副总经理王勇表示为了让用户更快的体验正能量，Deepin不再像早期一样一年发行两次，也不再跟随一年发行一次的步调，而是改为准备就绪后才发行，版本号也不再与年份有相关，并且三个月会进行一次小幅更新。深度发展之软件项目Deepin桌...

历史SymbianOS是早期智能手机最流行的系统，图为使用S80平台的Nokia9300在移动操作系统出现前，移动设备如手提电话一般是使用嵌入式系统运作。1993年，IBM推出了首台智能手机IBMSimon。其后Palm及微软先后于1996年推出PalmOS及WindowsCE，开始移动操作系统争霸的局面。诺基亚、黑莓公司在手机上发展了移动操作系统，以争夺市场。2007年苹果推出iPhone，搭载iOS操作系统，着重于应用触控式面板，造成用户界面与用户体验的改进。9月，谷歌发表开放手持设备联盟，并推出Android操作系统。Android的发布造成苹果和谷歌之间的裂痕，最终导致谷歌公司首席运行官埃里克·施密特辞去苹果董事会职务。由于苹果的iOS以及谷歌的Android推波助澜，至2010年5月，智能手机有爆量的增加，估计有17.3%的手机出现。截至2011年1月，谷歌持有33.3％的全球智...

结构操作语义戈登·普罗特金（GordonPlotkin）在（Plotkin04a）中引入了结构操作语义的概念作为一个定义操作语义的逻辑方式。其基本主意是使用程序组成部分的行为来定义一个程序的行为，由此来提供一个对操作语义结构性的，即按照句法和归纳性的，分析。结构操作语义对一个程序的行为的说明是通过一（组）变化关系来表示的。其形式是一系列推理规则，这些推理规则通过一组句法的转换来定义该组的合理转换。比如我们考虑一个简单计算机语言的部分语义，在Plotkin04a和Hennessy90以及其它教科书中有相应的图像。设C1,C2{\displaystyleC_{1},C_{2}}为该语言的程序域，s{\displaystyles}是状态域（即函数的存储地址及值）。假如我们有表述（E{\displaystyleE}的域）、值（V{\displaystyleV}）和存储地址（L{\displayst...