0
1

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?

C/C++一辺倒からの脱却。組み込みLinux上のRubyで「頼れる常駐タスク」を作るAloneワーカー

0
Posted at

島根県産業技術センター の東です。

これまでの記事では、組み込み向けRubyフレームワーク「Alone」におけるCGIの安定性、そしてPure Rubyで劣化のないグラフを出力する「AlGraph」の実務的な強みについてご紹介してきました。

今回は、Aloneがサポートするもう一つの重要な柱、「常駐タスク(ワーカーモジュール)」を取り上げます。
制御の中心となる「バックグラウンド処理」を、いかに安全かつ確実に実装するかというテーマに対する、Aloneのスマートな解決策をお話しします。

Abstract

データ収集アプライアンスなどにおいて、Web UI(CGI)はシステムの「窓口」に過ぎません。その裏でセンサー値を定期取得し、異常を監視する「常駐タスク(デーモン)」こそがシステムの本体です。

Aloneが提供するワーカーモジュールは、組み込みUNIX/Linux上で常駐プロセスを開発する際に避けて通れない「二重起動防止」「周期実行の累積誤差(ドリフト)」「異常発生時のデバッグ困難さ」、あるいは「複雑なシーケンスの状態遷移管理(ステータスマシン)」といった泥臭い課題を数行のRubyコードに隠蔽し、極めて堅牢なデーモンを「依存Gemゼロ」で構築できるようにします。

はじめに

データロガーやゲートウェイを開発する際、Web UIを整えるだけで開発が終わることはありません。

  • 10秒ごとに温度センサーから値を読み出して、ファイルやデータベースに記録する
  • 異常値を検知したら即座に警告メールを送信したり、外部ハードウェアに接点出力を送る

こうしたバックグラウンドで動作する「常駐タスク」の実装は避けて通れません。しかし、これらをLinux上でゼロから実装しようとすると、意外なほど多くの「落とし穴」に遭遇します。

「cronで毎分スクリプトを叩けばいいのでは?」と思うかもしれません。しかし、秒単位の制御ができなかったり、前回の処理が遅延して終わっていないのに次のプロセスが起動してデータベースをロックしてしまったりと、実用に耐えないケースが多々あります。かといって、無限ループ(loop { sleep 10 }等)による自作デーモンは、プロセスの異常停止や管理の複雑さから予期せぬ運用コストを招くリスクを孕んでいます。

Aloneのワーカーモジュールは、こうした組み込みLinux開発における「デーモン実装のアンチパターン(落とし穴)」を先回りして解決するために用意されています。

開発の背景:C/C++一辺倒から、Rubyの常駐タスクへ

私もかつては「バックグラウンドで動作し、機器を制御・監視するプロセス」を、C言語 や C++ で開発していました。

もちろん、C や C++ によるハードウェア制御プログラムを否定しているわけでは全くありません。マイクロ秒単位の極めて精密なリアルタイム制御や割り込み処理、OSのカーネルに近い物理デバイスの直接操作など、「C/C++でなければ絶対に不可能な、代替できない領域」は厳然として存在し、それらは組み込みシステムの不変の主役です。

しかし、いくつものプロジェクトをこなすうちに、「物理デバイスと密結合する極限のリアルタイム処理」ではない領域、例えば

  • 10秒〜数分といった比較的ゆったりとした周期で行うデータロギング
  • シリアル通信やセンサーネットワーク経由でデータを回収し、パースして上位サーバーへ転送するタスク
  • 収集したデータをSQLiteやファイルに安全に書き込む、ファイルI/O主体のタスク

といった、いわばシステムの上位レイヤー(ミドルウェア寄りのタスク)においては、「実はRubyだけでも十分に、むしろそれ以上にスマートかつ堅牢に実装できるケースがいくつもある」ということに気づきました。

実際に、上位タスクの構築にAloneのワーカーモジュール(常駐タスク用クラス)を投入してみると、C言語の制御(常駐)プログラム開発とは全く異なるアプローチで、以下のような数多くの恩恵を享受することができました。

  • ログ出力の圧倒的な簡便さ
  • プロセス異常終了時に、バックトレース(コールスタック)が自動的に記録される安心感

そして何より決定的だったのが、データ受信機能をイベント駆動(イベントドリブン)で記述した際のタフさ(堅牢性)です。

シリアルポートやセンサーネットワークから流れてくるデータ受信処理において、不意にフォーマットが壊れた「異常なノイズデータ」が送られてくることは、時折発生し得るものです。そして、あらゆる異常パターンをあらかじめ100%完璧に想定し、それに備えてプログラミングすることは困難です。

C言語で書く場合
バリデーションやメモリバッファの境界管理を緻密にプログラミングしなければなりません。これを怠ると、ヌルポインタ参照やバッファオーバーランを引き起こし、セグメンテーションフォールト等でプロセスそのものが突然クラッシュしてしまいます。
Aloneワーカー(Ruby)の場合
仮に想定外の壊れたデータが送られてきて内部のデータパース処理が回復不能なエラーを起こしたとしても、Rubyの持つ強力な例外処理機構(例外オブジェクトのキャッチとハンドリング)が背後でしっかりと働きます。想定外のデータが正しく処理できなかった旨をログファイルに静かに記録したあと、プロセス自体を落とすことなく、次のイベント(次のパケットデータ受信)からは何事もなかったかのように再び正常に処理を再開し、動き続けます。

このように、C言語でしか書けないような足回りの制御はC/C++に任せ、エラーハンドリングのタフさや上位データベース・通信との連携が求められる処理はRubyに任せる。この「適材適所のハイブリッド構成」こそが、組み込みLinux開発における非常に合理的で開発効率の高いアプローチであると実感しています。

自作デーモンがはまりがちな「4つの落とし穴」

C/C++や、あるいは素のRubyだけで一からバックグラウンドプロセス(デーモン)を書く際、エンジニアが必ずといっていいほど直面し、泥臭いデバッグを繰り返すことになる代表的な課題として、例えば以下の4つの例が挙げられます。

1. 二重起動防止(ロックファイル管理)
プロセスが複数立ち上がってポートや物理デバイス資源を奪い合わないよう、PIDファイル等で排他制御をする必要があります。しかしそれらは、本来やりたかった制御とはまったく別の処理で、プログラマとしては好んで書きたくは無い処理です。
2. 周期実行の「累積誤差(ドリフト)」
一定期間の sleep を繰り返す素朴な無限ループ実装では、「センサー読み出しやデータ処理にかかった時間」の分だけ、実行タイミングが毎回少しずつ後ろにずれていきます。1日、1週間と動き続けると、想定より実行回数が大幅に不足する事態が起こります。
3. 異常終了したときの、手がかりの少なさ(デバッグの困難さ)
C/C++等で書かれたデーモンがセグメンテーションフォールトなどで突然死した際、システムに残されるのは「Segmentation fault」という無情な1行、あるいは肥大化したコアダンプファイルのみ、というケースが多々あります。実稼働環境で稀に発生する再現性の低いバグに対し、何が原因でプロセスが落ちたのかを後から突き止めるのは困難を極めます。
4. Web UI(CGI)との間のプロセス間通信(IPC)の煩雑さ
CGI側から「今、ワーカーは正常に稼働しているか?」「最後に取得した値は何か?」を取得したいとき、ソケット通信や大掛かりなメッセージキュー(MQ)を導入するのは組み込みのフットプリントとしては不釣り合いです。

Aloneのワーカーモジュールは、これらの共通課題をフレームワーク側で標準仕様として解決しています。

Aloneワーカーモジュールのコア機能

Aloneが提供するワーカー(AlWorker クラス)を使用すると、これらの泥臭いロジックがどのように美しく整理されるかを見ていきましょう。

1. 一行で完結する「デーモン化」と「二重起動防止」

require 'al_worker'

class MySensorWorker < AlWorker
  def initialize2
    # 起動時の多重起動防止ロックは背後で自動処理される
  end
  # ...
end
 
MySensorWorker.new.daemon()

基本クラスである AlWorker を継承するだけで、PIDファイルを用いた確実な多重起動防止が自動で有効になります。また、プロセスをバックグラウンドに切り離す(デーモン化)処理も、設定や初期起動オプションでスマートに制御可能です。
(see: AlWorker 基本機能 )

2. 累積誤差を排除する「タイマー機能」

Aloneのワーカーは、単なる sleep ではなく、内部で高精度な周期管理を行います。

「前回の処理開始時間」から逆算して次のスリープ時間を自動で微調整するため、処理にかかった時間に影響されず、正確に「10秒ごと(10.00s, 20.00s, 30.00s...)」にタスクを実行し続けることができます。
(see: AlWorker タイマー )

3. 異常終了時の強力な手がかり(バックトレース自動ログ出力)

万が一、ワーカー内の処理で予期せぬエラーやプログラムのバグによってプロセスが終了してしまった場合でも、Aloneのワーカーは背後でRubyのコールスタック(バックトレース情報)を自動的にログへと記録します。
「原因不明でプロセスが消えているが、調査のための材料が何もない」といったデーモン開発特有のストレスをなくし、実稼働環境におけるトラブルシューティングのスピードを劇的に高めます。

4. 外部からワーカーのメソッドをリモートコールする「IPC機能」

Aloneには、CGI(Web UI)や他プロセス側から常駐ワーカーへ安全にアクセスし、制御を行うための「IPC(プロセス間通信)機能」が標準で備わっています。

このIPCの真の強みは、単なるテキストや状態のやり取りだけではありません。「ワーカー側に用意された特定のメソッドを、CGI側から直接リモートコール(RPCのように実行)できる」 点にあります。

利用方法は極めてシンプルです。

# 1. 常駐ワーカープロセス側の実装
require "al_worker_ipc"

class IpcServer < AlWorker
  def initialize2()
    @ipc = Ipc.new()    # イニシャライザでIPCを用意する。
    @ipc.chmod = 0666
    @ipc.run( self )
  end

  # 「ipc_」から始まるメソッドを定義しておくと、外部から安全にコール可能になる

  # 現在時刻を返す IPCコマンド timenow を定義
  def ipc_timenow( sock, param )
    reply( sock, 200, "OK", Time.now.to_s )
  end
end

IpcServer.new("ipc_server").daemon()
# 2. CGIなど他プロセスからのリモートコール
require "al_worker_ipc"

AlWorker::Ipc.open("/tmp/ipc_server") {|ipc|
  puts ipc.call("timenow")
}

大掛かりな仕組みやメッセージキュー(MQ)のミドルウェアを立ち上げることなく、この数行の標準IPC機能だけで、軽量かつインタラクティブにWeb UIとバックグラウンドタスクを強力に連携させることができます。

5. 複雑なシーケンスを整理する「ステートマシン機能」の直接サポート

組み込み制御や通信処理、状態管理が必要なシーケンス処理を記述する際、システムが今「どのような状態にあるか」を管理し、それに応じて振る舞いを変える設計(ステートマシン)を採用することがあります。
自前でゼロからこれを作ろうとすると、巨大な if-elsecase 文による条件分岐の嵐になり、コードの見通しが急速に悪化します。
Aloneのワーカーは、このステートマシンによるプログラム構造化を標準機能としてサポートしています。

状態に応じたメソッドの自動実行
set_state(:idle) のようにステートを設定すると、フレームワーク側がそれを解釈し、現在の状態に対応する state_idle などの専用メソッドをループ周期ごとに自動で呼び出してくれます。
状態遷移コードの美しさ(わかりやすさ)
状態ごとのロジックがメソッド単位できれいに独立するため、処理の追加や見通しの確保が圧倒的に容易になります。

もしこれを素の言語で普通に書くと、メインループの中に case @state などの分岐を何重にもネストさせなければならず、コードはすぐに混沌としてしまいます。

Aloneの「状態ごとの処理を独立したメソッドとして宣言的に定義し、set_state で軽快に状態を行き来させる」という独自の構造化アプローチは、複雑になりがちな組み込みシーケンス制御に、他では得られない見通しの良さを与えてくれます。

(see: AlWorker ステートマシン )
(see: キッチンタイマーを作ってみる )

まとめ:CGIとワーカーが噛み合う、Aloneの真の価値

Web UIを提供する「CGI」と、裏でハードウェアを制御・監視する「ワーカー」。
これらを別々の言語や、別々のフレームワークで書くと、データ構造の共有やプロトコルの不一致で二重に苦しむことになりかねません。

Aloneを使うことで、「UIも、グラフ描画も、常駐制御タスクも、そして複雑なステートマシン設計も、すべて同じRubyという洗練された言語で、依存Gemゼロのまま綺麗に一元管理できる」 ようになります。

「systemdの設定ファイルを何度もデバッグするのがしんどい」
「簡単で、かつ何ヶ月動かしても絶対にズレたりデータ破損したりしない常駐タスクを作りたい」

そんな組み込みアプライアンス開発の現場に、この「ちょうどいい」常駐タスクの仕組みは、静かな、しかし確実な開発効率とシステムの安定性をもたらしてくれます。

参考リンク

0
1
0

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
0
1

Delete article

Deleted articles cannot be recovered.

Draft of this article would be also deleted.

Are you sure you want to delete this article?