Update documentation and clients for v1.1.0
CI / test (push) Has been cancelled
CI / verify (push) Has been cancelled
Clients CI / build-server (push) Has been cancelled
Clients CI / test-python (push) Has been cancelled
Clients CI / test-javascript (push) Has been cancelled
Clients CI / test-nim (push) Has been cancelled
Clients CI / test-rust (push) Has been cancelled
CI / test (push) Has been cancelled
CI / verify (push) Has been cancelled
Clients CI / build-server (push) Has been cancelled
Clients CI / test-python (push) Has been cancelled
Clients CI / test-javascript (push) Has been cancelled
Clients CI / test-nim (push) Has been cancelled
Clients CI / test-rust (push) Has been cancelled
Documentation updates: - Fix v0.1.0 → v1.1.0 version numbers in en, ru, fa, zh docs - Add missing Window Functions, Multi-Tenant ERP, Supported Keywords sections to ru, fa, zh baraql.md (~105 lines each) - Expand Turkish and Arabic baraql.md (110 → 268 lines) - Expand Turkish and Arabic installation.md (62 → 307 lines) - Add new Bulgarian documentation files (18 new files) Client updates: - Python: Full async/await rewrite with asyncio, request queueing - Rust: Full async/await rewrite with tokio, async examples - Nim: Update README to v1.1.0 - All clients now support async patterns consistently
This commit is contained in:
+58
-5
@@ -1,9 +1,11 @@
|
||||
# Разпределена Система
|
||||
|
||||
Поддръжка за разпределено внедряване с Raft консенсус, шардиране и репликация.
|
||||
BaraDB поддържа разпределено внедряване с Raft консенсус, шардиране, репликация и gossip протокол.
|
||||
|
||||
## Raft Консенсус
|
||||
|
||||
Leader election и log репликация:
|
||||
|
||||
```nim
|
||||
import barabadb/core/raft
|
||||
|
||||
@@ -13,19 +15,35 @@ cluster.addNode("node2")
|
||||
cluster.addNode("node3")
|
||||
|
||||
let n1 = cluster.nodes["n1"]
|
||||
n1.becomeCandidate()
|
||||
n1.becomeLeader()
|
||||
let entry = n1.appendLog("SET key1 value1")
|
||||
```
|
||||
|
||||
## Шардиране
|
||||
|
||||
Разпределение на данни между възли:
|
||||
|
||||
```nim
|
||||
import barabadb/core/sharding
|
||||
|
||||
var router = newShardRouter(ShardConfig(numShards: 4, replicas: 2))
|
||||
var router = newShardRouter(ShardConfig(
|
||||
numShards: 4,
|
||||
replicas: 2,
|
||||
strategy: ssHash
|
||||
))
|
||||
router.rebalance(@["node1", "node2", "node3"])
|
||||
let shard = router.getShard("user_123")
|
||||
```
|
||||
|
||||
### Стратегии за Шардиране
|
||||
|
||||
| Стратегия | Описание |
|
||||
|-----------|----------|
|
||||
| `ssHash` | Хеш-базирано шардиране |
|
||||
| `ssRange` | Range-базирано шардиране |
|
||||
| `ssConsistent` | Consistent hashing |
|
||||
|
||||
## Репликация
|
||||
|
||||
```nim
|
||||
@@ -34,11 +52,46 @@ import barabadb/core/replication
|
||||
var rm = newReplicationManager(rmSync)
|
||||
rm.addReplica(newReplica("r1", "10.0.0.1", 9472))
|
||||
rm.connectReplica("r1")
|
||||
let lsn = rm.writeLsn(@[1'u8, 2, 3])
|
||||
rm.ackLsn("r1", lsn)
|
||||
```
|
||||
|
||||
### Режими на Репликация
|
||||
|
||||
| Режим | Описание |
|
||||
|--------|----------|
|
||||
| `rmSync` | Синхронна репликация |
|
||||
| `rmAsync` | Асинхронна репликация |
|
||||
| `rmSemiSync` | Полу-синхронна репликация |
|
||||
|
||||
## Gossip Протокол
|
||||
|
||||
Управление на членство и детекция на откази:
|
||||
|
||||
```nim
|
||||
import barabadb/core/gossip
|
||||
|
||||
var g = newGossipProtocol("node1", "localhost", 9472, gossipPort = 9572)
|
||||
g.join(newGossipNode("node2", "10.0.0.2", 9472))
|
||||
```
|
||||
|
||||
## Разпределени Транзакции
|
||||
|
||||
Two-phase commit между възли:
|
||||
|
||||
```nim
|
||||
import barabadb/core/disttxn
|
||||
|
||||
var tm = newDistTxnManager()
|
||||
let txn = tm.beginTransaction("node1")
|
||||
txn.addParticipant("node2", "10.0.0.2", 9472)
|
||||
txn.prepare()
|
||||
txn.commit()
|
||||
```
|
||||
|
||||
## Формална Верификация
|
||||
|
||||
Разпределените алгоритми са формално специфицирани в TLA+ и проверени с TLC:
|
||||
Основните разпределени алгоритми са формално специфицирани в TLA+ и проверени с TLC:
|
||||
|
||||
- **Raft Консенсус** — `formal-verification/raft.tla`
|
||||
- Проверено: ElectionSafety, StateMachineSafety
|
||||
@@ -47,11 +100,11 @@ rm.connectReplica("r1")
|
||||
- **Репликация** — `formal-verification/replication.tla`
|
||||
- Проверено: MonotonicLsn, AcksRemovePending
|
||||
|
||||
Пускане на TLC:
|
||||
Пускане на TLC локално:
|
||||
|
||||
```bash
|
||||
cd formal-verification
|
||||
java -cp tla2tools.jar tlc2.TLC -config models/raft.cfg raft.tla
|
||||
java -cp tla2tools.jar tlc2.TLC -config models/twopc.cfg twopc.tla
|
||||
java -cp tla2tools.jar tlc2.TLC -config models/replication.cfg replication.tla
|
||||
```
|
||||
```
|
||||
|
||||
Reference in New Issue
Block a user