wehub-resource-sync
498b235461
Build and test / Build and test AMD64 Ubuntu 22.04 (push) Failing after 0s
Publish Builder / amazonlinux2023 (push) Failing after 1s
Build and test / UT for Go (push) Has been skipped
Publish KRTE Images / KRTE (push) Failing after 1s
Build and test / Integration Test (push) Has been skipped
Build and test / Upload Code Coverage (push) Has been skipped
Publish Builder / rockylinux9 (push) Failing after 1s
Publish Builder / ubuntu22.04 (push) Failing after 0s
Publish Builder / ubuntu24.04 (push) Failing after 0s
Publish Gpu Builder / publish-gpu-builder (push) Failing after 1s
Publish Test Images / PyTest (push) Failing after 0s
Build and test / UT for Cpp (push) Has been cancelled
1.1 KiB
1.1 KiB
Database Messages
Messages managing database lifecycle. All are CChannel-only broadcasts serialized via ExclusiveDBName.
All broadcast messages implicitly carry SharedCluster via the Broadcaster.
| Message | Dispatch | ExclusiveRequired | ResourceKey |
|---|---|---|---|
| CreateDatabase | Broadcast: CChannel | No | ExclusiveDBName |
| AlterDatabase | Broadcast: CChannel | No | ExclusiveDBName |
| DropDatabase | Broadcast: CChannel | No | ExclusiveDBName |
- CreateDatabase: Creates a new database.
- AlterDatabase: Alters database properties (may trigger load config updates for all collections in the DB).
- DropDatabase: Drops a database. The database must be empty (no collections).
Key Invariants
- CreateDatabase must precede CreateCollection in this database.
- DropDatabase must come after all collections in the database are dropped.
- ExclusiveDBName conflicts with SharedDBName (used by collection DDL), preventing concurrent collection operations during database DDL.
CreateDatabase@tt=1 → CreateCollection(in_db)@tt=5 → ... → DropCollection@tt=15 → DropDatabase@tt=20