123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470 |
- // Licensed to the .NET Foundation under one or more agreements.
- // The .NET Foundation licenses this file to you under the Apache 2.0 License.
- // See the LICENSE file in the project root for more information.
- using System.Reactive.Concurrency;
- using System.Reactive.Disposables;
- using System.Reactive.Linq;
- using System.Reactive.Linq.ObservableImpl;
- using System.Reactive.Subjects;
- using System.Threading;
- using System.Threading.Tasks;
- namespace System.Reactive.Threading.Tasks
- {
- /// <summary>
- /// Provides a set of static methods for converting tasks to observable sequences.
- /// </summary>
- public static class TaskObservableExtensions
- {
- private sealed class SlowTaskObservable : IObservable<Unit>
- {
- private readonly Task _task;
- private readonly IScheduler _scheduler;
- public SlowTaskObservable(Task task, IScheduler scheduler)
- {
- _task = task;
- _scheduler = scheduler;
- }
- public IDisposable Subscribe(IObserver<Unit> observer)
- {
- if (observer == null)
- {
- throw new ArgumentNullException(nameof(observer));
- }
- var cts = new CancellationDisposable();
- var options = GetTaskContinuationOptions(_scheduler);
- if (_scheduler == null)
- _task.ContinueWith((t, subjectObject) => t.EmitTaskResult((IObserver<Unit>)subjectObject), observer, cts.Token, options, TaskScheduler.Current);
- else
- {
- _task.ContinueWithState(
- (task, tuple) => tuple.@this._scheduler.ScheduleAction(
- (task, tuple.observer),
- tuple2 => tuple2.task.EmitTaskResult(tuple2.observer)),
- (@this: this, observer),
- cts.Token,
- options);
- }
- return cts;
- }
- }
- private sealed class SlowTaskObservable<TResult> : IObservable<TResult>
- {
- private readonly Task<TResult> _task;
- private readonly IScheduler _scheduler;
- public SlowTaskObservable(Task<TResult> task, IScheduler scheduler)
- {
- _task = task;
- _scheduler = scheduler;
- }
- public IDisposable Subscribe(IObserver<TResult> observer)
- {
- if (observer == null)
- {
- throw new ArgumentNullException(nameof(observer));
- }
- var cts = new CancellationDisposable();
- var options = GetTaskContinuationOptions(_scheduler);
- if (_scheduler == null)
- _task.ContinueWith((t, subjectObject) => t.EmitTaskResult((IObserver<TResult>)subjectObject), observer, cts.Token, options, TaskScheduler.Current);
- else
- {
- _task.ContinueWithState(
- (task, tuple) => tuple.@this._scheduler.ScheduleAction(
- (task, tuple.observer),
- tuple2 => tuple2.task.EmitTaskResult(tuple2.observer)),
- (@this: this, observer),
- cts.Token,
- options);
- }
- return cts;
- }
- }
- /// <summary>
- /// Returns an observable sequence that signals when the task completes.
- /// </summary>
- /// <param name="task">Task to convert to an observable sequence.</param>
- /// <returns>An observable sequence that produces a unit value when the task completes, or propagates the exception produced by the task.</returns>
- /// <exception cref="ArgumentNullException"><paramref name="task"/> is <c>null</c>.</exception>
- /// <remarks>If the specified task object supports cancellation, consider using <see cref="Observable.FromAsync(Func{CancellationToken, Task})"/> instead.</remarks>
- public static IObservable<Unit> ToObservable(this Task task)
- {
- if (task == null)
- {
- throw new ArgumentNullException(nameof(task));
- }
- return ToObservableImpl(task, scheduler: null);
- }
- /// <summary>
- /// Returns an observable sequence that signals when the task completes.
- /// </summary>
- /// <param name="task">Task to convert to an observable sequence.</param>
- /// <param name="scheduler">Scheduler on which to notify observers about completion, cancellation or failure.</param>
- /// <returns>An observable sequence that produces a unit value when the task completes, or propagates the exception produced by the task.</returns>
- /// <exception cref="ArgumentNullException"><paramref name="task"/> is <c>null</c> or <paramref name="scheduler"/> is <c>null</c>.</exception>
- /// <remarks>If the specified task object supports cancellation, consider using <see cref="Observable.FromAsync(Func{CancellationToken, Task})"/> instead.</remarks>
- public static IObservable<Unit> ToObservable(this Task task, IScheduler scheduler)
- {
- if (task == null)
- {
- throw new ArgumentNullException(nameof(task));
- }
- if (scheduler == null)
- {
- throw new ArgumentNullException(nameof(scheduler));
- }
- return ToObservableImpl(task, scheduler);
- }
- private static IObservable<Unit> ToObservableImpl(Task task, IScheduler scheduler)
- {
- if (task.IsCompleted)
- {
- scheduler = scheduler ?? ImmediateScheduler.Instance;
- switch (task.Status)
- {
- case TaskStatus.Faulted:
- return new Throw<Unit>(task.Exception.InnerException, scheduler);
- case TaskStatus.Canceled:
- return new Throw<Unit>(new TaskCanceledException(task), scheduler);
- }
- return new Return<Unit>(Unit.Default, scheduler);
- }
- return new SlowTaskObservable(task, scheduler);
- }
- private static void EmitTaskResult(this Task task, IObserver<Unit> subject)
- {
- switch (task.Status)
- {
- case TaskStatus.RanToCompletion:
- subject.OnNext(Unit.Default);
- subject.OnCompleted();
- break;
- case TaskStatus.Faulted:
- subject.OnError(task.Exception.InnerException);
- break;
- case TaskStatus.Canceled:
- subject.OnError(new TaskCanceledException(task));
- break;
- }
- }
- internal static IDisposable Subscribe(this Task task, IObserver<Unit> observer)
- {
- if (task.IsCompleted)
- {
- task.EmitTaskResult(observer);
- return Disposable.Empty;
- }
- var cts = new CancellationDisposable();
- task.ContinueWith(
- (t, observerObject) => t.EmitTaskResult((IObserver<Unit>)observerObject),
- observer,
- cts.Token,
- TaskContinuationOptions.ExecuteSynchronously,
- TaskScheduler.Current);
- return cts;
- }
- /// <summary>
- /// Returns an observable sequence that propagates the result of the task.
- /// </summary>
- /// <typeparam name="TResult">The type of the result produced by the task.</typeparam>
- /// <param name="task">Task to convert to an observable sequence.</param>
- /// <returns>An observable sequence that produces the task's result, or propagates the exception produced by the task.</returns>
- /// <exception cref="ArgumentNullException"><paramref name="task"/> is <c>null</c>.</exception>
- /// <remarks>If the specified task object supports cancellation, consider using <see cref="Observable.FromAsync{TResult}(Func{CancellationToken, Task{TResult}})"/> instead.</remarks>
- public static IObservable<TResult> ToObservable<TResult>(this Task<TResult> task)
- {
- if (task == null)
- {
- throw new ArgumentNullException(nameof(task));
- }
- return ToObservableImpl(task, scheduler: null);
- }
- /// <summary>
- /// Returns an observable sequence that propagates the result of the task.
- /// </summary>
- /// <typeparam name="TResult">The type of the result produced by the task.</typeparam>
- /// <param name="task">Task to convert to an observable sequence.</param>
- /// <param name="scheduler">Scheduler on which to notify observers about completion, cancellation or failure.</param>
- /// <returns>An observable sequence that produces the task's result, or propagates the exception produced by the task.</returns>
- /// <exception cref="ArgumentNullException"><paramref name="task"/> is <c>null</c> or <paramref name="scheduler"/> is <c>null</c>.</exception>
- /// <remarks>If the specified task object supports cancellation, consider using <see cref="Observable.FromAsync{TResult}(Func{CancellationToken, Task{TResult}})"/> instead.</remarks>
- public static IObservable<TResult> ToObservable<TResult>(this Task<TResult> task, IScheduler scheduler)
- {
- if (task == null)
- {
- throw new ArgumentNullException(nameof(task));
- }
- if (scheduler == null)
- {
- throw new ArgumentNullException(nameof(scheduler));
- }
- return ToObservableImpl(task, scheduler);
- }
- private static IObservable<TResult> ToObservableImpl<TResult>(Task<TResult> task, IScheduler scheduler)
- {
- if (task.IsCompleted)
- {
- scheduler = scheduler ?? ImmediateScheduler.Instance;
- switch (task.Status)
- {
- case TaskStatus.Faulted:
- return new Throw<TResult>(task.Exception.InnerException, scheduler);
- case TaskStatus.Canceled:
- return new Throw<TResult>(new TaskCanceledException(task), scheduler);
- }
- return new Return<TResult>(task.Result, scheduler);
- }
- return new SlowTaskObservable<TResult>(task, scheduler);
- }
- private static void EmitTaskResult<TResult>(this Task<TResult> task, IObserver<TResult> subject)
- {
- switch (task.Status)
- {
- case TaskStatus.RanToCompletion:
- subject.OnNext(task.Result);
- subject.OnCompleted();
- break;
- case TaskStatus.Faulted:
- subject.OnError(task.Exception.InnerException);
- break;
- case TaskStatus.Canceled:
- subject.OnError(new TaskCanceledException(task));
- break;
- }
- }
- private static TaskContinuationOptions GetTaskContinuationOptions(IScheduler scheduler)
- {
- var options = TaskContinuationOptions.None;
- if (scheduler != null)
- {
- //
- // We explicitly don't special-case the immediate scheduler here. If the user asks for a
- // synchronous completion, we'll try our best. However, there's no guarantee due to the
- // internal stack probing in the TPL, which may cause asynchronous completion on a thread
- // pool thread in order to avoid stack overflows. Therefore we can only attempt to be more
- // efficient in the case where the user specified a scheduler, hence we know that the
- // continuation will trigger a scheduling operation. In case of the immediate scheduler,
- // it really becomes "immediate scheduling" wherever the TPL decided to run the continuation,
- // i.e. not necessarily where the task was completed from.
- //
- options |= TaskContinuationOptions.ExecuteSynchronously;
- }
- return options;
- }
- internal static IDisposable Subscribe<TResult>(this Task<TResult> task, IObserver<TResult> observer)
- {
- if (task.IsCompleted)
- {
- task.EmitTaskResult(observer);
- return Disposable.Empty;
- }
- var cts = new CancellationDisposable();
- task.ContinueWith(
- (t, observerObject) => t.EmitTaskResult((IObserver<TResult>)observerObject),
- observer,
- cts.Token,
- TaskContinuationOptions.ExecuteSynchronously,
- TaskScheduler.Current);
- return cts;
- }
- /// <summary>
- /// Returns a task that will receive the last value or the exception produced by the observable sequence.
- /// </summary>
- /// <typeparam name="TResult">The type of the elements in the source sequence.</typeparam>
- /// <param name="observable">Observable sequence to convert to a task.</param>
- /// <returns>A task that will receive the last element or the exception produced by the observable sequence.</returns>
- /// <exception cref="ArgumentNullException"><paramref name="observable"/> is <c>null</c>.</exception>
- public static Task<TResult> ToTask<TResult>(this IObservable<TResult> observable)
- {
- if (observable == null)
- {
- throw new ArgumentNullException(nameof(observable));
- }
- return observable.ToTask(new CancellationToken(), state: null);
- }
- /// <summary>
- /// Returns a task that will receive the last value or the exception produced by the observable sequence.
- /// </summary>
- /// <typeparam name="TResult">The type of the elements in the source sequence.</typeparam>
- /// <param name="observable">Observable sequence to convert to a task.</param>
- /// <param name="state">The state to use as the underlying task's AsyncState.</param>
- /// <returns>A task that will receive the last element or the exception produced by the observable sequence.</returns>
- /// <exception cref="ArgumentNullException"><paramref name="observable"/> is <c>null</c>.</exception>
- public static Task<TResult> ToTask<TResult>(this IObservable<TResult> observable, object state)
- {
- if (observable == null)
- {
- throw new ArgumentNullException(nameof(observable));
- }
- return observable.ToTask(new CancellationToken(), state);
- }
- /// <summary>
- /// Returns a task that will receive the last value or the exception produced by the observable sequence.
- /// </summary>
- /// <typeparam name="TResult">The type of the elements in the source sequence.</typeparam>
- /// <param name="observable">Observable sequence to convert to a task.</param>
- /// <param name="cancellationToken">Cancellation token that can be used to cancel the task, causing unsubscription from the observable sequence.</param>
- /// <returns>A task that will receive the last element or the exception produced by the observable sequence.</returns>
- /// <exception cref="ArgumentNullException"><paramref name="observable"/> is <c>null</c>.</exception>
- public static Task<TResult> ToTask<TResult>(this IObservable<TResult> observable, CancellationToken cancellationToken)
- {
- if (observable == null)
- {
- throw new ArgumentNullException(nameof(observable));
- }
- return observable.ToTask(cancellationToken, state: null);
- }
- private sealed class ToTaskObserver<TResult> : SafeObserver<TResult>
- {
- private readonly CancellationToken _ct;
- private readonly TaskCompletionSource<TResult> _tcs;
- private readonly CancellationTokenRegistration _ctr;
- private bool _hasValue;
- private TResult _lastValue;
- public ToTaskObserver(TaskCompletionSource<TResult> tcs, CancellationToken ct)
- {
- _ct = ct;
- _tcs = tcs;
- if (ct.CanBeCanceled)
- {
- _ctr = ct.Register(@this => ((ToTaskObserver<TResult>)@this).Cancel(), this);
- }
- }
- public override void OnNext(TResult value)
- {
- _hasValue = true;
- _lastValue = value;
- }
- public override void OnError(Exception error)
- {
- _tcs.TrySetException(error);
- _ctr.Dispose(); // no null-check needed (struct)
- Dispose();
- }
- public override void OnCompleted()
- {
- if (_hasValue)
- {
- _tcs.TrySetResult(_lastValue);
- }
- else
- {
- _tcs.TrySetException(new InvalidOperationException(Strings_Linq.NO_ELEMENTS));
- }
- _ctr.Dispose(); // no null-check needed (struct)
- Dispose();
- }
- private void Cancel()
- {
- Dispose();
- #if HAS_TPL46
- _tcs.TrySetCanceled(_ct);
- #else
- _tcs.TrySetCanceled();
- #endif
- }
- }
- /// <summary>
- /// Returns a task that will receive the last value or the exception produced by the observable sequence.
- /// </summary>
- /// <typeparam name="TResult">The type of the elements in the source sequence.</typeparam>
- /// <param name="observable">Observable sequence to convert to a task.</param>
- /// <param name="cancellationToken">Cancellation token that can be used to cancel the task, causing unsubscription from the observable sequence.</param>
- /// <param name="state">The state to use as the underlying task's <see cref="Task.AsyncState"/>.</param>
- /// <returns>A task that will receive the last element or the exception produced by the observable sequence.</returns>
- /// <exception cref="ArgumentNullException"><paramref name="observable"/> is <c>null</c>.</exception>
- public static Task<TResult> ToTask<TResult>(this IObservable<TResult> observable, CancellationToken cancellationToken, object state)
- {
- if (observable == null)
- {
- throw new ArgumentNullException(nameof(observable));
- }
- var tcs = new TaskCompletionSource<TResult>(state);
- var taskCompletionObserver = new ToTaskObserver<TResult>(tcs, cancellationToken);
- //
- // Subtle race condition: if the source completes before we reach the line below, the SingleAssigmentDisposable
- // will already have been disposed. Upon assignment, the disposable resource being set will be disposed on the
- // spot, which may throw an exception.
- //
- try
- {
- //
- // [OK] Use of unsafe Subscribe: we're catching the exception here to set the TaskCompletionSource.
- //
- // Notice we could use a safe subscription to route errors through OnError, but we still need the
- // exception handling logic here for the reason explained above. We cannot afford to throw here
- // and as a result never set the TaskCompletionSource, so we tunnel everything through here.
- //
- taskCompletionObserver.SetResource(observable.Subscribe/*Unsafe*/(taskCompletionObserver));
- }
- catch (Exception ex)
- {
- tcs.TrySetException(ex);
- }
- return tcs.Task;
- }
- }
- }
|