Optimize schema-comparator diffing performance#94
Merged
swalkinshaw merged 1 commit intomainfrom Mar 23, 2026
Merged
Conversation
c4fb557 to
73d5d13
Compare
adampetro
reviewed
Mar 19, 2026
Comment on lines
+16
to
+20
| let src = std::fs::read_to_string(data_path(name)).unwrap(); | ||
| let doc: DefinitionDocument = DefinitionDocument::parse(Box::leak(src.into_boxed_str())) | ||
| .result | ||
| .expect("Schema had parse errors"); | ||
| let leaked = Box::leak(Box::new(doc)); |
Contributor
There was a problem hiding this comment.
Could we use include_str! to avoid some of the leaking? Or would that slow down compiles a lot?
Contributor
Author
There was a problem hiding this comment.
It could impact compile time since the schema is massive, but anyway Claude said there's two leaks and this would only fix one since SchemaDefinition borrows from DefinitionDocument. Not sure it's a worth dealing with since it's only in the benchmark?
| ); | ||
| } | ||
|
|
||
| #[cold] |
Comment on lines
-81
to
-99
| changes.extend( | ||
| directive_additions::<S, _>(self.old_type_definition, self.new_type_definition).map( | ||
| |directive| Change::DirectiveAdded { | ||
| directive, | ||
| location: DirectiveLocation::InputFieldDefinition, | ||
| member_name: self.old_field_definition.name(), | ||
| }, | ||
| ), | ||
| ); | ||
|
|
||
| changes.extend( | ||
| directive_removals::<S, _>(self.old_type_definition, self.new_type_definition).map( | ||
| |directive| Change::DirectiveRemoved { | ||
| directive, | ||
| location: DirectiveLocation::InputFieldDefinition, | ||
| member_name: self.old_field_definition.name(), | ||
| }, | ||
| ), | ||
| ); |
Contributor
Author
There was a problem hiding this comment.
Yep it was, the diff was checking the parent input object instead of the actual input field
73d5d13 to
b352e79
Compare
…schemas) Key optimizations: - Eliminate intermediate Vec allocations via diff_into(&mut Vec) pattern - Single-pass field matching: merge removals + common diffs into one iteration - Unified diff_directives_into replacing 3 separate directive functions - Ptr equality fast path for identical schemas (0µs) - HashMap fallback for types with 64+ fields (O(1) lookups on large types) - CriticalityLevel enum to avoid Cow string allocations during sorting - Early exits for empty directives/arguments, #[inline] hints on hot paths - Pre-allocate changes Vec with capacity 256 - Criterion benchmark suite with real schema fixtures Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
b352e79 to
134c0c6
Compare
adampetro
approved these changes
Mar 23, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Optimize schema-comparator diffing performance (~65% faster on large schemas)
Key optimizations:
Note: this is a manually curated (with the help of Claude) and cleaned up version of an
/autoresearchrun