Skip to content

VendorConfiguration: speed up collecting definition lines#8933

Merged
dhalperi merged 1 commit intomasterfrom
spr/master/68a88c57
Jan 23, 2024
Merged

VendorConfiguration: speed up collecting definition lines#8933
dhalperi merged 1 commit intomasterfrom
spr/master/68a88c57

Conversation

@dhalperi
Copy link
Copy Markdown
Member

@dhalperi dhalperi commented Jan 23, 2024

All these streams are slow.

@batfish-bot
Copy link
Copy Markdown

This change is Reviewable

}
return IntStream.empty();
})
.distinct();
Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Q: how much does this .distinct() matter. Having a hard time finding a benchmark that would have invoked it.

@dhalperi dhalperi force-pushed the spr/master/68a88c57 branch from e300a56 to d0a3767 Compare January 23, 2024 01:34
Copy link
Copy Markdown
Contributor

@progwriter progwriter left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 1 of 1 files at r1, 1 of 1 files at r2, all commit messages.
Reviewable status: all files reviewed, 1 unresolved discussion (waiting on @dhalperi)


projects/batfish-common-protocol/src/main/java/org/batfish/vendor/VendorConfiguration.java line 0 at r1 (raw file):

Previously, dhalperi (Dan Halperin) wrote…

(Reviewable was unable to map this GitHub inline comment thread to the right spot — sorry!)

Q: how much does this .distinct() matter. Having a hard time finding a benchmark that would have invoked it.

I was going to ask the same question :)

Copy link
Copy Markdown
Member Author

@dhalperi dhalperi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @dhalperi)


projects/batfish-common-protocol/src/main/java/org/batfish/vendor/VendorConfiguration.java line 0 at r1 (raw file):

Previously, progwriter (Victor Heorhiadi) wrote…

I was going to ask the same question :)

https://github.com/batfish/batfish/pull/6249/files says I introduced this, so I say not much

All these streams are slow.

commit-id:68a88c57
@dhalperi dhalperi force-pushed the spr/master/68a88c57 branch from d0a3767 to c44e26a Compare January 23, 2024 02:25
Copy link
Copy Markdown
Member Author

@dhalperi dhalperi left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Reviewed 1 of 1 files at r3, all commit messages.
Reviewable status: :shipit: complete! all files reviewed, all discussions resolved (waiting on @dhalperi)

@dhalperi dhalperi enabled auto-merge (squash) January 23, 2024 02:26
@dhalperi dhalperi merged commit 85ae2e8 into master Jan 23, 2024
@dhalperi dhalperi deleted the spr/master/68a88c57 branch January 23, 2024 02:42
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.

3 participants