1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187
|
// Copyright (c) Microsoft Open Technologies, Inc. All rights reserved. See License.txt in the project root for license information.
#if !NO_PERF
using System.Collections.Generic;
using System.Reactive.Concurrency;
using System.Reactive.Disposables;
namespace System.Reactive
{
abstract class TailRecursiveSink<TSource> : Sink<TSource>, IObserver<TSource>
{
public TailRecursiveSink(IObserver<TSource> observer, IDisposable cancel)
: base(observer, cancel)
{
}
private bool _isDisposed;
private SerialDisposable _subscription;
private AsyncLock _gate;
private Stack<IEnumerator<IObservable<TSource>>> _stack;
private Stack<int?> _length;
protected Action _recurse;
public IDisposable Run(IEnumerable<IObservable<TSource>> sources)
{
_isDisposed = false;
_subscription = new SerialDisposable();
_gate = new AsyncLock();
_stack = new Stack<IEnumerator<IObservable<TSource>>>();
_length = new Stack<int?>();
var e = default(IEnumerator<IObservable<TSource>>);
if (!TryGetEnumerator(sources, out e))
return Disposable.Empty;
_stack.Push(e);
_length.Push(Helpers.GetLength(sources));
var cancelable = SchedulerDefaults.TailRecursion.Schedule(self =>
{
_recurse = self;
_gate.Wait(MoveNext);
});
return new CompositeDisposable(_subscription, cancelable, Disposable.Create(() => _gate.Wait(Dispose)));
}
protected abstract IEnumerable<IObservable<TSource>> Extract(IObservable<TSource> source);
private void MoveNext()
{
var hasNext = false;
var next = default(IObservable<TSource>);
do
{
if (_stack.Count == 0)
break;
if (_isDisposed)
return;
var e = _stack.Peek();
var l = _length.Peek();
var current = default(IObservable<TSource>);
try
{
hasNext = e.MoveNext();
if (hasNext)
current = e.Current;
}
catch (Exception ex)
{
e.Dispose();
base._observer.OnError(ex);
base.Dispose();
return;
}
if (!hasNext)
{
e.Dispose();
_stack.Pop();
_length.Pop();
}
else
{
var r = l - 1;
_length.Pop();
_length.Push(r);
try
{
next = Helpers.Unpack(current);
}
catch (Exception exception)
{
e.Dispose();
base._observer.OnError(exception);
base.Dispose();
return;
}
//
// Tail recursive case; drop the current frame.
//
if (r == 0)
{
e.Dispose();
_stack.Pop();
_length.Pop();
}
//
// Flattening of nested sequences. Prevents stack overflow in observers.
//
var nextSeq = Extract(next);
if (nextSeq != null)
{
var nextEnumerator = default(IEnumerator<IObservable<TSource>>);
if (!TryGetEnumerator(nextSeq, out nextEnumerator))
return;
_stack.Push(nextEnumerator);
_length.Push(Helpers.GetLength(nextSeq));
hasNext = false;
}
}
} while (!hasNext);
if (!hasNext)
{
Done();
return;
}
var d = new SingleAssignmentDisposable();
_subscription.Disposable = d;
d.Disposable = next.SubscribeSafe(this);
}
private new void Dispose()
{
while (_stack.Count > 0)
{
var e = _stack.Pop();
_length.Pop();
e.Dispose();
}
_isDisposed = true;
}
private bool TryGetEnumerator(IEnumerable<IObservable<TSource>> sources, out IEnumerator<IObservable<TSource>> result)
{
try
{
result = sources.GetEnumerator();
return true;
}
catch (Exception exception)
{
base._observer.OnError(exception);
base.Dispose();
result = null;
return false;
}
}
public abstract void OnCompleted();
public abstract void OnError(Exception error);
public abstract void OnNext(TSource value);
protected virtual void Done()
{
base._observer.OnCompleted();
base.Dispose();
}
}
}
#endif
|