Page MenuHomePhabricator

When a proxy future wraps a future which throws an exception, resolve with an exception
ClosedPublic

Authored by epriestley on May 1 2020, 2:05 PM.
Tags
None
Referenced Files
Unknown Object (File)
Tue, Apr 2, 12:03 PM
Unknown Object (File)
Tue, Apr 2, 4:02 AM
Unknown Object (File)
Sat, Mar 30, 7:44 PM
Unknown Object (File)
Feb 13 2024, 6:00 PM
Unknown Object (File)
Jan 19 2024, 4:42 PM
Unknown Object (File)
Jan 16 2024, 3:11 AM
Unknown Object (File)
Jan 15 2024, 5:07 PM
Unknown Object (File)
Jan 12 2024, 10:26 AM
Subscribers
None

Details

Summary

Ref T13528. When you call $future->resolve(), we currently guarantee it is resolved by calling FutureIterator->resolveAll().

resolveAll() does not actually "resolve()" futures: it guarantees that they are ready to "resolve()", but does not actually call "resolve()".

In particular, this means it does not throw exceptions.

This can lead to a case where a Future has "resolve()" called directly (e.g., via a FutureProxy), uses "FutureIterator" to resolve itself, throws an exception inside "FutureIterator", the exception is captured and attached to the Futuer, then the outer future tries to access results. This fails since it's out-of-order.

This can happen in practice with syntax highlighting futures, which may proxy pygments futures.

Instead, "resolveAll()" before testing for exaceptions.

Test Plan
  • Locally, tried to highlight a Paste with an unrecognized lexer extension using Pygments.
  • Before patch: fatal when trying to access results of a Future with no results (because it has an exception instead).
  • After patch: resolution throws the held exception properly.
  • (See also next change.)

Diff Detail

Repository
rARC Arcanist
Branch
future1
Lint
Lint Passed
Unit
Tests Passed
Build Status
Buildable 24297
Build 33471: Run Core Tests
Build 33470: arc lint + arc unit