tree 81686b8057873659e82cb80ffa067c12f03c6b30
parent 57645cff273454d528e4e98c24e431724ccd33f0
author Murtadha Hubail <mhubail@apache.org> 1554419178 +0300
committer Murtadha Hubail <mhubail@apache.org> 1554675157 -0700

[NO ISSUE][RT] Fail Fast On Request Cancellation After Job Completion

- user model changes: no
- storage format changes: no
- interface changes: yes

Details:
- If a request is cancelled after its job completion but before
  the result written is returned to the caller, fail the request
  with request cancelled exception.
- Freeze request elapsed time after the request completes to
  make sure archived requests return consistent elapsed time.
- Ensure requests that might be cancelled and completed at the same
  time are archived only once.

Change-Id: If4f154f11305e2f8286e0707b5b3adec905633a4
Reviewed-on: https://asterix-gerrit.ics.uci.edu/3321
Tested-by: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Integration-Tests: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Contrib: Jenkins <jenkins@fulliautomatix.ics.uci.edu>
Reviewed-by: Till Westmann <tillw@apache.org>