Recommandé
Contenu connexe
En vedette
Similaire à 『駅すぱあと』新しい開発基盤の研究
Similaire à 『駅すぱあと』新しい開発基盤の研究 (20)
『駅すぱあと』新しい開発基盤の研究
- 1. 『駅すぱあと』 新しい開発基盤の研究 株式会社ヴァル研究所 R&D Centre ソフトウェアエンジニア プロダクトチーフ 佐藤昭彦
- 3. 自己紹介 • 佐藤昭彦（さとうあきひこ） • 2005年 株式会社ヴァル研究所 入社 • モバイル系のJavaエンジニアを 経て現在C++でお仕事してます • プログラム言語大好き
- 4. もくじ • C/C++開発環境の改善 • 調査したツール類の紹介 • 運賃計算とDSL • 『駅すぱあと』が戦う運賃計算について • DSLのススメ
- 5. 開発環境の改善
- 6. 開発環境の改善 • 自動化（CI環境の整備） • GitHubとJenkinsを連携させてPull Request単位で ビルド＆テスト • デイリーでカバレッジ計測。gcovのレポートを Jenkins上で管理 • その他ツール類の調査 • 便利ツールの導入検討
- 7. GitHub/Jenkins連携 pull request (polling) pull build/test 結果通知 GitHub Jenkins + GitHub pull request builder plugin 開発者
- 9. 導入による効果 • pull request対応コスト減 • pull requestされた内容について、ビルド・テストが 通ることを手動で確認しなくてもよくなった • 設計やロジックに注力してレビューが出来る
- 10. カバレッジ計測 • Jenkins上で計測 • 毎日 AM8:00に1回レポート生成 • 計測にはgcovを使用 • gcovr + Cobertura Pluginで可視化
- 12. その他ツール • ビルド構成管理 • CMake • ユニットテスト • Google Test • 静的解析（lint） • cpplink.py • cppcheck • メトリクス計測 • metrix++ • ドキュメント生成 • Doxygen • コード整形/コンパート • clang-format • clang-modernize 『駅すぱあと』には未導入のもの、導入しないものもありますが、自分のプロジェクトではこれ らを使って開発をしています。
- 13. clang-modernize • C++は2011年に大きな改定があった(C++11) • C++のコードを「C++11らしい」コードに変換 • 内部的にC++コンパイラ(clang)の技術を使って いるので高精度
- 14. class Person { std::string name; ! public: explicit Person(std::string name) : name(std::move(name)) { } void greet(const Person &person) const; void greet(const std::vector<const Person *> &friends) const { for (const auto & friends_i : friends) { if (friends_i != nullptr) { greet(*friends_i); } } } }; AFTER class Person { std::string name; ! public: explicit Person(const std::string &name) : name(name) { } void greet(const Person &person) const; void greet(const std::vector<const Person *> &friends) const { for (std::vector<const Person *>::const_iterator i = friends.begin(); i != friends.end(); ++i) { if (*i != NULL) { greet(**i); } } } }; BEFORE !ムーブセマンティクス、型推論、range-based for、新キーワード(nullptr)など、C++11の 新機能を使ってくれます。
- 15. 開発環境まとめ・雑感 • 自動化の効果は高い • 単純にコストが減るし、何より単純作業の ストレスがなくなるのがうれしいですね。 • もっとツールを使おう • 手元で実行出来るだけでも楽しいし便利。
- 16. 運賃計算とDSL
- 17. 運賃計算？ • 基本１ • 乗車した距離に応じて金額が決まる • →「営業キロ」を求めて運賃表を引く • 基本２ • 「複乗の禁止」 • → 同じ所を２度通ってはダメ
- 24. 高円寺 立川 川崎 21.4km 35.5km 電車特定区間の普通運賃表 本州３社内の幹線の普通運賃表 通算 56.9km !通算距離56.9キロを「電車特定区間の普通運賃表」で引くと920円。
- 29. 高円寺 立川 川崎 21.4km 35.5km 高円寺 新宿 品川 5.8km 8.6km 通算 27.8km 川崎 11.4km 高円寺→川崎は 470円！ 通算 56.9km !ようやく正しい運賃が求まりました。
- 31. 運賃計算 非常に特例が多い
- 32. 今は？ • プログラムで頑張っている • 運賃計算を行うC言語関数群の中に特例の数だけ if文があるイメージ • →関数設計を工夫しても保守性に限界がある • →そこでDSL！
- 33. DSL？ • Domain Specific Language：ドメイン特化言語 • ある特定領域（ドメイン）の問題を解決するのに 特化した言語のこと（ 汎用言語） • 例）HTML, CSS, 正規表現, RSpec
- 34. ドメイン特化言語 パターンで学ぶDSLのベストプラクティス46項目 http://www.amazon.co.jp/dp/4864010471 !この本がDSLのバイブルです。非常にオススメです。
- 35. DSLをなぜ使うのか • 開発者の生産性の向上 • ビジネスロジックをより抽象度の高い言語で表現 • ドメインエキスパートとのコミュニケーション改善 • 問題の文脈に特化した言語なら、開発者以外でも 理解しやすい
- 36. DSLをいつ使わないのか • プロジェクトで使用する言語が増える • エンジニアの習得コストが上がる • →但し、汎用言語の習得コストとは比べ物にならないほど低い • DSL自体のメンテナンスコスト • 独自言語を作れば、それをメンテナンスする人が必要 • →表現力を限定することが重要 （チューリング完全になんてしてはいけない！） !「チューリング完全なDSL」はDSLのよくあるアンチパターンです。それは既に汎用言語です。 解決したいドメインに集中し、小さい言語に保たれているのがいいDSLだと思います。
- 37. DSLの導入 • まずやること • かっこいい文法を考える • セマンティックモデルを作成する • → 問題解決方法を「モデル化」する
- 38. モデルの例 if then main.c util.c main.h util.h app if then if then Y Y 20 Y N 10 N Y 5 N N 0 プロダクションルール システム 依存ネットワーク デシジョンテーブル !これら以外にも、マーチン・ファウラーの本に様々な例が詳しく紹介されています。
- 43. DSLの実装方法 • 内部DSL：コア言語内に作るDSL • 例）関数のネストでモデル構造を表現 • rule(condition(…), action(…)) • 例）メソッドチェーンでモデル構造を表現 • rule().condition(…).action(…).end()
- 44. DSLの作成 rule 電車特定区間の普通運賃表(東京) do condition 経路全体マッチ do sections 電車特定区間(東京) end action 運賃表変更 do pricetable 電車特定区間の普通運賃表 end end ! rule 大都市近郊区間内のみをご利用になる場合の特例(東京) do … end ! … !Rubyで内部DSLを定義した場合のイメージです。Rubyならメタプログラミングな手法を使えば もっとスマートに書けると思います。
- 45. DSLの実装方法 • 外部DSL：コア言語外に作るDSL • 例）コア言語でパーサーを用意する • 独自言語, JSON, YAML, XML, Lua, mruby, … • 例）コア言語のコードを生成する • $ ruby codegen.rb > generated.c
- 46. DSL作成の注意点 • 表現力を限定する • 「このDSLで何でも書けるように・・・」はNG • 一般的な作法に倣う • 開発者がJavaに慣れているなら、コメントは「//」で始まるべき • 専門用語を使うことを恐れない • 専門用語があることでドメイン内のコミュニケーションは豊かに なる
- 47. 運賃計算とDSLまとめ・雑感 • 運賃計算は難しい • 特例のかたまりです。 • DSLで大事なのは問題のモデル化と表現力の限定 • 解決したい問題を明確にしましょう。間違っても 何でも書けるDSLを作っちゃダメです。
- 48. 参考文献／URL • ドメイン特化言語 パターンで学ぶDSLのベストプラクティス46 項目 • http://www.amazon.co.jp/dp/4864010471 • 進化するアーキテクチャーと新方式の設計: DSL の使用 - IBM • https://www.ibm.com/developerworks/jp/java/library/j-eaed13/ • きっぷのルール：JRおでかけネット • https://www.jr-odekake.net/railroad/ticket/guide/01.html
- 49. ご清聴ありがとうございました