- 先放一個用C++11實(shí)現(xiàn)的FSM的代碼: kuafu
- 咱們先來看一下什么是有限狀態(tài)機(jī)(Finite-state machine, FSM), 先給一個 百度百科的解釋
-
簡單說就是作一件事可能會經(jīng)過多個不同狀態(tài)的轉(zhuǎn)換, 轉(zhuǎn)換依賴于在不同時間發(fā)生的不同事件來觸發(fā), 舉個例子,比如 TCP的狀態(tài)轉(zhuǎn)換圖, 在實(shí)現(xiàn)上就可以用FSM.
tcp.jpeg
傳統(tǒng)的實(shí)現(xiàn)方案
- if...else : 搞一大堆if else, 一個函數(shù)寫很長很長......
- swich...case : 也搞一大堆一個函數(shù)寫很長很長......
FSM的實(shí)現(xiàn)方案
- 根據(jù)具體的業(yè)務(wù)需要, 將業(yè)務(wù)的處理流程定義為一個狀態(tài)機(jī), 此狀態(tài)機(jī)中存在以下必要元素
- 根據(jù)業(yè)務(wù)需要, 拆解抽象出若干個不同狀態(tài)
State, 并確定此狀態(tài)機(jī)的初始狀態(tài); - 根據(jù)實(shí)現(xiàn)需要, 抽象出用于觸發(fā)狀態(tài)轉(zhuǎn)換的事件
Event; - 為了處理一個
Event, 需要定義狀態(tài)的轉(zhuǎn)換過程Transition; - 狀態(tài)機(jī)要先判斷當(dāng)前所處的狀態(tài)是否與當(dāng)前發(fā)生的
Event匹配(注意: 相同的狀態(tài)可能同時匹配多個Event);
- 根據(jù)業(yè)務(wù)需要, 拆解抽象出若干個不同狀態(tài)
-
用張簡圖來說明一下
fsm.jpg- MachineSet可以同時管理多個Machine;
- 外部觸發(fā)的Event進(jìn)入到MachineSet的事件隊列;
- 事件隊列里的Event被順序處理, 被Dispatch到match的Machine;
- Machine根據(jù)當(dāng)前的所處的state和Event類型來判斷當(dāng)前Event是否有效;
- 如果上面(4)中的Event有效, 則進(jìn)行狀態(tài)轉(zhuǎn)換;
- 狀態(tài)轉(zhuǎn)換具體來說涉及到三個回調(diào)函數(shù):
6.1 當(dāng)前state離開, 是第一個回調(diào),需要使用者根據(jù)實(shí)際需要處理;
6.2 trasition這個轉(zhuǎn)換過程, 是第二個回調(diào);
6.3 新state的進(jìn)入, 是第三個回調(diào);
- 一個簡單的狀態(tài)機(jī),差不多就是上面這些內(nèi)容, 剩下的就是用程序語言把它實(shí)現(xiàn)出來了;
FSM的C++ 實(shí)現(xiàn)
- 先放一個用C++11實(shí)現(xiàn)的FSM的代碼: kuafu
- 實(shí)現(xiàn)簡介:
主要就是按上面的思路, 封裝了
MachineSet,
Machine,
Event,
Transition,
Predicate - 對于Event的處理, 提供兩種方案:
- 直接使用MachineSet提供的
StartBackground, 開啟一個work thread, 在這個work thread中不斷從存儲event的fifo隊列中獲取event后dispatch到各個machine; - 不使用MachineSet提供的event fifo, 實(shí)現(xiàn)自己的
MachineSetHandler, 將其實(shí)例注冊到MachineSet, 從event的派發(fā);
- 直接使用MachineSet提供的
一個具體的實(shí)際
- 我們來使用上面的FSM的實(shí)現(xiàn)來模擬一個用戶登陸的場景;
- 定義用到的Event和幾種不同的事件類型
enum class FoodEventType {
FET_LOGIN, // 開始登陸
FET_LOGIN_FAILED, // 登陸失敗
FET_LOGIN_OK, // 登陸成功
FET_LOGOUT, // 登出
};
class FoodEvent : public kuafu::EventTemplate<FoodEventType> {
public:
using underlying_type = std::underlying_type<FoodEventType>::type;
FoodEvent(FoodEventType type, const kuafu::MachineBaseSharedPtr& machine)
:kuafu::EventTemplate<FoodEventType>(type, machine) {
}
...
}
};
- 定義用到的狀態(tài)機(jī), 從 kuafu::StateMachine 繼承, 其中包括用過的幾種state和transition
class FoodMachine : public kuafu::StateMachine {
public:
FoodMachine(const std::string& name);
public:
virtual void Birth();
public:
// 需要用到的三種狀態(tài): 啟動, 登陸中, 成功
kuafu::StateSharedPtr startup_;
kuafu::StateSharedPtr loging_;
kuafu::StateSharedPtr welcome_;
// 需要用到的幾種轉(zhuǎn)換
kuafu::TransitionSharedPtr startup_loging_;
kuafu::TransitionSharedPtr loging_welcome_;
kuafu::TransitionSharedPtr loging_startup_;
kuafu::TransitionSharedPtr welcome_startup_;
kuafu::TransitionSharedPtr welcome_timeout_;
};
- 在
Birth()函數(shù)中構(gòu)造 state和 transition,Birth()是StateMachine的一個虛函數(shù), 每個用戶實(shí)現(xiàn)的Machine都需要實(shí)現(xiàn)它:
void FoodMachine::Birth() {
startup_ = kuafu::State::MakeState(*this, "startup");
loging_ = kuafu::State::MakeState(*this, "loging");
welcome_ = kuafu::State::MakeState(*this, "welcom", 5000);
startup_loging_ = kuafu::Transition::MakeTransition("startup_loging",
startup_,
loging_,
std::make_shared<kuafu::SimplePredicate<FoodEvent>>(FoodEventType::FET_LOGIN));
loging_welcome_ = kuafu::Transition::MakeTransition("loging_welcome",
loging_,
welcome_,
std::make_shared<kuafu::SimplePredicate<FoodEvent>>(FoodEventType::FET_LOGIN_OK));
loging_startup_ = kuafu::Transition::MakeTransition("loging_startup",
loging_,
startup_,
std::make_shared<kuafu::SimplePredicate<FoodEvent>>(FoodEventType::FET_LOGIN_FAILED));
welcome_startup_ = kuafu::Transition::MakeTransition("welcome_startup",
welcome_,
startup_,
std::make_shared<kuafu::SimplePredicate<FoodEvent>>(FoodEventType::FET_LOGOUT));
welcome_timeout_ = kuafu::Transition::MakeTransition("welcome_timeout",
welcome_,
welcome_,
std::make_shared<kuafu::TimeoutPredicate>(type_));
}
- 創(chuàng)建
MachineSet, 并開始event處理線程
kuafu::MachineSetSharedPtr machine_set = kuafu::MachineSet::MakeMachineSet();
machine_set->StartBackground(500);
- 創(chuàng)建用戶定義的Machine, 設(shè)置初始狀態(tài)
std::shared_ptr<FoodMachine> food_machine = kuafu::MakeMachine<FoodMachine>("food_machine");
food_machine->SetStartState(food_machine->startup_);
- 設(shè)置state和transition相應(yīng)的回調(diào)
food_machine->startup_->OnEnter = [&](kuafu::MachineBase& machine,
const kuafu::StateSharedPtr& state) {
INFO_LOG("Enter " << state->GetName());
};
...
food_machine->startup_loging_->OnTransition = [&](kuafu::MachineBase& machine,
const kuafu::StateSharedPtr& from_state,
kuafu::ITransitionSharedPtr transition,
kuafu::EventSharedPtr event,
const kuafu::StateSharedPtr& to_state) {
INFO_LOG(transition->GetName()
<< " | "
<< from_state->GetName()
<< " -> "
<< to_state->GetName());
};
...
- 模擬event發(fā)生:
machine_set->Enqueue(std::make_shared<kuafu::MachineOperationEvent>(
kuafu::MachineOperator::MO_ADD,
food_machine));
machine_set->Enqueue(std::make_shared<FoodEvent>(
FoodEventType::FET_LOGIN,
food_machine));
machine_set->Enqueue(std::make_shared<FoodEvent>(
FoodEventType::FET_LOGIN_OK,
food_machine));
machine_set->Enqueue(std::make_shared<FoodEvent>(
FoodEventType::FET_LOGOUT,
food_machine));
我的博客即將搬運(yùn)同步至騰訊云+社區(qū)，邀請大家一同入駐：https://cloud.tencent.com/developer/support-plan?invite_code=14obzy58z68j9
