Skip to content

feat: install entries concurrently#13054

Open
anmonteiro wants to merge 2 commits into
ocaml:mainfrom
anmonteiro:anmonteiro/concurrent-install
Open

feat: install entries concurrently#13054
anmonteiro wants to merge 2 commits into
ocaml:mainfrom
anmonteiro:anmonteiro/concurrent-install

Conversation

@anmonteiro

Copy link
Copy Markdown
Collaborator

No description provided.

@anmonteiro
anmonteiro force-pushed the anmonteiro/concurrent-install branch from 592f3c8 to 1f032d4 Compare December 26, 2025 20:55
@anmonteiro
anmonteiro marked this pull request as ready for review December 26, 2025 21:13
Comment thread bin/install_uninstall.ml Outdated
files_deleted_in := Path.Set.add !files_deleted_in dir;
Fiber.return entry
| Install ->
install_entry

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

I think this function prints. So we need to delay printing until everything is installed to maintain deterministic order

Copy link
Copy Markdown
Collaborator Author

Choose a reason for hiding this comment

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

The removal operations also print. I'm assuming what we should do here is:

  • collect all the operations we try to perform
  • sort them, print them in order

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

Sure that sounds fine. Though you don't necessarily need to sort, if you just preserve the order we have now, that would also be good enough.

@rgrinberg

Copy link
Copy Markdown
Member

I think you need to use Scheduler.async_exn on the underlying copying operations to get a speed up from this.

@anmonteiro anmonteiro changed the title fix: install entries concurrently feat: install entries concurrently Dec 27, 2025
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
@anmonteiro
anmonteiro force-pushed the anmonteiro/concurrent-install branch 4 times, most recently from 8f39014 to 8be9417 Compare July 19, 2026 22:46
Signed-off-by: Antonio Nuno Monteiro <anmonteiro@gmail.com>
@anmonteiro
anmonteiro force-pushed the anmonteiro/concurrent-install branch from 8be9417 to 3879c4b Compare July 19, 2026 22:59
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