Rust vs. JavaScript でメモリ管理を比較してみた

Rust vs. JavaScript でメモリ管理を比較してみた 2025/1/31 　StepByCode vol.4 「StepByCode 新年LT
会！」中野ヨシユキ

自己紹介名前：中野ヨシユキ (@engin_yo) 職種：ソフトウェアエンジニア仕事：LINE ミニアプリ開発会社：クラスメソッド株式会社福岡オフィス興味：ソフトウェアアーキテクチャ/TypeScript/AWS CDK/DevOps
趣味：ランニング、自作キーボード

2025 年の抱負

Rust できる人になりたい

手始めに

メモリ管理を理解したい

アジェンダ 1. そもそもメモリとは 2. JavaScript のメモリ管理 3. 束縛と代入の比較 4. Rust
のメモリ管理 5. Rust 所有権のメリット

そもそもメモリとはプログラムが実行時に使用する一時的な記憶領域変数や値を保持する場所スタックとヒープの2 種類があるメモリスタック固定サイズのデータヒープ
可変サイズのデータ

JavaScript のメモリ管理ガベージコレクション（GC ）による自動管理オブジェクトは参照として扱われる同じメモリ領域を複数の変数で共有オブジェクトへの参照が再代入できなくなるだけでプロパティの書き換えは可能
1 // 同じメモリ領域を参照 2 let obj1 = { data: "hello" }; 3 let obj2 = obj1; // 同じオブジェクトを参照 4 5 // obj2 経由で変更すると、obj1 も変更される 6 obj2.data = "world"; 7 console.log(obj1.data); // "world" 8 console.log(obj2.data); // "world" 9 10 // const でも参照先の値は変更可能 11 const obj3 = { data: "test" }; 12 obj3.data = "changed"; // OK 13 // obj3 = null; // エラー：再代入は不可

代入の変数と値の割当 JavaScript Memory 変数値のアドレス別の変数値のアドレスを共有複数の変数が同じ値を参照可能変更が全ての参照に影響

束縛の変数と値の割当 Rust Memory 変数値別の変数値のコピー/ 移動値は一つの変数にのみ紐付く同時に複数の変数から変更不可
束縛という概念を利用してRust はメモリ管理を行う

JS とRust のメモリ管理の比較項目 JavaScript Rust メモリ解放自動（GC ）自動（コンパイル時）
値の共有参照で共有所有権移動並行処理データ競合の可能性コンパイル時に防止パフォーマンス GC による一時停止予測可能な実行時間

所有権とは Rust のメモリ管理を実現各値にはある時点でただ一つの所有者が存在スコープを抜けると自動的にメモリ解放 1 fn main() { 2
{ 3 let s = String::from("hello"); // メモリ確保 4 println!("s = {}", s); 5 // ここでs のスコープが終わり、メモリが自動解放される 6 } 7 // println!("s = {}", s); // コンパイルエラー：s は解放済み 8 9 let s1 = String::from("world"); 10 let s2 = s1; // s1 の所有権がs2 に移動 11 println!("s2 = {}", s2); // OK 12 // println!("s1 = {}", s1); // コンパイルエラー：s1 は無効 13 }

所有権の移動 Memory 移動前 v1 データ [1,2,3] Memory 移動後 v1 （無効）
v2 データ [1,2,3] 所有権の移動とは値のメモリ所有権が別の変数に移る元の変数は無効になる（使用不可）同時に2 つの変数が同じメモリを操作できないコンパイル時にメモリの安全性を保証 1 // ヒープメモリに[1, 2, 3] を確保 2 let v1 = vec![1, 2, 3]; 3 4 // v1 の所有権がv2 に移動 5 // - メモリの所有者がv1 からv2 に変更 6 // - v1 は無効になる 7 let v2 = v1; 8 9 // ここでv1 を使おうとするとコンパイルエラー 10 // println!("{:?}", v1) 11 12 // v2 は有効なので使用可能 13 println!("{:?}", v2);

所有権の借用借用とは所有権を移動せずに値を参照する仕組み & で不変の参照（読み取りのみ） &mut による可変参照借用中は所有者が値を手放さない関数に値を渡す際によく使用する
1 // &Vec<i32> は「Vec<i32> の参照」を表す 2 // 所有権は移動せず、一時的に借用する 3 fn print_vec(v: &Vec<i32>) { 4 println!("{:?}", v); 5 // 関数を抜けると借用が終了 6 } 7 8 let v = vec![1, 2, 3]; 9 10 // & を付けて参照を渡す（借用） 11 print_vec(&v); 12 // v の所有権は移動していないので使える 13 println!("{:?}", v);

所有権はなにがうれしいの？ 1. メモリ安全性の保証データ競合の防止無効な参照の防止 2. 予測可能なパフォーマンス GC による停止がないリソースの即時解放
3. 並行処理の安全性コンパイル時のチェックデータ競合の防止

さいごに

2025 年の目標 Rust を理解してなにかつくる！サーバーサイドRust 、Webassembly やりたい

ご清聴ありがとうございました

Rust vs. JavaScript でメモリ管理を比較してみた

Rust vs. JavaScript でメモリ管理を比較してみた

Yoshiyuki Nakano

More Decks by Yoshiyuki Nakano

Other Decks in Programming

Featured

Transcript