欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Cloud computing
Ruby + Rails + EC2 看上去是个不错的选择, http://heroku.com/ 开始提供这样的服务。
李开复博士阐述推动云计算发展的六个方面的因素：
- 1.以用户为中心：数据存在于云海之中，并且伴随着你和你的设备，你可以在任何时间、任何地点以某种便捷的方式安全地获得它或与他人分享。
- 2.以任务为中心：人们可以方便地与合作者共同规划并执行各项任务，并随时随地进行有效的交流和沟通。
- 3.强大的功能：置于云海中由成千上万的计算机群提供的强大计算能力、存储能力等将能够为你完成传统上单台计算机根本无法完成的事情。
- 4.智能化：基于海量数据的数据挖掘技术来获得大量的新知识。作为一个典型的示例，基于这种新技术的语言翻译将更加强大。我们在互联网络上，可以看到这样一种模式
海量的数据 + 海量的分析 ==〉知识
- 5.基础设施的可行性：如今，上千台的PC级服务器可以获得极高的性能。Google正在建设更强大的“计算机群农场”（就像高产的奶牛场一样）。
- 6.并行软件的可编程性：怎样编写可以在上千台计算机上并行执行的程序？Google如今已经开发了一系列新的开发方法和技术。
目录 |
Architecture
The architecture behind cloud computing is a massive network of "cloud servers" interconnected as if in a grid running in parallel, sometimes using the technique of virtualization to maximize computing power per server.
A front-end interface allows a user to select a service from a catalog. This request gets passed to the system management which finds the correct resources, and then calls the provisioning services which carves out resources in the cloud. The provisioning service may deploy the requested stack or web application as well.
- User interaction interface: This is how users of the cloud interface with the cloud to request services.
- Services catalog: This is the list of services that a user can request.
- System management: This is the piece which manages the computer resources available.
- Provisioning tool: This tool carves out the systems from the cloud to deliver on the requested service. It may also deploy the required images.
- Monitoring and metering: This optional piece tracks the usage of the cloud so the resources used can be attributed to a certain user.
- Servers: The servers are managed by the system management tool. They can be either virtual or real.
Above from http://en.wikipedia.org/wiki/Cloud_computing
Clone
Google 的核心基础设施包括: Google File System, MapReduce, BigTable, 类似 Google 基础架构的 Cloud Computing 模式非常吸引人。
你也可试着通过 ZFS and Lustre, Apache Hadoop, Hypertable and HBase 搭建自己的核心基础设施.
Projects
- Vertebra
- Enomalism: Elastic Computing Platform (Open Source LGPL)
- Apache CouchDB
- KnowledgeTreeLive: Cloud-based Open Source Document Management
- Virtual Workspace: cloud and grid virtualization software (Open Source, Apache2 license)
- OpenNEbula Virtual Infrastructure Engine (Open Source, Apache2 license)
- Cloud Tools
- Facebook Open Platform
- Project Caroline
Cloud Security
云安全使防御web威胁不再是单一款产品做的事，而是和所有互联网使用者一起和Web威胁做斗争，云安全让每个人都成为了识别安全威胁的贡献者。
趋势科技Secure Cloud云安全6大杀手锏：
- 1.Web信誉服务
- 2.电子邮件信誉服务
- 3.文件信誉服务
- 4.行为关联分析技术
- 5.自动反馈机制
- 6.威胁信息汇总
金山云安全定义：智能客户端+集群式服务器+开放安全服务平台，实现传统杀软无法想象的严密安全网络。完善云安全必须拥有：
- 集群辨别能力。互联网可信认证体系，海量联机样本，分辨互联网上亿文件的善恶属性。
- 集群分析能力。金山毒霸水银平台，每日分析处理上百万未知文件，样本名单已达数TB！
- 集群情报收集。金山毒霸爬虫系统，自动抓取互联网上千万可疑安全威胁，反应迅速！
Solution
- Amazon Web Services Amazon Elastic Compute Cloud (Amazon EC2) - http://aws.amazon.com/ec2
- Google App Engine
- Azure Services Platform
- Yahoo! Open Strategy 可理解为Yahoo云计算的组成部分
- Dell Cloud Computing Solutions
- Sun's Project Blackbox: http://sun.com/blackbox
- Joyent provides a highly scalable on-demand infrastructure for running web sites, including rich Web applications written in Ruby on Rails, PHP, Python and Java.
- Nirvanix, offers a storage delivery service used by developers for storing content and data and making them available worldwide at low latency.
- 3tera, has created a network of partners with it's AppLogic system in the US, Asia and Europe who provide resources for developers to run their applications in the cloud.
- Live Mesh: https://www.mesh.com
- ElasticLive - Easy, Powerful, and elastic web hosting billed on a hourly usage basis., (built with Enomalism + Xen + Amazon EC2)
- Gandi Hosting - Flexible, we are able to provide you with a server of dedicated resources that you can access as 'root', or that we can manage for you
- GeoStratus - Geo-Targeted Private Content Delivery Network
