[4311] | 1 | using System;
|
---|
| 2 | using System.Collections.Generic;
|
---|
| 3 | using System.Linq;
|
---|
| 4 | using System.Text;
|
---|
| 5 | using System.ComponentModel;
|
---|
| 6 | using System.Threading;
|
---|
| 7 | using System.Collections.ObjectModel;
|
---|
| 8 | using System.Collections.Specialized;
|
---|
| 9 | using System.Collections;
|
---|
| 10 |
|
---|
| 11 | namespace HeuristicLab.BackgroundProcessing {
|
---|
| 12 | /// <summary>
|
---|
| 13 | /// Provides a list of all currently running or pending ObservableBackgroundWorkers.
|
---|
| 14 | /// </summary>
|
---|
| 15 | public class WorkerMonitor : IObservableEnumerable<ObservableBackgroundWorker> {
|
---|
| 16 |
|
---|
| 17 | public static WorkerMonitor Default = new WorkerMonitor();
|
---|
| 18 |
|
---|
| 19 | /// <summary>
|
---|
| 20 | /// Report all unhandled exceptions during background worker execution.
|
---|
| 21 | /// These exceptions are the same as reported by the RunWorkerCompleted but wrapped
|
---|
| 22 | /// in an additional exception containing the worker name as message and the original
|
---|
| 23 | /// exception as inner exception.
|
---|
| 24 | /// </summary>
|
---|
| 25 | public event ThreadExceptionEventHandler BackgroundWorkerException;
|
---|
| 26 | public event NotifyCollectionChangedEventHandler CollectionChanged;
|
---|
| 27 |
|
---|
| 28 | private List<ObservableBackgroundWorker> BackgroundWorkers;
|
---|
| 29 | private ReaderWriterLockSlim workerLock;
|
---|
| 30 |
|
---|
| 31 | public WorkerMonitor() {
|
---|
| 32 | BackgroundWorkers = new List<ObservableBackgroundWorker>();
|
---|
| 33 | workerLock = new ReaderWriterLockSlim(LockRecursionPolicy.NoRecursion);
|
---|
| 34 | }
|
---|
| 35 |
|
---|
| 36 | internal void RegisterWorker(ObservableBackgroundWorker worker) {
|
---|
| 37 | worker.RunWorkerCompleted += worker_RunWorkerCompleted;
|
---|
| 38 | worker.WorkerStopped += worker_WorkerStopped;
|
---|
| 39 | try {
|
---|
| 40 | workerLock.EnterUpgradeableReadLock();
|
---|
| 41 | try {
|
---|
| 42 | workerLock.EnterWriteLock();
|
---|
| 43 | BackgroundWorkers.Add(worker);
|
---|
| 44 | } finally {
|
---|
| 45 | workerLock.ExitWriteLock();
|
---|
| 46 | }
|
---|
| 47 | int index = BackgroundWorkers.Count - 1;
|
---|
| 48 | OnCollectionChanged(new NotifyCollectionChangedEventArgs(
|
---|
| 49 | NotifyCollectionChangedAction.Add, worker, index));
|
---|
| 50 | } finally {
|
---|
| 51 | workerLock.ExitUpgradeableReadLock();
|
---|
| 52 | }
|
---|
| 53 | }
|
---|
| 54 |
|
---|
| 55 | void worker_WorkerStopped(object sender, EventArgs e) {
|
---|
| 56 | ObservableBackgroundWorker worker = sender as ObservableBackgroundWorker;
|
---|
| 57 | try {
|
---|
| 58 | workerLock.EnterUpgradeableReadLock();
|
---|
| 59 | int index = BackgroundWorkers.IndexOf(worker);
|
---|
| 60 | try {
|
---|
| 61 | workerLock.EnterWriteLock();
|
---|
| 62 | BackgroundWorkers.RemoveAt(index);
|
---|
| 63 | } finally {
|
---|
| 64 | workerLock.ExitWriteLock();
|
---|
| 65 | }
|
---|
| 66 | OnCollectionChanged(new NotifyCollectionChangedEventArgs(
|
---|
| 67 | NotifyCollectionChangedAction.Remove, worker, index));
|
---|
| 68 | } finally {
|
---|
| 69 | workerLock.ExitUpgradeableReadLock();
|
---|
| 70 | }
|
---|
| 71 | }
|
---|
| 72 |
|
---|
| 73 | private void worker_RunWorkerCompleted(object sender, RunWorkerCompletedEventArgs e) {
|
---|
| 74 | ObservableBackgroundWorker worker = sender as ObservableBackgroundWorker;
|
---|
| 75 | if (e.Error != null) {
|
---|
| 76 | OnThreadException(new Exception(worker.Name, e.Error));
|
---|
| 77 | }
|
---|
| 78 | }
|
---|
| 79 |
|
---|
| 80 | protected void OnThreadException(Exception x) {
|
---|
| 81 | if (BackgroundWorkerException != null)
|
---|
| 82 | BackgroundWorkerException(this, new ThreadExceptionEventArgs(x));
|
---|
| 83 | }
|
---|
| 84 |
|
---|
| 85 | public IEnumerator<ObservableBackgroundWorker> GetEnumerator() {
|
---|
| 86 | try {
|
---|
| 87 | workerLock.EnterReadLock();
|
---|
| 88 | IList<ObservableBackgroundWorker> copy = BackgroundWorkers.ToList();
|
---|
| 89 | return copy.GetEnumerator();
|
---|
| 90 | } finally {
|
---|
| 91 | workerLock.ExitReadLock();
|
---|
| 92 | }
|
---|
| 93 | }
|
---|
| 94 |
|
---|
| 95 | IEnumerator IEnumerable.GetEnumerator() {
|
---|
| 96 | return GetEnumerator();
|
---|
| 97 | }
|
---|
| 98 |
|
---|
| 99 | protected void OnCollectionChanged(NotifyCollectionChangedEventArgs args) {
|
---|
| 100 | if (CollectionChanged != null)
|
---|
| 101 | CollectionChanged(this, args);
|
---|
| 102 | }
|
---|
| 103 |
|
---|
| 104 | public void CancelAllAsync() {
|
---|
| 105 | CancelAllAsync(null, null);
|
---|
| 106 | }
|
---|
| 107 |
|
---|
| 108 | public void CancelAllAsync(WaitCallback callback, object state) {
|
---|
| 109 | ThreadPool.QueueUserWorkItem(_ => {
|
---|
| 110 | List<ObservableBackgroundWorker> cancelableWorkers = GetCancelableWorkers();
|
---|
| 111 | lock (cancelableWorkers) {
|
---|
| 112 | foreach (var worker in cancelableWorkers.ToList()) {
|
---|
| 113 | worker.WorkerStopped += (sender, args) => {
|
---|
| 114 | lock (cancelableWorkers) {
|
---|
| 115 | cancelableWorkers.Remove((ObservableBackgroundWorker)sender);
|
---|
| 116 | Monitor.Pulse(cancelableWorkers);
|
---|
| 117 | }
|
---|
| 118 | };
|
---|
| 119 | worker.CancelAsync();
|
---|
| 120 | if (!worker.IsRunning)
|
---|
| 121 | cancelableWorkers.Remove(worker);
|
---|
| 122 | }
|
---|
| 123 | while (cancelableWorkers.Count > 0)
|
---|
| 124 | Monitor.Wait(cancelableWorkers);
|
---|
| 125 | }
|
---|
| 126 | if (callback != null)
|
---|
| 127 | callback(state);
|
---|
| 128 | });
|
---|
| 129 | }
|
---|
| 130 |
|
---|
| 131 | private List<ObservableBackgroundWorker> GetCancelableWorkers() {
|
---|
| 132 | try {
|
---|
| 133 | workerLock.EnterReadLock();
|
---|
| 134 | return BackgroundWorkers.Where(w => w.WorkerSupportsCancellation).ToList();
|
---|
| 135 | } finally {
|
---|
| 136 | workerLock.ExitReadLock();
|
---|
| 137 | }
|
---|
| 138 | }
|
---|
| 139 | }
|
---|
| 140 | }
|
---|