SOLID for Raspberry Pi 4 (連載26)

１０月から始めたこの連載も、２６回目を迎えました。
その期間、半年です！
こんなに続くとは思っていませんでした。

最初は、
・C/C++にはない概念の「所有権」とか「借用」とかってよくわからないよね。
・よくわからないけど、なんか「安全」らしいね。
・パッケージマネージャーとかクレートとかあるらしいよ。
・勉強がてら、Rust初心者向けに連載した記事を書いてみよう！
で、数か月くらいかかるかなぁ、の、ノリだったのですが。。。

実際に書いていると、次から次へと疑問が湧いてくるんですね。
その観点は一貫していて、
「C/C++で普通に書いているアレ、Rustでも書けるの？」

心配せずとも、書けましたね。
その結果、最後の25回目などはunsafeだらけになってしまいましたが。

でも良く考えると、Rustでunsafeにならざるを得ないコードって、C/C++を使って書いたとしても低レベルレイヤーにまとめておくべきコードです。
結局は同じレイヤー構造になるのだし、違和感は全くないことと、その上位のレイヤーからはほぼunsafeブロックは登場せず（何でも同じかともいますが少しの例外はあります）、「安全性・メンテナンス性」というRustの恩恵を受けることが “組み込み” でもできる、という事がわかった半年間でした。

とはいえ、まだまだRustですらすらとは書けない。
連載記事執筆中にでも、何度過去記事に戻って思い出し作業をしたことか。

さて、前置きが長くなりましたが、そのような理由で、今までの内容について振り返ってみたいと思います。

 

ここでは、SPI加速度センサを制御するプログラムをRustで書きました。
やはり実際にコードを書くと学びが多いです。

PAC(peripheral access crate)を使用してGPIOを操作するところから始まります。
SPIレジスタ操作では、FIFOアクセスやビット操作等あり、GPIOレジスタとは違っていろんな操作方法がありました。

・新規ワークスペース作成(SOLID-IDEの使い方）
・PACを使用するためCargo.tomlに依存関係を記述
・GPIOレジスタを書き込み操作
・SPIレジスタを書き込み操作
・ビットポーリング
・内蔵I/O操作時のデバッグ（SOLID-IDEの使い方）
・同じ処理の連続をループ処理にする
・Field構造体、FieldValue構造体
・フォーマッタ
・ビットポーリング用while文は一文で書ける
・ビットのセット＆クリア
・関数の引数
・レジスタの読み込み操作
・データのシフトと結合
・関数の戻り値
・データをi32からf32にキャスト
・u8からi32に変換
・データを下位側から詰める
・関数の最後のreturnは不要
・関数の戻り値が複数個の場合
・使用するSOLID-OSインタフェースの定義
・32ビットのfloatからバイト配列への型変換
・スレッドの作成
・スレッド間共有変数Arc<Mutex<_>>と排他制御
・スレッド間共有変数を実際に使う
・スレッド間共有変数の構造体化
・共有変数：lock()後にunwrap()することが多い理由
・Arc<Mutex<_>>以外の共有変数
・バッファオーバーフローの実験
・バッファオーバーフローした共有変数への他スレッドからのアクセス実験
・割り込み登録用SOLID-OSカーネルAPIを使う
・割り込み許可用SOLID-OSカーネルAPIを使う
・SOLID-OSカーネル 割り込み登録用構造体
・SOLID-OSのAPIコールのためにsolidクレートを使えるようにする
・SOLID-OSのAPIコールによる割り込み登録（実践）
・SOLID-OSのAPIコールによる割り込み許可（実践）
・SOLID-IDEを使用して割り込み発生の確認
・コールバック関数との共有変数をすべて構造体にまとめる
・他タスク処理待ち間、自タスクをスリープする
・SOLID-OSのAPIコールによる割り込み優先度の最大値取得
・pin_singleton!とは、CpuCx<'a>とは

 

Rustとは関係ありませんが番外編で、加速度センサADXL345の制御について。

・SPI送信フロー（Raspberry Pi 4⇒ADXL345）
・SPI受信フロー（ADXL345⇒Raspberry Pi 4）
・加速度センサデータから加速度値取得
・SPI信号波形
・取得した加速度データの結果
・SPI割り込みを使う場合のハードウェア初期化
・BCM2711の割り込み仕様
・SPI割り込みハンドラですべきこと
・SPI転送完了割り込みを使って通信した波形
・コールバック関数との共有変数

 

こちらは興味深い比較でした。

・SOLID-OS向けのTCP/IP通信コードをRustとC++で比較

 

この部分はC/C++関数とRust関数間の呼び出し、データ渡しについての記載です。

既に存在するC/C++で書いたソースコードを流用し、機能追加部分をRustで書く、といったケースは現実的に多くなるように思います。

[Ｃ/C++で書かれた関数をRustからコール]

・autocxxクレート
・autocxxクレート：関数コール
・autocxxクレート：構造体
・もっと簡単な方法
・どの方法を選択するか

 

[Rustで書かれた関数をＣ/C++からコール]

・SOLID-IDEで新規ワークスペース作成
・no_mangle
・関数コール時の引数（定義数が合わない場合なども実験）
・関数リターン時の戻り値
・引数に配列等がある場合
・戻り値に配列等がある場合
・構造体として確保された領域を共有する場合

 

今まであまり出てこなかったけれども気になる、以下の項目について書きました。

・構造体のデータ配置について
・構造体を共用体の中に入れる
・メモリのアライメントを意識した配置
・Volatile
・ビットフィールド
・セクション定義
・インラインアセンブラ

 

今回の連載で作成したソースコードのうち、SPI加速度センサADXL345 を制御する記事のあたりで
SOLID-IDE用ワークスペースごとZIPファイルで圧縮し、ダウンロードできるようにしてあります。

こちらにもご紹介します。興味のある方、ぜひダウンロードしてみてください。

 

連載１８に掲載しているソースコード：（SPI割り込み未使用）

spi_adxl345クレート

SOLID-IDE Rustアプリケーション

PC側C＃プログラム(Visual Studio 2019系)
（bin\Releaseフォルダ内にexecutableファイルがあります）

 

連載２１に掲載しているソースコード：（SPI割り込み使用）

spi_adxl345クレート

SOLID-IDE Rustアプリケーション

PC側C＃プログラム(Visual Studio 2019系)
（bin\Releaseフォルダ内にexecutableファイルがあります）

 

Raspberry pi4があれば試してみることが可能です。

＃PC側プログラムは何のエラーチェックもしていないので、データが返信されてこない場合等例外が発生します。