欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Hail
来自开放百科 - 灰狐
				
								
				(版本间的差异)
				
																
				
				
								
小 (→链接)  | 
			小 (→链接)  | 
			||
| 第15行: | 第15行: | ||
{{comment}}  | {{comment}}  | ||
| − | [[category:  | + | [[category:cloud computing]]  | 
[[category:distributed computing]]  | [[category:distributed computing]]  | ||
2013年2月5日 (二) 04:57的最后版本
Hail 将云服务纳入云计算项目中。
一些低层的云计算服务包括:
- cloud consensus, election and rendezvous
 - key/value lookup table and indexing services
 - producer/consumer queues
 - distributed "share nothing" data storage
 - 2D table (a la BigTable). Perhaps HyperTable is a candidate, after being modified to use CLD and chunkd.
 - Batch work queueing and distribution (map/reduce, and more)
 - Simple distributed filesystems and databases
 
[编辑] 链接
<discussion>characters_max=300</discussion>
	分享您的观点