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

Allow parallelism on Windows. #6137

Closed
wants to merge 7 commits into from

Conversation

ghost
Copy link

@ghost ghost commented Aug 24, 2015

This is a partial rewrite of worker.ml that removes most of the Obj.magic. This also use the new Daemon.spawn primitive. On Windows, the slaves are not 'preforked' but a new slave process is created for each computation.

@facebook-github-bot
Copy link
Contributor

This pull request has been imported into Phabricator, and discussion and review of the diff will take place at https://reviews.facebook.net/D45423

@ghost ghost force-pushed the ocp-windows-sharing branch 7 times, most recently from adf80f1 to a3c9e1b Compare August 28, 2015 20:43
@ghost ghost force-pushed the ocp-windows-sharing branch 3 times, most recently from 7ba366a to dc17654 Compare October 29, 2015 21:52
@ghost ghost force-pushed the ocp-windows-sharing branch 3 times, most recently from 9f3c5ec to 90742cb Compare November 17, 2015 14:48
@ghost ghost force-pushed the ocp-windows-sharing branch from 90742cb to 1f10090 Compare November 26, 2015 15:08
hnrgrgr and others added 5 commits December 16, 2015 02:35
This patch fixes the Windows-7 version, because the shared
memory location was not correct.
On Windows, a new slave is 'spawned' for each request. But we still want to preserve the log files.
@ghost ghost force-pushed the ocp-windows-sharing branch from 1f10090 to 6bb315c Compare December 29, 2015 02:43
These 'over-protective' tests are not useful:
there is a fallback case just after.
@gabelevi
Copy link
Contributor

Ok, this was landed as this series of commits

  1. c168d42
  2. 5ce4219
  3. 37aaaaf
  4. 0230153
  5. b80c3da
  6. a8fdcca
  7. 36d3827

Sorry it took so long. And oh boy, was this exhausting :)

@Orvid Orvid closed this May 24, 2016
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants