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

Batch of fixes for WorkerThreadPool and ResourceLoader #94169

Merged
merged 5 commits into from
Aug 26, 2024

Commits on Aug 21, 2024

  1. Configuration menu
    Copy the full SHA
    bd0959e View commit details
    Browse the repository at this point in the history
  2. ResourceLoader: Enhance deadlock prevention

    Benefits:
    - Simpler code. The main load function is renamed so it's apparent that it's not just a thread entry point anymore.
    - Cache and thread modes of the original task are honored. A beautiful consequence of this is that, unlike formerly, re-issued loads can use the resource cache, which makes this mechanism much more performant.
    - The newly added getter for caller task id in WorkerThreadPool allows to remove the custom tracking of that in ResourceLoader.
    - The check to replace a cached resource and the replacement itself happen atomically. That fixes deadlock prevention leading to multiple resource instances of the same one on disk. As a side effect, it also makes the regular check for replace load mode more robust.
    RandomShaper committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    28619e2 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    5c970db View commit details
    Browse the repository at this point in the history
  4. ResourceLoader: Fix edge cases in the management of user tokens

    1. Make handling of user tokens atomic:
       Loads started with the external-facing API used to perform a two-step setup of the user token. Between both, the mutex was unlocked without its reference count having been increased. A non-user-initiated load could therefore destroy the load task when it unreferenced the token.
       Those stages now happen atomically so in the one hand, the described race condition can't happen so the load task life insurance doesn't have a gap anymore and, on the other hand, the ugliness that the call to load could return `ERR_BUSY` if happening while other thread was between both steps is gone.
       The code has been refactored so the user token concerns are still outside the inner load start function, which is agnostic to that for a cleaner implementation.
    2. Clear ambiguity between load operations running on `WorkerThreadPool`:
       The two cases are: single-loaded thread directly started by a user pool task and a load started by the system as part of a multi-threaded load.
       Since ensuring all the code dealing with this distinction would make it very complex, and error-prone, a different measure is applied instead: just take one of the cases out of the dicotomy. We now ensure every load happening on a pool thread has been initiated by the system.
       The way of achieving that is that a single-threaded user-started load initiated from a pool thread, is run as another task.
    RandomShaper committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    df23858 View commit details
    Browse the repository at this point in the history
  5. WorkerThreadPool (plus friends): Overhaul unlock allowance zones

    This fixes a rare but possible deadlock, maybe due to undefined behavior. The new implementation is safer, at the cost of some added boilerplate.
    RandomShaper committed Aug 21, 2024
    Configuration menu
    Copy the full SHA
    f4d7685 View commit details
    Browse the repository at this point in the history