Skip to content

perf(references): индекс объявлений символов по строке для O(1) резолва#4252

Merged
nixel2007 merged 2 commits into
developfrom
claude/perf-symbol-declaration-line-index
Jul 10, 2026
Merged

perf(references): индекс объявлений символов по строке для O(1) резолва#4252
nixel2007 merged 2 commits into
developfrom
claude/perf-symbol-declaration-line-index

Conversation

@nixel2007

@nixel2007 nixel2007 commented Jul 9, 2026

Copy link
Copy Markdown
Member

Описание

SourceDefinedSymbolDeclarationReferenceFinder (finder в цепочке ReferenceResolver) искал символ по позиции курсора линейным обходом дерева символов, сопоставляя selectionRange каждого символа с позицией.

Что стало: в SymbolTree добавлен ленивый вторичный индекс symbolsBySelectionLine (Map<Integer строка → List<SourceDefinedSymbol>>, @Getter(lazy=true)), проиндексированный по всем строкам, которые перекрывает selectionRange символа (с trimToSize() по бакетам), и метод findSymbolByNamePosition(Position) — O(1)-lookup по строке с разведением по колонкам через Ranges.containsPosition. Finder делегирует в него.

Зачем

По CPU-профилю на большом реальном модуле SourceDefinedSymbolDeclarationReferenceFinder занимал заметную долю резолва (линейный обход дерева символов на каждый findReference). Line-индекс устраняет обход.

Замеры

Нагрузка — UnknownMember по общему модулю УправлениеДоступомСлужебный из SSL (~48k строк); чистый A/B в одной JVM:

  • Время (вклад в общий прогон UnknownMember): ×1.10 (−9.4%); в профиле доля SourceDefinedSymbolDeclarationReferenceFinder падает 46.7% → 0.1% — сам finder практически исчезает из горячего пути, общий эффект ограничен тем, что доминантой на этом срезе оставался другой finder (снят отдельным PR серии — индекс вхождений по строке).

Связанные задачи

Closes

Чеклист

Общие

  • Ветка PR обновлена из develop (ветка создана от актуального develop)
  • Отладочные, закомментированные и прочие, не имеющие смысла участки кода удалены
  • Изменения покрыты тестами (SymbolTreeTest: парити с прежним обходом, несколько объявлений на одной строке разводятся по колонкам, ленивое построение)
  • Обязательные действия перед коммитом выполнены (gradlew precommit) — прогнаны затронутые тесты references/definition/rename; полный precommit за мейнтейнерами

Дополнительно

Часть серии независимых перф-правок, снятых по цепочке CPU-профилей одной диагностики на большом файле. Другие PR серии: резолв членов по терминалу, мемоизация инференса выражений, индекс вхождений по строке.

🤖 Generated with Claude Code

https://claude.ai/code/session_01BSiRGLm633B4EmvG3vkk4V


Generated by Claude Code

Summary by CodeRabbit

  • Improvements

    • Declaration references are now resolved more efficiently.
    • Symbol selection is more accurate, including multiple declarations on the same line.
    • Searches outside declaration names, such as method keywords or nonexistent lines, correctly return no result.
  • Tests

    • Added coverage for symbol matching, position disambiguation, and empty search results.

SourceDefinedSymbolDeclarationReferenceFinder искал «символ, чьё имя стоит в
позиции» линейным сканом symbolTree.getChildrenFlat() (метод + КАЖДАЯ
переменная + регион) с containsPosition на каждом — O(N) на вызов. Finder
дёргается на каждый findReference, промахнувшийся мимо ReferenceIndex, т.е.
на резолве платформенных членов при инференсе; по JFN UnknownMember скан в
Ranges.containsPosition — 46.7% self.

Добавлен ленивый индекс на SymbolTree: symbolsBySelectionLine —
Map<строка selectionRange, List<Symbol>>, разводящий несколько объявлений на
одной строке по колонкам через тот же Ranges.containsPosition. Порядок в
бакете — как в getChildrenFlat() (pre-order DFS), чтобы сохранить tie-break
findFirst прежнего скана; списки trimToSize. Метод findSymbolByNamePosition
даёт O(1)-lookup по строке; finder делегирует в него. Инвалидация не нужна:
SymbolTree пересоздаётся по контенту документа.

Замер (UnknownMember по SSL УправлениеДоступомСлужебный, ~48k строк; чистый
A/B в одной JVM, переключается только finder; поверх уже влитого node-кэша):
линейный скан 24012 -> line-индекс 21747 мс (×1.10, −9.4%), срабатываний
неизменно (6540). Ускоряет любой findReference с промахом индекса
(hover/definition/инференс), не только UnknownMember. Поведение сохранено —
тесты finder/definition/references/rename/hover/инференс зелёные.

Co-Authored-By: Claude Opus 4.8 <[email protected]>
Claude-Session: https://claude.ai/code/session_01BSiRGLm633B4EmvG3vkk4V
@coderabbitai

coderabbitai Bot commented Jul 9, 2026

Copy link
Copy Markdown
Contributor

Review Change Stack

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info
⚙️ Run configuration

Configuration used: Path: .coderabbit.yaml

Review profile: CHILL

Plan: Pro

Run ID: 24366e2a-bed6-4e37-9e2c-fc9de00ad214

📥 Commits

Reviewing files that changed from the base of the PR and between 164fd7f and 9d4edaa.

📒 Files selected for processing (3)
  • src/main/java/com/github/_1c_syntax/bsl/languageserver/context/symbol/SymbolTree.java
  • src/main/java/com/github/_1c_syntax/bsl/languageserver/references/SourceDefinedSymbolDeclarationReferenceFinder.java
  • src/test/java/com/github/_1c_syntax/bsl/languageserver/context/symbol/SymbolTreeTest.java

📝 Walkthrough

Walkthrough

SymbolTree now indexes symbols by selection-range lines and exposes position-based lookup. Declaration reference resolution uses this lookup, with tests covering declaration starts, same-line columns, and non-declaration positions.

Changes

Selection-range symbol lookup

Layer / File(s) Summary
Indexed SymbolTree lookup
src/main/java/com/github/_1c_syntax/bsl/languageserver/context/symbol/SymbolTree.java
SymbolTree lazily builds line-based symbol buckets and returns the first matching symbol for a position within its selection range.
Reference integration and lookup tests
src/main/java/com/github/_1c_syntax/bsl/languageserver/references/SourceDefinedSymbolDeclarationReferenceFinder.java, src/test/java/com/github/_1c_syntax/bsl/languageserver/context/symbol/SymbolTreeTest.java
Declaration reference resolution delegates to SymbolTree, while tests cover declaration positions, same-line column disambiguation, and empty results.

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

🚥 Pre-merge checks | ✅ 4 | ❌ 1

❌ Failed checks (1 warning)

Check name Status Explanation Resolution
Docstring Coverage ⚠️ Warning Docstring coverage is 18.18% which is insufficient. The required threshold is 80.00%. Write docstrings for the functions missing them to satisfy the coverage threshold.
✅ Passed checks (4 passed)
Check name Status Explanation
Description Check ✅ Passed Check skipped - CodeRabbit’s high-level summary is enabled.
Title check ✅ Passed Заголовок точно отражает основное изменение: индексирование объявлений символов по строке для ускорения резолва до O(1).
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
📝 Generate docstrings
  • Create stacked PR
  • Commit on current branch
🧪 Generate unit tests (beta)
  • Create PR with unit tests
  • Commit unit tests in branch claude/perf-symbol-declaration-line-index

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.

@github-actions

github-actions Bot commented Jul 9, 2026

Copy link
Copy Markdown
Contributor

Test Results

 3 594 files   3 594 suites   1h 42m 15s ⏱️
 3 560 tests  3 542 ✅  18 💤 0 ❌
21 360 runs  21 248 ✅ 112 💤 0 ❌

Results for commit 97dec10.

♻️ This comment has been updated with latest results.

@sonarqubecloud

sonarqubecloud Bot commented Jul 9, 2026

Copy link
Copy Markdown

…ectionRange

По ревью-предложению мейнтейнера: имя отражает, что поиск идёт по
selectionRange символа.

Co-Authored-By: Claude Opus 4.8 <[email protected]>
Claude-Session: https://claude.ai/code/session_01BSiRGLm633B4EmvG3vkk4V
@nixel2007
nixel2007 merged commit 2b6158c into develop Jul 10, 2026
25 checks passed
@nixel2007
nixel2007 deleted the claude/perf-symbol-declaration-line-index branch July 10, 2026 06:28
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.

2 participants