欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Hail
来自开放百科 - 灰狐
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>
分享您的观点
