QueryLanguage.Blocking.cs 15 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511
  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.Collections;
  5. using System.Collections.Generic;
  6. using System.Threading;
  7. using System.Reactive.Disposables;
  8. #if NO_SEMAPHORE
  9. using System.Reactive.Threading;
  10. #endif
  11. namespace System.Reactive.Linq
  12. {
  13. #if !NO_PERF
  14. using ObservableImpl;
  15. #endif
  16. internal partial class QueryLanguage
  17. {
  18. #region - Chunkify -
  19. public virtual IEnumerable<IList<TSource>> Chunkify<TSource>(IObservable<TSource> source)
  20. {
  21. return source.Collect<TSource, IList<TSource>>(() => new List<TSource>(), (lst, x) => { lst.Add(x); return lst; }, _ => new List<TSource>());
  22. }
  23. #endregion
  24. #region + Collect +
  25. public virtual IEnumerable<TResult> Collect<TSource, TResult>(IObservable<TSource> source, Func<TResult> newCollector, Func<TResult, TSource, TResult> merge)
  26. {
  27. return Collect_<TSource, TResult>(source, newCollector, merge, _ => newCollector());
  28. }
  29. public virtual IEnumerable<TResult> Collect<TSource, TResult>(IObservable<TSource> source, Func<TResult> getInitialCollector, Func<TResult, TSource, TResult> merge, Func<TResult, TResult> getNewCollector)
  30. {
  31. return Collect_<TSource, TResult>(source, getInitialCollector, merge, getNewCollector);
  32. }
  33. private static IEnumerable<TResult> Collect_<TSource, TResult>(IObservable<TSource> source, Func<TResult> getInitialCollector, Func<TResult, TSource, TResult> merge, Func<TResult, TResult> getNewCollector)
  34. {
  35. #if !NO_PERF
  36. return new Collect<TSource, TResult>(source, getInitialCollector, merge, getNewCollector);
  37. #else
  38. return new AnonymousEnumerable<TResult>(() =>
  39. {
  40. var c = getInitialCollector();
  41. var f = default(Notification<TSource>);
  42. var o = new object();
  43. var done = false;
  44. return PushToPull<TSource, TResult>(
  45. source,
  46. x =>
  47. {
  48. lock (o)
  49. {
  50. if (x.HasValue)
  51. {
  52. try
  53. {
  54. c = merge(c, x.Value);
  55. }
  56. catch (Exception ex)
  57. {
  58. f = Notification.CreateOnError<TSource>(ex);
  59. }
  60. }
  61. else
  62. f = x;
  63. }
  64. },
  65. () =>
  66. {
  67. if (f != null)
  68. {
  69. if (f.Kind == NotificationKind.OnError)
  70. {
  71. return Notification.CreateOnError<TResult>(f.Exception);
  72. }
  73. else
  74. {
  75. if (done)
  76. return Notification.CreateOnCompleted<TResult>();
  77. else
  78. done = true;
  79. }
  80. }
  81. var l = default(TResult);
  82. lock (o)
  83. {
  84. l = c;
  85. c = getNewCollector(c);
  86. }
  87. return Notification.CreateOnNext(l);
  88. }
  89. );
  90. });
  91. #endif
  92. }
  93. #endregion
  94. #region First
  95. public virtual TSource First<TSource>(IObservable<TSource> source)
  96. {
  97. return FirstOrDefaultInternal(source, true);
  98. }
  99. public virtual TSource First<TSource>(IObservable<TSource> source, Func<TSource, bool> predicate)
  100. {
  101. return First(Where(source, predicate));
  102. }
  103. #endregion
  104. #region FirstOrDefault
  105. public virtual TSource FirstOrDefault<TSource>(IObservable<TSource> source)
  106. {
  107. return FirstOrDefaultInternal(source, false);
  108. }
  109. public virtual TSource FirstOrDefault<TSource>(IObservable<TSource> source, Func<TSource, bool> predicate)
  110. {
  111. return FirstOrDefault(Where(source, predicate));
  112. }
  113. private static TSource FirstOrDefaultInternal<TSource>(IObservable<TSource> source, bool throwOnEmpty)
  114. {
  115. var value = default(TSource);
  116. var seenValue = false;
  117. var ex = default(Exception);
  118. using (var evt = new WaitAndSetOnce())
  119. {
  120. //
  121. // [OK] Use of unsafe Subscribe: fine to throw to our caller, behavior indistinguishable from going through the sink.
  122. //
  123. using (source.Subscribe/*Unsafe*/(new AnonymousObserver<TSource>(
  124. v =>
  125. {
  126. if (!seenValue)
  127. {
  128. value = v;
  129. }
  130. seenValue = true;
  131. evt.Set();
  132. },
  133. e =>
  134. {
  135. ex = e;
  136. evt.Set();
  137. },
  138. () =>
  139. {
  140. evt.Set();
  141. })))
  142. {
  143. evt.WaitOne();
  144. }
  145. }
  146. ex.ThrowIfNotNull();
  147. if (throwOnEmpty && !seenValue)
  148. throw new InvalidOperationException(Strings_Linq.NO_ELEMENTS);
  149. return value;
  150. }
  151. #endregion
  152. #region + ForEach +
  153. public virtual void ForEach<TSource>(IObservable<TSource> source, Action<TSource> onNext)
  154. {
  155. #if !NO_PERF
  156. using (var evt = new WaitAndSetOnce())
  157. {
  158. var sink = new ForEach<TSource>._(onNext, () => evt.Set());
  159. using (source.SubscribeSafe(sink))
  160. {
  161. evt.WaitOne();
  162. }
  163. sink.Error.ThrowIfNotNull();
  164. }
  165. #else
  166. ForEach_(source, onNext);
  167. #endif
  168. }
  169. public virtual void ForEach<TSource>(IObservable<TSource> source, Action<TSource, int> onNext)
  170. {
  171. #if !NO_PERF
  172. using (var evt = new WaitAndSetOnce())
  173. {
  174. var sink = new ForEach<TSource>.ForEachImpl(onNext, () => evt.Set());
  175. using (source.SubscribeSafe(sink))
  176. {
  177. evt.WaitOne();
  178. }
  179. sink.Error.ThrowIfNotNull();
  180. }
  181. #else
  182. var i = 0;
  183. ForEach_(source, x => onNext(x, checked(i++)));
  184. #endif
  185. }
  186. #if NO_PERF
  187. private static void ForEach_<TSource>(IObservable<TSource> source, Action<TSource> onNext)
  188. {
  189. var exception = default(Exception);
  190. using (var evt = new ManualResetEvent(false))
  191. {
  192. using (source.Subscribe(
  193. x =>
  194. {
  195. try
  196. {
  197. onNext(x);
  198. }
  199. catch (Exception ex)
  200. {
  201. exception = ex;
  202. evt.Set();
  203. }
  204. },
  205. ex =>
  206. {
  207. exception = ex;
  208. evt.Set();
  209. },
  210. () => evt.Set()
  211. ))
  212. {
  213. evt.WaitOne();
  214. }
  215. }
  216. if (exception != null)
  217. exception.Throw();
  218. }
  219. #endif
  220. #endregion
  221. #region + GetEnumerator +
  222. public virtual IEnumerator<TSource> GetEnumerator<TSource>(IObservable<TSource> source)
  223. {
  224. #if !NO_PERF
  225. var e = new GetEnumerator<TSource>();
  226. return e.Run(source);
  227. #else
  228. var q = new Queue<Notification<TSource>>();
  229. var s = new Semaphore(0, int.MaxValue);
  230. return PushToPull(
  231. source,
  232. x =>
  233. {
  234. lock (q)
  235. q.Enqueue(x);
  236. s.Release();
  237. },
  238. () =>
  239. {
  240. s.WaitOne();
  241. lock (q)
  242. return q.Dequeue();
  243. });
  244. #endif
  245. }
  246. #endregion
  247. #region Last
  248. public virtual TSource Last<TSource>(IObservable<TSource> source)
  249. {
  250. return LastOrDefaultInternal(source, true);
  251. }
  252. public virtual TSource Last<TSource>(IObservable<TSource> source, Func<TSource, bool> predicate)
  253. {
  254. return Last(Where(source, predicate));
  255. }
  256. #endregion
  257. #region LastOrDefault
  258. public virtual TSource LastOrDefault<TSource>(IObservable<TSource> source)
  259. {
  260. return LastOrDefaultInternal(source, false);
  261. }
  262. public virtual TSource LastOrDefault<TSource>(IObservable<TSource> source, Func<TSource, bool> predicate)
  263. {
  264. return LastOrDefault(Where(source, predicate));
  265. }
  266. private static TSource LastOrDefaultInternal<TSource>(IObservable<TSource> source, bool throwOnEmpty)
  267. {
  268. var value = default(TSource);
  269. var seenValue = false;
  270. var ex = default(Exception);
  271. using (var evt = new WaitAndSetOnce())
  272. {
  273. //
  274. // [OK] Use of unsafe Subscribe: fine to throw to our caller, behavior indistinguishable from going through the sink.
  275. //
  276. using (source.Subscribe/*Unsafe*/(new AnonymousObserver<TSource>(
  277. v =>
  278. {
  279. seenValue = true;
  280. value = v;
  281. },
  282. e =>
  283. {
  284. ex = e;
  285. evt.Set();
  286. },
  287. () =>
  288. {
  289. evt.Set();
  290. })))
  291. {
  292. evt.WaitOne();
  293. }
  294. }
  295. ex.ThrowIfNotNull();
  296. if (throwOnEmpty && !seenValue)
  297. throw new InvalidOperationException(Strings_Linq.NO_ELEMENTS);
  298. return value;
  299. }
  300. #endregion
  301. #region + Latest +
  302. public virtual IEnumerable<TSource> Latest<TSource>(IObservable<TSource> source)
  303. {
  304. return new Latest<TSource>(source);
  305. }
  306. #endregion
  307. #region + MostRecent +
  308. public virtual IEnumerable<TSource> MostRecent<TSource>(IObservable<TSource> source, TSource initialValue)
  309. {
  310. return new MostRecent<TSource>(source, initialValue);
  311. }
  312. #endregion
  313. #region + Next +
  314. public virtual IEnumerable<TSource> Next<TSource>(IObservable<TSource> source)
  315. {
  316. return new Next<TSource>(source);
  317. }
  318. #endregion
  319. #region Single
  320. public virtual TSource Single<TSource>(IObservable<TSource> source)
  321. {
  322. return SingleOrDefaultInternal(source, true);
  323. }
  324. public virtual TSource Single<TSource>(IObservable<TSource> source, Func<TSource, bool> predicate)
  325. {
  326. return Single(Where(source, predicate));
  327. }
  328. #endregion
  329. #region SingleOrDefault
  330. public virtual TSource SingleOrDefault<TSource>(IObservable<TSource> source)
  331. {
  332. return SingleOrDefaultInternal(source, false);
  333. }
  334. public virtual TSource SingleOrDefault<TSource>(IObservable<TSource> source, Func<TSource, bool> predicate)
  335. {
  336. return SingleOrDefault(Where(source, predicate));
  337. }
  338. private static TSource SingleOrDefaultInternal<TSource>(IObservable<TSource> source, bool throwOnEmpty)
  339. {
  340. var value = default(TSource);
  341. var seenValue = false;
  342. var ex = default(Exception);
  343. using (var evt = new WaitAndSetOnce())
  344. {
  345. //
  346. // [OK] Use of unsafe Subscribe: fine to throw to our caller, behavior indistinguishable from going through the sink.
  347. //
  348. using (source.Subscribe/*Unsafe*/(new AnonymousObserver<TSource>(
  349. v =>
  350. {
  351. if (seenValue)
  352. {
  353. ex = new InvalidOperationException(Strings_Linq.MORE_THAN_ONE_ELEMENT);
  354. evt.Set();
  355. }
  356. value = v;
  357. seenValue = true;
  358. },
  359. e =>
  360. {
  361. ex = e;
  362. evt.Set();
  363. },
  364. () =>
  365. {
  366. evt.Set();
  367. })))
  368. {
  369. evt.WaitOne();
  370. }
  371. }
  372. ex.ThrowIfNotNull();
  373. if (throwOnEmpty && !seenValue)
  374. throw new InvalidOperationException(Strings_Linq.NO_ELEMENTS);
  375. return value;
  376. }
  377. #endregion
  378. #region Wait
  379. public virtual TSource Wait<TSource>(IObservable<TSource> source)
  380. {
  381. return LastOrDefaultInternal(source, true);
  382. }
  383. #endregion
  384. #region |> Helpers <|
  385. #if NO_PERF
  386. private static IEnumerator<TResult> PushToPull<TSource, TResult>(IObservable<TSource> source, Action<Notification<TSource>> push, Func<Notification<TResult>> pull)
  387. {
  388. var subscription = new SingleAssignmentDisposable();
  389. var adapter = new PushPullAdapter<TSource, TResult>(push, pull, subscription.Dispose);
  390. subscription.Disposable = source.SubscribeSafe(adapter);
  391. return adapter;
  392. }
  393. #endif
  394. class WaitAndSetOnce : IDisposable
  395. {
  396. private readonly ManualResetEvent _evt;
  397. private int _hasSet;
  398. public WaitAndSetOnce()
  399. {
  400. _evt = new ManualResetEvent(false);
  401. }
  402. public void Set()
  403. {
  404. if (Interlocked.Exchange(ref _hasSet, 1) == 0)
  405. {
  406. _evt.Set();
  407. }
  408. }
  409. public void WaitOne()
  410. {
  411. _evt.WaitOne();
  412. }
  413. public void Dispose()
  414. {
  415. #if HAS_MREEXPLICITDISPOSABLE
  416. ((IDisposable)_evt).Dispose();
  417. #else
  418. _evt.Dispose();
  419. #endif
  420. }
  421. }
  422. #endregion
  423. }
  424. }