Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Initializing a full Language Server JSON protocol is slow #10452

Open
hubertp opened this issue Jul 5, 2024 · 3 comments
Open

Initializing a full Language Server JSON protocol is slow #10452

hubertp opened this issue Jul 5, 2024 · 3 comments
Assignees
Labels
--low-performance -language-server p-medium Should be completed in the next few sprints

Comments

@hubertp
Copy link
Contributor

hubertp commented Jul 5, 2024

As per profiling data:
Screenshot from 2024-07-05 11-42-18

@hubertp hubertp added p-medium Should be completed in the next few sprints --low-performance -language-server labels Jul 5, 2024
@hubertp
Copy link
Contributor Author

hubertp commented Jul 5, 2024

On a slow laptop it is even worse:
Screenshot from 2024-07-05 16-23-00

@enso-bot
Copy link

enso-bot bot commented Jul 8, 2024

Hubert Plociniczak reports a new STANDUP for the provided date (2024-07-05):

Progress: Continued profiling and finding bottlenecks. More parallelization on startup which should mitigate high cost of ydoc/truffle initialization #10451, plus minor improvements #10462. Filed #10452 as further work. It should be finished by 2024-07-05.

Next Day: Next day I will be working on the #10453 task. Analyze more startup logs, add support for downloading subfolders.

@JaroslavTulach
Copy link
Member

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
--low-performance -language-server p-medium Should be completed in the next few sprints
2 participants