Skip to content

perf: stop awaiting each socket write in the HTTP server - #16322

Open
algebraic-dev wants to merge 1 commit into
masterfrom
sofia/outbox
Open

algebraic-dev wants to merge 1 commit into
masterfrom
sofia/outbox

Conversation

@algebraic-dev

Copy link
Copy Markdown
Member

This PR makes the HTTP/1.1 server continue with the next request while a response is still being written, instead of waiting for each socket write, which makes pipelined and keep-alive requests about 15–30% faster.

@algebraic-dev algebraic-dev self-assigned this Nov 6, 2026
@algebraic-dev
algebraic-dev requested a review from TwoFX as a code owner November 6, 2026 18:50
@github-actions github-actions Bot added the toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN label Nov 6, 2026

This branch has not been deployed

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

Labels

changelog-library Library toolchain-available A toolchain is available for this PR, at leanprover/lean4-pr-releases:pr-release-NNNN

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant