はじめに
「組み込みからWebまで統一された環境」
Rustは、Webやアプリの開発とほぼ同じ環境で組み込み開発ができます。 実際、組み込み開発はチップ(マイコン)ごとにIDEが必要になるケースが多く、仮に同じ言語だとしても開発環境構築が大きく異なります。 Rustは、あらゆるソフトウェアをほぼ同じ環境で開発できます。
また「cargo add クレート名」でOSSのクレートを瞬時に取り込めるのも魅力の1つです。 少し参考に各ジャンルで有名なライブラリ(クレート)を紹介します。Rustは実際幅広い領域で活用されつつあります。
Genre | Crate | Note |
---|---|---|
Stand Alone | iced | GUIアプリのライブラリ(クロスプラットフォーム) |
Front End (Web) | dioxus | Rustでフロントエンド開発 |
Front End (Webassembly) | WebAssembly | - |
Server (Web) | Rockt | サーバーサイド |
AI | candle | ミニマムなMLフレームワーク |
Simulation (graph) | plotters | グラフ |
このガイドは完全な初心者を対象としておらず、変数の宣言やif文など基本的な使い方はカバーしていません。 そういったコンテンツは、インターネット上に多くの優れた学習コンテンツが存在します。 基本文法に不安がある方は、公式を翻訳したthe book(日本語翻訳版)で学習を始めるをオススメします。
寄付のお願い
Baker linkにご興味を持っていただきありがとうございます。本プロジェクトは、Baker link. Labのメンバーの皆様からの温かいご支援によって成り立っています。この度、Baker link. Devの製作および販売においては、Baker linkプロジェクトやRust言語、そしてそれを用いた組み込み開発の普及を最優先としたため、利益を追求しておりません。私たちの活動にご関心をお寄せいただけるだけでも大変ありがたく存じますが、もしご寄付を賜ることができましたら、プロジェクトのさらなる発展と技術の普及に大きな力となります。
皆様のご支援が、未来の技術革新を支える礎となります。どうか、私たちの夢を共に実現するために、ご協力をお願い申し上げます。何卒よろしくお願い申し上げます。
対象ハードウェア
本チュートリアルは、Baker link. DevもしくはRasberry Pi Pico & Rasberry Pi Debug Probeで動作します。
Rasberry Pi Pico(マイコン)はWindowsやMacのようにディスプレイが付いていないため、書いたプログラムがどのように動作しているかprint(画面出力)で確認ができません。
そこでRasberry Pi Debug Probeを接続することで、Arm社が開発したCMSISというArm Cortex-Mプロセッサのソフトウェアデバックを行うためのインターフェイスが利用できるようになり、Rasberry Pi Picoの処理をPCに出力したり、またプログラムを任意の行で停止したりできるようになります。
本チュートリアルは組み込み(マイコン)初心者でも手軽に始められるよに、この画面出力の機能を有効活用しています。
Baker link.Dev (推奨)
RP2040(Rasberry Pi Pico)とDebug Probe(CMSIS-DAP)が一体となった開発ボードです。
非常にリーズナブルな開発ボードで、面倒な配線をせずに本チュートリアルを始められます。
Rasberry Pi Pico & Rasberry Pi Debug Probe
開発環境
本チュートリアルでは、Baker link. Envを使ったポータブルなRust環境で組み込み開発を行なって行きます。 Baker link. Envの詳細はこちら
Baker link. Envは、次のツールを必要とします。
- Docker ( Rancher Desktop by SUSE )
- Visual Studio Code
- probe-rs
開発環境構築の流れ
%%{ init: { 'theme': 'base', 'themeVariables': { 'primaryColor': '#BB2528', 'primaryTextColor': '#fff', 'primaryBorderColor': '#7C0000', 'lineColor': '#F8B229', 'secondaryColor': '#006100', 'tertiaryColor': '#fff' } } }%% flowchart LR Output([Rancher DesktopとVisual Studio Codeのインストール]) Input([probe-rsのインストール]) Interrup([Baker link. Envのインストール]) Output --> Input --> Interrup
Rancher DesktopとVisual Stdio Codeのインストール
Rancher Desktop、Visual Studio Codeは、公式リンクのインストーラーでインストールできます。
またprobe-rsは、OSによってインストール方法を異なります。
probe-rsのインストール
Windowsの場合
- PowerShell(管理者)を起動して次のコマンドを実行して実行権限を取得します。
コマンド実行後に
Y
を入力してEnter
を押してください。
Set-ExecutionPolicy RemoteSigned -scope CurrentUser
- 実行権限を取得した後に次のコマンドを実行してprobe-rsをインストールします。
irm https://github.com/probe-rs/probe-rs/releases/latest/download/probe-rs-tools-installer.ps1 | iex
Macの場合
次のコマンドをターミナルで実行すればprobe-rsがインストールされます。
curl --proto '=https' --tlsv1.2 -LsSf https://github.com/probe-rs/probe-rs/releases/latest/download/probe-rs-tools-installer.sh | sh
Baker link. Envのインストール
Release PageにBaker link. EnvのWindowsとMacのインストーラーがあります。
.exeがWindows用、.dmgがMac用のインストーラーです。 対象のインストーラーをダウンロードして、実行してください。
Baker link. Envの使い方
Baker link. Envは、3つの機能があります。
- プロジェクトを作成する機能
- DAP Serverを起動する機能
- Log機能
これらの機能は、プロジェクト作成、DAP Serverの起動の順序で行います。もし、動作がおかしいなと思った時は出力されるLogをご確認ください。
本開発環境では、Rancher Desktopの起動が必須です。
Baker link. Envを起動すると自動でRancher Desktopが起動する仕様になっています。 もし起動していなかったら、Rancher Desktopのアプリのアイコンをクリックして起動状態にしてください。
プロジェクトの作成
-
Baker link. Envの
Create Project
のProject name
に好きなプロジェクト名を入力します。 -
create
をクリックして、プロジェクトの作成先のフォルダーを選択します。(
Visual Stduio Code open
にチェックが入っているとプロジェクト作成後に、VS Codeが自動起動します。) -
VS Codeの起動直後に左下の
コンテナーで再度開く
をクリックしてください。
DAP Severの起動&デバック
プロジェクトがDev Containerで立ち上がったら、次はBaker link. Devを接続し、probe-rsのDAP Serverを起動させ、デバックを動作させます。
- PCとBaker link. DevをUSBで接続してください。
-
接続したらBaker link. EnvのDAP Serverの
Run
クリックしてServerを起動してください。 -
F5
を押すと.vscode/launch.json
のprobe-run
という設定が動作します。 もう一度F5
を押すと、プログラムが実行されます。 VS Code上でログが表示されていることも確認できるかと思います。
今画面に見えているのは、3色のLEDが光りながらログに何色が点灯しているか表示するプログラムです。
チュートリアルの流れ
組み込みシステムでは、通常のソフトウェアの概念にプラスして、入力/出力(I/O)と割り込み処理があります。 本チュートリアルでは、出力、入力、割り込みの順に解説します。
%%{ init: { 'theme': 'base', 'themeVariables': { 'primaryColor': '#BB2528', 'primaryTextColor': '#fff', 'primaryBorderColor': '#7C0000', 'lineColor': '#F8B229', 'secondaryColor': '#006100', 'tertiaryColor': '#fff' } } }%% flowchart LR Output([① 出力(3色点灯)]) Input([② 入力(ボタン入力)]) Interrup([③ 割り込み(入力割り込み)]) Output --> Input --> Interrup
コードのフォルダー構成
作成されたプロジェクトのフォルダー構成は以下の通りです。 (他にもファイルがありますが、必要なファイルだけ記載しています)
.
|-- Cargo.toml # Cargoによるライブラリのインストールを管理するためのファイル
|-- examples # LEDやButtonの使い方の参考コード
| |-- traffic_light.rs
| |-- traffic_light_button.rs
| `-- traffic_light_button_irq.rs
|-- memory.x # 書き込み先のチップのメモリマップ設定ファイル
└── src # ソースコードフォルダ
└── main.rs # mainソースコードファイル
コードを書くときは、src内のファイルを編集することになります。 それ以外は設定ファイルなので、ビルド設定を変更したいときに編集します。
出力 3色点灯光(Lチカ) コードの解読
本チャプターのコード: examples/traffic_light.rs
もしRasberry Pi Picoを利用している場合は、LEDを配線してください。
※Baker link. Envの場合は、配線不要です。何も気にせずに、コーディングをお楽しみください。
コードの読解
src/main.rsがRustのコードになります。 コードの構成は、以下のように分かれています。
- ①マクロの宣言
- ②useの宣言
- ③bootローダー関連
- ④定数
- ⑤main関数
- ⑥プログラム開始ログ
- ⑦各設定のinit
- ⑧無限loop、ログ出力、LED PinのON/OFF、delay処理
次の節から、①〜⑧の順に説明します。
// ①マクロの宣言
#![no_std]
#![no_main]
// ②useの宣言
use defmt::*;
use defmt_rtt as _;
use panic_probe as _;
use rp2040_hal as hal;
use hal::pac;
use embedded_hal::delay::DelayNs;
use embedded_hal::digital::OutputPin;
// ③bootローダー関連
#[link_section = ".boot2"]
#[used]
pub static BOOT2: [u8; 256] = rp2040_boot2::BOOT_LOADER_GENERIC_03H;
// ④定数
const XTAL_FREQ_HZ: u32 = 12_000_000u32;
// ⑤main関数
#[rp2040_hal::entry]
fn main() -> ! {
// ⑥プログラム開始ログ
info!("Program start!");
// ⑦各設定のintit
let mut pac = pac::Peripherals::take().unwrap();
let mut watchdog = hal::Watchdog::new(pac.WATCHDOG);
let clocks = hal::clocks::init_clocks_and_plls(
XTAL_FREQ_HZ,
pac.XOSC,
pac.CLOCKS,
pac.PLL_SYS,
pac.PLL_USB,
&mut pac.RESETS,
&mut watchdog,
)
.ok()
.unwrap();
let mut timer = rp2040_hal::Timer::new(pac.TIMER, &mut pac.RESETS, &clocks);
let sio = hal::Sio::new(pac.SIO);
let pins = hal::gpio::Pins::new(
pac.IO_BANK0,
pac.PADS_BANK0,
sio.gpio_bank0,
&mut pac.RESETS,
);
let mut green_led = pins.gpio22.into_push_pull_output();
let mut orange_led = pins.gpio21.into_push_pull_output();
let mut red_led = pins.gpio20.into_push_pull_output();
// ⑧無限loop、ログ出力、LED、PinのON/OFF、delay処理
loop {
info!("green");
green_led.set_high().unwrap();
timer.delay_ms(2000);
green_led.set_low().unwrap();
info!("orange");
for _ in 1..4 {
orange_led.set_high().unwrap();
timer.delay_ms(500);
orange_led.set_low().unwrap();
timer.delay_ms(500);
}
orange_led.set_low().unwrap();
info!("red");
red_led.set_high().unwrap();
timer.delay_ms(2000);
red_led.set_low().unwrap();
}
}
main.rsは、最初に呼ばれるコードです。 その他のコード(例えばsrc/sub.rs)はまたmain.rs以外の別のコードから呼ばれる可能性もありますが辿っていけば最後はこのmain.rsから呼ばれることになります。
①マクロ宣言
このコード部分の話
#![no_std]
#![no_main]
マクロ(#![no_std]
と#![no_main]
)
Rustのマクロは、コンパイル時に処理されます。
コンパイルする時にコードを上書きしてくれるイメージです。
これは、C言語の#define
に少し似ています。
書き方は、#![macro_name]
です。
他にも関数のような使い方ができるマクロもあり、info!(argument)
がそれに当たります。
そして、最初の2行に#![no_std]
と#![no_main]
が記載されているかと思いますが、これもマクロです。
#![no_std]
#![no_std]
は、Rustのstdクレートの代わりにcoreクレートをリンクします。
このstdクレートは、WindowsやLinuxといったOS上で動作するソフトウェアに対して利用できます。
一方で、今回の組み込みソフトウェアでは、OSなしのベアメタル環境になるめstdクレートが利用できません。
そのため、OSなしの環境でも動作するcoreクレートに切り替える必要があるわけです。
#![no_main]
#![no_main]
は、Rustコンパイラの通常のエントリポイント(main関数)を利用しないことを意味します。
通常のmain関数を利用しない代わりに、今回のコードでは#[rp2040_hal::entry]
というマクロを宣言しています。
つまり、RP2040専用のエントリポイントを利用しているということです。
少し難しい説明でしたが、ベアメタル(OSなし)の環境ではstdクレートとmain関数が利用できないため、#![no_std]
と#![no_main]
を宣言する必要があると覚えておけば初めは問題ないです。
②use宣言
このコード部分の話
use defmt::*;
use defmt_rtt as _;
use panic_probe as _;
use rp2040_hal as hal;
use hal::pac;
use embedded_hal::delay::DelayNs;
use embedded_hal::digital::OutputPin;
use
大雑把に言えば「use
=ライブラリ(クレート)宣言の省略」です。
以降、その意味についてと利用の仕方について説明します。
他の言語だと外部のライブラリの呼び出しはinclude
やimport
といった宣言したりします。
Rustは、これらのライブラリ呼び出し宣言をせずとも、クレート名::利用したい関数
(例:cortex_m::delay::Delay::new()
)といったように::
を利用すれば参照したいクレート(ライブラリ)の関数を呼び出すことができます。
しかし、これの欠点は::
で繋いでいくと文字数が増えて読みづらくなることです。
そこで、use
の出番です。
use
を利用すれば、先頭の単語を省略して関数等を利用できます。
use
の詳細は、こちらのページに記載しています。
③bootローダー関連
このコード部分の話
#[link_section = ".boot2"]
#[used]
pub static BOOT2: [u8; 256] = rp2040_boot2::BOOT_LOADER_GENERIC_03H
bootローダーとは
このLチカのプログラムは、bootローダーというものを動作させる必要があります。
bootローダーとは、電源投入直後に動作するプログラムでのことで、組み込みシステムではよく出てきます。
初めはrp2040のチップの中にある書き換え不可能なブートローダーが実行されます。
その後2段階目のブートローダーとしてrp2040_boot2::BOOT_LOADER_GENERIC_03H
が呼ばれることになります。
このrp2040_boot2
は、RP2040のRust専用のブートローダーでUartなどの周辺回路(ペリフェラル)の初期化処理を行っています。
#[link_section = ".boot2"]
対象のシンボルを.boot2
というセクションに配置します。
.boot2
は、memory.x
というファイルに記載されています。
// memory.x
MEMORY {
BOOT2 : ORIGIN = 0x10000000, LENGTH = 0x100
FLASH : ORIGIN = 0x10000100, LENGTH = 2048K - 0x100
RAM : ORIGIN = 0x20000000, LENGTH = 256K
}
EXTERN(BOOT2_FIRMWARE)
SECTIONS {
/* ### Boot loader */
.boot2 ORIGIN(BOOT2) :
{
KEEP(*(.boot2));
} > BOOT2
} INSERT BEFORE .text;
これは、どのメモリーの何番地に何を入れるかの設定になります。
これを見てみると.boot2
は、0x10000000から0x10000099まで入ることが分かります。
#[used]
ファイルに静的に保持するための宣言です。
次のpub static BOOT2:[u8;256] = rp2040_boot2::BOOT_LOADER_GENRIC_03H
をBOOT2
をプログラムに静的に保持してくれます。
④定数(const)
このコード部分の話
const XTAL_FREQ_HZ: u32 = 12_000_000u32;
const
const
による宣言はコンパイル時にインラインの定数として扱われるようになります。
つまり、次のようにconst
を宣言しておけば、
const XTAL_FREQ_HZ: u32 = 12_000_000u32;
次のコードが
fn sample() -> u32{
let num: u32 = XTAL_FREQ_HZ + 1;
return num
}
コンパイル時には、次のコードになるという意味です。
fn sample() -> u32{
let num: u32 = 12_000_000u32 + 1;
return num
}
⑤main関数
このコード部分の話
#[rp2040_hal::entry]
fn main() -> !{
...
}
main関数
Rustはmain.rsの中に記載されているmain関数がはじめに呼ばれる関数です。 他の関数は、このmain関数から呼ばれたりmain関数が読んだ関数がまた次の関数を呼ぶことで呼ばれるようになります。
ちなみにWindowsやMacなどのOS上で動作するアプリを作成する際のmain関数の場合は次の通りです。
fn main{
...
}
これに比べるとRP2040のmain関数は#[rp2040_hal::entry]
があったり、-> !
があります。
#[rp2040_hal::entry]
#[rp2040_hal::entry]
の次の関数をRP2040のプログラムのmain関数として扱うことができます。
-> !
!
は値を返さない関数であることを示しています。
つまり、永遠にreturnをしないと言うことを明示しています。
⑥プログラム開始ログ
このコード部分の話
info!("Program start!");
info!
PC側にログを出力するための関数です。
このinfo!("Program start!")
は実行すると、Visual Stadio Codeのターミナル画面にProgram start
と出力されます。
また今回のコードの中に記載されてないですが、変数の中身の出力もできます。
たとえば次の通りに、i32の値を出力できます。
let cnt = 10;
info!("cnt: {}", cnt);
変数の中身を確認するのに大変便利なので、コードを状況を調べるのに活用してみてください。
⑦各設定のinit
このコード部分の話
let mut pac = pac::Peripherals::take().unwrap();
let mut watchdog = hal::Watchdog::new(pac.WATCHDOG);
let clocks = hal::clocks::init_clocks_and_plls(
XTAL_FREQ_HZ,
pac.XOSC,
pac.CLOCKS,
pac.PLL_SYS,
pac.PLL_USB,
&mut pac.RESETS,
&mut watchdog,
)
.ok()
.unwrap();
let mut timer = rp2040_hal::Timer::new(pac.TIMER, &mut pac.RESETS, &clocks);
let sio = hal::Sio::new(pac.SIO);
let pins = hal::gpio::Pins::new(
pac.IO_BANK0,
pac.PADS_BANK0,
sio.gpio_bank0,
&mut pac.RESETS,
);
let mut green_led = pins.gpio22.into_push_pull_output();
let mut orange_led = pins.gpio21.into_push_pull_output();
let mut red_led = pins.gpio20.into_push_pull_output();
ペリフェラルオブジェクトの取得
let mut pac = pac::Peripherals::take().unwrap();
この宣言で、ペリフェラルへのアクセスを簡単にしてくれるペリフェラルオブジェクトを::take
メソッドで取得しています。
ペリフェラルとは、マイコンに内蔵された装置のことを指しています。 RP2040では、次のペリフェラルがあります。
- GPIO:入出力
- UART:シリアル通信
- SPI:チップ間の通信
- I2C:チップ間の通信
- PWM:PWMの出力
- USBコントローラー:USBの通信
- PIO:プログラマブルな入出力
ウォッチドックオブジェクトのインスタンス
let mut watchdog = hal::Watchdog::new(pac.WATCHDOG);
この宣言で、ウォッチドックへのアクセスを簡単にしてくれるウォッチドックオブジェクトを::new
メソッドでインスタンスしています。
また::new
メソッドの引数でpac.WATCHDOG
を渡してます。
これは、ペリフェラルオブジェクトの一部であるWATCHODG
利用してウォッチドックオブジェクトを生成していることを意味してます。
クロックオブジェクトの初期化&取得
let clocks = hal::clocks::init_clocks_and_plls(
XTAL_FREQ_HZ,
pac.XOSC,
pac.CLOCKS,
pac.PLL_SYS,
pac.PLL_USB,
&mut pac.RESETS,
&mut watchdog,
)
.ok()
.unwrap();
この宣言で、クロックオブジェクトの初期化(pllsも初期化)と取得を::init_clocks_and_plls
メソッドで行っっています。
`
timerの初期化
let mut timer = rp2040_hal::Timer::new(pac.TIMER, &mut pac.RESETS, &clocks);
マイコンは、CPUを動作させるクロックを用いて時間測定しており、1クロックでカウントアップする回路のカウント数×1クロックの時間(クロックサイクル時間)で計算しています。
Timer
は、この時間に関係する処理を簡易化しており、Timer
の初期化でclocks
を引数で渡しています。
また何秒遅らせる(delay)かといった処理も、このTimer
で行うことができます。
SIOの初期化
let sio = hal::Sio::new(pac.SIO);
専用のペリフェラルを利用しているため、pac.SIO
を引数で渡して初期化しています。
GPIOの初期化
let pins = hal::gpio::Pins::new(
pac.IO_BANK0,
pac.PADS_BANK0,
sio.gpio_bank0,
&mut pac.RESETS,
);
GPIOの初期化をしています。この後のLEDへの出力設定をするには必要な設定になります。
GPIOの出力設定(LED)
let mut green_led = pins.gpio22.into_push_pull_output();
let mut orange_led = pins.gpio21.into_push_pull_output();
let mut red_led = pins.gpio20.into_push_pull_output();
GPIOの20、21、22をpush-pullのoutputで設定しています。
今回は、信号機のように赤、オレンジ、緑を光らせるため、変数名をred_led
、orange_led
、green_led
にして見やすくしました。
GPIO(General Purpose Input/Output)は、汎用入出力ピンのことです。 これらのピンは、マイクロコントローラやシングルボードコンピュータなどで使用され、入力または出力として設定できます。
⑧無限loop、ログ出力、LED PinのON/OFF、delay処理
このコード部分の話
loop {
info!("green");
green_led.set_high().unwrap();
timer.delay_ms(2000);
green_led.set_low().unwrap();
info!("orange");
for _ in 1..4 {
orange_led.set_high().unwrap();
timer.delay_ms(500);
orange_led.set_low().unwrap();
timer.delay_ms(500);
}
orange_led.set_low().unwrap();
info!("red");
red_led.set_high().unwrap();
timer.delay_ms(2000);
red_led.set_low().unwrap();
}
Loop
loop
は、文字通り無限に繰り返されるという意味です。
今回のコードでは、break
がないのでloop{}
の中の処理が無限に繰り返されます。
LEDのHigh、Low
green_led.set_high().unwrap();
...
green_led.set_low().unwrap();
.set_high()
で、GPIOをHighにします。
unwrap()
.set_high()
の後ろに.unwrap()
がついていますが、これりは意味があります。
set_high()
は、返り値にResult
を持つため次のようにエラー処理を書く必要があります。
match green_led.set_high(){
Ok(_) => {},
Err(e) => {
// Error
},
};
重要な箇所においては、このエラー処理は適切に記述するべきだと思います。
しかし、カジュアルにコーディングを楽しみたい、それほど重要でない場所にはunwrap()
という文法を用いることで、Ok
の時はその中身を取り出してくれます。(これがunwrapの意味です)
一方で、Err
の時はpanicになるので使い方には注意が必要です。
タイマーのDelay
timer.delay_ms(500);
500msで待つ処理です。文字通りです。
for文
for _ in 1..4 {
...
}
for
は、決まった回数繰り返すという文法です。
このfor
は、1..4
つまり1,2,3(4より小さいという意味です)の値を_
に入れて繰り返し処理をするというものです。
また_
は、その値を使わずに_
に入れておくという意味になりますので、今回は3回処理を繰り返すというfor
になります。
3色点灯(Lチカ)のまとめ
動作させたのは、緑のLEDを2秒点灯、オレンジのLEDを3回点滅、赤のLEDを2秒間点灯を無限に繰り返すプログラムでした。
お気づきかと思いますが、これは時間式の信号機に似ている処理になります。
次の章では、入力処理について学ぶためにこの信号機の処理にボタン入力を加えていきます。
入力 ボタン入力
本チャプターのコード: examples/traffic_light_button.rs
先ほどの時差式信号のプログラムにButtonの処理を加えてコードです。 追加されたのは、次の2つです。
- ①Buttonの設定
- ②Buttonの状態確認(input)
次の節から、①、②を説明します。
#![no_std]
#![no_main]
use defmt::*;
use defmt_rtt as _;
use panic_probe as _;
use rp2040_hal as hal;
use hal::pac;
use embedded_hal::delay::DelayNs;
use embedded_hal::digital::{InputPin, OutputPin};
// bootloader code
#[link_section = ".boot2"]
#[used]
pub static BOOT2: [u8; 256] = rp2040_boot2::BOOT_LOADER_GENERIC_03H;
const XTAL_FREQ_HZ: u32 = 12_000_000u32;
#[rp2040_hal::entry]
fn main() -> ! {
info!("Program start!");
let mut pac = pac::Peripherals::take().unwrap();
let mut watchdog = hal::Watchdog::new(pac.WATCHDOG);
let clocks = hal::clocks::init_clocks_and_plls(
XTAL_FREQ_HZ,
pac.XOSC,
pac.CLOCKS,
pac.PLL_SYS,
pac.PLL_USB,
&mut pac.RESETS,
&mut watchdog,
)
.ok()
.unwrap();
let mut timer = rp2040_hal::Timer::new(pac.TIMER, &mut pac.RESETS, &clocks);
let sio = hal::Sio::new(pac.SIO);
let pins = hal::gpio::Pins::new(
pac.IO_BANK0,
pac.PADS_BANK0,
sio.gpio_bank0,
&mut pac.RESETS,
);
// LED:GPIO22(Green), GPIO21(orange), GPIO20(RED)
let mut green_led = pins.gpio22.into_push_pull_output();
let mut orange_led = pins.gpio21.into_push_pull_output();
let mut red_led = pins.gpio20.into_push_pull_output();
// ①Buttonの設定
let mut button = pins.gpio23.into_pull_up_input();
loop {
info!("red");
red_led.set_high().unwrap();
timer.delay_ms(2000);
// ②Buttonの状態確認(input)
if button.is_low().unwrap() {
red_led.set_low().unwrap();
info!("green");
green_led.set_high().unwrap();
timer.delay_ms(2000);
green_led.set_low().unwrap();
info!("orange");
for _ in 1..4 {
orange_led.set_high().unwrap();
timer.delay_ms(500);
orange_led.set_low().unwrap();
timer.delay_ms(500);
}
orange_led.set_low().unwrap();
}
}
}
①Buttonの設定
このコード部分の話
let mut button = pins.gpio23.into_pull_up_input();
GPIOの設定(入力)
GPIO23をPull-Upの入力設定をしています。
Pull-Upで設定すると、Buttonを押した時(オープン)にLowになり、押してない時(クローズ)にHighになります。
Pull-UpとPull-Downで抵抗の繋ぎ方が違います。
Pull-Upは、スイッチがオープン(非接触)のときに、入力を高い状態(通常は電源電圧)に引き上げるために使用されます。これにより、スイッチがオープンのときに入力が不確定な状態になるのを防ぎます。
一方、Pull-Downは、スイッチがオープンのときに、入力を低い状態(通常はグラウンド)に引き下げるために使用されます。これにより、スイッチがオープンのときに入力が不確定な状態になるのを防ぎます。
②Buttonの状態確認
このコード部分の話
if button.is_low().unwrap() {
...
}
is_low()
is_low()
は、button
の入力がLowの時にTrueを返します。
つまりButtonを押した時に{}
の処理が実行されます。
set_high()
の時にも説明しましたが、unwrap()
はErrorの処理を省略しResult
の中身のbool値だけを取り出す関数です。
ボタン入力のまとめ
LEDの点灯からのButtonの入力確認は簡単だったと思います。
しかし、このプログラムには信号機として利用するには少し不便な欠陥があります。
それは、2秒間周期で一瞬しかButtonを検知されないことです。
loop {
info!("red");
red_led.set_high().unwrap();
timer.delay_ms(2000);
if button.is_low().unwrap() { // この処理が2秒周期で一瞬しかやってこない
...
}
}
この処理だと、Buttonを押したタイミングでたままた検知されるか、Buttonを長押ししないと反応しないようになっています。
押した時にif..{}
の処理をしたいですよね?
次の章では、そんな希望を叶えてくれる割り込みについて解説します。
割り込み 入力割り込みのコードの解読
本チャプターのコード: examples/traffic_light_button.rs
前章から追加されたのは、次の2つです。
- ①LED、Buttonの型、グローバル変数宣言
- ②GIPOの設定(割り込み)
- ③変数を格納
- ④割り込み設定の登録
- ⑤何もしない無限ループ
- ⑥割り込み処理
次の節から、①〜⑥を説明します。
#![no_std]
#![no_main]
use defmt::*;
use defmt_rtt as _;
use embedded_hal::delay::DelayNs;
use embedded_hal::digital::OutputPin;
use hal::pac::interrupt;
use panic_probe as _;
use rp2040_hal as hal;
// bootloader code
#[link_section = ".boot2"]
#[used]
pub static BOOT2: [u8; 256] = rp2040_boot2::BOOT_LOADER_GENERIC_03H;
const XTAL_FREQ_HZ: u32 = 12_000_000u32;
// ①LED、Buttonの型、グローバル変数宣言
type GreenLedPin =
hal::gpio::Pin<hal::gpio::bank0::Gpio22, hal::gpio::FunctionSioOutput, hal::gpio::PullDown>;
type RedLedPin =
hal::gpio::Pin<hal::gpio::bank0::Gpio20, hal::gpio::FunctionSioOutput, hal::gpio::PullDown>;
type OrangeLedPin =
hal::gpio::Pin<hal::gpio::bank0::Gpio21, hal::gpio::FunctionSioOutput, hal::gpio::PullDown>;
type ButtonPin =
hal::gpio::Pin<hal::gpio::bank0::Gpio23, hal::gpio::FunctionSioInput, hal::gpio::PullUp>;
type DelayTimer = hal::Timer;
type LedAndButton = (GreenLedPin, RedLedPin, OrangeLedPin, ButtonPin, DelayTimer);
static GLOBAL_PINS: critical_section::Mutex<core::cell::RefCell<Option<LedAndButton>>> =
critical_section::Mutex::new(core::cell::RefCell::new(None));
#[rp2040_hal::entry]
fn main() -> ! {
info!("Program start!");
let mut pac = hal::pac::Peripherals::take().unwrap();
let mut watchdog = hal::Watchdog::new(pac.WATCHDOG);
let clocks = hal::clocks::init_clocks_and_plls(
XTAL_FREQ_HZ,
pac.XOSC,
pac.CLOCKS,
pac.PLL_SYS,
pac.PLL_USB,
&mut pac.RESETS,
&mut watchdog,
)
.ok()
.unwrap();
let timer = rp2040_hal::Timer::new(pac.TIMER, &mut pac.RESETS, &clocks);
let sio = hal::Sio::new(pac.SIO);
let pins = hal::gpio::Pins::new(
pac.IO_BANK0,
pac.PADS_BANK0,
sio.gpio_bank0,
&mut pac.RESETS,
);
// LED:GPIO22(Green), GPIO21(orange), GPIO20(RED)
let green_led = pins.gpio22.into_push_pull_output();
let orange_led = pins.gpio21.into_push_pull_output();
let mut red_led = pins.gpio20.into_push_pull_output();
red_led.set_high().unwrap();
// ②GIPOの設定(割り込み)
// Button:GPIO23
let button = pins.gpio23.into_pull_up_input();
button.set_interrupt_enabled(hal::gpio::Interrupt::EdgeLow, true);
// ③変数を格納
critical_section::with(|cs| {
GLOBAL_PINS
.borrow(cs)
.replace(Some((green_led, red_led, orange_led, button, timer)));
});
// ④割り込み設定の登録
unsafe {
hal::pac::NVIC::unmask(hal::pac::Interrupt::IO_IRQ_BANK0);
}
// ⑤何もしない無限ループ
// info!("red");
loop {
cortex_m::asm::wfi();
}
}
// ⑥割り込み処理
#[hal::pac::interrupt]
fn IO_IRQ_BANK0() {
static mut LED_AND_BUTTON: Option<LedAndButton> = None;
if LED_AND_BUTTON.is_none() {
critical_section::with(|cs| {
*LED_AND_BUTTON = GLOBAL_PINS.borrow(cs).take();
});
}
if let Some(gpios) = LED_AND_BUTTON {
let (green_led, red_led, orange_led, button, timer) = gpios;
if button.interrupt_status(hal::gpio::Interrupt::EdgeLow) {
info!("Button pressed");
red_led.set_low().unwrap();
info!("green");
green_led.set_high().unwrap();
timer.delay_ms(2000);
green_led.set_low().unwrap();
info!("orange");
for _ in 1..4 {
orange_led.set_high().unwrap();
timer.delay_ms(500);
orange_led.set_low().unwrap();
timer.delay_ms(500);
}
orange_led.set_low().unwrap();
info!("red");
red_led.set_high().unwrap();
button.clear_interrupt(hal::gpio::Interrupt::EdgeLow);
}
}
}
プログラムの大枠
プログラムの大枠は、次の通りです。
graph TD A[main] --> C[mainの何もしない無限ループ] C -->|"GPIO割り込み(Button割り込み)"| B[IO_IRQ_BANK0] B -->|IO_IRQ_BANK0の処理完了| C
main
関数は、Pinの設定、割り込み設定を行い最後に何もしない無限ループで終わります。
Button割り込みがなければ、常に何もしない無限ループで待機し続けます。
Button割り込みがあった時に、IO_IRQ_BANK0
関数が実行され、LEDが点灯し処理終了後にmain
関数の何もしない無限ループに戻ります。
つまり割り込みがない限りは、何もしないプログラムになります。 また前章のボタンの入力をmain関数で検知する処理と比較して、GPIO割り込みというハードウェアとして備わっている機能に任せることができため、高速化つ確実にButtonを検知できます。
関数間でやり取りするためのグローバル変数の必要性
本章の処理では、main
関数とIO_IRQ_BANK0
関数の2つの関数がそれぞれ独立して実行されます。
Rustでは、main
関数から別の関数を実行する場合は所有権を渡してPinの参照変更をし、LEDを光らせます。
今回の場合は、IO_IRQ_BANK0
関数をmain
関数が呼び出すのではなく、GPIO割り込み(Button割り込み)が呼び出し実行します。
そのため、main
関数から所有権をIO_IRQ_BANK0
に所有権を貸すことができません。
そこで次のようなグローバルな変数を宣言して、関数間の所有権と変数の参照変更をできるようにしています。
static GLOBAL_PINS: critical_section::Mutex<core::cell::RefCell<Option<LedAndButton>>> =
critical_section::Mutex::new(core::cell::RefCell::new(None));
①LED、Buttonの型、グローバル変数宣言
このコード部分の話
type GreenLedPin =
hal::gpio::Pin<hal::gpio::bank0::Gpio22, hal::gpio::FunctionSioOutput, hal::gpio::PullDown>;
type RedLedPin =
hal::gpio::Pin<hal::gpio::bank0::Gpio20, hal::gpio::FunctionSioOutput, hal::gpio::PullDown>;
type OrangeLedPin =
hal::gpio::Pin<hal::gpio::bank0::Gpio21, hal::gpio::FunctionSioOutput, hal::gpio::PullDown>;
type ButtonPin =
hal::gpio::Pin<hal::gpio::bank0::Gpio23, hal::gpio::FunctionSioInput, hal::gpio::PullUp>;
type DelayTimer = hal::Timer;
type LedAndButton = (GreenLedPin, RedLedPin, OrangeLedPin, ButtonPin, DelayTimer);
static GLOBAL_PINS: critical_section::Mutex<core::cell::RefCell<Option<LedAndButton>>> =
critical_section::Mutex::new(core::cell::RefCell::new(None));
グローバルな変数
static GLOBAL_PINS: critical_section::Mutex<core::cell::RefCell<Option<LedAndButton>>> =
critical_section::Mutex::new(core::cell::RefCell::new(None));
GLOBAL_PINS
は、関数間でPin情報の変数を参照変更するためのグローバルな変数です。
関数を超えて変数の所有権、参照、変更のやり取りをするために、static
とcritical_section
のMutex
、RefCell
を利用します。
critical_section
は、並行処理で必要とされるグローバルな変数を制御するのに役立つ組み込み用のクレートです。
Mutex
、RefCell
は、std
が提供していますが、std_no
環境である組み込みでは利用することができません。
そこでcritical_section
が代わりにMutex
とRefCell
を提供してくれています。
ジェネリック<T>
hal::gpio::Pin<>
の<>
は、ジェネリックと言われるもので、構造体の中で異なる複数の型の値を保持できる定義です。
struct Container<T>{
value: T
}
T
が任意の型になります。
hal::gpio::Pin<hal::gpio::bank0::Gpio22, hal::gpio::FunctionSioOutput, hal::gpio::PullDown>
は、hal::gpio::Pin<>
というPinの型で、hal::gpio::bank0::Gpio22
、hal::gpio::FunctionSioOutput
、hal::gpio::PullDown
の3つを指定しており、GPIO22、SioOutput、PullDownのPin設定であることを意味しています。
type
type GreenLedPin = hal::gpio::Pin<...>;
これはhal::gpio::Pin<...>
をGreenLedPin
という名前に省略するよという意味です。
このtypeを定義することで、グローバル変数の記述が読みやすくなります。
static
static
は、静的変数を定義するために使われます。静的変数はプログラムの全体で一度だけ初期化され、プログラムの終了まで存在します。
Rustでは、static変数自体は変更不可能(イミュータブル)ですが、内部のデータが変更可能(ミュータブル)にすることが可能です。
GLOBAL_PINS
は、critical_section::Mutex
とcore::cell::RefCell
を使って内部のデータを安全に変更できるようにしています。
critical_section::Mutex
Mutex
は、変更可能(ミュータブル)な変数として扱うためのものです。
そして、複数の関数から安全にアクセスできるようにするためのロック機構が備わっており、同時に複数の関数がデータにアクセスすることを防ぎます。
core::cell::RefCell
RefCell
は、実行時に変更可能(ミュータブル)な借用をチェックするためもので、同じスコープ内での複数の変更可能(ミュータブル)な参照を可能にします。
Option
変数でNone
を扱うためのものです。
次のようにi32
をOption
でラップすることで、None
を入れることができます。
let val: Opiton<i32> = None
②GIPOの設定(割り込み)
このコード部分の話
let button = pins.gpio23.into_pull_up_input();
button.set_interrupt_enabled(hal::gpio::Interrupt::EdgeLow, true);
set_interrupt_enabled
GPIOの割り込みを有効にする関数です。
EdgeLow
は検出する信号のパターンを表し、第二引数のtrue
は有効にすることを示しています。
③変数を格納
このコード部分の話
critical_section::with(|cs| {
GLOBAL_PINS
.borrow(cs)
.replace(Some((green_led, red_led, orange_led, button, timer)));
});
critical_setcion::with
critical_setcion::with
は、critical_section::Mutex
であるGLOBAL_PINS
の変数の操作をするための関数です。
この|cs|{...}
の中のやり取りは、他のスレッドからブロックできます。
一連のLEDとButtonのpinの設定がされた、green_led
、red_led
、orange_led
、button
、timer
を格納しています。
またcs
は、Critical Sectionの略です。変数のためcs
でないaa
でも動作します。
クロージャ(|cs|{})
|cs|{}
は、関数を引数として渡せるクロージャと言われるもので、cs
が関数の引数の役割を果たします。
他の言語では、関数を別で宣言して::with(function_name)
のようにして関数名を書いて渡したりしますが、このクロージャを利用することでfunction_name
が不要になり、1つ関数名を考えなくて良くなります。
今回のような小規模なプログラムではメリットを感じないですが、大規模なプログラムになると全体の設計を把握して関数名を決定する必要があるため、1つ考える関数名が減るのはありがたいものです。
borrow
所有権限を借用することを示しています。 Rustでは、所有権を持つことで変数の値の変更することができるので、この操作が必要になります。
replace
値を置き換えることを意味しています。
ここでは、None
からSome((green_led, red_led, orange_led, button, timer))
に置き換えています。
Some
GLOBAL_PINS
は、Option
の変数でした。Option
にした理由は、None
を利用したかったためです。Some
は、Option
で設定した変数に格納する際、宣言するものです。
逆に次のコードでは変数に格納数ことはできません。
.replace((green_led, red_led, orange_led, button, timer));
④割り込み設定の登録
このコード部分の話
unsafe {
hal::pac::NVIC::unmask(hal::pac::Interrupt::IO_IRQ_BANK0);
}
unsafe
rustの借用等の安全な文法を無視して、コードを書くことを明示しています。
あまり利用しないようが良いのですが、NVICへの登録には必要になります。
NVIC::unmask
IO_IRQ_BANK0
とは、IO割り込みのBANK0を意味しており、
hal::pac::NVIC::unmask(hal::pac::Interrupt::IO_IRQ_BANK0);
では、NVICにIO_IRQ_BANK0
を登録することを意味しています。
NVIC(Nested Vectored Interrupt Controller)は、主にARM Cortex-Mシリーズのマイクロコントローラに搭載されている割り込みコントローラです。NVICは、システム内で発生する複数の割り込みを効率的に管理し、優先順位に基づいて処理を行います。
⑤何もしない無限ループ
このコード部分の話
loop {
cortex_m::asm::wfi();
}
cortex_m::asm::wfi
ARM Cortex-Mプロセッサのアセンブリ命令WFI(Wait For Interrupt)を呼び出します。 この命令は、プロセッサを低電力モードに移行させ、次の割り込みが発生するまで待機させるのに使用します。
つまり、このloop
の処理は「省エネな状態で無限に割り込みを待ちづつける」という意味になります。
⑥割り込み処理
このコード部分の話
#[hal::pac::interrupt]
fn IO_IRQ_BANK0() {
static mut LED_AND_BUTTON: Option<LedAndButton> = None;
if LED_AND_BUTTON.is_none() {
critical_section::with(|cs| {
*LED_AND_BUTTON = GLOBAL_PINS.borrow(cs).take();
});
}
if let Some(gpios) = LED_AND_BUTTON {
let (green_led, red_led, orange_led, button, timer) = gpios;
if button.interrupt_status(hal::gpio::Interrupt::EdgeLow) {
info!("Button pressed");
red_led.set_low().unwrap();
info!("green");
green_led.set_high().unwrap();
timer.delay_ms(2000);
green_led.set_low().unwrap();
info!("orange");
for _ in 1..4 {
orange_led.set_high().unwrap();
timer.delay_ms(500);
orange_led.set_low().unwrap();
timer.delay_ms(500);
}
orange_led.set_low().unwrap();
info!("red");
red_led.set_high().unwrap();
button.clear_interrupt(hal::gpio::Interrupt::EdgeLow);
}
}
}
hal::pac::interrupt
関数を割り込みの関数として表すマクロです。
次のIO_IRQ_BANK0
を割り込みの関数として扱うことを意味しています。
IO_IRQ_BANK0
IO割り込みとして予約されている関数です。
割り込み登録をしたIO_IRQ_BANK0
に紐づく関数です。このように割り込みの関数は、割り込みによって関数名が決められています。
割り込み関数内での借用
static mut LED_AND_BUTTON: Option<LedAndButton> = None;
LED_AND_BUTTON
がstatic
な変数として用意されます。
static
は、プログラムの最初に初期化されてからプログラムが終了するまで残り続ける変数を意味しています。
そしてIO_IRQ_BANK0
の中で宣言されるということは、この関数が呼び出され終了した後もLED_AND_BUTTON
は残り続け、再びIO_IRQ_BANK0
が呼び出されると残り続けているLED_AND_BUTTON
がそのまま再利用されます。
if LED_AND_BUTTON.is_none() {
critical_section::with(|cs| {
*LED_AND_BUTTON = GLOBAL_PINS.borrow(cs).take();
});
}
IO_IRQ_BANK0
内で宣言したLED_AND_BUTTON
がNone
だった時に、Critical Sectionを借用し、GLOBAL_PINS
をLED_AND_BUTTON
に入れる処理です。
LED_AND_BUTTON
の前に*
がついていますが、これはC言語のポインターに近い概念です。
LED_AND_BUTTON
は、static mut
になっていますがRustが自動的に&mut
と解釈するため、これをmut
として扱う(&
を外す)ために*
が必要になります。
割り込みされたか確認
if button.interrupt_status(hal::gpio::Interrupt::EdgeLow) {...}
IO_IRQ_BANK0
は、GPIOの割り込みがあったと時に動作し、それがどのGPIOのPinであったか認識することはできません。
このif
文は、button
のPinでEdgeLow
の割り込みがあったか確認をしています。
もし割り込みがあった場合は、{...}
の処理を実行します。
割り込み情報のクリア
button.clear_interrupt(hal::gpio::Interrupt::EdgeLow);
clear_interrupt
でbutton
のPinに割り込みがあった情報をクリアします。
今回は、割り込みを検出するPinが1つしなかったため、必要性を感じないですが、複数の割り込みを検知するPinがあった場合、このclear_interrupt
をしないとすべてのGPIO割り込みでbutton
のPinの処理が実行されてしまいます。
そのため、このclear_interrupt
の処理は必須になります。
入力割り込みのまとめ
いつのタイミングで押しても動作するボタン式信号機が完成しました。
割り込みは、組み込み開発以外であまり馴染みがありませんが、リアルタイム制御をする上で非常に大切なシステムになります。 今回説明したIO割り込みの他にも、タイマー割り込みという時間で割り込み処理を行うものもあります。 ぜひ、ご自身で調べて活用してみてください。
Q&A
Q. Baker link. Devのファームウェアを元に戻したい
Baker link. Devのデバッカー側のマイコン(RP2040)に公式ファームウェア以外のプログラムを書き込んだ後に、再度元の公式ファームウェアに戻したい時にどうすればよいか?
A. デバッカーのファームウェア更新 に記載している手順にしたがって、公式ファームウェアを書き込みし直してください。
Q. Baker link. Devが正常に動作しない
Baker link. DevのUSBが途切れたり電源がOFFになったりする。
A. Baker link. Devの基板表面の「Baker link. Dev © 2024」(初版のRev表記なし版)の場合は、37 Pin(EN)のイネーブルピンが未接続(フロート状態)のままだと、ディスイネーブル状態(ENがHigh)の状態になる場合があります。 37 Pin(EN)をLowつまり、37 Pin(EN)と38 Pin(GND)を接続(ショート)しください。
Dev Containers
Docker上で構築した仮想マシンに開発環境構築をし、LocalのVSCodeからアクセスできるVSCodeの機能です。 もし環境構築に失敗してもOSを初期化することをせずに、コンテナー(仮想マシン)を再構築するだけで良くなります。
またDockerfileを丁寧に調整すれば、同じ開発環境を他人に配布することさえできます。 今まで再現性のない環境開発構築に悩まされてきた人たちにとっては、革命的なツールです。
この環境を手軽に利用できるのが、Baker link. Envです。
Baker link. Envは、Dev Containersをセットアップしたテンプレートからプロジェクトを作成し、Localにインストールしたprobe-rsのDAP Serverを起動してくれます。
use
use
の通常パターン
use embedded_hal::delay::DelayNs;
単純に省略しているパターンです。
こうすることでembedded_hal::delay::DelayNs
はDelayNs
で呼び出し可能になります。
use
の*
パターン
*
を最後につけるとそれ以下のmod(モジュール)や関数を呼び出せるようになります。
use defmt::*;
イメージで説明すると、crate_a
の下にモジュール(m1)
があり、m1
内に関数func3
があった場合、それらが省略できるという意味です。
crate_a
├── m1
└── func2
use crate_a::*;
fn main(){
m1::func3(); // crate_a::M1::func3としなくてよい
func2(); // crate_a::func2()としなくて良い
}
as
use rp2040_hal as hal;
as
は、as
の前のクレート名を変更する機能を持っています。この文だとrp2040_hal
からhal
にクレート名を変更しています。
use
のas _
パターン
use defmt_rtt as _;
use panic_probe as _;
これは、クレートをmain.rsに取り込んだ後に、as _
でクレート名を_
に変換することで、main.rsで直接呼び出しをできないようにしています。(Underscore Imports)
defmt_rtt
の例で説明すると、defmt_rtt
はdefmt
をrttとして利用する設定にし、その後にas _
をすることでmain.rsで直接参照できなくなるのでmain.rsに悪影響を与えなくなります。
光を灯せ(Lチカ) コンパイル設定
Cargo.toml
cargo generate
で生成したCargo.toml
は次の通りになっているかと思います。
[package]
edition = "2021"
name = "blink"
version = "0.1.0"
license = "MIT OR Apache-2.0"
[dependencies]
cortex-m = "0.7"
cortex-m-rt = "0.7"
embedded-hal = { version = "0.2.5", features = ["unproven"] }
defmt = "0.3"
defmt-rtt = "0.4"
panic-probe = { version = "0.3", features = ["print-defmt"] }
# We're using a Pico by default on this template
rp-pico = "0.8"
# but you can use any BSP. Uncomment this to use the pro_micro_rp2040 BSP instead
# sparkfun-pro-micro-rp2040 = "0.6"
# If you're not going to use a Board Support Package you'll need these:
# rp2040-hal = { version="0.8", features=["rt", "critical-section-impl"] }
# rp2040-boot2 = "0.2"
# ~以下省略~
[package]
[package]
には、この作成しているプログラム(blink
)の情報が記載されています。
edition
は、利用するRustのコンパイラーのエディション(バージョンに近いがい少し違う)です。ここは、基本変更の必要はないはずです。(もし、古いエディションのRustが利用したいときは、変更する必要があると思います。)
それ以外として、name
はこのプログラムの名前、version
はこのプログラムのVersion、license
はこのプログラムのライセンスです。これらの情報は直接プログラムに影響を与えるものではないので、任意の値で結構です!
[dependencies]
[dependencies]
には、利用したいcrates.ioに存在するライブラリ(クレート)や自作ライブラリ(クレート)の利用情報を記載します。ここに書かれたライブラリ(クレート)は、src/
の下に描かれるプログラムから参照できるようになり、さらにcrates.ioのライブラリ(クレート)は、インターネットから自動でダウンロードしコンパイルができるようになります。
お気づきかもしれないですが、Rustではライブラリに近いものをクレートと呼んでいます。 これは、他の言語の経験がある方にとってには少し戸惑いがあると思いますが、慣れるとむしろクレートと聞いて少し嬉しい気持ちになったりします! また他にもトレイトと言われるものがあります。これは他の言語でいうインターフェイスに近いものになります。
それぞれ記載しているクレートについて説明します。
cortex-m
Cortex-Mに低レベルにアクセスする処理をするためのクレートです。
Cortexとは、マイクロプロセッサの設計開発をしているARM社のCPUファミリーの名称で、Cortex-A、Cortex-R、Cortex-Mの3つのシリーズがあります。その中でも、Cortex-Mは、ローエンドの組み込み用プロセッサとして開発されてます。後ろについているMは、マイクロコントローラーのMを指しているようです。
cortex-m-rt
Cortex-M マイクロコントローラーのセットアップ用のコードと最小限のランタイムです。
cortex-m
と基本セットで利用する必要があります。
embedded-hal
Rustの組み込み用のトレイトの集まりです。
組み込みで利用するCPUチップは、数多く存在するしますが、細かい違いはあるものも共通的な機能が多いです。このembedded-hal
は、それらの共通化に大きく役に立っています。
ただembeded-hal
には、直接的な処理の機能がないためこれを継承して作成されたクレートを呼び出して利用する必要があり、今回はrp2040-hal
を内包しているrp-pico
がそれに当たります。
詳細は、The Embedded Rust Bookに記載されているのでそちらを見ていただきたいですが、プログラミングに慣れてない方が見ても難しい内容なので、初めは見なくても支障はありません。
halとは、Hardware Abstraction Layerの略で、ハードウェア抽象化層と言われるものです。このhalがハードウェアごとの仕様の違いを吸収し、利用するCPUが異なっていてもユーザーには、別のCPUと同じ使用間でプログラムができるになります。
rp-pico
rp2040をHALであるrp2040-hal
をRaspberry Pi Picoにカスタマイズしたクレートです。
rp2040のGPIOやI2Cなどの制御処理を関数を呼び出すだけで利用できます。
defmt
組み込みプログラミングで効率的にロギングを利用するためのフレームワークです。
defmt
という名前は、deferred formattingから来ているそうです。
defmt-rrt
RTT(Real-Time Transfer)プロトコルで、defmt
のログメッセージを送信するクレートです。
デバッカーのファームウェア更新手順
- Baker link. Devの29 Pin(BOOTSEL 1)と28 Pin(GND)を接続(ショート)し、デバッカー側のマイコン(RP2040)を書き込みモードにしてください。
- releaseの*.uf2ファイルをダウンロードし、ドラック&ドロップで"RPI-RP2"(RP2040の書き込み用フォルダ)に*.uf2ファイルをコピーしてください。(これで書き込まれます)
Baker link. Devのファームウェア(UF2)は、こちらからダウンロード可能です
Baker link. Devによる外部マイコン書き込み
Baker link. Devは、外部マイコン書き込みをサポートしており、SWDデバックに対応している他のARM系CPUにRustのプログラムを書き込み可能です。
本節では、Baker link.Devを利用してRaspberry Pi PicoにRustプログラムを書き込む例に、外部マイコンへの書き込み方法を説明します。
開発環境
Baker link. Devで利用してきたBaker link. Envをそのまま利用することが可能です。 Baker link. Envを含めた環境構築については、環境構築を参照ください。
外部マイコンへの書き込み手順(Rasberry Pi Pico)
- Baker link. Envを起動し、プロジェクト名、createクリック、プロジェクト保存先を選択すると、数秒後にVisual Studio Codeが開きます。
- Visual Studio Codeの左下に表示される「コンテナ―で再度開く」をクリックしてください。すると、Dockerイメージのダウンロード&ビルド処理が開始されます。この処理が数分程度かかりますので、しばらくお待ちください。
- src/main.rsを開き、以下のプログラムに書き換えてください。
このプログラムは、Raspberry Pi PicoのUSB付近のLED(GPIO25)をON/OFFするプログラムです。
#![no_std]
#![no_main]
use defmt::*;
use defmt_rtt as _;
use panic_probe as _;
use rp2040_hal as hal;
use hal::pac;
use embedded_hal::delay::DelayNs;
use embedded_hal::digital::OutputPin;
#[link_section = ".boot2"]
#[used]
pub static BOOT2: [u8; 256] = rp2040_boot2::BOOT_LOADER_GENERIC_03H;
const XTAL_FREQ_HZ: u32 = 12_000_000u32;
#[rp2040_hal::entry]
fn main() -> ! {
info!("Program start!");
let mut pac = pac::Peripherals::take().unwrap();
let mut watchdog = hal::Watchdog::new(pac.WATCHDOG);
let clocks = hal::clocks::init_clocks_and_plls(
XTAL_FREQ_HZ,
pac.XOSC,
pac.CLOCKS,
pac.PLL_SYS,
pac.PLL_USB,
&mut pac.RESETS,
&mut watchdog,
)
.ok()
.unwrap();
let mut timer = rp2040_hal::Timer::new(pac.TIMER, &mut pac.RESETS, &clocks);
let sio = hal::Sio::new(pac.SIO);
let pins = hal::gpio::Pins::new(
pac.IO_BANK0,
pac.PADS_BANK0,
sio.gpio_bank0,
&mut pac.RESETS,
);
let mut led = pins.gpio25.into_push_pull_output();
loop {
info!("LED on");
led.set_high().unwrap();
timer.delay_ms(2000);
info!("LED off");
led.set_low().unwrap();
timer.delay_ms(2000);
}
}
- Baker link. EnvのRunをクリックしてください。するとバックグラウンドで、probe-rsのDAP Serverが起動します。
- Baker link. DevとRasberry Pi PicoをJST-SH型3ピンコネクタケーブルで接続してください。
販売しているBaker link. Dev Rev.1のSWDのピン配置は、販売時期によって以下のようにSWDのCLKとDIOの配置が逆転しています。これはストレートケーブルからクロスケーブル対応にBaker link. Devのファームウェアが変更されたためです。正常に通信がされない場合は、CLKとDIOの接続を逆にして接続することをお勧めいたします。
また配線で解決できない場合は、CLKとDIOが逆のバージョンのファームウェアをインストールすることも可能です。
- Raspberry Pi Picoに電源を供給するために、Raspberry Pi PicoとPCをUSBケーブルで接続します。
- 次のBaker link. Devを外部マイコン書き込みモードで接続するために、真ん中のボタンを押しながら、Baker link. DevとPCをUSBケーブルで接続してください。
外部マイコン書き込みモードで接続されると緑のLEDが点灯します。
- Visual Studio CodeでF5キーを押してください。すると、以下のようなアイコンが表示されます。
- もう一度、F5キーを押すと、プログラムが動作します。
info!(...)のログが下の画面に表示されます。
LEDも点灯されます。
この方法は、SWDデバックに対応している他のARM系CPUでも対応可能なので是非別のCPUでも試してみてください!