AsyncTests.Bugs.cs 11 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400
  1. // Licensed to the .NET Foundation under one or more agreements.
  2. // The .NET Foundation licenses this file to you under the Apache 2.0 License.
  3. // See the LICENSE file in the project root for more information.
  4. using System;
  5. using System.Collections.Generic;
  6. using System.Linq;
  7. using System.Text;
  8. using Xunit;
  9. using System.Collections;
  10. using System.Threading;
  11. using System.Threading.Tasks;
  12. using System.Diagnostics;
  13. namespace Tests
  14. {
  15. public partial class AsyncTests
  16. {
  17. public AsyncTests()
  18. {
  19. TaskScheduler.UnobservedTaskException += (o, e) =>
  20. {
  21. };
  22. }
  23. /*
  24. [Fact]
  25. public void TestPushPopAsync()
  26. {
  27. var stack = new Stack<int>();
  28. var count = 10;
  29. var observable = Observable.Generate(
  30. 0,
  31. i => i < count,
  32. i => i + 1,
  33. i => i,
  34. i => TimeSpan.FromMilliseconds(1), // change this to 0 to avoid the problem [1]
  35. Scheduler.ThreadPool);
  36. var task = DoSomethingAsync(observable, stack);
  37. // we give it a timeout so the test can fail instead of hang
  38. task.Wait(TimeSpan.FromSeconds(2));
  39. Assert.Equal(10, stack.Count);
  40. }
  41. private Task DoSomethingAsync(IObservable<int> observable, Stack<int> stack)
  42. {
  43. var ae = observable
  44. .ToAsyncEnumerable()
  45. //.Do(i => Debug.WriteLine("Bug-fixing side effect: " + i)) // [2]
  46. .GetEnumerator();
  47. var tcs = new TaskCompletionSource<object>();
  48. var a = default(Action);
  49. a = new Action(() =>
  50. {
  51. ae.MoveNext().ContinueWith(t =>
  52. {
  53. if (t.Result)
  54. {
  55. var i = ae.Current;
  56. Debug.WriteLine("Doing something with " + i);
  57. Thread.Sleep(50);
  58. stack.Push(i);
  59. a();
  60. }
  61. else
  62. tcs.TrySetResult(null);
  63. });
  64. });
  65. a();
  66. return tcs.Task;
  67. }
  68. */
  69. #if !NO_THREAD
  70. static IEnumerable<int> Xs(Action a)
  71. {
  72. try
  73. {
  74. var rnd = new Random();
  75. while (true)
  76. {
  77. yield return rnd.Next(0, 43);
  78. Thread.Sleep(rnd.Next(0, 500));
  79. }
  80. }
  81. finally
  82. {
  83. a();
  84. }
  85. }
  86. #endif
  87. [Fact]
  88. public async void CorrectDispose()
  89. {
  90. var disposed = new TaskCompletionSource<bool>();
  91. var xs = new[] { 1, 2, 3 }.WithDispose(() =>
  92. {
  93. disposed.TrySetResult(true);
  94. }).ToAsyncEnumerable();
  95. var ys = xs.Select(x => x + 1);
  96. var e = ys.GetEnumerator();
  97. // We have to call move next because otherwise the internal enumerator is never allocated
  98. await e.MoveNext();
  99. e.Dispose();
  100. await disposed.Task;
  101. Assert.True(disposed.Task.Result);
  102. Assert.False(e.MoveNext().Result);
  103. var next = await e.MoveNext();
  104. Assert.False(next);
  105. }
  106. [Fact]
  107. public async Task DisposesUponError()
  108. {
  109. var disposed = new TaskCompletionSource<bool>();
  110. var xs = new[] { 1, 2, 3 }.WithDispose(() =>
  111. {
  112. disposed.SetResult(true);
  113. }).ToAsyncEnumerable();
  114. var ex = new Exception("Bang!");
  115. var ys = xs.Select(x => { if (x == 1) throw ex; return x; });
  116. var e = ys.GetEnumerator();
  117. await Assert.ThrowsAsync<Exception>(() => e.MoveNext());
  118. Assert.True(disposed.Task.Result);
  119. }
  120. [Fact]
  121. public async Task CorrectCancel()
  122. {
  123. var disposed = new TaskCompletionSource<bool>();
  124. var xs = new[] { 1, 2, 3 }.WithDispose(() =>
  125. {
  126. disposed.SetResult(true);
  127. }).ToAsyncEnumerable();
  128. var ys = xs.Select(x => x + 1).Where(x => true);
  129. var e = ys.GetEnumerator();
  130. var cts = new CancellationTokenSource();
  131. var t = e.MoveNext(cts.Token);
  132. cts.Cancel();
  133. try
  134. {
  135. t.Wait(WaitTimeoutMs);
  136. }
  137. catch
  138. {
  139. // Don't care about the outcome; we could have made it to element 1
  140. // but we could also have cancelled the MoveNext-calling task. Either
  141. // way, we want to wait for the task to be completed and check that
  142. }
  143. finally
  144. {
  145. // the cancellation bubbled all the way up to the source to dispose
  146. // it. This design is chosen because cancelling a MoveNext call leaves
  147. // the enumerator in an indeterminate state. Further interactions with
  148. // it should be forbidden.
  149. var result = await disposed.Task;
  150. Assert.True(result);
  151. }
  152. Assert.False(await e.MoveNext());
  153. }
  154. [Fact]
  155. public void CanCancelMoveNext()
  156. {
  157. var xs = new CancellationTestEnumerable().Select(x => x).Where(x => true);
  158. var e = xs.GetEnumerator();
  159. var cts = new CancellationTokenSource();
  160. var t = e.MoveNext(cts.Token);
  161. cts.Cancel();
  162. try
  163. {
  164. t.Wait(WaitTimeoutMs);
  165. Assert.True(false);
  166. }
  167. catch
  168. {
  169. Assert.True(t.IsCanceled);
  170. }
  171. }
  172. /// <summary>
  173. /// Waits WaitTimeoutMs or until cancellation is requested. If cancellation was not requested, MoveNext returns true.
  174. /// </summary>
  175. private sealed class CancellationTestEnumerable : IAsyncEnumerable<object>
  176. {
  177. public IAsyncEnumerator<object> GetEnumerator() => new TestEnumerator();
  178. private sealed class TestEnumerator : IAsyncEnumerator<object>
  179. {
  180. public void Dispose()
  181. {
  182. }
  183. public object Current { get; }
  184. public async Task<bool> MoveNext(CancellationToken cancellationToken)
  185. {
  186. await Task.Delay(WaitTimeoutMs, cancellationToken);
  187. cancellationToken.ThrowIfCancellationRequested();
  188. return true;
  189. }
  190. }
  191. }
  192. [Fact]
  193. public void ToAsyncEnumeratorCannotCancelOnceRunning()
  194. {
  195. var evt = new ManualResetEvent(false);
  196. var isRunningEvent = new ManualResetEvent(false);
  197. var xs = Blocking(evt, isRunningEvent).ToAsyncEnumerable();
  198. var e = xs.GetEnumerator();
  199. var cts = new CancellationTokenSource();
  200. Task<bool> t = null;
  201. var tMoveNext =Task.Run(
  202. () =>
  203. {
  204. // This call *will* block
  205. t = e.MoveNext(cts.Token);
  206. });
  207. isRunningEvent.WaitOne();
  208. cts.Cancel();
  209. try
  210. {
  211. tMoveNext.Wait(0);
  212. Assert.False(t.IsCanceled);
  213. }
  214. catch
  215. {
  216. // T will still be null
  217. Assert.Null(t);
  218. }
  219. // enable it to finish
  220. evt.Set();
  221. }
  222. static IEnumerable<int> Blocking(ManualResetEvent evt, ManualResetEvent blockingStarted)
  223. {
  224. blockingStarted.Set();
  225. evt.WaitOne();
  226. yield return 42;
  227. }
  228. [Fact]
  229. public async Task TakeOneFromSelectMany()
  230. {
  231. var enumerable = AsyncEnumerable
  232. .Return(0)
  233. .SelectMany(_ => AsyncEnumerable.Return("Check"))
  234. .Take(1)
  235. .Do(_ => { });
  236. Assert.Equal("Check", await enumerable.First());
  237. }
  238. [Fact]
  239. public void SelectManyDisposeInvokedOnlyOnce()
  240. {
  241. var disposeCounter = new DisposeCounter();
  242. var result = AsyncEnumerable.Return(1).SelectMany(i => disposeCounter).Select(i => i).ToList().Result;
  243. Assert.Equal(0, result.Count);
  244. Assert.Equal(1, disposeCounter.DisposeCount);
  245. }
  246. [Fact]
  247. public void SelectManyInnerDispose()
  248. {
  249. var disposes = Enumerable.Range(0, 10).Select(_ => new DisposeCounter()).ToList();
  250. var result = AsyncEnumerable.Range(0, 10).SelectMany(i => disposes[i]).Select(i => i).ToList().Result;
  251. Assert.Equal(0, result.Count);
  252. Assert.True(disposes.All(d => d.DisposeCount == 1));
  253. }
  254. private class DisposeCounter : IAsyncEnumerable<object>
  255. {
  256. public int DisposeCount { get; private set; }
  257. public IAsyncEnumerator<object> GetEnumerator()
  258. {
  259. return new Enumerator(this);
  260. }
  261. private class Enumerator : IAsyncEnumerator<object>
  262. {
  263. private readonly DisposeCounter _disposeCounter;
  264. public Enumerator(DisposeCounter disposeCounter)
  265. {
  266. _disposeCounter = disposeCounter;
  267. }
  268. public void Dispose()
  269. {
  270. _disposeCounter.DisposeCount++;
  271. }
  272. public Task<bool> MoveNext(CancellationToken _)
  273. {
  274. return Task.Factory.StartNew(() => false);
  275. }
  276. public object Current { get; private set; }
  277. }
  278. }
  279. }
  280. static class MyExt
  281. {
  282. public static IEnumerable<T> WithDispose<T>(this IEnumerable<T> source, Action a)
  283. {
  284. return EnumerableEx.Create(() =>
  285. {
  286. var e = source.GetEnumerator();
  287. return new Enumerator<T>(e.MoveNext, () => e.Current, () => { e.Dispose(); a(); });
  288. });
  289. }
  290. class Enumerator<T> : IEnumerator<T>
  291. {
  292. private readonly Func<bool> _moveNext;
  293. private readonly Func<T> _current;
  294. private readonly Action _dispose;
  295. public Enumerator(Func<bool> moveNext, Func<T> current, Action dispose)
  296. {
  297. _moveNext = moveNext;
  298. _current = current;
  299. _dispose = dispose;
  300. }
  301. public T Current
  302. {
  303. get { return _current(); }
  304. }
  305. public void Dispose()
  306. {
  307. _dispose();
  308. }
  309. object IEnumerator.Current
  310. {
  311. get { return Current; }
  312. }
  313. public bool MoveNext()
  314. {
  315. return _moveNext();
  316. }
  317. public void Reset()
  318. {
  319. throw new NotImplementedException();
  320. }
  321. }
  322. }
  323. }