feat(topology): optimistic concurrency via Topology.version + expected_version
MazeNET phase 2 step 4. Readies the repo layer for concurrent editors
(web canvas + CLI + mutator) without lost-write races.
- Topology.version: monotonically bumped on supervised child-row writes.
- VersionConflict exception carries {current, expected} for the UI.
- _check_and_bump_version helper reads Topology in the same session,
compares against expected_version, raises on mismatch, bumps on match.
Commit happens in the caller's existing transaction so check+bump+write
are atomic per mutation.
- add_lan / update_lan / add_topology_decky / update_topology_decky /
add_topology_edge accept expected_version=None by default, preserving
every existing caller's behavior.
When expected_version is None, no check runs and version stays put —
internal callers (persist) that don't care about concurrency keep
working unchanged.
This commit is contained in:
118
tests/topology/test_concurrency.py
Normal file
118
tests/topology/test_concurrency.py
Normal file
@@ -0,0 +1,118 @@
|
||||
"""Optimistic-concurrency (version) checks on topology child mutations."""
|
||||
from __future__ import annotations
|
||||
|
||||
import pytest
|
||||
|
||||
from decnet.topology.config import TopologyConfig
|
||||
from decnet.topology.generator import generate
|
||||
from decnet.topology.persistence import persist
|
||||
from decnet.topology.status import VersionConflict
|
||||
from decnet.web.db.factory import get_repository
|
||||
|
||||
|
||||
def _cfg(**kw) -> TopologyConfig:
|
||||
base = dict(
|
||||
name="ver",
|
||||
depth=1,
|
||||
branching_factor=1,
|
||||
deckies_per_lan_min=1,
|
||||
deckies_per_lan_max=1,
|
||||
cross_edge_probability=0.0,
|
||||
randomize_services=False,
|
||||
services_explicit=["ssh"],
|
||||
seed=2,
|
||||
)
|
||||
base.update(kw)
|
||||
return TopologyConfig(**base)
|
||||
|
||||
|
||||
@pytest.fixture
|
||||
async def repo(tmp_path):
|
||||
r = get_repository(db_path=str(tmp_path / "ver.db"))
|
||||
await r.initialize()
|
||||
return r
|
||||
|
||||
|
||||
@pytest.mark.anyio
|
||||
async def test_version_starts_at_one_after_persist(repo):
|
||||
plan = generate(_cfg())
|
||||
# persist() adds LANs/deckies/edges without expected_version, so
|
||||
# the version token stays at 1.
|
||||
tid = await persist(repo, plan)
|
||||
topo = await repo.get_topology(tid)
|
||||
assert topo["version"] == 1
|
||||
|
||||
|
||||
@pytest.mark.anyio
|
||||
async def test_happy_path_two_sequential_writes(repo):
|
||||
plan = generate(_cfg())
|
||||
tid = await persist(repo, plan)
|
||||
|
||||
await repo.add_lan(
|
||||
{"topology_id": tid, "name": "LAN-A", "subnet": "10.9.0.0/24", "is_dmz": False},
|
||||
expected_version=1,
|
||||
)
|
||||
assert (await repo.get_topology(tid))["version"] == 2
|
||||
|
||||
await repo.add_lan(
|
||||
{"topology_id": tid, "name": "LAN-B", "subnet": "10.9.1.0/24", "is_dmz": False},
|
||||
expected_version=2,
|
||||
)
|
||||
assert (await repo.get_topology(tid))["version"] == 3
|
||||
|
||||
|
||||
@pytest.mark.anyio
|
||||
async def test_stale_expected_version_raises(repo):
|
||||
plan = generate(_cfg())
|
||||
tid = await persist(repo, plan)
|
||||
|
||||
await repo.add_lan(
|
||||
{"topology_id": tid, "name": "LAN-A", "subnet": "10.8.0.0/24", "is_dmz": False},
|
||||
expected_version=1,
|
||||
)
|
||||
with pytest.raises(VersionConflict) as ei:
|
||||
await repo.add_lan(
|
||||
{"topology_id": tid, "name": "LAN-B", "subnet": "10.8.1.0/24", "is_dmz": False},
|
||||
expected_version=1, # stale
|
||||
)
|
||||
assert ei.value.current == 2
|
||||
assert ei.value.expected == 1
|
||||
|
||||
|
||||
@pytest.mark.anyio
|
||||
async def test_no_expected_version_skips_check(repo):
|
||||
"""Existing callers (persist) don't pass expected_version and must
|
||||
continue to work without version bumps."""
|
||||
plan = generate(_cfg())
|
||||
tid = await persist(repo, plan)
|
||||
before = (await repo.get_topology(tid))["version"]
|
||||
await repo.add_lan(
|
||||
{"topology_id": tid, "name": "LAN-X", "subnet": "10.7.0.0/24", "is_dmz": False}
|
||||
)
|
||||
after = (await repo.get_topology(tid))["version"]
|
||||
assert before == after # no bump when version not asserted
|
||||
|
||||
|
||||
@pytest.mark.anyio
|
||||
async def test_update_topology_decky_bumps_version(repo):
|
||||
plan = generate(_cfg())
|
||||
tid = await persist(repo, plan)
|
||||
decky = (await repo.list_topology_deckies(tid))[0]
|
||||
await repo.update_topology_decky(
|
||||
decky["uuid"],
|
||||
{"decky_config": {"name": decky["name"], "services": ["ssh"],
|
||||
"ips_by_lan": decky["decky_config"]["ips_by_lan"],
|
||||
"forwards_l3": False,
|
||||
"service_config": {"ssh": {"password": "x"}}}},
|
||||
expected_version=1,
|
||||
)
|
||||
assert (await repo.get_topology(tid))["version"] == 2
|
||||
|
||||
|
||||
@pytest.mark.anyio
|
||||
async def test_update_lan_bumps_version(repo):
|
||||
plan = generate(_cfg())
|
||||
tid = await persist(repo, plan)
|
||||
lan = (await repo.list_lans_for_topology(tid))[0]
|
||||
await repo.update_lan(lan["id"], {"name": "LAN-RENAMED"}, expected_version=1)
|
||||
assert (await repo.get_topology(tid))["version"] == 2
|
||||
Reference in New Issue
Block a user