Upgrade to Pro
— share decks privately, control downloads, hide ads and more …
Speaker Deck
Features
Speaker Deck
PRO
Sign in
Sign up for free
Search
Search
Embedded-Rust
Search
tomoyuki-nakabayashi
June 17, 2019
Programming
1
2.9k
Embedded-Rust
tomoyuki-nakabayashi
June 17, 2019
Tweet
Share
More Decks by tomoyuki-nakabayashi
See All by tomoyuki-nakabayashi
Nature Remo SDKアップデートの軌跡
tomoyuki
1
1k
How to learn Embedded Rust Edition 2021
tomoyuki
0
1.4k
hello-world-on-RTOS
tomoyuki
0
790
Baremetal Rust for RISC-V
tomoyuki
5
1k
Other Decks in Programming
See All in Programming
Streams APIとTCPフロー制御 / Web Streams API and TCP flow control
tasshi
2
350
ECS Service Connectのこれまでのアップデートと今後のRoadmapを見てみる
tkikuc
2
250
3 Effective Rules for Using Signals in Angular
manfredsteyer
PRO
0
120
聞き手から登壇者へ: RubyKaigi2024 LTでの初挑戦が 教えてくれた、可能性の星
mikik0
1
130
What’s New in Compose Multiplatform - A Live Tour (droidcon London 2024)
zsmb
1
480
Why Jakarta EE Matters to Spring - and Vice Versa
ivargrimstad
0
1.2k
『ドメイン駆動設計をはじめよう』のモデリングアプローチ
masuda220
PRO
8
540
Functional Event Sourcing using Sekiban
tomohisa
0
100
Outline View in SwiftUI
1024jp
1
330
Compose 1.7のTextFieldはPOBox Plusで日本語変換できない
tomoya0x00
0
200
タクシーアプリ『GO』のリアルタイムデータ分析基盤における機械学習サービスの活用
mot_techtalk
4
1.5k
ヤプリ新卒SREの オンボーディング
masaki12
0
130
Featured
See All Featured
Six Lessons from altMBA
skipperchong
27
3.5k
Unsuck your backbone
ammeep
668
57k
We Have a Design System, Now What?
morganepeng
50
7.2k
Reflections from 52 weeks, 52 projects
jeffersonlam
346
20k
Building Adaptive Systems
keathley
38
2.3k
Into the Great Unknown - MozCon
thekraken
32
1.5k
Building an army of robots
kneath
302
43k
Helping Users Find Their Own Way: Creating Modern Search Experiences
danielanewman
29
2.3k
[RailsConf 2023] Rails as a piece of cake
palkan
52
4.9k
Building a Scalable Design System with Sketch
lauravandoore
459
33k
The World Runs on Bad Software
bkeepers
PRO
65
11k
Building Better People: How to give real-time feedback that sticks.
wjessup
364
19k
Transcript
組込みRustのすゝめ 中林 智之(connectFree株式会社)@LDScell 2019/06/17 Interface オフ会 ポインタが使えるモダンC++風言語Rust×組み込みの研究 1
アンケート Rust使ったことありますか? 1. まだ! 2. 入門はした 3. 組込み以外で書いている (趣味もOK) 4.
組込みで書いている (趣味もOK) 1.半分強 2. なし 3. 2割弱 4. 3割くらい 2
エグゼクティブサマリ Short Answer by 実践Rust入門〜はじめに〜 > Rustはモダンな機能で開発者の生産性を高めつつ、 > 安全で、ハードウェアの性能を最大限に発揮できる >
数少ないプログラミング言語 3 – エコシステム/ライブラリが不十分 →使えるところに導入していこう! 道を切り拓こう! なぜ組込みでRustなの? 一方、課題も…
諸注意 • 本プレゼンテーションに以下の意図は一切ありません – C, C++の完全否定 – C, C++は古臭くてダメ! –
C, C++を一切使用するな! – 全てをRustで書くべき! • モチベーション – 触ってみてイケると思ったからみんなでやろーぜ! – CS発達の恩恵を活用しよう! 4
自己紹介 • 中林智之 (connectFree株式会社 組込みプログラマ) • Twitter: @LDScell • Interfaceでの記事掲載経験
– なし! – 今後のRust特集で…(お願いします!!!) 5
背景 • C, C++ (特にCの機能) は危険! – コンパイラが安全性を保証しない – 実行時にバグ
/ 脆弱性として顕在化 • 型安全性 – 未定義動作 • メモリ安全性 – メモリリーク、ダングリングポインタ • スレッド安全性 – データ競合 6
そうは言うけど 組込みって C/C++しか 選択肢ないで しょ? 7
• 組込み開発でもプログラミング言語が選 べる時代になりつつある • LLVMが登場 – GCCに匹敵するコンパイラ実装の敷 居が下がった 朗報 8
LLVM ↑フロントエンドを 頑張れば、新しいプログラミング言語が作 れる 9 Compiler Infrastructure LLVM 中間表現 最適化
機械語生成 フロントエンド
主な支援企業 Mozilla 利点 性能、生産性、安全性 言語仕様 難しい メモリ管理 多くをコンパイラが保証 その他 型安全、メモリ安全、スレッド
安全で、資源効率はCに匹敵 10
性能 (時間の都合上省略!) C言語に匹敵するというベンチマーク結果 • The Computer Language Benchmarks Game (Rust
vs C) https://benchmarksgame-team.pages.debian.net/benchmarksgame/faster/rust.html • NIC Driver https://github.com/ixy-languages/ixy-languages Rust is blazingly fast and memory-efficient!
生産性 (時間の都合上省略!) • 気になる方向けのキーワード – cargo (パッケージマネージャ) – clippy (lint)
– rustfmt (フォーマッタ) – 代数的データ型 (Enum) とパターンマッチ – トレイト / ジェネリクス – ビルトインのユニットテストフレームワーク
Rust安全性の ヒ・ミ・ツ♡ 13
コンパイラが 鬼!!! 悪いコードはいねぇがぁ~ 14
Rustコンパイラが鬼な理由 • 強い型付けシステム – C言語より圧倒的に型に対して厳しい • 所有権システム – ガベージコレクタなしでメモリを管理 –
メモリ安全性がコンパイル時に保証 • メモリの2重解放を起こさない • ダングリングポインタを作らない • マルチスレッドでデータ競合を起こさない – リソースの自動解放 • メモリ、ファイルなどが不要になると、リソースを速やか に、一度だけ解放 15
所有権システムの重要要素 • 所有権 • 借用 • ライフタイム
所有権 • C言語では、複数の場所から変数を書き換え ることが可能 • *v1も*v2も同じ値を変更でき、バグの温床に なることも… 17 int32_t *v1
= malloc(sizeof(int32_t)); *v1 = 42; int32_t *v2 = v1; *v1 += 1; *v2 += 1; // value is `44`
int32_t *v1 = malloc(sizeof(int32_t)); *v1 = 42; int32_t *v2 =
v1; *v1 += 1; *v2 += 1; // value is `44` 所有権 • C言語では、複数の場所から変数を書き換え ることが可能 • Cで*v1も*v2も同じ値を変更でき、バグの温 床に 18 Rustではできない!
所有権 • 値を変更できる唯一の所有者が存在 • マルチスレッドでも同様 • 同時に複数箇所から値を書き換えるコードはコ ンパイルエラー 19 let
mut v1 = Box::new(42); let mut v2 = v1; *v1 += 1; // compile error *v2 += 1;
所有権 • 値を変更できる唯一の所有者が存在 • マルチスレッドでも同様 • 同時に複数箇所から値を書き換えるコードはコ ンパイルエラー 20 所有権が
v2に移動 v1は値を 変更できない let mut v1 = Box::new(42); let mut v2 = v1; *v1 += 1; // compile error *v2 += 1;
借用 • 参照を作って所有権を貸すこと • 関数の引数渡しを便利にする 21 let mut v1 =
Box::new(42); { let v2 = &mut v1; // *v1 += 1; // compile error **v2 += 1; } *v1 += 1;
借用 • 借用のルール – 誰かが書き換える可能性がある変数は、他の誰 も読むことすらできない – 誰も書き換えない変数は、複数の場所から読む ことができる 22
let mut v1 = Box::new(42); { let v2 = &mut v1; // println!("v1: {}", *v1); println!("v2: {}", **v2); } let mut v1 = Box::new(42); { let v2 = &v1; println!("v1: {}", *v1); println!("v2: {}", **v2); }
ライフタイム • 生存期間を終えた値(資源)は破棄される • 動的確保したメモリも、自動的に解放される (メモリリークを起こさない) • 生存期間を終えた変数へのアクセスはコンパ イルエラー(ダングリングポインタを作らない) 23
{ let mut v1 = Box::new(42); } // ここでメモリが解放される
どのくらい安全なの? • C – 言語仕様の穴をMISRA-Cなどで補填(ツラい。お金 かかるし) • メモリリークやダングリングポインタは別途 • Rust
Rustで普通にプログラミングするだけでMISRA-Cのルールを90%満 足できる – コンパイラ検査+公式lintツール (OSS) – メモリリークやダングリングポインタは発生しない 24 基本
組込みRustの課題 • C言語とのギャップが大きく、学習コストが高 い – シンタックス – セマンティクス • エコシステム
– 商用レベルのRTOSがない – C/C++ほど資産がない • C/C++の資産を使いながら、新規開発部分 や最重要部分をRustで実装する 25
ゼロから始める組込みRust 1. 実践Rust入門 第一部 基礎編 – Rust自体への入門 2. Discovery –
STM32F3DiscoveryでLチカから 3. The Embedded Rust Book / Embedonomicon – ちょっとずつディープに
まとめ • 組込み開発でも言語が選べる時代に • 現状、Rustが有力候補 • Rustは – 安全で –
生産性が高く – ハードウェアの性能を最大限発揮できる • 導入可能なところから使っていこう! 27
More Information • Rust公式ページ https://www.rust-lang.org/ • Rust Embedded devices WG
https://github.com/rust-embedded/wg • Rust-JP Slack https://rust-jp.slack.com/ • twitter – #rust_jp – #shinjukurs – などなど
Rust学習リソース • Rustの日本語ドキュメント https://doc.rust-jp.rs/ • 書籍 – プログラミングRust (通称カニ本) –
実践Rust入門 (通称バイシクルブック) – プログラミングRust 公式ガイド
組込みRust和訳ドキュメント • The Embedded Rust Book – https://tomoyuki-nakabayashi.github.io/book/ (環境構築、ベストプラクティス集、マニュアル集) •
Discovery – https://tomoyuki-nakabayashi.github.io/discov ery/ (STM32F3DiscoveryでLチカ / GDB利用方法など) • The Embedonomicon – https://tomoyuki-nakabayashi.github.io/embed onomicon/ (リンカセクション操作したりマニアックなアレコレ) 30