本文译至：http://sel4.systems/CAmkES/About.pml
关于CAmkES
CAmkES是面向seL4的一个基于组件的软件平台。它提供了一个软件开发和运行时平台，允许开发人员设计基于seL4的系统作为交互组件的集合。
动机
基于微内核的多服务器操作系统被设计成一个保护和分离服务的集合，服务之间通过进程间通信机制进行通信。由于这些服务是由内核和硬件...
分类：
其他好文 时间：
2014-08-31 15:50:41
阅读次数：
526
一、服务服务是一组公开功能的集合。服务内部包含了如语言、技术、版本与框架等概念，服务之间的交互只允许使用规定的通信模式外界客户端并不知道服务内部的实现细节，所以WCF服务通常通过元数据的方式描述可用的功能及服务可能采用的通信方式WCF不允许客户端直接与服务交互，客户端总是使用代理将调用转发给服务 ，...
分类：
其他好文 时间：
2014-08-25 16:37:05
阅读次数：
314
桥接模式：
（1），继承很多情况下会带来麻烦，比如：对象的继承关系在编译时就定义好了，所以无法在运行时改变从弗雷继承的实现。子类的实现与它的弗雷有非常紧密的依赖关系，以至于弗雷视线中的任何变化必然会导致子类发生变化。当你需要复用子类时，如果继承下来的实现不适合解决新的问题，则父类必须重写或被其他更适合的类代替。这种依赖关系限制了灵活性并最终限制了复用性。
（2），合成/聚合服用原则（C...
分类：
其他好文 时间：
2014-08-09 00:16:46
阅读次数：
403
中国的B2B正在进入后平台时代，我们用三个特征来诠释这个词：1.电商平台构建流程闭环服务，从电商平台向综合服务商转变；2.新流量批发策略的落地代表B2B找到了新入口；3.第三方服务的价值变现与第二波创业起航。 无论阿里巴巴，抑或是另五家上市B2B公司，都在构建流程闭环服务，这个流程是供应商与采购.....
分类：
其他好文 时间：
2014-07-28 15:13:23
阅读次数：
253
新服务上线后观察到，CPU在10 ~ 70%间波动严重，但从每秒业务计数器看业务处理速度很平均。 接下来是排查步骤： 1. dstat -tam 大概每10s一个周期，网络流量开始变得很小，随后突然增大，CPU也激增。 网络流量变化和从性能计数器结果上并不符合，服务相关业务较为复杂，...
分类：
其他好文 时间：
2014-07-28 11:18:00
阅读次数：
241
XenServer是在云计算环境中经过验证的企业级虚拟化平台，可提供创建和管理虚拟基础架构所需的所有功能。它深得很多要求苛刻的企业信赖，被用于运行最关键的应用，而且被最大规模的云计算环境和xSP所采用。XenServer：通过整合服务器，降低电源、冷却和数据中心空间需求来降低成..
分类：
其他好文 时间：
2014-07-24 10:52:05
阅读次数：
417
??
IO复用
I/O复用使得程序能同时监听多个文件描述符，通常网络程序在下列情况下需要使用I/O复用技术：
客户端程序要同时处理多个socket
客户端程序要同时处理用户输入和网络连接
TCP服务器要同时处理监听socket和连接socket，这是I/O复用使用最多的场合
服务器要同时处理TCP请求和UDP请求。比如本章将要讨论的会社服...
分类：
系统相关 时间：
2014-07-02 08:35:51
阅读次数：
399
光音网络，做的是本地网络综合服务。在中国，想把互联网做到覆盖延伸范围之外的最后100米，光音网络是当中一家，也是最坚持的一家。为千万家本地生活商户提供帮助，为数亿本地用户提供最佳的本地网络体验，这是光音网络一直坚持的理念。感知当下移动互联网发展的潮升，日前，在光音网络2014CWSM商业Wi-Fi峰...
分类：
其他好文 时间：
2014-06-21 10:42:27
阅读次数：
288
继续上文CentOS6.5
Nginx优化编译配置本文记录有关Nginx系统环境的一些细节设置，有关Nginx性能调整除了配置文件吻合服务器硬件之前就是关闭不必要的服务、磁盘操作、文件描述符、内核调整等。1、关闭系统中不需要的服务###Centos
minimal 本来就是最小安装，这里我也就不提....
分类：
其他好文 时间：
2014-06-10 12:33:04
阅读次数：
234
