Page MenuHomePhabricator

Give Futures clearer start/end and exception semantics
ClosedPublic

Authored by epriestley on Jul 23 2020, 5:07 PM.
Tags
None
Referenced Files
Unknown Object (File)
Wed, Mar 27, 12:38 PM
Unknown Object (File)
Jan 9 2024, 11:11 AM
Unknown Object (File)
Jan 7 2024, 4:22 PM
Unknown Object (File)
Jan 5 2024, 1:19 PM
Unknown Object (File)
Jan 5 2024, 1:18 PM
Unknown Object (File)
Jan 3 2024, 6:26 PM
Unknown Object (File)
Dec 30 2023, 4:29 PM
Unknown Object (File)
Dec 30 2023, 2:40 AM
Subscribers
None

Details

Summary

Ref T13555. Currently:

  • If an exception is raised in "start()", the exception state is not set on the future.
  • Futures do not always call "startFuture()" before starting, and do not always call "endFuture()" once they become resolvable.
  • If you start an ExecFuture which immediately fails and then call "getPID()" on it, you get an unclear exception.

Simplify these behaviors:

  • In FutureIterator, only start futures which have not already started.
  • When starting a future on any pathway, run start code.
  • When a future becomes resolvable on any pathway, run end code.
  • Raise a more clear exception when calling "getPID()" on a future with no subprocess.
Test Plan

Faked a failing subprocess with "$proc = null", ran "bin/phd debug taskmaster" etc. Got clearer errors and more consistent future lifecycle workflows.

Diff Detail

Repository
rARC Arcanist
Lint
Lint Not Applicable
Unit
Tests Not Applicable