C#狀態機Stateless

来源:https://www.cnblogs.com/podolski/archive/2020/06/30/13215064.html

最近在折騰一些控制相關的軟體設計,想起來狀態機這個東西,對解決一些控制系統狀態切換還是挺有用的。 狀態機(有限狀態自動機)網上有很多介紹。簡單理解就是定義一系列狀態,通過一系列的事件,可以使得狀態可以相互之間切換。 如果不使用狀態機的思想來編程,那麼針對過程的編程方法會使得程式拓展性變差,並且不容易 ...


最近在折騰一些控制相關的軟體設計,想起來狀態機這個東西,對解決一些控制系統狀態切換還是挺有用的。

狀態機(有限狀態自動機)網上有很多介紹。簡單理解就是定義一系列狀態,通過一系列的事件,可以使得狀態可以相互之間切換。

如果不使用狀態機的思想來編程,那麼針對過程的編程方法會使得程式拓展性變差,並且不容易調試。而狀態機只需要定義好了各種狀態和狀態切換之間的事件,你只管觸發事件,剩下的事情它自己就自動完成了(畢竟名稱叫做有限狀態自動機),這對於很多需要定義各種控制階段的系統簡直是完美適配。瞭解到.NET也有很多庫可以實現這些功能,本文主要介紹一下Stateless的應用。

Stateless介紹

Stateless可以創建極簡的狀態機與對應的工作流。很多項目(包括VisualStudio Extension、AIlab)都有使用到它。

它支持以下特性:

  • 支持各種類型作為狀態和觸發事件
  • 支持狀態繼承
  • 支持狀態進入/離開事件
  • 支持條件狀態轉移
  • 支持狀態/轉移查詢

也有幾點需要註意的:

  • 它支持非同步語法,但是它是單線程的,不是線程安全的。
  • 可以導出DOT graph

安裝起來很簡單,直接在nuget中安裝即可:

Install-Package Stateless

Stateless使用

用起來也挺簡單的,以打電話這個事情為例,針對打電話的種種動作和狀態做成一個狀態機。
需要先定義一些狀態和事件/觸發器,電話有撥號、接通、留言等事件,有響鈴、掛起、掛斷等事件:

//代碼來自官方示例,可以在官方github庫上找到,略有修改以完整展示功能。
enum Trigger
{
    CallDialed,
    CallConnected,
    LeftMessage,
    PlacedOnHold,
    TakenOffHold,
    PhoneHurledAgainstWall,
    MuteMicrophone,
    UnmuteMicrophone,
    SetVolume
}

enum State
{
    OffHook,
    Ringing,
    Connected,
    OnHold,
    PhoneDestroyed
}

然後就是創建一個狀態機了:

_machine = new StateMachine<State, Trigger>(() => _state, s => _state = s);

最後也是最需要詳細解釋的,就是配置狀態機的行為了:

/*
為瞭解釋儘可能多的功能,以下程式修改了官方的代碼,可以在官方找可以直接執行的代碼。
*/

//使用Permit指示發生某個事件後,從一個狀態變換到另外一個狀態。
_machine.Configure(State.OffHook)
    .Permit(Trigger.CallDialed, State.Ringing);

//設置一個帶參數的事件,這個事件是CallDialed的類型
var _setCalleeTrigger = _machine.SetTriggerParameters<string>(Trigger.CallDialed);
_machine.Configure(State.Ringing)
    //允許重新進入當前的狀態,這個過程會觸發進入和退出動作
    .PermitReentry(Trigger.Ringing)
    //使用OnEntryFrom指示在觸發這個狀態的時候,運行某個動作,這裡指定的是一個帶參數的事件
    .OnEntryFrom(_setCalleeTrigger, callee => OnDialed(callee), "Caller number to call")
    .Permit(Trigger.CallConnected, State.Connected);

_machine.Configure(State.OnHold)
    //定義子狀態
    .SubstateOf(State.Connected)
    .Permit(Trigger.TakenOffHold, State.Connected)
    .Permit(Trigger.PhoneHurledAgainstWall, State.PhoneDestroyed);

_machine.Configure(State.Connected)
    //進入狀態的時候執行動作
    .OnEntry(t => StartCallTimer())
    //離開狀態執行動作
    .OnExit(t => StopCallTimer())
    //狀態不變化,但是響應某種事件,和PermitReentry不同,它不會觸發進入和退出的動作
    .InternalTransition(Trigger.MuteMicrophone, t => OnMute())
    .InternalTransition(Trigger.UnmuteMicrophone, t => OnUnmute())
    .InternalTransition<int>(_setVolumeTrigger, (volume, t) => OnSetVolume(volume))
    .Permit(Trigger.LeftMessage, State.OffHook)
    .Permit(Trigger.PlacedOnHold, State.OnHold)
    //指定在發生同一種事件的時候,根據事件的參數不同而決定進入不同的狀態。
    .PermitIf(_setCalleeTrigger, State.Connected, callee => string.IsNullOrWhiteSpace(callee))
    .PermitIf(_setCalleeTrigger, State.Connected, callee => !string.IsNullOrWhiteSpace(callee))
    //如果沒有定義這個事件而發生了這個事件,會彈出異常。通過指定忽略某一類事件,可以避免這個情況。
    .Ignore(Trigger.CallDialled);

//當然也可以使用這個來避免彈出上面說的異常
_machine.OnUnhandledTrigger((state, trigger) => { });

//可以使用非同步調用,但是必須要在觸發事件的時候,使用FireAsync
_machine.Configure(State.PhoneDestroyed)
    .OnEntryAsync(async () => await SendEmailToAssignee());

配置好了各狀態之間的轉換,下麵就是觸發事件了。

public void Dialed(string callee)
{
    //有參數的觸發
    _machine.Fire(_setCalleeTrigger, callee);
}

public void Connected()
{
    //無參數的觸發
    _machine.Fire(Trigger.CallConnected);
}

public async Task PhoneDestroy()
{
    //非同步觸發
    await _machine.FireAsync(Trigger.PhoneDestroyed);
}

public string ToDotGraph()
{
    //導出DOT GRAPH
    return UmlDotGraph.Format(_machine.GetInfo());
}

外部調用很簡潔:

phoneCall.Dialed("Prameela");
phoneCall.Connected();
phoneCall.SetVolume(2);
phoneCall.Hold();

只需要調用事件即可,別的都會按照我們設置好的動作來進行了,非常自動化。

總結

Stateless可以很好地實現狀態機,有點事件驅動的編程的感覺,但本質上不同,Stateless核心是各個狀態的遷移。

雖然Stateless很小巧方便,但是還有有很多地方不盡如人意(官方說這就是他們自己的設計目標,維持極簡):

  • 沒有啟動和停止的說法,一般在構造函數裡面創建就一直有效。
  • 不是線程安全的
  • 拓展性有限

還有一個Appccelerate.StateMachine地址),這個支持四種不同的狀態機實現:

  • Passive State Machine: 同步單線程處理狀態轉換
  • Active State Machine: 同步多線程處理狀態轉換
  • Async Passive State Machine: 非同步單線程處理狀態轉換
  • Async Active State Machine: 非同步多線程處理狀態轉換

其中active的是線程安安全的。另外,它還支持狀態、事件的持久化,拓展性強。用法差不多,只是配置的關鍵字上面有一點區別,大家可以自行翻文檔。


您的分享是我們最大的動力!

更多相關文章
  • 前言 編程語言是開發的基礎。有不同的類型和特征,並且開發人員針對不同的場景選擇正確的語言,但是您知道使用哪種語言嗎?中國和世界各地有多少開發人員正在使用它?他們的排名是多少?快來看看您知道多少個列表! 今天,我們為所有人提供了這些著名的編程語言列表的清單!他們不僅教您最常用的語言,還教您等待發現,來 ...
  • from typing import Listclass Solution: # 錯誤的思路,會超時。 def maxProfit1(self, prices: List[int]) -> int: if len(prices) <= 1:return 0 # 小於等於一天沒法交易買和賣 # 進行雙 ...
  • 見了鬼! 工資竟然又跌了 #平均工資 2020年6月全國招收程式員313739人。2020年6月全國程式員平均工資14404元,工資中位數12500元,其中95%的人的工資介於5250元到35000元。 雖然收入又下降了,但是崗位比上個月多了起來,隨著經濟好轉,收入還是會漲回去的。大家要有信心。 # ...
  • 學了一段時間java,接觸了mvc設計模式,但是對設計模式概念比較模糊,通過百度瞭解了一下.這裡簡單總結一下. 設計模式(Design pattern),百度說是也叫軟體設計模式,是一套被反覆使用,多數人知曉的,經過分類編目的,代碼設計經驗的總結. 使用設計模式是為了可重用代碼,讓代碼更容易被他人理 ...
  • from typing import Listclass Solution: def minimumTotal1(self, triangle: List[List[int]]) -> int: return self.dfs(triangle,0,0,len(triangle),0) # 深搜的做 ...
  • 作為一個潛入IT圈五年之久、看過數萬份簡歷的HR,在這個問題上還是有點發言權的。HR在篩選簡歷時主要從公司需求出發,重點不一,不過還是有很多“通用”的套路,為了在30秒內判斷出這份簡歷是否值得跟進,我認為程式員寫簡歷的正確姿勢是這樣的: 一、基本格調 即打開簡歷之後的第一印象。就好比我們看見一個人, ...
  • Object A =new Object();java中new一個對象要經歷哪些過程首先java在new一個對象的時候,會先查看對象所屬的類有沒有被載入到記憶體,如果沒有的話就會先通過類的全限定名將對象所屬的.class文件載入到記憶體中。載入並初始化類完成後,再進行對象的創建工作。(全限定名有絕對路徑 ...
  • import shelve a = shelve.open('1') b = [1,2,3] a['b'] = b a.close()a['b'] Traceback (most recent call last):File "C:\Users\Administrator\AppData\Local ...
一周排行
  • C#6.0新特性 C#7.0新特性 C#8.0新特性 ...
  • out變數 可以直接在方法中使用out申明變數 int.TryParse("123", out var result); 元組 元組的申明 var alphaBetaStart = (alpha: "a", beta: "b"); Console.WriteLine($"{alphaBetaStar ...
  • 在我們的項目中,通常會把數據存儲到關係型資料庫中,比如Oracle,SQL Server,Mysql等,但是關係型資料庫對於併發的支持並不是很強大,這樣就會造成系統的性能不佳,而且存儲的數據多為結構化數據,對於非結構數據(比如文本)和半結構化數據(比如JSon) 就顯得不夠靈活,而非關係型資料庫則很 ...
  • 這幾天終於弄懂了async和await的模式,也搞明白了一直在心裡面積壓著的許多問題,所以寫一篇博客來和大家分享一下。 關於非同步機制我認為只要記住的以下幾點,就可以弄明白了: 1.我認為async和awwait兩個修飾符中最關鍵的是await,async是由於方法中包含await修飾符之後才在方法定 ...
  • 實現WCF的步驟如下: 設計服務協議 實現服務協議 配置服務 托管服務 生成客戶端(這步可有可無) 設計或定義服務協議要麼使用介面,要麼使用類。建議介面,使用介面好處一堆例如修改介面的實現,但是服務協定有無需改變。 設計服務協議,介面上使用 ServiceContractAttribute ,方法上 ...
  • 什麼鬼,我的CPF快寫好了,你居然也要搞跨平臺UI框架?什麼Maui? 之前怎麼不早說要搞跨平臺UI框架呢?看到谷歌搞flutter眼紅了?明年年底發佈?又搞這種追別人屁股的爛事情。 什麼MVU模式?模仿Dart?用C#代碼直接寫UI的模式和我的CPF很像啊。 當初我考慮過XML,Json來描述UI ...
  • 寫在前面 Docker作為開源的應用容器引擎,可以讓我們很輕鬆的構建一個輕量級、易移植的容器,通過Docker方式進行持續交付、測試和部署,都是極為方便的,並且對於我們開發來說,最直觀的優點還是解決了日常開發中的環境配置與部署環境配置上的差異所帶來的種種疑難雜症,從此推脫產品的措辭也少了——“我電腦 ...
  • 一、前言 回顧:認證授權方案之授權初識 從上一節中,我們在對授權系統已經有了初步的認識和使用,可以發現,asp.net core為我們提供的授權策略是一個非常強大豐富且靈活的認證授權方案,能夠滿足大部分的授權場景。 在ConfigureServices中配置服務:將授權服務添加到容器 public ...
  • 項目背景: 工作之餘兼職一家公司(方向是工業4.0)給做IM系統,主要功能包括:文字、 圖片、文件傳輸、遠程協助、視頻語音等等。這些功能都是基於群會話, 比如工廠操作工人遇到問題,請求遠程專家,這個初級專家不能解決問題,會邀請一個高級專家進來解決。開發過程中主要遇到的問題是視頻和語音這一塊,像其他的... ...
  • 基礎概念 Microsoft中間語言(MSIL),也成為通用中間語言(CIL),是一組與平臺無關的指令,由特定於語言的編譯器從源代碼生成。MSIL是獨立於平臺的,因此,他可以在任何公共語言基礎架構支持特定的環境上執行。 通過JIT編譯器將MSIL轉換為特定電腦環境的特定機器代碼。這是在執行MSIL ...