欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Scalaris
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
|||
| （未显示1个用户的1个中间版本） | |||
| 第7行： | 第7行： | ||
Scalaris is implemented in [[Erlang]]. | Scalaris is implemented in [[Erlang]]. | ||
| − | == | + | ==简介== |
| − | + | ||
| − | + | ||
| − | + | ||
| − | [[ | + | ==功能== |
| − | [[ | + | |
| + | ==项目== | ||
| + | |||
| + | ==图集== | ||
| + | |||
| + | ==链接== | ||
| + | *[http://scalaris.zib.de/ Scalaris官网]] | ||
| + | *[https://github.com/scalaris-team/scalaris Scalaris @ GitHub] | ||
| + | |||
| + | [[category:database]] | ||
| + | [[category:erlang]] | ||
2017年11月30日 (四) 04:38的最后版本
Scalaris is a scalable, transactional, distributed key-value store. It can be used for building scalable Web 2.0 services.
Scalaris uses a structured overlay with a non-blocking Paxos commit protocol for transaction processing with strong consistency over replicas.
Scalaris is implemented in Erlang.
目录 |
[编辑] 简介
[编辑] 功能
[编辑] 项目
[编辑] 图集
[编辑] 链接
分享您的观点
