Skip to content

fix(model): модель и описания колонок без гонок между потоками - #155

Open
sfaqer wants to merge 1 commit into
nixel2007:masterfrom
sfaqer:claude/thread-safety-b-model
Open

sfaqer wants to merge 1 commit into
nixel2007:masterfrom
sfaqer:claude/thread-safety-b-model

Conversation

@sfaqer

@sfaqer sfaqer commented Oct 2, 2026 •

Copy link
Copy Markdown
Contributor

Что чинит

Общие описания модели, которые читают все потоки, работающие с менеджером. Для каждого пункта сначала написан тест, красный на master, потом исправление.

Дефект Как проявлялся на master Исправление
МодельДанных хранила объекты модели в обычном Соответствие без блокировки, а классы можно регистрировать и после передачи менеджера другим потокам Задание, обходящее модель (как это делает Инициализировать), падало с «Collection was modified», пока другой поток регистрировал классы СинхронизированнаяКарта, обход — через ДляКаждого, под её блокировкой. Значения().ВМассив() не годится: обходит внутреннюю карту уже после снятия блокировки, такой вариант тест тоже роняет
Повторная регистрация типа подменяла объект модели Хранилище, созданное раньше, и новые операции работали с разными объектами модели одного типа ВставитьЕслиОтсутствует: для известного типа возвращается существующий объект
ОбъектМодели.Колонки() отдавал саму общую таблицу (с #151) Правка результата меняла модель для всех потоков: изменённый тип колонки менял приведение, удалённая строка ломала поиск колонок Колонки() снова отдаёт копию. Библиотека и встроенные коннекторы читают таблицу без копии через служебный Служебный_Колонки(), выигрыш #151 на внутренних путях сохраняется
Экспортный мутатор Служебный_ИмяТаблицы Любой код мог переименовать таблицу общего объекта модели Имя таблицы — третий необязательный параметр конструктора ОбъектМодели, мутатор удалён
ТипыКолонок.Типы() и ТипыПодчиненныхТаблиц.Типы() отдавали общий изменяемый Массив Правка результата меняла перечень для всех ФиксированныйМассив

Что меняется снаружи

  • Колонки() отдаёт копию, как до perf(model): сборка сущности без копий таблицы колонок #151. Сторонние коннекторы, читающие колонки через публичный метод, платят за копирование.
  • Типы() — ФиксированныйМассив: код, который менял результат, получит ошибку.
  • Повторная регистрация типа возвращает существующий объект модели.
  • Служебный_ИмяТаблицы (помечен @internal) удалён. У конструктора ОбъектМодели новый необязательный параметр ПИмяТаблицы.
  • ПолучитьОбъектыМодели собирает массив лямбдой под блокировкой модели, это около 1,7 мс на вызов. Зовёт его только Инициализировать.

Связь с #154

#154 добавляет ещё два места, читающих Колонки(): КоннекторInMemory.СобратьСущностьВБД и ЗаписьСущности. На master их пока нет. Тот из двух PR, который вольётся вторым, переведёт их на Служебный_Колонки().

Тесты

Новые:

  • МодельДанных — повторная регистрация не подменяет объект модели; задание обходит модель, пока тест регистрирует 50 сгенерированных классов. На master второй тест падал в задании три раза из трёх.
  • ОбъектМодели — КолонкиОтдаютКопию, ИзменениеКопииКолонокНеМеняетМодель, СлужебныеКолонкиОтдаютТаблицуМодели, ИмяТаблицыЗадаетсяПриСоздании.
  • ТипыКолонок — оба Типы() отдают ФиксированныйМассив.

Тесты #151, которые требовали от Колонки() ту же таблицу, переписаны на Служебный_Колонки().

Полный прогон:

  • OneScript 2.2.0, SQLite + PostgreSQL: 322 из 322;
  • 2.3.0-next+a02323a1, SQLite + PostgreSQL: 322 из 322;
  • 2.2.0, только PostgreSQL: 305 из 305.

🤖 Generated with Claude Code

Summary by CodeRabbit

  • Изменения
    • Повторная регистрация типа сохраняет существующую модель; регистрация поддерживается при параллельном доступе.
    • Получение списка моделей возвращает снимок на момент вызова.
    • Список колонок, полученный через Колонки(), теперь можно изменять без изменения модели.
    • Имя таблицы можно указать при создании модели; иначе используется имя из аннотации.
    • Типы колонок и подчинённых таблиц возвращаются как фиксированные массивы. Добавлен тип колонки «ДвоичныеДанные».
  • Документация
    • Уточнены правила регистрации типов, инициализации таблиц и поведения методов модели.

- МодельДанных хранит объекты модели в СинхронизированнаяКарта и обходит ее
  через ДляКаждого: регистрация класса параллельно операциям больше не роняет
  обход модели ("Collection was modified"). Повторная регистрация типа не
  подменяет объект модели, с которым уже работают хранилища.
- ОбъектМодели.Колонки() снова отдает копию: правка результата не меняет общую
  модель. Библиотека и встроенные коннекторы читают таблицу без копии через
  служебный Служебный_Колонки().
- Имя таблицы объекта модели подчиненной таблицы передается третьим параметром
  конструктора ОбъектМодели; мутатор Служебный_ИмяТаблицы удален.
- ТипыКолонок.Типы() и ТипыПодчиненныхТаблиц.Типы() отдают ФиксированныйМассив.

Изменения поведения: Колонки() - копия, как до nixel2007#151; Типы() нельзя менять.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@coderabbitai

coderabbitai Bot commented Oct 2, 2026 •

Copy link
Copy Markdown
Contributor

Review in Change Stack →

Navigate logical layers of code changes, visualize relationships, and explore their blast radius.

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info
⚙️ Run configuration

Configuration used: Repository UI

Review profile: CHILL

Plan: Advanced

Run ID: 5532e5e9-5584-40c4-801a-8300a4663f73

📥 Commits

Reviewing files that changed from the base of the PR and between 58e761e and 7ecedd2.

📒 Files selected for processing (20)
  • docs/МенеджерСущностей.md
  • docs/МодельДанных.md
  • docs/ОбъектМодели.md
  • docs/ТипыКолонок.md
  • docs/ТипыПодчиненныхТаблиц.md
  • src/internal/Модули/ОбработкаКоллекций.os
  • src/internal/Модули/РаботаСКоннекторами.os
  • src/Классы/АбстрактныйКоннекторSQL.os
  • src/Классы/КоннекторInMemory.os
  • src/Классы/КоннекторJSON.os
  • src/Классы/КоннекторPostgreSQL.os
  • src/Классы/КоннекторSQLite.os
  • src/Классы/МенеджерСущностей.os
  • src/Классы/МодельДанных.os
  • src/Классы/ОбъектМодели.os
  • src/Модули/ТипыКолонок.os
  • src/Модули/ТипыПодчиненныхТаблиц.os
  • tests/МодельДанных.os
  • tests/ОбъектМодели.os
  • tests/ТипыКолонок.os

Included review availability: This review used your included allowance. Your plan provides up to 1 included review per hour; 0 remain after this review.


Walkthrough

Изменены контракты объекта модели и хранилища моделей. Внутренние операции и коннекторы используют исходные колонки модели. Перечни типов колонок и подчинённых таблиц теперь представлены фиксированными массивами.

Changes

Модель данных и её потребители

Layer / File(s) Summary
Контракт объекта модели
src/Классы/ОбъектМодели.os, docs/ОбъектМодели.md, tests/ОбъектМодели.os
Конструктор принимает необязательное имя таблицы. Колонки() возвращает копию, а Служебный_Колонки() — исходную таблицу. Тесты проверяют эти контракты.
Синхронизированная регистрация моделей
src/Классы/МодельДанных.os, src/Классы/МенеджерСущностей.os, docs/МодельДанных.md, docs/МенеджерСущностей.md, tests/МодельДанных.os
Хранилище использует синхронизированную карту. Повторная регистрация сохраняет существующий объект, а обход возвращает снимок. Тесты проверяют повторную и параллельную регистрацию.
Использование исходных колонок
src/internal/Модули/*, src/Классы/АбстрактныйКоннекторSQL.os, src/Классы/КоннекторInMemory.os, src/Классы/КоннекторJSON.os, src/Классы/КоннекторPostgreSQL.os, src/Классы/КоннекторSQLite.os
Внутренние модули и коннекторы получают колонки через Служебный_Колонки(). Имя таблицы для объекта модели передаётся конструктору.

Фиксированные массивы типов

Layer / File(s) Summary
Перечни типов и их контракты
src/Модули/ТипыКолонок.os, src/Модули/ТипыПодчиненныхТаблиц.os, docs/ТипыКолонок.md, docs/ТипыПодчиненныхТаблиц.md, tests/ТипыКолонок.os
Перечни типов представлены фиксированными массивами. Их состав и порядок сохранены. Тесты проверяют тип и размер массивов.

Priority: ➖ Normal

Estimated code review effort: 3 (Moderate) | ~25 minutes

Change: Bug fix

Suggested reviewers: nixel2007

Merge Risk: ⚪ Minimal · up to 7eced

The changes are mergeable after normal checks. No actionable failure was identified; the concurrency tests exercise registration alongside model enumeration.

Architecture Summary

Architecture risk: 🔵 Low · up to 7eced

The change affects 3 systems.

Changed systems: src, docs, tests

Architecture concerns
No architecture-level concerns identified.

Review details

Systems and components

  • observed — src (service) was modified; 12 changed files map to changed impact.
  • observed — docs (service) was modified; 5 changed files map to changed impact.
  • observed — tests (service) was modified; 3 changed files map to changed impact.

Before / after behavior

  • observed — Modified behavior in docs/МенеджерСущностей.md: В комментарий к ДобавитьКлассВМодель добавлено, что повторная регистрация типа сохраняет прежний объект модели, регистрация допустима после передачи менеджера другим потокам, а таблицы создает Инициализировать.
  • observed — Modified behavior in docs/МодельДанных.md: Добавлено описание общей для потоков модели: операции читают ее на каждом шаге, а регистрацию типов можно продолжать после передачи менеджера другим потокам.
  • observed — Modified behavior in docs/МодельДанных.md: Добавлен комментарий к Получить: он описывает возвращаемый объект модели и указывает Неопределено для незарегистрированного типа. Объявление функции не изменено.
  • observed — Modified behavior in docs/МодельДанных.md: Добавлен комментарий к ПолучитьОбъектыМодели: результат описан как копия на момент вызова, не включающая типы, зарегистрированные позднее. Объявление функции не изменено.
🚥 Pre-merge checks | ✅ 5
✅ Passed checks (5 passed)
Check name Status Explanation
Description Check ✅ Passed Check skipped - CodeRabbit’s high-level summary is enabled.
Title check ✅ Passed Заголовок точно описывает основное изменение: устранение гонок между потоками в модели и описаниях колонок. Формулировка краткая и понятная.
Docstring Coverage ✅ Passed No functions found in the changed files to evaluate docstring coverage. Skipping docstring coverage check. Docstring coverage is scoped to functions touched by this diff. Analyzed 0 functions across 0…
Linked Issues check ✅ Passed Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check ✅ Passed Check skipped because no linked issues were found for this pull request.
✨ Finishing Touches 💡 1
🧪 Generate unit tests (beta)
  • Create a new PR
🛠️ Fix failing CI checks 💡
  • Commit to this branch
  • Create a new PR
  • Autopilot · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Autopilot is currently an internal CodeRabbit preview.


Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Пишет кролик: модель обновлена,
Колонкам копия теперь дана.
Потоки карту вместе обходят,
Повторный тип прежний находят.
Фиксированный список тихо ждёт,
И тест за ним следом идёт.

Comment @coderabbitai help to get the list of available commands.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant