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.

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

Make shutdown sequence more robust under cooperative scheduling #8

Merged
merged 6 commits into from
Aug 25, 2020
Merged

Make shutdown sequence more robust under cooperative scheduling #8

merged 6 commits into from
Aug 25, 2020

Commits on Aug 18, 2020

  1. Make the idle host task execute the shutdown sequence

    @prp
    prp committed Aug 18, 2020
    Configuration menu
    Copy the full SHA
    ba68e1a View commit details
    Browse the repository at this point in the history

  2. Avoid LKL CPU/thread shutdown 

    This may block due hanging userspace threads.
    @prp
    prp committed Aug 18, 2020
    Configuration menu
    Copy the full SHA
    a53bb11 View commit details
    Browse the repository at this point in the history

Commits on Aug 19, 2020

  1. Add comment about shutdown sequence workaround

    @prp
    prp committed Aug 19, 2020
    Configuration menu
    Copy the full SHA
    8552da7 View commit details
    Browse the repository at this point in the history

  2. Remove dead code

    @prp
    prp committed Aug 19, 2020
    Configuration menu
    Copy the full SHA
    232d767 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2020

  1. Make terminating app thread join

    @prp
    prp committed Aug 20, 2020
    Configuration menu
    Copy the full SHA
    8951391 View commit details
    Browse the repository at this point in the history

Commits on Aug 21, 2020

  1. Change error when threads perform syscalls during shutdown

    @prp
    prp committed Aug 21, 2020
    Configuration menu
    Copy the full SHA
    758228d View commit details
    Browse the repository at this point in the history