C++ マイクロサービス プロジェクトでステアリングの問題が発生した場合: 非公式の応答メモ

何日だったか忘れましたが、サーボアレイのデバッグをしていました。 3 つのサーボ モーターは指示に従って同期して回転するはずですが、代わりに独自のランダムなダンス ステップを踊っているように見えました。通信遅延？電圧が不安定ですか？それともロジックに何か問題があるのでしょうか？私は画面上のデータの流れを見つめ、問題はハードウェアにあるのではなく、それらを接続する「神経」にあるかもしれないことに突然気づきました。

私たちはいつもこうです。ステアリングギアを正確に調整し、機械構造が丈夫になるように設計するのに多くの時間を費やしますが、すべてを動かす「頭脳」は無視されがちです。複雑なプロジェクト、特にリアルタイム制御を伴うプロジェクトでは、従来のモノリシック アプリケーションはすべての部品を箱に入れるようなもので、本体全体に影響を与えます。特定のモジュールに小さな変更を加えると、システム全体の再デバッグが必要になる場合があります。

このような状況に遭遇したとき、私たちは通常何をしますか?

ほとんどの人の最初の反応は、いじることです。ここにフォールト トレラント コードを追加し、そこでスレッドの優先順位を調整します。しかし、これは問題を後退させているだけであることがすぐにわかります。センサーが増加し、制御ロジックが複雑になると、プログラムは肥大化して脆弱になります。すべてのコンパイルと展開は冒険であるため、最初は簡単にアップグレードする勇気はありません。

もっとクールな方法はありますか？サーボ モーターを制御するロジック、センサー データを処理するユニット、およびモーション軌跡を管理するユニットがすべて独立したレゴ モジュールのように実行され、それぞれに焦点を当て、明確なインターフェイスを通じて対話できるかどうかを想像してください。これが組み込み制御や機械制御分野におけるマイクロサービス アーキテクチャの魅力です。

しかし、率直に言って、C++ 環境でそのようなアーキテクチャを構築することは、初期の森に道を切り開くようなものです。リソース管理という基本的だが難しい問題はもちろんのこと、プロセス間通信に何を使用するか (gRPC? ZeroMQ? Simple TCP?)、データのシリアル化を処理する方法、拡散せずにエラーを分離する方法を考慮する必要があります。これをゼロから構築するには少なくとも数週間かかり、深夜まで数え切れないほどのデバッグ サイクルが必要になります。

適切な出発点が必要なのはなぜですか?

そうは言っても、私は以前に出会ったオープンソースのリファレンス実装を思い出しました。これには特別な仕掛けはなく、C++ でマイクロサービス アプリケーションがどのように見えるかを明確に示しているだけです。各サービスには明確な責任があります。たとえば、PWM 信号の生成を特に処理するサービスは、位置命令を解析するサービスから完全に分離されています。データは軽量メッセージを通じてそれらの間で転送されます。特定のサービスが一時的に応答しなくなった場合でも、システム全体がフリーズすることはありません。

この構造の利点は実際的です。たとえば、新しいセンサー フィードバック リンクをロボット アームに追加する必要がある場合、プログラム全体を再構築する必要はありません。新しいデータを処理する独立したサービスを開発し、確立されたインターフェイスを通じて既存のシステムに接続するだけで済みます。特定の機能をアップグレードまたはデバッグする場合、実行中の他の制御タスクに影響を与えることなく、対応するサービス モジュールを個別に再起動することもできます。これは、24 時間稼働する必要がある機器の可用性が向上することを意味します。

友人はかつてこう尋ねました。「これは、リソースに制約のある組み込みデバイスにとっては重すぎるのではないでしょうか?」これは良い質問です。鍵は実装方法にあります。軽量プロセス、共有メモリの効率的な通信、不必要なシリアル化オーバーヘッドの回避 - これらはすべて、適切に設計されたアーキテクチャで解決できます。この参照プロジェクトでは、モジュール化の利点がパフォーマンスの損失によって相殺されないように、デカップリングと効率のバランスを取る方法を示しています。

何に焦点を当てるべきでしょうか?

C++ マイクロサービスの例を見るときは、実装されている通信プロトコルの数だけを見てはいけません。さらに重要なのは、その誤差の境界が明確に設計されているかどうかです。 1 つのサービスのクラッシュは他のサービスに影響しますか?データ フローには、異常な状況下での適切なタイムアウトおよびフォールバック メカニズムが備わっていますか?これは、物理的な機械を制御するシステムにとって重要です。

次に可観測性です。各サービスは意味のあるログとステータス メトリックを独立して出力できますか?ステアリング ギアの動きにずれがある場合、問題のあるデータ処理リンクをすぐに特定できますか?優れたデザインにより、ダッシュボードを見るのと同じくらい直感的に診断が可能になります。

それは構築と展開のフレンドリーさです。個々のサービスを個別に簡単にコンパイルしてテストできますか?ワンクリックでシステム全体を開発環境またはシミュレータで起動できますか?導入の手間を軽減すると、ビジネス ロジックそのもの、つまり、モーターや機械構造を期待どおりに正確に動作させることに集中できるようになります。

ランダムな考え

このオープンソースのサンプル リポジトリの価値は、思考の出発点を提供することです。実装の一部に同意できない場合もありますが、最初から始めることによる混乱を避けることができます。座標グリッドが描かれた図面と同様に、毎回比率を再測定することなく、特定のニーズを直接図面上に描くことができます。

冒頭のサーボがずれていた問題に戻ります。後で、メイン制御ループ内の重要ではないタスクがリアルタイム命令の送信をブロックする場合があることを発見しました。もし当時システムがモジュール式であったなら、モーション制御チェーン全体を引きずることなく、重要ではないタスクは独自の小さな世界の中で時折「呆然と」することができたかもしれません。これを修正するには、デバイス全体をダウンさせるのではなく、その個別のサービスを再起動するだけです。

これは、ソフトウェア アーキテクチャがハードウェア プロジェクトにもたらす贈り物、つまり複雑さに冷静に対処できる可能性なのかもしれません。各コンポーネントがその責任を理解し、明確な通信方法を備えていれば、システム全体が柔軟かつ堅牢な活力を発揮できます。あとは、メカニズムを完璧に機能させるためにさらに考えを巡らせるだけです。それがより楽しい部分ですよね。

2005年に設立され、キロパワーは、中国広東省東莞に本社を置く、コンパクトモーションユニットの専門メーカーです。モジュラードライブテクノロジーのイノベーションを活用し、キロパワー高性能モーター、精密減速機、マルチプロトコル制御システムを統合し、効率的でカスタマイズされたスマート ドライブ システム ソリューションを提供します。キロパワーは、スマート ホーム システム、自動エレクトロニクス、ロボティクス、精密農業、ドローン、産業オートメーションなどのさまざまな分野をカバーする製品で、世界中の 500 を超える企業クライアントにプロフェッショナルなドライブ システム ソリューションを提供してきました。