implab/ImplabNet Commit - r76:c761fc982e1d

Refactoring of the IPromise<T> interface...

cin -

r76:c761fc982e1d v2

parent child

Context file:

r76:c761fc982e1d

Collapse all files

Implab.Fx/PromiseHelpers.cs +7 -53

@@ -1,87 +1,41
1	using System;	1	using System;
2	using System.Windows.Forms;	2	using System.Windows.Forms;
3	using System.Threading;	3	using System.Threading;
4		4
5	namespace Implab.Fx	5	namespace Implab.Fx
6	{	6	{
7	public static class PromiseHelpers	7	public static class PromiseHelpers
8	{	8	{
9	/// <summary>	9	/// <summary>
10	/// Перенаправляет обработку обещания в поток указанного элемента управления.	10	/// Перенаправляет обработку обещания в поток указанного элемента управления.
11	/// </summary>	11	/// </summary>
12	/// <typeparam name="T">Тип результата обещания</typeparam>	12	/// <typeparam name="T">Тип результата обещания</typeparam>
13	/// <param name="that">Исходное обещание</param>	13	/// <param name="that">Исходное обещание</param>
14	/// <param name="ctl">Элемент управления</param>	14	/// <param name="ctl">Элемент управления</param>
15	/// <returns>Новое обещание, обработчики которого будут выполнены в потоке элемента управления.</returns>	15	/// <returns>Новое обещание, обработчики которого будут выполнены в потоке элемента управления.</returns>
16	/// <exception cref="ArgumentNullException">Параметр не может быть <c>null</c>.</exception>	16	/// <exception cref="ArgumentNullException">Параметр не может быть <c>null</c>.</exception>
17	/// <example>	17	/// <example>
18	/// client	18	/// client
19	/// .Get("description.txt") // returns a promise	19	/// .Get("description.txt") // returns a promise
20	/// .Di~~rect~~ToControl(m_ctl) // handle the promise in the thread of the control	20	/// .DispatchToControl(m_ctl) // handle the promise in the thread of the control
21	/// .Then(	21	/// .Then(
22	/// description => m_ctl.Text = description // now it's safe	22	/// description => m_ctl.Text = description // now it's safe
23	/// )	23	/// )
24	/// </example>	24	/// </example>
25	public static Promise<T> DispatchToControl<T>(this Promise<T> that, Control ctl)	25	public static IPromise<T> DispatchToControl<T>(this IPromise<T> that, Control ctl)
26	{	26	{
27	if (that == null)	27	Safe.ArgumentNotNull(that, "that");
28	~~throw~~ ~~new~~ ~~ArgumentNullException~~(~~"that~~");	28	Safe.ArgumentNotNull(ctl, "ctl");
29	if (ctl == null)
30	throw new ArgumentNullException("ctl");
31		29
32	var directed = new ControlBoundPromise<T>(ctl,that,true);	30	var directed = new ControlBoundPromise<T>(ctl,that,true);
33		31
34	that.~~Then~~(	32	that.Last(
35	directed.Resolve,	33	directed.Resolve,
36	~~err~~ =>	34	directed.Reject,
37	{	35	directed.Cancel
38	directed.Reject(err);
39	return default(T);
40	}
41	);	36	);
42		37
43	return directed;	38	return directed;
44	}	39	}
45
46	/// <summary>
47	/// Направляет обработку обещания в текущий поток, если у него существует контекст синхронизации.
48	/// </summary>
49	/// <typeparam name="T">Тип результата обещания.</typeparam>
50	/// <param name="that">Обещание которое нужно обработать в текущем потоке.</param>
51	/// <returns>Перенаправленное обещание.</returns>
52	public static Promise<T> DispatchToCurrentThread<T>(this Promise<T> that)
53	{
54	var sync = SynchronizationContext.Current;
55	if (sync == null)
56	throw new InvalidOperationException("The current thread doesn't have a syncronization context");
57	return DispatchToSyncContext(that, sync);
58	}
59
60	/// <summary>
61	/// Направляет обработку обещания в указанный контекст синхронизации.
62	/// </summary>
63	/// <typeparam name="T">Тип результата обещания.</typeparam>
64	/// <param name="that">Обещание, которое требуется обработать в указанном контексте синхронизации.</param>
65	/// <param name="sync">Контекст синхронизации в который будет направлено обещание.</param>
66	/// <returns>Новое обещание, которое будет обрабатываться в указанном контексте.</returns>
67	public static Promise<T> DispatchToSyncContext<T>(this Promise<T> that, SynchronizationContext sync)
68	{
69	if (that == null)
70	throw new ArgumentNullException("that");
71	if (sync == null)
72	throw new ArgumentNullException("sync");
73
74	var d = new Promise<T>();
75
76	that.Then(
77	res => sync.Post(state => d.Resolve(res), null),
78	err => {
79	sync.Post(state => d.Reject(err), null);
80	return default(T);
81	}
82	);
83
84	return d;
85	}	40	}
86	}	41	}
87	}

Implab.Fx/Properties/AssemblyInfo.cs +1 -2

             using System.Reflection;
             using System.Runtime.CompilerServices;
             using System.Runtime.InteropServices;
             // General Information about an assembly is controlled through the following
             // set of attributes. Change these attribute values to modify the information
             // associated with an assembly.
             [assembly: AssemblyTitle("Implab.Fx")]
             [assembly: AssemblyDescription("")]
             [assembly: AssemblyConfiguration("")]
             [assembly: AssemblyCompany("")]
             [assembly: AssemblyProduct("Implab.Fx")]
             [assembly: AssemblyCopyright("Copyright ©  2013")]
             [assembly: AssemblyTrademark("")]
             [assembly: AssemblyCulture("")]
             // Setting ComVisible to false makes the types in this assembly not visible
             // to COM components.  If you need to access a type in this assembly from
             // COM, set the ComVisible attribute to true on that type.
             [assembly: ComVisible(false)]
             // The following GUID is for the ID of the typelib if this project is exposed to COM
             [assembly: Guid("d239c29f-98e2-4942-9569-554a8511d07b")]
             // Version information for an assembly consists of the following four values:
             //
             //      Major Version
             //      Minor Version
             //      Build Number
             //      Revision
             //
             // You can specify all the values or you can default the Build and Revision Numbers
             // by using the '*' as shown below:
             // [assembly: AssemblyVersion("1.0.*")]
-            [assembly: AssemblyVersion("1.0.0.0")]
+            [assembly: AssemblyVersion("2.0.*")]
-            [assembly: AssemblyFileVersion("1.0.0.0")]

Implab.Test/AsyncTests.cs +39 -8

             using System;
             using Microsoft.VisualStudio.TestTools.UnitTesting;
             using System.Reflection;
             using System.Threading;
             using Implab.Parallels;
             namespace Implab.Test {
                 [TestClass]
                 public class AsyncTests {
                     [TestMethod]
                     public void ResolveTest() {
                         int res = -1;
                         var p = new Promise<int>();
                         p.Then(x => res = x);
                         p.Resolve(100);
                         Assert.AreEqual(100, res);
                     }
                     [TestMethod]
                     public void RejectTest() {
                         int res = -1;
                         Exception err = null;
                         var p = new Promise<int>();
                         p.Then(
                             x => res = x,
                             e => {
                                 err = e;
                                 return -2;
                             }
                         );
                         p.Reject(new ApplicationException("error"));
                         Assert.AreEqual(res, -1);
                         Assert.AreEqual(err.Message, "error");
                     }
                     [TestMethod]
+                    public void CancelExceptionTest() {
+                        var p = new Promise<bool>();
+                        p.Cancel();
+                        var p2 = p.Cancelled(() => {
+                            throw new ApplicationException("CANCELLED");
+                        });
+                        try {
+                            p2.Join();
+                            Assert.Fail();
+                        } catch (ApplicationException err) {
+                            Assert.AreEqual("CANCELLED", err.InnerException.Message);
+                        }
+                    }
+                    [TestMethod]
+                    public void ContinueOnCancelTest() {
+                        var p = new Promise<bool>();
+                        p.Cancel();
+                        var p2 = p
+                            .Cancelled(() => {
+                                throw new ApplicationException("CANCELLED");
+                            })
+                            .Error(e => true);
+                        Assert.AreEqual(true, p2.Join());
+                    }
+                    [TestMethod]
                     public void JoinSuccessTest() {
                         var p = new Promise<int>();
                         p.Resolve(100);
                         Assert.AreEqual(p.Join(), 100);
                     }
                     [TestMethod]
                     public void JoinFailTest() {
                         var p = new Promise<int>();
                         p.Reject(new ApplicationException("failed"));
                         try {
                             p.Join();
                             throw new ApplicationException("WRONG!");
                         } catch (TargetInvocationException err) {
                             Assert.AreEqual(err.InnerException.Message, "failed");
                         } catch {
                             Assert.Fail("Got wrong excaption");
                         }
                     }
                     [TestMethod]
                     public void MapTest() {
                         var p = new Promise<int>();
-                        var p2 = p.Map(x => x.ToString());
+                        var p2 = p.Then(x => x.ToString());
                         p.Resolve(100);
                         Assert.AreEqual(p2.Join(), "100");
                     }
                     [TestMethod]
                     public void FixErrorTest() {
                         var p = new Promise<int>();
                         var p2 = p.Error(e => 101);
                         p.Reject(new Exception());
                         Assert.AreEqual(p2.Join(), 101);
                     }
                     [TestMethod]
                     public void ChainTest() {
                         var p1 = new Promise<int>();
                         var p3 = p1.Chain(x => {
                             var p2 = new Promise<string>();
                             p2.Resolve(x.ToString());
                             return p2;
                         });
                         p1.Resolve(100);
                         Assert.AreEqual(p3.Join(), "100");
                     }
                     [TestMethod]
                     public void PoolTest() {
                         var pid = Thread.CurrentThread.ManagedThreadId;
                         var p = AsyncPool.Invoke(() => Thread.CurrentThread.ManagedThreadId);
                         Assert.AreNotEqual(pid, p.Join());
                     }
                     [TestMethod]
                     public void WorkerPoolSizeTest() {
                         var pool = new WorkerPool(5, 10, 0);
                         Assert.AreEqual(5, pool.PoolSize);
                         pool.Invoke(() => { Thread.Sleep(100000000); return 10; });
                         pool.Invoke(() => { Thread.Sleep(100000000); return 10; });
                         pool.Invoke(() => { Thread.Sleep(100000000); return 10; });
                         Assert.AreEqual(5, pool.PoolSize);
                         for (int i = 0; i < 100; i++)
                             pool.Invoke(() => { Thread.Sleep(100000000); return 10; });
                         Thread.Sleep(200);
                         Assert.AreEqual(10, pool.PoolSize);
                         pool.Dispose();
                     }
                     [TestMethod]
                     public void WorkerPoolCorrectTest() {
                         var pool = new WorkerPool(0,1000,100);
                         int iterations = 1000;
                         int pending = iterations;
                         var stop = new ManualResetEvent(false);
                         var count = 0;
                         for (int i = 0; i < iterations; i++) {
                             pool
                                 .Invoke(() => 1)
                                 .Then(x => Interlocked.Add(ref count, x))
                                 .Then(x => Math.Log10(x))
                                 .Anyway(() => {
                                     Interlocked.Decrement(ref pending);
                                     if (pending == 0)
                                         stop.Set();
                                 });
                         }
                         stop.WaitOne();
                         Assert.AreEqual(iterations, count);
                         Console.WriteLine("Max threads: {0}", pool.MaxRunningThreads);
                         pool.Dispose();
                     }
                     [TestMethod]
                     public void WorkerPoolDisposeTest() {
                         var pool = new WorkerPool(5, 20);
                         Assert.AreEqual(5, pool.PoolSize);
                         pool.Dispose();
                         Thread.Sleep(500);
                         Assert.AreEqual(0, pool.PoolSize);
                         pool.Dispose();
                     }
                     [TestMethod]
                     public void MTQueueTest() {
                         var queue = new MTQueue<int>();
                         int res;
                         queue.Enqueue(10);
                         Assert.IsTrue(queue.TryDequeue(out res));
                         Assert.AreEqual(10, res);
                         Assert.IsFalse(queue.TryDequeue(out res));
                         for (int i = 0; i < 1000; i++)
                             queue.Enqueue(i);
                         for (int i = 0; i < 1000; i++) {
                             queue.TryDequeue(out res);
                             Assert.AreEqual(i, res);
                         }
                         int writers = 0;
                         int readers = 0;
                         var stop = new ManualResetEvent(false);
                         int total = 0;
-                        int itemsPerWriter = 1000;
+                        int itemsPerWriter = 10000;
-                        int writersCount = 3;
+                        int writersCount = 10;
                         for (int i = 0; i < writersCount; i++) {
                             Interlocked.Increment(ref writers);
                             var wn = i;
                             AsyncPool
                                 .InvokeNewThread(() => {
                                     for (int ii = 0; ii < itemsPerWriter; ii++) {
                                         queue.Enqueue(1);
                                     }
                                     return 1;
                                 })
                                 .Anyway(() => Interlocked.Decrement(ref writers));
                         }
                         for (int i = 0; i < 10; i++) {
                             Interlocked.Increment(ref readers);
                             var wn = i;
                             AsyncPool
                                 .InvokeNewThread(() => {
                                     int t;
                                     do {
                                         while (queue.TryDequeue(out t))
                                             Interlocked.Add(ref total, t);
                                     } while (writers > 0);
                                     return 1;
                                 })
                                 .Anyway(() => {
                                     Interlocked.Decrement(ref readers);
                                     if (readers == 0)
                                         stop.Set();
                                 });
                         }
                         stop.WaitOne();
                         Assert.AreEqual(itemsPerWriter * writersCount, total);
                     }
                     [TestMethod]
                     public void ParallelMapTest() {
                         int count = 100000;
                         double[] args = new double[count];
                         var rand = new Random();
                         for (int i = 0; i < count; i++)
                             args[i] = rand.NextDouble();
                         var t = Environment.TickCount;
                         var res = args.ParallelMap(x => Math.Sin(x*x), 4).Join();
                         Console.WriteLine("Map complete in {0} ms", Environment.TickCount - t);
                         t = Environment.TickCount;
                         for (int i = 0; i < count; i++)
                             Assert.AreEqual(Math.Sin(args[i] * args[i]), res[i]);
                         Console.WriteLine("Verified in {0} ms", Environment.TickCount - t);
                     }
                     [TestMethod]
                     public void ChainedMapTest() {
                         using (var pool = new WorkerPool(0,100,100)) {
                             int count = 10000;
                             double[] args = new double[count];
                             var rand = new Random();
                             for (int i = 0; i < count; i++)
                                 args[i] = rand.NextDouble();
                             var t = Environment.TickCount;
                             var res = args
                                 .ChainedMap(
                                     x => pool.Invoke(
                                         () => Math.Sin(x * x)
                                     ),
                                 )
                                 .Join();
                             Console.WriteLine("Map complete in {0} ms", Environment.TickCount - t);
                             t = Environment.TickCount;
                             for (int i = 0; i < count; i++)
                                 Assert.AreEqual(Math.Sin(args[i] * args[i]), res[i]);
                             Console.WriteLine("Verified in {0} ms", Environment.TickCount - t);
                             Console.WriteLine("Max workers: {0}", pool.MaxRunningThreads);
                         }
                     }
                     [TestMethod]
                     public void ParallelForEachTest() {
                         int count = 100000;
                         int[] args = new int[count];
                         var rand = new Random();
                         for (int i = 0; i < count; i++)
                             args[i] = (int)(rand.NextDouble() * 100);
                         int result = 0;
                         var t = Environment.TickCount;
                         args.ParallelForEach(x => Interlocked.Add(ref result, x), 4).Join();
                         Console.WriteLine("Iteration complete in {0} ms, result: {1}", Environment.TickCount - t, result);
                         int result2 = 0;
                         t = Environment.TickCount;
                         for (int i = 0; i < count; i++)
                             result2 += args[i];
                         Assert.AreEqual(result2, result);
                         Console.WriteLine("Verified in {0} ms", Environment.TickCount - t);
                     }
                     [TestMethod]
                     public void ComplexCase1Test() {
                         var flags = new bool[3];
                         // op1 (aync 200ms) => op2 (async 200ms) => op3 (sync map)
                         var p = PromiseHelper
                             .Sleep(200, "Alan")
                             .Cancelled(() => flags[0] = true)
                             .Chain(x =>
                                 PromiseHelper
                                     .Sleep(200, "Hi, " + x)
-                                    .Map(y => y)
+                                    .Then(y => y)
                                     .Cancelled(() => flags[1] = true)
                             )
                             .Cancelled(() => flags[2] = true);
                         Thread.Sleep(300);
                         p.Cancel();
                         try {
                             Assert.AreEqual(p.Join(), "Hi, Alan");
                             Assert.Fail("Shouldn't get here");
                         } catch (OperationCanceledException) {
                         }
                         Assert.IsFalse(flags[0]);
                         Assert.IsTrue(flags[1]);
                         Assert.IsTrue(flags[2]);
                     }
                     [TestMethod]
                     public void ChainedCancel1Test() {
                         // при отмене сцепленной асинхронной операции все обещание должно
                         // завершаться ошибкой OperationCanceledException
                         var p = PromiseHelper
                             .Sleep(1, "Hi, HAL!")
-                            .Chain(x => {
+                            .Then(x => {
                                 // запускаем две асинхронные операции
                                 var result = PromiseHelper.Sleep(1000, "HEM ENABLED!!!");
                                 // вторая операция отменяет первую до завершения
                                 PromiseHelper
                                     .Sleep(100, "HAL, STOP!")
                                     .Then(() => result.Cancel());
                                 return result;
                             });
                         try {
                             p.Join();
                         } catch (TargetInvocationException err) {
                             Assert.IsTrue(err.InnerException is OperationCanceledException);
                         }
                     }
                     [TestMethod]
                     public void ChainedCancel2Test() {
                         // при отмене цепочки обещаний, вложенные операции также должны отменяться
-                        IPromise p = null;
                         var pSurvive = new Promise<bool>();
                         var hemStarted = new ManualResetEvent(false);
-                        p = PromiseHelper
+                        var p = PromiseHelper
                             .Sleep(1, "Hi, HAL!")
                             .Chain(x => {
                                 hemStarted.Set();
                                 // запускаем две асинхронные операции
                                 var result = PromiseHelper
-                                    .Sleep(1000, "HEM ENABLED!!!")
+                                    .Sleep(10000, "HEM ENABLED!!!")
                                     .Then(s => pSurvive.Resolve(false));
                                 result
                                     .Cancelled(() => pSurvive.Resolve(true));
                                 return result;
                             });
                         hemStarted.WaitOne();
                         p.Cancel();
                         try {
                             p.Join();
                         } catch (OperationCanceledException) {
                             Assert.IsTrue(pSurvive.Join());
                         }
                     }
                 }
             }

Implab/Diagnostics/TraceContext.cs +1 -1

             using System;
             using System.Collections.Generic;
             using System.Linq;
             using System.Text;
             using System.Threading;
             using System.Threading.Tasks;
             namespace Implab.Diagnostics {
                 /// <summary>
                 /// Контекст трассировки, привязывается к потоку и содержит в себе информацию о стеке логических операций.
                 /// </summary>
                 /// <remarks>
                 /// Контекст трассировки передается слушателям событий для определения места, где возникло событие.
                 /// </remarks>
                 public class TraceContext {
                     LogicalOperation m_currentOperation;
                     readonly LogicalOperation m_bound;
                     readonly int m_threadId;
                     [ThreadStatic]
                     static TraceContext _current;
                     /// <summary>
                     /// Текущий контекст трассировки для потока, создается астоматически при первом обращении.
                     /// </summary>
                     public static TraceContext Current {
                         get {
                             if (_current == null) {
                                 _current = new TraceContext();
                                 _current.LogEvent(TraceEventType.Created,"[{0}]", _current.ThreadId);
                             }
                             return _current;
                         }
                     }
                     TraceContext(TraceContext context)
                         : this(context, false) {
                     }
                     TraceContext(TraceContext context, bool attach) {
                         if (context == null)
                             throw new ArgumentNullException("context");
                         m_currentOperation = context.CurrentOperation;
                         m_bound = attach ? context.BoundOperation : context.CurrentOperation;
                         m_threadId = Thread.CurrentThread.ManagedThreadId;
                     }
                     TraceContext() {
                         m_currentOperation = new LogicalOperation();
                         m_bound = m_currentOperation;
                         m_threadId = Thread.CurrentThread.ManagedThreadId;
                     }
                     /// <summary>
                     /// При необходимости копирует состояние контекста трассивровки в текущий поток.
                     /// </summary>
                     /// <param name="from">Исходный контекст трассировки, который передается.</param>
                     /// <remarks>
                     /// <para>
                     /// Копирование происходит за счет создания нового контекста трассировки и заполнением его
                     /// состояния из переданного контекста. При этом копируется стек операций, однако в новом
                     /// контексте ранее начатые логические операции не могут быть завершены.
                     /// </para>
                     /// <para>
                     /// Если передача состояния состоялась, то вызывается событие трассировки <see cref="TraceEventType.Fork"/>.
                     /// </para>
                     /// </remarks>
                     public static void Fork(TraceContext from) {
                         if (_current == from)
                             return;
                         if (from != null) {
                             var context = new TraceContext(from);
                             context.LogEvent(TraceEventType.Fork, "[{0}]-->[{1}]",from.ThreadId, context.ThreadId);
                             _current = context;
                         } else {
                             _current = new TraceContext();
                         }
                     }
                     /// <summary>
                     /// Задает текущему потоку указанный контекст, текущей поток может заканчивать ранее начатые
                     /// логические операции в указанном контексте.
                     /// </summary>
                     /// <param name="source"></param>
                     public static void Attach(TraceContext source) {
                         if (_current == source)
                             return;
                         if (source != null) {
                             var context = new TraceContext(source, true);
                             context.LogEvent(TraceEventType.Attach, "[{0}]-->[{1}]", source.ThreadId, context.ThreadId);
                             _current = context;
                         } else {
                             _current = new TraceContext();
                         }
                     }
                     /// <summary>
                     /// Отсоединяет текущий контекст трассировки от потока, для дальнейшей его передачи другому потоку
                     /// <see cref="Attach(TraceContext)"/>.
                     /// </summary>
                     /// <returns>Контекст трассировки потока</returns>
                     /// <remarks>
                     /// После отсоединения контекста трассировки от потока, при первом обращении к трассировке в этом
                     /// потоке будет создан новый контекст.
                     /// </remarks>
                     public static TraceContext Detach() {
                         var context = Current;
                         context.LogEvent(TraceEventType.Detach, null);
                         _current = null;
                         return context;
                     }
                     /// <summary>
                     /// Создает постоянную копию текущего контекста, данную копию можно хранить и использовать для передачи через <see cref="Fork(TraceContext)"/>
                     /// </summary>
                     /// <returns>Копия текущего контекста трассировки.</returns>
                     public static TraceContext Snapshot() {
                         return _current == null ? new TraceContext() : new TraceContext(_current,false);
                     }
                     /// <summary>
                     /// Выполняет переданное действие в указанном контексте трассировки, по окончании восстанавливает предыдущий контекст трассировки потока.
                     /// </summary>
                     /// <param name="action"></param>
                     public void Invoke(Action action) {
                         if (action == null)
                             throw new ArgumentNullException("action");
                         var old = _current;
                         Fork(this);
                         try {
                             action();
                         } finally {
                             if(_current != null)
                                 _current.EndAllOperations();
                             _current = old;
                         }
                     }
                     /// <summary>
                     /// Текущая логическая операция.
                     /// </summary>
                     public LogicalOperation CurrentOperation {
                         get {
                             return m_currentOperation;
                         }
                     }
                     /// <summary>
                     /// Операция ниже которой нельзя опускаться в стеке логических операций, т.е. она не может быть завершена в текущем контексте.
                     /// </summary>
                     public LogicalOperation BoundOperation {
                         get {
                             return m_bound;
                         }
                     }
                     /// <summary>
                     /// Поток, в котором создан контекст трассировки.
                     /// </summary>
                     public int ThreadId {
                         get {
                             return m_threadId;
                         }
                     }
                     /// <summary>
                     /// Начинает безымянную логическую операцию.
                     /// </summary>
                     public void StartLogicalOperation() {
                         StartLogicalOperation(null);
                     }
                     /// <summary>
                     /// Начинает логическую операцию с указанным именем. Созданная операция будет добвалена в стек логических операций контекста, затем будет создано соответсвующее событие.
                     /// </summary>
                     /// <param name="name">Имя начинаемой операции.</param>
                     public void StartLogicalOperation(string name) {
                         m_currentOperation = new LogicalOperation(name, m_currentOperation);
                         LogEvent(TraceEventType.OperationStarted, name);
                     }
                     /// <summary>
                     /// Заканчивает логическую операцию начатую в текущем контексте. Операции, начатые в других контекстах не могут быть закончены в текущем контексте.
                     /// </summary>
                     /// <remarks>
                     /// При вызове данного метода создается событие журнала трассировки, либо о завершении операции, либо об ошибки, поскольку данная операция
                     /// начата в другом контексте.
                     /// </remarks>
                     public void EndLogicalOperation() {
                         if (m_bound == m_currentOperation) {
                             LogEvent(TraceEventType.Error, "Trying to end the operation which isn't belongs to current trace");
                         } else {
                             var op = m_currentOperation;
                             LogEvent(TraceEventType.OperationCompleted, "{0} {1} ms", op.Name, op.Duration);
                             m_currentOperation = m_currentOperation.Parent;
                         }
                     }
                     /// <summary>
                     /// Создает копию контекста и возвращается на предыдущую операцию в текущем контексте, это позволяет начать операцию в одном потоке, а завершить - в другом.
                     /// </summary>
                     /// <returns>Контекст трассировки, который можно присоединить к другому потоку.</returns>
                     public TraceContext DetachLogicalOperation() {
                         if (m_bound == m_currentOperation) {
                             return new TraceContext();
                         } else {
                             var detached = new TraceContext(this, true);
                             m_currentOperation = m_currentOperation.Parent;
                             return detached;
                         }
                     }
                     public void BindLogicalOperationToPromise(IPromise promise) {
                         Safe.ArgumentNotNull(promise, "promise");
                         var ctx = DetachLogicalOperation();
-                        promise.Finally(() => {
+                        promise.Anyway(() => {
                             var old = _current;
                             TraceContext.Attach(ctx);
                             TraceContext.Current.EndLogicalOperation();
                             _current = old;
                         });
                     }
                     /// <summary>
                     /// Заврешает все начатые в этом контексте операции
                     /// </summary>
                     public void EndAllOperations() {
                         while (m_bound != m_currentOperation)
                             EndLogicalOperation();
                     }
                     void LogEvent(TraceEventType type, string format, params object[] args) {
                         LogChannel<TraceEvent>.Default.LogEvent(this, TraceEvent.Create(type, format, args));
                     }
                 }
             }

Implab/ICancellable.cs +1 -1

             using System;
             using System.Collections.Generic;
             using System.Linq;
             using System.Text;
             namespace Implab {
                 public interface ICancellable {
-                    bool Cancel();
+                    void Cancel();
                 }
             }

Implab/IPromise.cs +1 -1

             using System;
             using System.Collections.Generic;
             using System.Linq;
             using System.Text;
             namespace Implab {
                 public interface IPromise: ICancellable {
                     /// <summary>
                     /// Check whereather the promise has no more than one dependent promise.
                     /// </summary>
                     bool IsExclusive {
                         get;
                     }
                     /// <summary>
                     /// Тип результата, получаемого через данное обещание.
                     /// </summary>
                     Type PromiseType { get; }
                     /// <summary>
                     /// Обещание является выполненым, либо успешно, либо с ошибкой.
                     /// </summary>
                     bool IsResolved { get; }
                     /// <summary>
                     /// Обещание было отменено.
                     /// </summary>
                     bool IsCancelled { get; }
                     IPromise Then(Action success, ErrorHandler error, Action cancel);
                     IPromise Then(Action success, ErrorHandler error);
                     IPromise Then(Action success);
                     /// <summary>
                     /// Добавляет последнй обработчик в цепочку обещаний, не создает промежуточных обещаний.
                     /// </summary>
                     /// <param name="success">Success.</param>
                     /// <param name="error">Error.</param>
                     /// <param name="cancel">Cancel.</param>
                     void Last(Action success, ErrorHandler error, Action cancel);
                     void Last(Action success, ErrorHandler error);
                     void Last(Action success);
                     IPromise Error(ErrorHandler error);
                     /// <summary>
                     /// Обрабатывает либо ошибку, либо результат. Событие отмены не обрабатывается.
                     /// </summary>
                     /// <param name="handler">Обработчик.</param>
                     /// <remarks>После обработке ошибки, она передается дальше.</remarks>
                     /// <summary>
                     /// Обрабатывает либо ошибку, либо результат, либо отмену обещания.
                     /// </summary>
                     /// <param name="handler">Обработчик.</param>
                     /// <remarks>После обработке ошибки, она передается дальше.</remarks>
-                    IPromise Finally(Action handler);
+                    IPromise Anyway(Action handler);
                     /// <summary>
                     /// Обработчик для регистрации отмены обещания, событие отмены не может быть подавлено.
                     /// </summary>
                     /// <returns>Новое обещание, связанное с текущим.</returns>
                     /// <param name="handler">Обработчик события.</param>
                     /// <remarks>Если обработчик вызывает исключение, то оно передается обработчику ошибки, результат работы
                     /// которого будет передан связанному обещанию</remarks>
                     IPromise Cancelled(Action handler);
                     /// <summary>
                     /// Преобразует результат обещания к заданному типу и возвращает новое обещание.
                     /// </summary>
                     IPromise<T> Cast<T>();
                     /// <summary>
                     /// Синхронизирует текущий поток с обещанием.
                     /// </summary>
                     void Join();
                     /// <summary>
                     /// Синхронизирует текущий поток с обещанием.
                     /// </summary>
                     /// <param name="timeout">Время ожидания, по его истечению возникнет исключение.</param>
                     /// <exception cref="TimeoutException">Превышено время ожидания.</exception>
                     void Join(int timeout);
                 }
             }

Implab/IPromiseT.cs +15 -9

             using System;
             using System.Collections.Generic;
             using System.Linq;
             using System.Text;
             namespace Implab {
                 public interface IPromise<T> : IPromise {
                     new T Join();
                     new T Join(int timeout);
+                    void Last(ResultHandler<T> success, ErrorHandler error, Action cancel);
+                    void Last(ResultHandler<T> success, ErrorHandler error);
+                    void Last(ResultHandler<T> success);
                     IPromise<T> Then(ResultHandler<T> success, ErrorHandler<T> error, Action cancel);
                     IPromise<T> Then(ResultHandler<T> success, ErrorHandler<T> error);
                     IPromise<T> Then(ResultHandler<T> success);
-                    void Last(ResultHandler<T> success, ErrorHandler error, Action cancel);
+                    IPromise<T2> Then<T2>(ResultMapper<T, T2> mapper, ErrorHandler<T2> error, Action cancel);
-                    void Last(ResultHandler<T> success, ErrorHandler error);
-                    void Last(ResultHandler<T> success);
-                    IPromise<T> Error(ErrorHandler<T> error);
+                    IPromise<T2> Then<T2>(ResultMapper<T, T2> mapper, ErrorHandler<T2> error);
-                    IPromise<T2> Then<T2>(ResultMapper<T,T2> mapper, ErrorHandler<T> error);
                     IPromise<T2> Then<T2>(ResultMapper<T, T2> mapper);
-                    IPromise<T2> Then<T2>(ChainedOperation<T, T2> chained, ErrorHandler<T> error);
+                    IPromise<T2> Chain<T2>(ResultMapper<T, IPromise<T2>> chained, ErrorHandler<IPromise<T2>> error, Action cancel);
+                    IPromise<T2> Chain<T2>(ResultMapper<T, IPromise<T2>> chained, ErrorHandler<IPromise<T2>> error);
-                    IPromise<T2> Then<T2>(ChainedOperation<T, T2> chained);
+                    IPromise<T2> Chain<T2>(ResultMapper<T, IPromise<T2>> chained);
+                    IPromise<T> Error(ErrorHandler<T> error);
                     new IPromise<T> Cancelled(Action handler);
-                    new IPromise<T> Finally(Action handler);
+                    new IPromise<T> Anyway(Action handler);
                 }
             }

Implab/Parallels/ArrayTraits.cs +5 -5

             using Implab.Diagnostics;
             using System;
             using System.Collections.Generic;
             using System.Diagnostics;
             using System.Linq;
             using System.Text;
             using System.Threading;
             namespace Implab.Parallels {
                 public static class ArrayTraits {
                     class ArrayIterator<TSrc> : DispatchPool<int> {
                         readonly Action<TSrc> m_action;
                         readonly TSrc[] m_source;
                         readonly Promise<int> m_promise = new Promise<int>();
                         readonly TraceContext m_traceContext;
                         int m_pending;
                         int m_next;
                         public ArrayIterator(TSrc[] source, Action<TSrc> action, int threads)
                             : base(threads) {
                             Debug.Assert(source != null);
                             Debug.Assert(action != null);
                             m_traceContext = TraceContext.Snapshot();
                             m_next = 0;
                             m_source = source;
                             m_pending = source.Length;
                             m_action = action;
-                            m_promise.Finally(Dispose);
+                            m_promise.Anyway(Dispose);
                             InitPool();
                         }
                         public Promise<int> Promise {
                             get {
                                 return m_promise;
                             }
                         }
                         protected override void Worker() {
                             TraceContext.Fork(m_traceContext);
                             base.Worker();
                         }
                         protected override bool TryDequeue(out int unit) {
                             unit = Interlocked.Increment(ref m_next) - 1;
                             return unit < m_source.Length;
                         }
                         protected override void InvokeUnit(int unit) {
                             try {
                                 m_action(m_source[unit]);
                                 var pending = Interlocked.Decrement(ref m_pending);
                                 if (pending == 0)
                                     m_promise.Resolve(m_source.Length);
                             } catch (Exception e) {
                                 m_promise.Reject(e);
                             }
                         }
                     }
                     class ArrayMapper<TSrc, TDst>: DispatchPool<int> {
                         readonly Func<TSrc, TDst> m_transform;
                         readonly TSrc[] m_source;
                         readonly TDst[] m_dest;
                         readonly Promise<TDst[]> m_promise = new Promise<TDst[]>();
                         readonly TraceContext m_traceContext;
                         int m_pending;
                         int m_next;
                         public ArrayMapper(TSrc[] source, Func<TSrc, TDst> transform, int threads)
                             : base(threads) {
                             Debug.Assert (source != null);
                             Debug.Assert( transform != null);
                             m_next = 0;
                             m_source = source;
                             m_dest = new TDst[source.Length];
                             m_pending = source.Length;
                             m_transform = transform;
                             m_traceContext = TraceContext.Snapshot();
-                            m_promise.Finally(Dispose);
+                            m_promise.Anyway(Dispose);
                             InitPool();
                         }
                         public Promise<TDst[]> Promise {
                             get {
                                 return m_promise;
                             }
                         }
                         protected override void Worker() {
                             TraceContext.Fork(m_traceContext);
                             base.Worker();
                         }
                         protected override bool TryDequeue(out int unit) {
                             unit = Interlocked.Increment(ref m_next) - 1;
                             return unit >= m_source.Length ? false : true;
                         }
                         protected override void InvokeUnit(int unit) {
                             try {
                                 m_dest[unit] = m_transform(m_source[unit]);
                                 var pending = Interlocked.Decrement(ref m_pending);
                                 if (pending == 0)
                                     m_promise.Resolve(m_dest);
                             } catch (Exception e) {
                                 m_promise.Reject(e);
                             }
                         }
                     }
                     public static IPromise<TDst[]> ParallelMap<TSrc, TDst> (this TSrc[] source, Func<TSrc,TDst> transform, int threads) {
                         if (source == null)
                             throw new ArgumentNullException("source");
                         if (transform == null)
                             throw new ArgumentNullException("transform");
                         var mapper = new ArrayMapper<TSrc, TDst>(source, transform, threads);
                         return mapper.Promise;
                     }
                     public static IPromise<int> ParallelForEach<TSrc>(this TSrc[] source, Action<TSrc> action, int threads) {
                         if (source == null)
                             throw new ArgumentNullException("source");
                         if (action == null)
                             throw new ArgumentNullException("action");
                         var iter = new ArrayIterator<TSrc>(source, action, threads);
                         return iter.Promise;
                     }
-                    public static IPromise<TDst[]> ChainedMap<TSrc, TDst>(this TSrc[] source, ChainedOperation<TSrc, TDst> transform, int threads) {
+                    public static IPromise<TDst[]> ChainedMap<TSrc, TDst>(this TSrc[] source, ResultMapper<TSrc, IPromise<TDst>> transform, int threads) {
                         if (source == null)
                             throw new ArgumentNullException("source");
                         if (transform == null)
                             throw new ArgumentNullException("transform");
                         if (threads <= 0)
                             throw new ArgumentOutOfRangeException("Threads number must be greater then zero");
                         if (source.Length == 0)
                             return Promise<TDst[]>.ResultToPromise(new TDst[0]);
                         var promise = new Promise<TDst[]>();
                         var res = new TDst[source.Length];
                         var pending = source.Length;
                         var semaphore = new Semaphore(threads, threads);
                         // Analysis disable AccessToDisposedClosure
                         AsyncPool.InvokeNewThread(() => {
                             for (int i = 0; i < source.Length; i++) {
                                 if(promise.IsResolved)
                                     break; // stop processing in case of error or cancellation
                                 var idx = i;
                                 semaphore.WaitOne();
                                 try {
                                     var p1 = transform(source[i]);
-                                    p1.Finally(() => semaphore.Release());
+                                    p1.Anyway(() => semaphore.Release());
                                     p1.Then(
                                         x => {
                                             res[idx] = x;
                                             var left = Interlocked.Decrement(ref pending);
                                             if (left == 0)
                                                 promise.Resolve(res);
                                         },
                                         e => {
                                             promise.Reject(e);
                                             throw new TransientPromiseException(e);
                                         }
                                     );
                                 } catch (Exception e) {
                                     promise.Reject(e);
                                 }
                             }
                             return 0;
                         });
-                        return promise.Finally(semaphore.Dispose);
+                        return promise.Anyway(semaphore.Dispose);
                     }
                 }
             }

Implab/Promise.cs +145 -89

             using System;
             using System.Collections.Generic;
             using System.Reflection;
             using System.Diagnostics;
             using System.Threading;
             using Implab.Parallels;
             namespace Implab {
                 public delegate void ErrorHandler(Exception e);
                 public delegate T ErrorHandler<out T>(Exception e);
                 public delegate void ResultHandler<in T>(T result);
                 public delegate TNew ResultMapper<in TSrc,out TNew>(TSrc result);
-                public delegate IPromise<TNew> ChainedOperation<in TSrc,TNew>(TSrc result);
                 /// <summary>
                 /// Класс для асинхронного получения результатов. Так называемое "обещание".
                 /// </summary>
                 /// <typeparam name="T">Тип получаемого результата</typeparam>
                 /// <remarks>
                 /// <para>Сервис при обращении к его методу дает обещаиние о выполнении операции,
                 /// клиент получив такое обещание может установить ряд обратных вызово для получения
                 /// событий выполнения обещания, тоесть завершения операции и предоставлении результатов.</para>
                 /// <para>
                 /// Обещение может быть как выполнено, так и выполнено с ошибкой. Для подписки на
                 /// данные события клиент должен использовать методы <c>Then</c>.
                 /// </para>
                 /// <para>
                 /// Сервис, в свою очередь, по окончанию выполнения операции (возможно с ошибкой),
                 /// использует методы <c>Resolve</c> либо <c>Reject</c> для оповещения клиетна о
                 /// выполнении обещания.
                 /// </para>
                 /// <para>
                 /// Если сервер успел выполнить обещание еще до того, как клиент на него подписался,
                 /// то в момент подписки клиента будут вызваны соответсвующие события в синхронном
                 /// режиме и клиент будет оповещен в любом случае. Иначе, обработчики добавляются в
                 /// список в порядке подписания и в этом же порядке они будут вызваны при выполнении
                 /// обещания.
                 /// </para>
                 /// <para>
                 /// Обрабатывая результаты обещания можно преобразовывать результаты либо инициировать
                 /// связанные асинхронные операции, которые также возвращают обещания. Для этого следует
                 /// использовать соответствующую форму методе <c>Then</c>.
                 /// </para>
                 /// <para>
                 /// Также хорошим правилом является то, что <c>Resolve</c> и <c>Reject</c> должен вызывать
                 /// только инициатор обещания иначе могут возникнуть противоречия.
                 /// </para>
                 /// </remarks>
                 public class Promise<T> : IPromise<T> {
                     protected struct HandlerDescriptor {
                         public ResultHandler<T> resultHandler;
                         public ErrorHandler<T> errorHandler;
                         public Action cancellHandler;
                         public Promise<T> medium;
                         public void Resolve(T result) {
                             if (resultHandler != null) {
                                 try {
                                     resultHandler(result);
                                 } catch (Exception e) {
                                     Reject(e);
                                     return;
                                 }
                             }
                             if (medium != null)
                                 medium.Resolve(result);
                         }
                         public void Reject(Exception err) {
                             if (errorHandler != null) {
                                 try {
                                     var res = errorHandler(err);
                                     if (medium != null)
                                         medium.Resolve(res);
                                 } catch (TransientPromiseException err2) {
                                     if (medium != null)
                                         medium.Reject(err2.InnerException);
                                 } catch (Exception err2) {
                                     if (medium != null)
                                         medium.Reject(err2);
                                 }
                             } else if (medium != null)
                                 medium.Reject(err);
                         }
                         public void Cancel() {
                             if (cancellHandler != null) {
                                 try {
                                     cancellHandler();
                                 } catch (Exception err) {
                                     Reject(err);
                                     return;
                                 }
                             }
                             if (medium != null)
                                 medium.Cancel();
                         }
                     }
                     const int UNRESOLVED_SATE = 0;
                     const int TRANSITIONAL_STATE = 1;
                     const int SUCCEEDED_STATE = 2;
                     const int REJECTED_STATE = 3;
                     const int CANCELLED_STATE = 4;
                     readonly bool m_cancellable;
                     int m_childrenCount = 0;
                     int m_state;
                     T m_result;
                     Exception m_error;
                     readonly MTQueue<HandlerDescriptor> m_handlers = new MTQueue<HandlerDescriptor>();
                     public Promise() {
                         m_cancellable = true;
                     }
                     public Promise(IPromise parent, bool cancellable) {
                         m_cancellable = cancellable;
                         if (parent != null)
-                            Cancelled(() => {
+                            AddHandler(
+                                null,
+                                null,
+                                () => {
                                     if (parent.IsExclusive)
                                         parent.Cancel();
-                            });
+                                },
+                                null
+                            );
                     }
                     bool BeginTransit() {
                         return UNRESOLVED_SATE == Interlocked.CompareExchange(ref m_state, TRANSITIONAL_STATE, UNRESOLVED_SATE);
                     }
                     void CompleteTransit(int state) {
                         if (TRANSITIONAL_STATE != Interlocked.CompareExchange(ref m_state, state, TRANSITIONAL_STATE))
                             throw new InvalidOperationException("Can't complete transition when the object isn't in the transitional state");
                     }
                     void WaitTransition() {
                         while (m_state == TRANSITIONAL_STATE) {
                             /* noop */
                         }
                     }
                     public bool IsResolved {
                         get {
                             return m_state > 1;
                         }
                     }
                     public bool IsCancelled {
                         get {
                             return m_state == CANCELLED_STATE;
                         }
                     }
                     public Type PromiseType {
                         get { return typeof(T); }
                     }
                     /// <summary>
                     /// Выполняет обещание, сообщая об успешном выполнении.
                     /// </summary>
                     /// <param name="result">Результат выполнения.</param>
                     /// <exception cref="InvalidOperationException">Данное обещание уже выполнено</exception>
                     public void Resolve(T result) {
                         if (BeginTransit()) {
                             m_result = result;
                             CompleteTransit(SUCCEEDED_STATE);
                             OnStateChanged();
                         } else {
                             WaitTransition();
                             if (m_state != CANCELLED_STATE)
                                 throw new InvalidOperationException("The promise is already resolved");
                         }
                     }
                     /// <summary>
                     /// Выполняет обещание, сообщая об успешном выполнении. Результатом выполнения будет пустое значения.
                     /// </summary>
                     /// <remarks>
                     /// Данный вариант удобен в случаях, когда интересен факт выполнения операции, нежели полученное значение.
                     /// </remarks>
                     public void Resolve() {
                         Resolve(default(T));
                     }
                     /// <summary>
                     /// Выполняет обещание, сообщая об ошибке
                     /// </summary>
                     /// <remarks>
                     /// Поскольку обещание должно работать в многопточной среде, при его выполнении сразу несколько потоков
                     /// могу вернуть ошибку, при этом только первая будет использована в качестве результата, остальные
                     /// будут проигнорированы.
                     /// </remarks>
                     /// <param name="error">Исключение возникшее при выполнении операции</param>
                     /// <exception cref="InvalidOperationException">Данное обещание уже выполнено</exception>
                     public void Reject(Exception error) {
                         if (BeginTransit()) {
                             m_error = error;
                             CompleteTransit(REJECTED_STATE);
                             OnStateChanged();
                         } else {
                             WaitTransition();
                             if (m_state == SUCCEEDED_STATE)
                                 throw new InvalidOperationException("The promise is already resolved");
                         }
                     }
                     /// <summary>
                     /// Отменяет операцию, если это возможно.
                     /// </summary>
-                    /// <returns><c>true</c> Операция была отменена, обработчики не будут вызваны.<c>false</c> отмена не возможна, поскольку обещание уже выполнено и обработчики отработали.</returns>
+                    /// <remarks>Для определения была ли операция отменена следует использовать свойство <see cref="IsCancelled"/>.</remarks>
-                    public bool Cancel() {
+                    public void Cancel() {
                         if (m_cancellable && BeginTransit()) {
                             CompleteTransit(CANCELLED_STATE);
                             OnStateChanged();
-                            return true;
-                        return false;
                         }
-                    // сделано для возвращаемого типа void
-                    protected void InternalCancel() {
-                        Cancel();
                     }
                     public IPromise<T> Then(ResultHandler<T> success, ErrorHandler<T> error, Action cancel) {
                         if (success == null && error == null && cancel == null)
                             return this;
                         var medium = new Promise<T>(this, true);
                         AddHandler(success, error, cancel, medium);
                         return medium;
                     }
                     /// <summary>
                     /// Adds new handlers to this promise.
                     /// </summary>
                     /// <param name="success">The handler of the successfully completed operation.
                     /// This handler will recieve an operation result as a parameter.</param>
                     /// <param name="error">Handles an exception that may occur during the operation and returns the value which will be used as the result of the operation.</param>
                     /// <returns>The new promise chained to this one.</returns>
                     public IPromise<T> Then(ResultHandler<T> success, ErrorHandler<T> error) {
                         if (success == null && error == null)
                             return this;
                         var medium = new Promise<T>(this, true);
                         AddHandler(success, error, null, medium);
                         return medium;
                     }
-                    public IPromise Then(Action success, ErrorHandler error, Action cancel) {
-                        return Then(
-                            x => success(),
-                            e => {
-                                error(e);
-                                return default(T);
-                            },
-                            cancel
-                        );
-                    public IPromise Then(Action success, ErrorHandler error) {
-                        return Then(
-                            x => success(),
-                            e => {
-                                error(e);
-                                return default(T);
-                        );
-                    public IPromise Then(Action success) {
-                        return Then(x => success());
                     public IPromise<T> Then(ResultHandler<T> success) {
                         if (success == null)
                             return this;
                         var medium = new Promise<T>(this, true);
                         AddHandler(success, null, null, medium);
                         return medium;
                     }
+                    /// <summary>
+                    /// Последний обработчик в цепочки обещаний.
+                    /// </summary>
+                    /// <param name="success"></param>
+                    /// <param name="error"></param>
+                    /// <param name="cancel"></param>
+                    /// <remarks>
+                    /// <para>
+                    /// Данный метод не создает связанного с текущим обещания и предназначен для окончания
+                    /// фсинхронной цепочки.
+                    /// </para>
+                    /// <para>
+                    /// Если данный метод вызвать несколько раз, либо добавить другие обработчики, то цепочка
+                    /// не будет одиночной <see cref="IsExclusive"/> и, как следствие, будет невозможна отмена
+                    /// всей цепи обещаний снизу (с самого последнего обещания).
+                    /// </para>
+                    /// </remarks>
                     public void Last(ResultHandler<T> success, ErrorHandler error, Action cancel) {
                         if (success == null && error == null && cancel == null)
                             return;
                         ErrorHandler<T> errorHandler = null;
                         if (error != null)
                             errorHandler = err => {
                                 error(err);
                                 return default(T);
                             };
                         AddHandler(success, errorHandler, cancel, null);
                     }
                     public void Last(ResultHandler<T> success, ErrorHandler error) {
                         Last(success, error, null);
                     }
                     public void Last(ResultHandler<T> success) {
                         Last(success, null, null);
                     }
-                    public void Last(Action success,ErrorHandler error, Action cancel) {
-                        Last(x => success(), error, cancel);
-                    public void Last(Action success,ErrorHandler error) {
-                        Last(x => success(), error, null);
-                    public void Last(Action success) {
-                        Last(x => success(), null, null);
                     public IPromise Error(ErrorHandler error) {
                         if (error == null)
                             return this;
                         var medium = new Promise<T>(this, true);
                         AddHandler(
                             null,
                             e => {
                                 error(e);
                                 return default(T);
                             },
                             null,
                             medium
                         );
                         return medium;
                     }
                     /// <summary>
                     /// Handles error and allows to keep the promise.
                     /// </summary>
                     /// <remarks>
                     /// If the specified handler throws an exception, this exception will be used to reject the promise.
                     /// </remarks>
                     /// <param name="handler">The error handler which returns the result of the promise.</param>
                     /// <returns>New promise.</returns>
                     public IPromise<T> Error(ErrorHandler<T> handler) {
                         if (handler == null)
                             return this;
                         var medium = new Promise<T>(this, true);
                         AddHandler(null, handler, null, medium);
                         return medium;
                     }
                     /// <summary>
                     /// Позволяет преобразовать результат выполения операции к новому типу.
                     /// </summary>
                     /// <typeparam name="TNew">Новый тип результата.</typeparam>
                     /// <param name="mapper">Преобразование результата к новому типу.</param>
                     /// <param name="error">Обработчик ошибки. Данный обработчик получит
                     /// исключение возникшее при выполнении операции.</param>
                     /// <returns>Новое обещание, которое будет выполнено при выполнении исходного обещания.</returns>
-                    public IPromise<TNew> Then<TNew>(ResultMapper<T, TNew> mapper, ErrorHandler<T> error) {
+                    public IPromise<TNew> Then<TNew>(ResultMapper<T, TNew> mapper, ErrorHandler<TNew> error, Action cancel) {
-                        if (mapper == null)
+                        Safe.ArgumentNotNull(mapper, "mapper");
-                            throw new ArgumentNullException("mapper");
                         // создаем прицепленное обещание
-                        var chained = new Promise<TNew>(this, true);
+                        var medium = new Promise<TNew>(this, true);
-                        ResultHandler<T> resultHandler = result => chained.Resolve(mapper(result));
+                        ResultHandler<T> resultHandler = result => medium.Resolve(mapper(result));
                         ErrorHandler<T> errorHandler;
                         if (error != null)
                             errorHandler = e => {
                                 try {
-                                    return error(e);
+                                    medium.Resolve(error(e));
                                 } catch (Exception e2) {
                                     // в случае ошибки нужно передать исключение дальше по цепочке
-                                    chained.Reject(e2);
+                                    medium.Reject(e2);
                                 }
                                 return default(T);
                             };
                         else
                             errorHandler = e => {
-                                chained.Reject(e);
+                                medium.Reject(e);
                                 return default(T);
                             };
+                        Action cancelHandler;
+                        if (cancel != null)
+                            cancelHandler = () => {
+                                cancel();
+                                medium.Cancel();
+                            };
+                        else
+                            cancelHandler = medium.Cancel;
                         AddHandler(
                             resultHandler,
                             errorHandler,
-                            chained.InternalCancel,
+                            cancelHandler,
                             null
                         );
-                        return chained;
+                        return medium;
+                    }
+                    public IPromise<TNew> Then<TNew>(ResultMapper<T, TNew> mapper, ErrorHandler<TNew> error) {
+                        return Then(mapper, error, null);
                     }
                     public IPromise<TNew> Then<TNew>(ResultMapper<T, TNew> mapper) {
-                        return Then(mapper, null);
+                        return Then(mapper, null, null);
                     }
                     /// <summary>
                     /// Сцепляет несколько аснхронных операций. Указанная асинхронная операция будет вызвана после
                     /// выполнения текущей, а результат текущей операции может быть использован для инициализации
                     /// новой операции.
                     /// </summary>
                     /// <typeparam name="TNew">Тип результата указанной асинхронной операции.</typeparam>
                     /// <param name="chained">Асинхронная операция, которая должна будет начаться после выполнения текущей.</param>
                     /// <param name="error">Обработчик ошибки. Данный обработчик получит
                     /// исключение возникшее при выполнении текуещй операции.</param>
                     /// <returns>Новое обещание, которое будет выполнено по окончанию указанной аснхронной операции.</returns>
-                    public IPromise<TNew> Then<TNew>(ChainedOperation<T, TNew> chained, ErrorHandler<T> error) {
+                    public IPromise<TNew> Chain<TNew>(ResultMapper<T, IPromise<TNew>> chained, ErrorHandler<IPromise<TNew>> error, Action cancel) {
+                        Safe.ArgumentNotNull(chained, "chained");
                         // проблема в том, что на момент связывания еще не начата асинхронная операция, поэтому нужно
                         // создать посредника, к которому будут подвызяваться следующие обработчики.
                         // когда будет выполнена реальная асинхронная операция, она обратиться к посреднику, чтобы
                         // передать через него результаты работы.
                         var medium = new Promise<TNew>(this, true);
                         ResultHandler<T> resultHandler = delegate(T result) {
                             if (medium.IsCancelled)
                                 return;
                             var promise = chained(result);
-                            promise.Then(
+                            promise.Last(
                                 medium.Resolve,
-                                err => {
+                                medium.Reject,
-                                    medium.Reject(err);
+                                () => medium.Reject(new OperationCanceledException()) // внешняя отмена связанной операции рассматривается как ошибка
-                                    throw new TransientPromiseException(err);
+                            );
+                            // notify chained operation that it's not needed anymore
+                            // порядок вызова Then, Cancelled важен, поскольку от этого
+                            // зависит IsExclusive
+                            medium.Cancelled(() => {
+                                if (promise.IsExclusive)
+                                    promise.Cancel();
+                            });
+                        };
+                        ErrorHandler<T> errorHandler;
+                        if (error != null)
+                            errorHandler = delegate(Exception e) {
+                                try {
+                                    var promise = error(e);
+                                    promise.Last(
+                                        medium.Resolve,
+                                        medium.Reject,
+                                        () => medium.Reject(new OperationCanceledException()) // внешняя отмена связанной операции рассматривается как ошибка
                                     );
                                     // notify chained operation that it's not needed anymore
                                     // порядок вызова Then, Cancelled важен, поскольку от этого
                                     // зависит IsExclusive
                                     medium.Cancelled(() => {
                                         if (promise.IsExclusive)
                                             promise.Cancel();
                                     });
+                                } catch (Exception e2) {
-                            // внешняя отмена связанной операции рассматривается как ошибка
+                                    medium.Reject(e2);
-                            promise.Cancelled(() => medium.Reject(new OperationCanceledException()));
+                                return default(T);
+                            };
+                        else
+                            errorHandler = err => {
+                                medium.Reject(err);
+                                return default(T);
                             };
-                        ErrorHandler<T> errorHandler = delegate(Exception e) {
-                            if (error != null) {
+                        Action cancelHandler;
-                                try {
+                        if (cancel != null)
-                                    return error(e);
+                            cancelHandler = () => {
-                                } catch (Exception e2) {
+                                if (cancel != null)
-                                    medium.Reject(e2);
+                                    cancel();
-                                    return default(T);
+                                medium.Cancel();
-                            // в случае ошибки нужно передать исключение дальше по цепочке
-                            medium.Reject(e);
-                            return default(T);
                             };
+                        else
+                            cancelHandler = medium.Cancel;
                         AddHandler(
                             resultHandler,
                             errorHandler,
-                            medium.InternalCancel,
+                            cancelHandler,
                             null
                         );
                         return medium;
                     }
-                    public IPromise<TNew> Then<TNew>(ChainedOperation<T, TNew> chained) {
+                    public IPromise<TNew> Chain<TNew>(ResultMapper<T, IPromise<TNew>> chained, ErrorHandler<IPromise<TNew>> error) {
-                        return Then(chained, null);
+                        return Chain(chained, error, null);
+                    }
+                    public IPromise<TNew> Chain<TNew>(ResultMapper<T, IPromise<TNew>> chained) {
+                        return Chain(chained, null, null);
                     }
                     public IPromise<T> Cancelled(Action handler) {
                         var medium = new Promise<T>(this,true);
                         AddHandler(null, null, handler, medium);
                         return medium;
                     }
                     /// <summary>
                     /// Adds the specified handler for all cases (success, error, cancel)
                     /// </summary>
                     /// <param name="handler">The handler that will be called anyway</param>
                     /// <returns>self</returns>
-                    public IPromise<T> Finally(Action handler) {
+                    public IPromise<T> Anyway(Action handler) {
-                        if (handler == null)
+                        Safe.ArgumentNotNull(handler, "handler");
-                            throw new ArgumentNullException("handler");
                         AddHandler(
                             x => handler(),
                             e => {
                                 handler();
                                 throw new TransientPromiseException(e);
                             },
                             handler,
                             null
                         );
                         return this;
                     }
                     /// <summary>
                     /// Преобразует результат обещания к нужному типу
                     /// </summary>
                     /// <typeparam name="T2"></typeparam>
                     /// <returns></returns>
                     public IPromise<T2> Cast<T2>() {
                         return Then(x => (T2)(object)x, null);
                     }
                     /// <summary>
                     /// Дожидается отложенного обещания и в случае успеха, возвращает
                     /// его, результат, в противном случае бросает исключение.
                     /// </summary>
                     /// <remarks>
                     /// <para>
                     /// Если ожидание обещания было прервано по таймауту, это не значит,
                     /// что обещание было отменено или что-то в этом роде, это только
                     /// означает, что мы его не дождались, однако все зарегистрированные
                     /// обработчики, как были так остались и они будут вызваны, когда
                     /// обещание будет выполнено.
                     /// </para>
                     /// <para>
                     /// Такое поведение вполне оправдано поскольку таймаут может истечь
                     /// в тот момент, когда началась обработка цепочки обработчиков, и
                     /// к тому же текущее обещание может стоять в цепочке обещаний и его
                     /// отклонение может привести к непрогнозируемому результату.
                     /// </para>
                     /// </remarks>
                     /// <param name="timeout">Время ожидания</param>
                     /// <returns>Результат выполнения обещания</returns>
                     public T Join(int timeout) {
                         var evt = new ManualResetEvent(false);
-                        Finally(() => evt.Set());
+                        Anyway(() => evt.Set());
                         if (!evt.WaitOne(timeout, true))
                             throw new TimeoutException();
                         switch (m_state) {
                             case SUCCEEDED_STATE:
                                 return m_result;
                             case CANCELLED_STATE:
                                 throw new OperationCanceledException();
                             case REJECTED_STATE:
                                 throw new TargetInvocationException(m_error);
                             default:
                                 throw new ApplicationException(String.Format("Invalid promise state {0}", m_state));
                         }
                     }
                     public T Join() {
                         return Join(Timeout.Infinite);
                     }
                     void AddHandler(ResultHandler<T> success, ErrorHandler<T> error, Action cancel, Promise<T> medium) {
                         if (success != null || error != null)
                             Interlocked.Increment(ref m_childrenCount);
                         var handler = new HandlerDescriptor {
                             resultHandler = success,
                             errorHandler = error,
                             cancellHandler = cancel,
                             medium = medium
                         };
                         bool queued;
                         if (!IsResolved) {
                             m_handlers.Enqueue(handler);
                             queued = true;
                         } else {
                             // the promise is in resolved state, just invoke the handled with minimum overhead
                             queued = false;
                             InvokeHandler(handler);
                         }
                         if (queued && IsResolved && m_handlers.TryDequeue(out handler))
                             // if the promise have been resolved while we was adding handler to the queue
                             // we can't guarantee that someone is still processing it
                             // therefore we will fetch a handler from the queue and execute it
                             // note that fetched handler may be not the one that we have added
                             // even we can fetch no handlers at all :)
                             InvokeHandler(handler);
                     }
                     protected virtual void InvokeHandler(HandlerDescriptor handler) {
                         switch (m_state) {
                             case SUCCEEDED_STATE:
                                 handler.Resolve(m_result);
                                 break;
                             case REJECTED_STATE:
                                 handler.Reject(m_error);
                                 break;
                             case CANCELLED_STATE:
                                 handler.Cancel();
                                 break;
                             default:
                                 // do nothing
                                 return;
                         }
                     }
                     void OnStateChanged() {
                         HandlerDescriptor handler;
                         while (m_handlers.TryDequeue(out handler))
                             InvokeHandler(handler);
                     }
                     public bool IsExclusive {
                         get {
                             return m_childrenCount <= 1;
                         }
                     }
                     /// <summary>
                     /// Объединяет несколько обещаний в одно, результатом которого является массив результатов других обещаний.
                     /// Если хотябы одно из переданных обещаний не будет выполнено, то новое обещение тоже не будет выполнено.
                     /// При отмене нового обещания, переданные обещания также будут отменены, если никто больше на них не подписан.
                     /// </summary>
                     /// <param name="promises">Список обещаний. Если список пустой, то результирующее обещание возвращается уже выполненным.</param>
                     /// <returns>Обещание объединяющее в себе результат переданных обещаний.</returns>
                     /// <exception cref="ArgumentNullException"><paramref name="promises"/> не может быть null</exception>
                     public static IPromise<T[]> CreateComposite(IList<IPromise<T>> promises) {
                         if (promises == null)
                             throw new ArgumentNullException();
                         // создаем аккумулятор для результатов и результирующее обещание
                         var result = new T[promises.Count];
                         var promise = new Promise<T[]>();
                         // special case
                         if (promises.Count == 0) {
                             promise.Resolve(result);
                             return promise;
                         }
                         int pending = promises.Count;
                         for (int i = 0; i < promises.Count; i++) {
                             var dest = i;
                             if (promises[i] != null) {
                                 promises[i].Then(
                                     x => {
                                         result[dest] = x;
                                         if (Interlocked.Decrement(ref pending) == 0)
                                             promise.Resolve(result);
                                     },
                                     e => {
                                         promise.Reject(e);
                                         return default(T);
                                     }
                                 );
                             } else {
                                 if (Interlocked.Decrement(ref pending) == 0)
                                     promise.Resolve(result);
                             }
                         }
                         promise.Cancelled(
                             () => {
                                 foreach (var d in promises)
                                     if (d != null && d.IsExclusive)
                                         d.Cancel();
                             }
                         );
                         return promise;
                     }
                     /// <summary>
                     /// Объединяет несколько обещаний в одно. Результирующее обещание будет выполнено при
                     /// выполнении всех указанных обещаний. При этом возвращаемые значения первичных обещаний
                     /// игнорируются.
                     /// </summary>
                     /// <param name="promises">Коллекция первичных обещаний, которые будут объеденены в одно.</param>
                     /// <returns>Новое обещание, объединяющее в себе переданные.</returns>
                     /// <remarks>
                     /// Если в коллекции встречаюься <c>null</c>, то они воспринимаются как выполненные обещания.
                     /// </remarks>
                     public static IPromise CreateComposite(ICollection<IPromise> promises) {
                         if (promises == null)
                             throw new ArgumentNullException();
                         if (promises.Count == 0)
                             return Promise<object>.ResultToPromise(null);
                         int countdown = promises.Count;
                         var result = new Promise<object>();
                         foreach (var d in promises) {
                             if (d == null) {
                                 if (Interlocked.Decrement(ref countdown) == 0)
                                     result.Resolve(null);
                             } else {
                                 d.Then(() => {
                                     if (Interlocked.Decrement(ref countdown) == 0)
                                         result.Resolve(null);
                                 });
                             }
                         }
                         result.Cancelled(() => {
                             foreach (var d in promises)
                                 if (d != null && d.IsExclusive)
                                     d.Cancel();
                         });
                         return result;
                     }
                     public static Promise<T> ResultToPromise(T result) {
                         var p = new Promise<T>();
                         p.Resolve(result);
                         return p;
                     }
                     public static Promise<T> ExceptionToPromise(Exception error) {
                         if (error == null)
                             throw new ArgumentNullException();
                         var p = new Promise<T>();
                         p.Reject(error);
                         return p;
                     }
                     #region IPromiseBase explicit implementation
+                    IPromise IPromise.Then(Action success, ErrorHandler error, Action cancel) {
+                        return Then(
+                            x => success(),
+                            e => {
+                                error(e);
+                                return default(T);
+                            },
+                            cancel
+                        );
+                    }
+                    IPromise IPromise.Then(Action success, ErrorHandler error) {
+                        return Then(
+                            x => success(),
+                            e => {
+                                error(e);
+                                return default(T);
+                            }
+                        );
+                    }
+                    IPromise IPromise.Then(Action success) {
+                        return Then(x => success());
+                    }
+                    void IPromise.Last(Action success, ErrorHandler error, Action cancel) {
+                        Last(x => success(), error, cancel);
+                    }
+                    void IPromise.Last(Action success, ErrorHandler error) {
+                        Last(x => success(), error, null);
+                    }
+                    void IPromise.Last(Action success) {
+                        Last(x => success(), null, null);
+                    }
                     IPromise IPromise.Error(ErrorHandler error) {
                         return Error(error);
                     }
-                    IPromise IPromise.Finally(Action handler) {
+                    IPromise IPromise.Anyway(Action handler) {
-                        return Finally(handler);
+                        return Anyway(handler);
                     }
                     IPromise IPromise.Cancelled(Action handler) {
                         return Cancelled(handler);
                     }
                     void IPromise.Join() {
                         Join();
                     }
                     void IPromise.Join(int timeout) {
                         Join(timeout);
                     }
                     #endregion
                 }
             }

Implab/PromiseExtensions.cs +8 -12

             using System.Threading;
             using System;
             #if NET_4_5
             using System.Threading.Tasks;
             #endif
             namespace Implab {
                 public static class PromiseExtensions {
                     public static IPromise<T> DispatchToCurrentContext<T>(this IPromise<T> that) {
                         Safe.ArgumentNotNull(that, "that");
                         var context = SynchronizationContext.Current;
                         if (context == null)
                             return that;
                         var p = new SyncContextPromise<T>(context, that, true);
-                        that.Then(
+                        that.Last(
-                            x => p.Resolve(x),
+                            p.Resolve,
-                            e => {
+                            p.Reject,
-                                p.Reject(e);
+                            p.Cancel
-                                return default(T);
                         );
                         return p;
                     }
                     public static IPromise<T> DispatchToContext<T>(this IPromise<T> that, SynchronizationContext context) {
                         Safe.ArgumentNotNull(that, "that");
                         Safe.ArgumentNotNull(context, "context");
                         var p = new SyncContextPromise<T>(context, that, true);
-                        that.Then(
+                        that.Last(
-                            x => p.Resolve(x),
+                            p.Resolve,
-                            e => {
+                            p.Reject,
-                                p.Reject(e);
+                            p.Cancel
-                                return default(T);
                         );
                         return p;
                     }
                     public static AsyncCallback AsyncCallback<T>(this Promise<T> that, Func<IAsyncResult,T> callback) {
                         Safe.ArgumentNotNull(that, "that");
                         Safe.ArgumentNotNull(callback, "callback");
                         return ar => {
                             try {
                                 that.Resolve(callback(ar));
                             } catch (Exception err) {
                                 that.Reject(err);
                             }
                         };
                     }
                     #if NET_4_5
                     public static Task<T> GetTask<T>(this IPromise<T> that) {
                         Safe.ArgumentNotNull(that, "that");
                         var tcs = new TaskCompletionSource<T>();
                         that.Last(tcs.SetResult, tcs.SetException, tcs.SetCanceled);
                         return tcs.Task;
                     }
                     #endif
                 }
             }

Implab/Properties/AssemblyInfo.cs +1 -1

             using System.Reflection;
             using System.Runtime.CompilerServices;
             using System.Runtime.InteropServices;
             // Information about this assembly is defined by the following attributes.
             // Change them to the values specific to your project.
             [assembly: AssemblyTitle("Implab")]
             [assembly: AssemblyDescription("Tools")]
             [assembly: AssemblyConfiguration("")]
             [assembly: AssemblyCompany("")]
             [assembly: AssemblyProduct("")]
             [assembly: AssemblyCopyright("Implab")]
             [assembly: AssemblyTrademark("")]
             // The assembly version has the format "{Major}.{Minor}.{Build}.{Revision}".
             // The form "{Major}.{Minor}.*" will automatically update the build and revision,
             // and "{Major}.{Minor}.{Build}.*" will update just the revision.
-            [assembly: AssemblyVersion("1.0.*")]
+            [assembly: AssemblyVersion("2.0.*")]
             [assembly: ComVisible(false)]
             // The following attributes are used to specify the signing key for the assembly,
             // if desired. See the Mono documentation for more information about signing.
             //[assembly: AssemblyDelaySign(false)]
             //[assembly: AssemblyKeyFile("")]

Implab/TaskController.cs +2 -6

             using System;
             using System.Collections.Generic;
             using System.Linq;
             using System.Text;
             using System.Threading;
             namespace Implab
             {
                 /// <summary>
                 /// This class allows to interact with asyncronuos task.
                 /// </summary>
                 /// <remarks>
                 /// Members of this object are thread safe.
                 /// </remarks>
                 public class TaskController: IProgressNotifier, ITaskController
                 {
                     readonly object m_lock;
                     string m_message;
                     float m_current;
                     float m_max;
                     bool m_cancelled;
                     public event EventHandler Cancelled;
                     public event EventHandler<ValueEventArgs<string>> MessageUpdated;
                     public event EventHandler<ValueEventArgs<float>> ProgressUpdated;
                     public event EventHandler<ProgressInitEventArgs> ProgressInit;
                     public TaskController()
                     {
                         m_lock = new Object();
                     }
                     public string Message
                     {
                         get
                         {
                             lock (m_lock)
                                 return m_message;
                         }
                         set
                         {
                             lock (m_lock)
                             {
                                 m_message = value;
                                 OnMessageUpdated();
                             }
                         }
                     }
                     public float CurrentProgress
                     {
                         get
                         {
                             lock (m_lock)
                                 return m_current;
                         }
                         set
                         {
                             lock (m_lock)
                             {
                                 var prev = m_current;
                                 m_current = value;
                                 if (m_current >= m_max)
                                     m_current = m_max;
                                 if (m_current != prev)
                                     OnProgressUpdated();
                             }
                         }
                     }
                     public void InitProgress(float current, float max, string message)
                     {
                         if (max < 0)
                             throw new ArgumentOutOfRangeException("max");
                         if (current < 0 || current > max)
                             throw new ArgumentOutOfRangeException("current");
                         lock(m_lock) {
                             m_current = current;
                             m_max = max;
                             m_message = message;
                             OnProgressInit();
                         }
                     }
                     public bool IsCancelled {
                         get {
                             lock (m_lock)
                                 return m_cancelled;
                         }
                     }
-                    public bool Cancel() {
+                    public void Cancel() {
                         lock (m_lock) {
-                            if (!m_cancelled) {
+                            if (!m_cancelled)
                                 m_cancelled = true;
-                                return true;
-                            } else {
-                                return false;
                         }
                     }
                     protected virtual void OnCancelled() {
                         var temp = Cancelled;
                         if (temp != null) {
                             temp(this,new EventArgs());
                         }
                     }
                     protected virtual void OnMessageUpdated()
                     {
                         var temp = MessageUpdated;
                         if (temp != null)
                         {
                             temp(this, new ValueEventArgs<string>(m_message));
                         }
                     }
                     protected virtual void OnProgressUpdated()
                     {
                         var temp = ProgressUpdated;
                         if (temp != null)
                         {
                             temp(this,new ValueEventArgs<float>(m_current));
                         }
                     }
                     protected virtual void OnProgressInit()
                     {
                         var temp = ProgressInit;
                         if (temp != null)
                         {
                             temp(this, new ProgressInitEventArgs(m_current,m_max, m_message));
                         }
                     }
                 }
             }

General Comments 0

Write
Preview

You need to be logged in to leave comments. Login now

No TODOs yet

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages