.NET框架設計(高級框架架構模式)—鈍化程序、邏輯凍結、凍結程序的延續、瞬間轉移

本文轉載自查看原文 2013-08-11 16:51 4940 應用框架設計/ 系統架構設計/ .NET框架設計、框架設計、C#編程思想/ 企業架構、設計模式/ 組件、中間件開發

閱讀目錄：

1.開篇介紹
2.程序書簽（代碼書簽機制）
- 2.1ProgramBookmark 實現（使用委托來錨點代碼書簽）
- 2.2ProgramBookmarkManager書簽管理器（對象化書簽集合的處理，IEnumerable<T>書簽管理）
3.可恢復語句組件（將語句對象化）
- 3.1可恢復語句組件管理器（將可恢復語句視為普通的對象成員，IEnumerable<T>可恢復語句組件）
- 3.2可恢復語句組件運行時（Program CLR（簡介））
- 3.3可恢復語句邏輯配置（規則的配置（簡介））
- 3.4可恢復語句邏輯傳輸（將邏輯語句對象遠程傳輸（簡介））
4.DomainModel規則引擎（規則持久化后管理配置（簡介)）

1】開篇介紹

這一篇文章我早准備寫的，遲遲未寫的原因是它過於抽象不太容易表達，也很難掌握；之前對它的理解還處於比較簡單的功能性上，但是最近隨着對領域驅動設計及架構的研究，設計思想有了一個提升對它的理解也有了一個更清晰的輪廓，所以才敢下手去寫，這么好的一篇文章不能搞砸了；

“鈍化語句” 簡單描述：將基於棧的調用抽象成基於我們自己構建的虛擬運行時調用；

比如我們可以將普通的IF\ELSE調用進行對象化，然后就可以對他們進行面向對象的設計了;能做的事情就太多了，比如將所有的方法放入一個for循環語句組件當中去，它會自動的去循環執行，而不需要我們再去自己寫for語句；然后在此基礎上進行代碼書簽抽象對所有的代碼片段進行類似邏輯錨點的設定；

更嚇人的是可以瞬間將語句組件鈍化，其實也就是瞬間凍結然后持久化，在遙遠的地方再將它喚醒執行，很可能你的語句在你這台電腦上執行了一半由於你臨時有事然后語句被鈍化，在另外一台電腦上繼續你的工作，是不是很方便；當然它的使用方式多種多樣了；

我相信這篇文章絕對讓你對 .NET框架設計 感興趣，框架設計思想其實真的很美，讓人陶醉；

2】程序書簽（代碼書簽機制）

美好的一切都要有一個良性的開始，程序的鈍化少不了對程序的邏輯保存的功能；有一個連續的調用穿過N個方法，方法一調用方法二，方法二調用方法三，這樣的調用層次是根據業務的需求來定的，就好比一個復雜的業務邏輯這樣的處理下去合情合理；

那么什么是代碼書簽呢？其實我們仔細分析一下我們日常所寫的代碼基本上都是由方法組合而成，不管是實例類還是靜態類都是通過方法將彼此聯系起來，所有的業務邏輯都是包裝在方法的內部處理的，這里的代碼書簽就是方法的可持久化抽象；

試想一下，我們要想將程序的邏輯流程鈍化肯定是少不了對邏輯調用的保存；原本的程序邏輯是線程本地的執行路徑，屬於.NETCLR直接管理的，依賴於棧的執行，所以我們無法干預其生命周期過程，那么我們只有將它們對象化后才能由我們自己操控；

圖1：

上圖的意思是說在一個流程的開始到結束基本上三個重要環節，Begin\Processs…\End過程，在每個過程中需要不同的處理邏輯，在圖的偏上方，我們有三個ProcessName名稱的小方塊表示程序的調用順序，ProcessName1調用ProcessName2調用ProcessName3；

在ProcessName2的上面我們加了一個Bookmark的標記，表示我們這里所說的代碼書簽，通過代碼書簽我們就可以記錄下本次執行到哪里了，就好比我們在看書的時候都有一個買書時贈送的書簽卡，我們看到哪里就把這個書簽卡插在那里，當下次要看的時候直接找到這個書簽卡繼續看；

這里的代碼書簽跟這個是一樣的道理，理論就是這些我們下面通過示例代碼來親身體驗一下這種設計模式；

2.1】ProgramBookmark 實現（使用委托來錨定代碼書簽）

委托是天生的方法標簽，通過委托我們完全可以將一個實例的方法直接錨定下來；

【有關對委托的高級應用不太清楚的可以參見本人的這兩篇文章：

.NET框架設計（一：常被忽視的C#設計技巧）、.NET框架設計（二：常被忽視的框架設計技巧）】

我們來構造代碼書簽對象：

 1 /*==============================================================================
 2  * Author:深度訓練
 3  * Create time: 2013-08-10
 4  * Blog Address:http://www.cnblogs.com/wangiqngpei557/
 5  * Author Description:特定領域軟件工程實踐；
 6  *==============================================================================*/
 7   
 8 namespace ProgramComponent
 9 {
10     using System;
11   
12     /// <summary>
13     /// Program book mark.
14     /// </summary>
15     [Serializable]
16     public class ProgramBookmark
17     {
18         /// <summary>
19         /// Mark program book mark.
20         /// </summary>
21         /// <param name="name">Mark name.</param>
22         /// <param name="continueAt">Program continue.</param>
23         public ProgramBookmark(string name, ProgramBookmarkLocation continueAt)
24         {
25             this.markname = name;
26             this.continueAt = continueAt;
27         }
28   
29         private string markname;
30         /// <summary>
31         /// Book mark name.
32         /// </summary>
33         public string BookmarkName { get { return markname; } }
34   
35         private ProgramBookmarkLocation continueAt;
36         /// <summary>
37         /// Continue location.
38         /// </summary>
39         public ProgramBookmarkLocation ContinueAt { get { return continueAt; } }
40   
41         /// <summary>
42         /// Program load data.
43         /// </summary>
44         public object Payload { get; set; }
45     }
46     /// <summary>
47     /// Program book mark location.
48     /// </summary>
49     /// <param name="resumed">Resumed bookmark.</param>
50     public delegate void ProgramBookmarkLocation(ProgramBookmark resumed);
51 }

View Code

這段代碼是對代碼書簽的抽象，構造函數傳入一個代碼書簽的名稱、書簽所表示的物理代碼錨點，Payload是表示每次執行物理代碼時的輸入參數；

上面代碼看似簡單其實很不簡單，它的背后隱藏着一個很大的設計思想：

將一塊很大的邏輯代碼拆成很多零碎的方法片段，很多人可能會覺得設計本身不就這樣要求的嘛，那你可能真的沒有深入理解代碼碎片會后需要對所有的方法參數進行對象化，不管什么方法都會是同樣的參數，只有這樣才能讓書簽連續起作用；

下面我們來看一下代碼書簽有多巧妙，我們來構造一個簡單的示例代碼，當然你完全可以設計的很復雜很強大，這里畢竟是傳遞這種設計思想為主；

 1 /*==============================================================================
 2  * Author:深度訓練
 3  * Create time: 2013-08-10
 4  * Blog Address:http://www.cnblogs.com/wangiqngpei557/
 5  * Author Description:特定領域軟件工程實踐；
 6  *==============================================================================*/
 7   
 8 using System;
 9 using System.Collections.Generic;
10 using System.Linq;
11 using System.Text;
12 using System.Threading.Tasks;
13   
14 namespace ConsoleApplication1
15 {
16     [Serializable]
17     public class OrderCheckFlows
18     {
19         private IList<ProgramComponent.ProgramBookmark> flowsManager = new List<ProgramComponent.ProgramBookmark>();
20   
21         public OrderCheckFlows()
22         {
23             ProgramComponent.ProgramBookmark bookmarkCheckOrderPrices =
24                 new ProgramComponent.ProgramBookmark("checkPrices", new ProgramComponent.ProgramBookmarkLocation(CheckOrderPrices));
25   
26             flowsManager.Add(bookmarkCheckOrderPrices);
27         }
28   
29         public void StartCheck()
30         {
31             do
32             {
33                 flowsManager[0].ContinueAt(flowsManager[0]);
34             }
35             while (flowsManager.Count > 0);
36         }
37   
38         #region business flows
39         public void CheckOrderPrices(ProgramComponent.ProgramBookmark nextCheck)
40         {
41             Console.WriteLine("checkPrices...");
42   
43             ProgramComponent.ProgramBookmark bookmarkCheckOrderPrices =
44                 new ProgramComponent.ProgramBookmark("checkPrices", new ProgramComponent.ProgramBookmarkLocation(CheckOrderItems));
45             bookmarkCheckOrderPrices.Payload = true;//method parameters.
46             flowsManager.Add(bookmarkCheckOrderPrices);
47   
48             flowsManager.RemoveAt(0);
49         }
50   
51         public void CheckOrderItems(ProgramComponent.ProgramBookmark nextCheck)
52         {
53             if ((bool)nextCheck.Payload)
54             {
55                 Console.WriteLine("checkItems...");
56             }
57             else
58             {
59                 Console.WriteLine("end check items.");
60             }
61             flowsManager.RemoveAt(0);
62         }
63         #endregion
64     }
65 }

View Code

這個類是一個簡單的模擬檢查訂單的一系列的業務流程；

圖2：

上圖能看見流程順利執行完畢了，那么我們來解釋一下重要的代碼片段；

圖3：

在第一個流程里面我們構造一個通往下一個流程的 ProgramComponent.ProgramBookmark 對象，如果這里出現關於流程無法繼續下去的條件就可以不創建往下執行的代碼書簽；在第二流程里面我們獲取第一個流程設置的參數，這里是一個Bool值，可以用來判斷上一個執行是否成功等信息；

2.2】ProgramBookmarkManager書簽管理器（書簽集合的處理，IEnumerable<T>書簽管理）

上一節我們完成了對代碼書簽的抽象實現，但是代碼還有很多值得抽象設計的地方，上面的代碼中最不太理解的地方就是對書簽集合的操作上，很不OO；

那么這一節我們將把它改進，形成OO方式的調用，先看一下哪里不太理解；

圖4：

第一個地方就是在聲明ProgramCompoent.ProgramBookmark集合上，這樣寫問題太大了，無法進行擴展改進；然后就是在構造函數中，我們使用了很長一段代碼來構造一個ProgramCompoent.ProgramBookmark對象，完全可以減少很多；還有就是在StartCheck方法的內部中進行循環調用書簽的代碼，也很有問題，完全可以封裝在內部實現，外部直接一個CurrentProgram屬性執行就行了；

那么對這些問題我們其實少一個ProgramCompoent.ProgramBookmark的管理器對象ProgramCompoent.ProgramBookmarkManager對象，它負責管理所有跟ProgramCompoent.ProgramBookmark對象相關的工作；

 1 /*==============================================================================
 2  * Author:深度訓練
 3  * Create time: 2013-08-10
 4  * Blog Address:http://www.cnblogs.com/wangiqngpei557/
 5  * Author Description:特定領域軟件工程實踐；
 6  *==============================================================================*/
 7   
 8   
 9 namespace ProgramComponent
10 {
11     using System.Collections.Generic;
12   
13     /// <summary>
14     /// Program book mark Manager.<see cref="System.Collections.Dictionary{BookmarkName,ProgramBookmark}"/>
15     /// </summary>
16     public class ProgramBookmarkManager : Dictionary<string, ProgramBookmark>
17     {
18         /// <summary>
19         /// Add programbookmark and instant next programbookmark.
20         /// </summary>
21         /// <param name="bookmark"><see cref="ProgramComponent.ProgramBookmark"/></param>
22         public void Add(ProgramBookmark bookmark)
23         {
24             base.Add(bookmark.BookmarkName, bookmark);
25         }
26         /// <summary>
27         /// Remove programbookmark.
28         /// </summary>
29         /// <param name="bookmark"><see cref="ProgramComponent.ProgramBookmark"/></param>
30         public void Remove(ProgramBookmark bookmark)
31         {
32             base.Remove(bookmark.BookmarkName);
33         }
34         /// <summary>
35         /// Resume  bookmark by bookmarkname.
36         /// </summary>
37         /// <param name="bookmarkName">bookmark name.</param>
38         /// <param name="payload">Continue load.</param>
39         public void Resume(string bookmarkName, object payload)
40         {
41             ProgramBookmark bookmark;
42             this.TryGetValue(bookmarkName, out bookmark);
43             if (bookmark != null)
44             {
45                 bookmark.Payload = payload;
46                 bookmark.ContinueAt(bookmark);
47             }
48         }
49     }
50 }

View Code

書簽管理器基本功能還算簡單，主要的方法Resume是用來恢復指定的書簽的；再來看一下訂單檢查流程調用；

 1 /*==============================================================================
 2  * Author:深度訓練
 3  * Create time: 2013-08-10
 4  * Blog Address:http://www.cnblogs.com/wangiqngpei557/
 5  * Author Description:特定領域軟件工程實踐；
 6  *==============================================================================*/
 7   
 8 namespace ConsoleApplication1
 9 {
10     using System;
11     using ProgramComponent;
12   
13     [Serializable]
14     public class OrderCheckFlows
15     {
16         private ProgramBookmarkManager BookmarkManager = new ProgramBookmarkManager();
17   
18         public OrderCheckFlows()
19         {
20             BookmarkManager.Add(new ProgramBookmark("checkPrices", new ProgramBookmarkLocation(CheckOrderPrices)));
21         }
22   
23         public void StartCheck()
24         {
25             BookmarkManager.Resume("checkPrices", null);
26         }
27   
28         #region business flows
29         public void CheckOrderPrices(ProgramComponent.ProgramBookmark nextCheck)
30         {
31             Console.WriteLine("checkPrices...");
32             BookmarkManager.Remove(nextCheck);
33   
34             BookmarkManager.Add(new ProgramBookmark("checkItems", new ProgramBookmarkLocation(CheckOrderItems)));
35             BookmarkManager.Resume("checkItems", true);
36         }
37   
38         public void CheckOrderItems(ProgramComponent.ProgramBookmark nextCheck)
39         {
40             if ((bool)nextCheck.Payload)
41                 Console.WriteLine("checkItems...");
42             else
43                 Console.WriteLine("end check items.");
44   
45             BookmarkManager.Remove(nextCheck);
46         }
47         #endregion
48     }
49 }

View Code

是不是比之前的代碼好多了，我感覺是好多了，當然還有很大的重構空間；

這里其實已經可以和鏈式編程的機制掛鈎了，我們可以通過給書簽管理器添加N個擴展方法來使書簽管理器具有跟鏈式的調用；

3】可恢復語句組件（將可恢復語句對象化）

要想把所有的調用都拆開來使用松散的方式組合，通過使用書簽機制基本上能將所有的方法進行松散組合；那么我們還需要將邏輯語法進行對象化才能做到無死角的松散；

什么叫語句組件，就是將一些原本無法獨立的一些邏輯判斷、循環之類的語句對象化，形成更具有對象的組件；

試想一下，如果我們將所有的這些邏輯語法對象化后我們的代碼中還有精密耦合的代碼嗎？就算有也應該會很少，是不是很神奇；

其實對 企業應用架構 中的 規約模式 有所了解的人應該會比較熟悉這一節的內容，跟規約模式很像，但不是一個東西，側重點不同；語句組件全面的概念是將所有的調用都對象化，包括一些輸出、輸入、網絡調用等等，這樣才是全部的語句組件定義，還記得我們上面的訂單檢查對象嘛，那個也是語句組件之一；

我們來構造可恢復語句組件對象；

ProgramComponent.LanguageComponent.LanguageComponent類代碼：

 1 /*==============================================================================
 2  * Author:深度訓練
 3  * Create time: 2013-08-10
 4  * Blog Address:http://www.cnblogs.com/wangiqngpei557/
 5  * Author Description:特定領域軟件工程實踐；
 6  *==============================================================================*/
 7   
 8 namespace ProgramComponent.LanguageComponent
 9 {
10     using System;
11   
12     [Serializable]
13     public abstract class LanguageComponent
14     {
15         public abstract void Run(ProgramBookmarkManager mgr);
16     }
17 }

View Code

ProgramComponent.LanguageComponent.LanguageComponentBlock類代碼：

 1 /*==============================================================================
 2  * Author:深度訓練
 3  * Create time: 2013-08-10
 4  * Blog Address:http://www.cnblogs.com/wangiqngpei557/
 5  * Author Description:特定領域軟件工程實踐；
 6  *==============================================================================*/
 7   
 8   
 9 namespace ProgramComponent.LanguageComponent
10 {
11     using System.Collections.Generic;
12   
13     public class LanguageComponentBlock : LanguageComponent
14     {
15         List<LanguageComponent> statements = new List<LanguageComponent>();
16         public List<LanguageComponent> Statements
17         {
18             get { return statements; }
19         }
20   
21         public void AddLangugateComponent(LanguageComponent lc)
22         {
23             statements.Add(lc);
24         }
25   
26         public override void Run(ProgramBookmarkManager mgr)
27         {
28               
29         }
30     }
31 }

View Code

ProgramComponent.LanguageComponent.IfElseLanguageComponent類代碼：

 1 /*==============================================================================
 2  * Author:深度訓練
 3  * Create time: 2013-08-10
 4  * Blog Address:http://www.cnblogs.com/wangiqngpei557/
 5  * Author Description:特定領域軟件工程實踐；
 6  *==============================================================================*/
 7   
 8 namespace ProgramComponent.LanguageComponent
 9 {
10     using System;
11     using System.Linq;
12     using System.Linq.Expressions;
13   
14     public class IfElseLanguageComponent : LanguageComponentBlock
15     {
16         public Func<bool> Exp { get; set; }
17   
18         public override void Run(ProgramBookmarkManager mgr)
19         {
20             if (Exp())
21                 base.Statements[0].Run(mgr);
22             else
23                 base.Statements[1].Run(mgr);
24         }
25     }
26 }

View Code

檢查流程代碼，OrderCheckFlows\OrderSubmitFlows類代碼：

 1 /*==============================================================================
 2  * Author:深度訓練
 3  * Create time: 2013-08-10
 4  * Blog Address:http://www.cnblogs.com/wangiqngpei557/
 5  * Author Description:特定領域軟件工程實踐；
 6  *==============================================================================*/
 7   
 8 namespace ConsoleApplication1
 9 {
10     using System;
11     using ProgramComponent;
12     using ProgramComponent.LanguageComponent;
13   
14     [Serializable]
15     public class OrderCheckFlows : LanguageComponent
16     {
17         private ProgramBookmarkManager BookmarkManager = new ProgramBookmarkManager();
18   
19         public OrderCheckFlows(ProgramBookmarkManager bookmarkManager)
20         {
21             this.BookmarkManager = bookmarkManager;
22             BookmarkManager.Add(new ProgramBookmark("checkPrices", new ProgramBookmarkLocation(CheckOrderPrices)));
23         }
24         public override void Run(ProgramBookmarkManager mgr)
25         {
26             this.BookmarkManager = mgr;
27             StartCheck();
28         }
29         public void StartCheck()
30         {
31             BookmarkManager.Resume("checkPrices", null);
32         }
33   
34         #region business flows
35         public void CheckOrderPrices(ProgramComponent.ProgramBookmark nextCheck)
36         {
37             Console.WriteLine("checkPrices...");
38             BookmarkManager.Remove(nextCheck);
39   
40             BookmarkManager.Add(new ProgramBookmark("checkItems", new ProgramBookmarkLocation(CheckOrderItems)));
41             BookmarkManager.Resume("checkItems", true);
42         }
43   
44         public void CheckOrderItems(ProgramComponent.ProgramBookmark nextCheck)
45         {
46             if ((bool)nextCheck.Payload)
47                 Console.WriteLine("checkItems...");
48             else
49                 Console.WriteLine("end check items.");
50   
51             BookmarkManager.Remove(nextCheck);
52         }
53         #endregion
54     }
55   
56     [Serializable]
57     public class OrderSubmitFlows : LanguageComponent
58     {
59         private ProgramBookmarkManager BookmarkManager = new ProgramBookmarkManager();
60   
61         public OrderSubmitFlows(ProgramBookmarkManager bookmarkManager)
62         {
63             this.BookmarkManager = bookmarkManager;
64             BookmarkManager.Add(new ProgramBookmark("CheckSubmitPrices", new ProgramBookmarkLocation(CheckSubmitPrices)));
65         }
66   
67         public override void Run(ProgramBookmarkManager mgr)
68         {
69             this.BookmarkManager = mgr;
70             StartCheck();
71         }
72         public void StartCheck()
73         {
74             BookmarkManager.Resume("CheckSubmitPrices", null);
75         }
76   
77         #region business flows
78         public void CheckSubmitPrices(ProgramComponent.ProgramBookmark nextCheck)
79         {
80             Console.WriteLine("CheckSubmitPrices...");
81             BookmarkManager.Remove(nextCheck);
82   
83             BookmarkManager.Add(new ProgramBookmark("CheckSubmitItems", new ProgramBookmarkLocation(CheckSubmitItems)));
84             BookmarkManager.Resume("CheckSubmitItems", true);
85         }
86   
87         public void CheckSubmitItems(ProgramComponent.ProgramBookmark nextCheck)
88         {
89             if ((bool)nextCheck.Payload)
90                 Console.WriteLine("CheckSubmitItems...");
91             else
92                 Console.WriteLine("end check CheckSubmitItems.");
93   
94             BookmarkManager.Remove(nextCheck);
95         }
96         #endregion
97     }
98 }

View Code

調用代碼：

 1 using System;
 2 using System.Collections.Generic;
 3 using System.Linq;
 4 using System.Text;
 5 using System.Threading.Tasks;
 6   
 7 namespace ConsoleApplication1
 8 {
 9     using ProgramComponent;
10     using ProgramComponent.LanguageComponent;
11   
12     class Program
13     {
14         static void Main(string[] args)
15         {
16             ProgramBookmarkManager bookmarkManager = new ProgramBookmarkManager();
17   
18             OrderCheckFlows orderCheckFlow = new OrderCheckFlows(bookmarkManager);
19             OrderSubmitFlows submitCheckFlow = new OrderSubmitFlows(bookmarkManager);
20   
21             IfElseLanguageComponent languageComponent = new IfElseLanguageComponent();
22             languageComponent.Exp = () => { return true; };
23             languageComponent.AddLangugateComponent(orderCheckFlow);
24             languageComponent.AddLangugateComponent(submitCheckFlow);
25             languageComponent.Run(bookmarkManager);
26   
27             Console.ReadLine();
28         }
29     }
30 }