1. CppCon2016 参加報告
急速に進化するBoost.SML
Takatoshi Kondo
2016/11/5 1

2. 発表内容
2016/11/5 2
• CppCon2016参加報告
• Boost.SML（msm-lite）

3. 自己紹介
2016/11/5 3
• 近藤 貴俊
• ハンドルネーム redboltz
• msgpack-cコミッタ
– https://github.com/msgpack/msgpack-c
• MQTTのC++クライアント mqtt_client_cpp
開発
– https://github.com/redboltz/mqtt_client_cpp
• MQTTを拡張したスケーラブルな
brokerを仕事で開発中
• C++Now(BoostCon)、CppCon 2016など
海外カンファレンスに参加、発表

4. CppCon2016 参加報告
2016/11/5 4

5. 2大C++カンファレンス
2016/11/5 5
• C++Now（旧名 BoostCon）
• CppCon

6. 2大C++カンファレンス
2016/11/5 6
C++Now CppCon
開始年 多分2007 2014
場所 コロラド州アスペン ワシントン州ベルビュー
キャパシティ 約200 約900
開催時期 5月中旬 9月下旬
開催期間 約1週間 約1週間
参加費用 約$700 （早期登録early biｒd価格） 約$880（早期登録early bird価格）
日本からの
所要時間
約 15時間（2回乗り換え） 約 9時間（直行）

7. 2大C++カンファレンス
2016/11/5 7
• CppCon2016に初めて参加
– プロによる運営（C++Nowはコミュニティ的）
– 並行して5つくらいのセッション
• Keynoteは単独開催
• 今回はあまり迷わなかった
• C++Nowでは2～3セッション
– 動画の公開が早い！
– カメラワークがプロ！
– 行くのが楽！
– 飯がうまい！

8. CppCon2016 セッション
2016/11/5 8
• https://www.youtube.com/user/CppCon
– Jason Turner
• コモドール64と最新C++のコンボ
– https://www.youtube.com/watch?v=zBkNBP00wJE
• パフォーマンス向上のためのpractice
– https://www.youtube.com/watch?v=uzF4u9KgUWI
– Herb Sutter
• pointer likeオブジェクトの選択指針
– https://www.youtube.com/watch?v=JfmTagWcqoE
– Nicholas Ormrod
• facebookのstring
– https://www.youtube.com/watch?v=kPR8h4-qZdk
– David Watson
• facebookのfollyの経験
– https://www.youtube.com/watch?v=GDxb21kEthM
– 日本人2人のLT
• https://www.youtube.com/watch?v=rXVg07rtSiI
• https://www.youtube.com/watch?v=N1cWgqmWSio

9. 急速に進化するBoost.SML
2016/11/5 9

10. msmとsmlの違い
2016/11/5 10
Boost.MSM （Meta State Machine）は、
コンパイルタイムにステートマシンを
構築するライブラリ。
https://www.amazon.co.jp/dp/4798120391/
書籍 C++テンプレートメタプログラミング
で紹介された Dave Abrahamsのアプローチに基づく。
C++03で使える。

11. msmとsmlの違い
2016/11/5 11
https://boost-experimental.github.io/msm-lite/cppnow-2016/#/
Boost.Experimental.SML (State Machine Lite?)は元々、
msm-liteと呼ばれていた。
C++Now 2016で作者の Kris Jusiakにより紹介された。
C++14が必要
https://www.youtube.com/watch?v=j0J33BnIjnU
https://boost-experimental.github.io/msm-lite/cppnow-2016/#/2/40

12. Simple State Machine
2016/11/5 12
http://melpon.org/wandbox/permlink/rUGxwncK43oxh1lH
Simple
State1
entry / on_entry
exit / on_exit
Event1
"状態名"_s + event<イベントクラス名> / アクション = 遷移先状態
Xはpredefined
トリガとなったイベント
任意のイベントで
状態に entry / exit
初期状態
マーク

13. InitAction
2016/11/5 13
http://melpon.org/wandbox/permlink/dLABZnhwYYSF40Jk
InitAction
State1
entry / on_entry
exit / on_exit
Event1
/InitAction
初期遷移による
entryのみに反応
その他のentryに反応

14. internal / self transition
2016/11/5 14
http://melpon.org/wandbox/permlink/Qg8ClxJeqtzcjvop
Internal and self
State1
entry / on_entry
exit / on_exit
Event2 / Action2
Event1/Action1
遷移先に自身を記述
遷移先を書かない

15. junction pseudo state
2016/11/5 15
http://melpon.org/wandbox/permlink/QVSVShg20bB9gWjT
Junction pseudo state
State1
[val == 1]/Action1
Event1(val)
[val == 2]/Action2
Junction pseudo state
State1
Event1(val)[val == 2]/Action2 Event1(val)[val == 1]/Action1
このように分割して記述
ガードは [] で記述。
ラムダ式は [[](){}] と書きたいが、
[[ が使えないため、[([と括弧を追加

16. if else branch
2016/11/5 16
http://melpon.org/wandbox/permlink/aNHaQ95nE8PAwAZ8
Junction pseudo state
State1
[val == 1]/Action1
Event1(val)
[else]/Action2
評価順序は上から下へ
ガードは [] で記述。
ラムダ式は [[](){}] と書きたいが、
[[ が使えないため、[([と括弧を追加

17. choice pseudo state
2016/11/5 17
Choice pseudo state
State1
[val == 2]/Val1Branch
Event1/++val
[else]/ElseBranch
val=0
http://melpon.org/wandbox/permlink/djTylkI5aOItxCUX
イベント発生時にアクションも処理され、
その結果を次のガードに反映できる
かならず、どれかのガードにマッチするように
書かねばならない（UML的には）
任意のオブジェクトを参照としてぶら下げられる任意のオブジェクトを参照としてぶら下げられる

18. defer event
2016/11/5 18
http://melpon.org/wandbox/pe
rmlink/NxKOXEq65uWT5tVR
Defer event
State1
Event2
Event1/defer
State2
Event1/defer
State3 State4
Event2
Event1
State5
Event1
State6
Event1
遅延
キューイング
される
状態確認

19. SubMachineState
2016/11/5 19
Sm
State1:Sub State2Event1
Sub
State1 Event2 State2
Event3
http://melpon.org/wandbox/p
ermlink/NfeN0TUiAvdvn33j
サブマシン指定サブマシン指定サブマシン指定サブマシン指定
サブマシンの状態確認

20. まだサポートされていない要素
2016/11/5 20
Sm
State1:Sub State2:SubEvent1
Sub
State1 Event2 State2
Event3
同じSubを複数のstateで使う同じSubを複数のstateで使う
現状では、notationが無い
ここにstate名をつけられない 。
"State1"_sとか。
こっちをstate<Sub>にすると区別がつかない

21. まだサポートされていない要素
2016/11/5 21
Sm
State1:Sub State2
Sub
State1 Event2
現状では、すぐに親のtransitionが発動してしまう
Subの終了まで、親のanonymous transitionを行わないSubの終了まで、親のanonymous transitionを行わない

22. まだサポートされていない要素
2016/11/5 22
Register finger print
RightScanning:ScanFinger
ScanOnly
Waiting
Start Button Pressed
/ “Right hand please”
Exit1
LeftScanning:ScanFinger
entry / “Press Start Button”
Completed(result)[result == OK]
/ “Register Completed”
Exit1completed(result)
[result == NG]
/ “Register Failed”
completed(result)
[result == NG]
/ “Register Failed”
ScanOnly
Completed(result)[result == OK]
/ “Left hand please”
ScanFinger
AliveChecking
Exit1
Scanninng
ScanSucceeded /
ConvertEvent:Completed(OK)
ScanFailed /
ConvertEvent:Completed(NG)
ScanOnly
CheckSucceeded
CheckFailed /
ConvertEvent:Completed(NG)
entry point pseudo state
exit point pseudo state

23. その他情報
2016/11/5 23
• ロギングサポート
– http://melpon.org/wandbox/permlink/8SKlNUGG
tKru2r72
• マルチスレッドサポート
– http://melpon.org/wandbox/permlink/XmhmVdF
OmbNP0xRM

24. まとめ
2016/11/5 24
• Boost.SMLは軽量で、可読性の高いステート
マシン表現が可能
• sub machine周辺がまだ実装中
• デバッグが比較的容易
• マルチスレッド対応