项目

• 一个高性能程序编写框架：
• 异步：
• 使用I/O设备、使用其他CPU（主线模型）
• 信号机制
• 调度（优先级）
• 对OpenCL等的封装，易于使用
• 管线对象：
• 一系列串行例程不需要用信号机制连接
• 流水线两个阶段约定数据传递方式（可以是Unix的shell风格）
• 由依赖图生成管线（并被缓冲，参见缓冲对象）
• 期待代替Gstreamer和LLVM编译器驱动
• 缓冲对象：
• 缓冲对象未必在内存中，可以在磁盘...（发布对象?）
  
• 内存的缓冲（SLAB风格的内存分配）
• 管线缓冲（缓冲由依赖图和状态动态生成的管线）
• 其他...对若干操作得到的结果（立体的）——一个操作就能得到结果（平面化，命中的情形下）
• 与系统资源监视服务互动，调整缓冲大小
• Detective Conan：
• 嵌入在调用中。
  
• 在收集I/O结果、错误、性能参数。报告某监视进程。
  
• 用例：web服务器、下载器、启动器<缓冲、日志、收集结果>。
• 非MVC的UI编写框架
• 界面和模型参数的传递是“量子”的而非经典的（需要和控制器无限交互）
• 由ASL库启发
• 解析器等依赖LLVM，依赖图依赖上一框架
• LLVM整合？ 
• 基于结构化、模式匹配的限制(contrain)模型
• 用于窗口系统对窗口“权限”的限制
• 所见即所得编辑器缺陷的弥补：附加在文字编辑器的模板，对某一域限制的图形化显示，违背限制的图形化显示。比如论文的索引，鼠标移到之上显示某些下拉菜单等的组合，移出恢复”所见所得“模式
• 易用的访问控制模型。结合系统包管理方式
• 包管理方式：
• 分布式<没有中心/usr...，热插拔>、文件系统布局、特性通知（忘了configure...）、访问控制<封装>
  
• X windows的移除
• 分离功能，一些功能分离到EGL、OpenGL中
• 关注窗口树结构，DOM风格(事件传递、处理)
• wayland now
  
• LLVM SVA操作系统的设计
• Singularity Like
• ...

将在某个CMS中实践部分