07 2017 档案

TLA+和并发系统正确性验证
摘要：TLA+介绍 TLA+（WIKI，官网）是一门领域特定语言，主要用于数理逻辑计算和并发系统的正确性验证。TLA+中的TLA代表的是“行为时序逻辑（Temporal Logic of Actions）”，Action 是纯函数；“+”代表“Data Logic”。这是由 Dr. Lamport所提出的 阅读全文
posted @ 2017-07-26 16:20 wahaha02 阅读(4199) 评论(0) 推荐(1) 编辑
linux kexec内核引导
摘要：linux kexec 介绍 kexec的功能是用一个运行的内核去运行一个新内核，就像运行一个应用程序一样。这种机制因为跳过了bootloader，可以实现系统的快速重启。另外kdump也是基于kexec实现（示意如下）。 kexec的实现有几点难点： kexec的使用示例如下，其分为2部分：kex 阅读全文
posted @ 2017-07-11 21:48 wahaha02 阅读(7453) 评论(0) 推荐(1) 编辑

点击右上角即可分享
微信分享提示