欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
OpenCloudStack
OpenCloud: 一个开放的云计算平台. 一个自由、开放的云资源环境
比较适合云计算的语言是函数式语言, 如 Erlang, OCaml, Haskell ,Lisp, Scheme and Scala
Google 的核心基础设施包括: Google File System, MapReduce, BigTable, 类似 Google 基础架构的 Cloud Computing 模式非常吸引我。
我们可试着通过 ZFS and Lustre, Apache Hadoop, Hypertable and HBase 搭建自己的核心基础设施. OpenCloud 就是这样的一个尝试.
并行计算、分布式存储、虚拟化将是实现这一系统的三大理论基础. 因为有了计算能力和存储能力以后, 就需要将这些资源虚拟化, 抽象为平台或模型供上层服务使用, 如搜索服务、下载服务等等。
Phoenix + ZFS + Hypertable + Xen(Enomalism) 是不是一套可行的C/C++解决方案, 需要去试验和部署, 选择 Enomalism提供虚拟设施的监控能力,
ZFS + Apache CouchDB + Erlang + Xen(Enomalism) 能否提供一套基于Erlang的解决方案, 借助天生的并行计算能力使其更具优势。
让 Your Apps in the Cloud, 让你在云中漫步.
支持 Ruby on Rails | Python on Django | Groovy on Grails 三大Web敏捷开发体系
一个应用场景: GamesCloud
Linux, FreeBSD, OpenSolaris 共同组成 Open Cloud Operating System
CloudDB: Based on Drizzle and MySQL.
Other
- Eucalyptus
- Phoenix is a shared-memory implementation of MapReduce implemented in C.
- Skynet Ruby MapReduce Framework
- Qt Concurrent Open Source C++ MapReduce for shared-memory (non-distributed) implementation from Trolltech
- IBM MapReduce Tools for Eclipse
- Apache CouchDB uses a MapReduce framework for defining views over distributed documents writed by Erlang
- http://panel.mor.ph/ 基于云计算的web应用托管平台, 支持 Groovy on Grails