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.

Sign up for GitHub

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

Jump to bottom

WIP: Add thread support #172

Open

kidd wants to merge 1 commit into master from thread-support

Member

kidd commented May 29, 2018

In case threads are available (post 26.1) use a different thread to
download and install docsets.


          Add thread support

3ed3ea0

In case threads are available (post 26.1) use a different thread to
download and install docsets.

kidd changed the title ~~Add thread support~~ WIP: Add thread support

Member Author

kidd commented May 30, 2018

Things that should be taken into account:

Contention of multiple threads trying to download (use a mutex)
How can we kill a thread that has been blocked for unknown reasons? (if the mutex is still locked we end in a dead-end)

kidd requested a review from areina

June 1, 2018 18:17

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

Labels

None yet