36 lines
4.0 KiB
Markdown
36 lines
4.0 KiB
Markdown
 
|
# Уникальность IP-адреса в VRF (изменение 011)
|
|||
|
|
|
|||
|
|
Находка ревью № 1 (`docs/reviews/2026-09-26-codebase-review.md`), серьёзность — высокая.
|
|||
|
|
|
|||
|
|
## Context
|
|||
|
|
Один и тот же IP можно завести и в родительском, и в дочернем префиксе одного VRF: уникальна только пара `(prefix_id, address)`.
|
|||
|
|
Воспроизведено: `198.51.100.5` создаётся в `/24` и во вложенном `/25` (оба 201), у родителя `used` завышен. Нужен инвариант:
|
|||
|
|
**адрес хранится только в самом узком префиксе своего VRF и уникален в VRF**, причём на уровне БД.
|
|||
|
|
|
|||
|
|
## Решение
|
|||
|
|
1. **Схема** (новая миграция Alembic):
|
|||
|
|
- `prefixes`: уникальное ограничение `(id, vrf_id)` — цель составного FK;
|
|||
|
|
- `addresses`: колонка `vrf_id` (NOT NULL, заполняется из `prefixes`), составной FK `(prefix_id, vrf_id) → prefixes(id, vrf_id)` **ON UPDATE CASCADE**
|
|||
|
|
(перенос префикса в другой VRF сам обновит адреса), уникальный индекс `(vrf_id, address)`.
|
|||
|
|
- Перед созданием индекса миграция ищет дубли и при их наличии **останавливается** с перечнем `VRF · адрес · префиксы` (данные не удаляются автоматически).
|
|||
|
|
Для разбора — скрипт `scripts/find_duplicate_addresses.py` (только чтение).
|
|||
|
|
2. **API** (`app/api/v1/prefixes.py`):
|
|||
|
|
- `create_address`: если адрес попадает в дочерний префикс того же VRF — 422 «Адрес принадлежит вложенному префиксу X, назначьте его там»; дубль в VRF — 409 (через `flush`).
|
|||
|
|
- `attach_to_tree` (создание префикса, `allocate_subnet`, перенос VRF): адреса родителя из диапазона нового префикса переносятся в него
|
|||
|
|
(`UPDATE addresses SET prefix_id = :new WHERE prefix_id = :parent AND address <<= :cidr`); число перенесённых — в `diff` записи `prefix.created` (`moved_addresses`).
|
|||
|
|
- `_move_to_vrf`: конфликт адресов в целевом VRF — 409 с перечнем (как для префиксов), без частичных изменений.
|
|||
|
|
3. **Модель** `Address`: `vrf_id` + ограничения из п. 1; `Address(...)` заполняет `vrf_id` из префикса.
|
|||
|
|
4. `_usage` не меняется: после инварианта двойного счёта нет.
|
|||
|
|
|
|||
|
|
## Файлы
|
|||
|
|
`alembic/versions/<next>_address_vrf_unique.py`, `app/models.py`, `app/api/v1/prefixes.py`, `scripts/find_duplicate_addresses.py`, `tests/test_api.py`, `README.md` (Модель данных).
|
|||
|
|
|
|||
|
|
## Тест (один сценарий)
|
|||
|
|
Родитель `/24` с адресом `.5`, создание дочернего `/25` → адрес переехал в дочерний; повторный `.5` в родителе → 422; `.5` в дочернем → 409; перенос дочернего в VRF с `.5` → 409.
|
|||
|
|
|
|||
|
|
## Проверка
|
|||
|
|
- Миграция на копии данных стенда `ipam_control_006`: без дублей — проходит; с искусственным дублем — останавливается с понятным сообщением.
|
|||
|
|
- `pytest -q`; вручную в UI: «Назначить адрес» в родителе на адрес из дочернего — понятная ошибка.
|
|||
|
|
|
|||
|
|
## Риски
|
|||
|
|
Изменение модели данных; на рабочей БД до миграции запустить скрипт поиска дублей. Зависимость: № 020 (автоназначение) опирается на этот инвариант.
|