📂プログラミング言語処理系

SICPや nand2tetrisで扱う分野をまとめる.

• 📝プログラミング: コンパイラ
• 📝メタプログラミング
  • 📝マクロ - Macro

メモリ管理

📝ヒープメモリ、動的メモリ獲得.

• 手動で頑張る！: C/C++
  • https://kmaebashi.com/zakki/zakki0021.html
• 📝ガベージコレクション: GC
• 📝所有権(rust): Rust

メモリ獲得

Memoery Allocator.

Explicit allocator

C の malloc や free で動的に取得・開放される.

• malloc - Wikipedia

Inplicit allocator

アプリケーションによって獲得されるが, 開放されない.

Java のガベージ・コレクション.

📝スタックメモリ

スタックメモリ, stack領域.

ソフトウェアが起動時に静的に確保するメモリ領域. 対義語は📝ヒープメモリ.

📝ヒープメモリ

ヒープ領域, ソフトウェアが実行時に動的に割り当てることができるメモリ領域.

• 📝ヒープ構造と区別するために, heap memoryと呼ぶことが多い.
• 📝ガベージコレクションはヒープ領域の解放を自動化.

💣セグメンテーション違反

Segmentation Fault.

ソフトウェアがアクセス許可のないメモリ領域にアクセスしようとしたり、許可されていない方法でメモリにアクセスしようとするときに発生するエラー.

• OSが占有しているメモリ領域に書き込もうとすること.
• リードオンリーのメモリ領域に書き込もうとすること.
• 配列の範囲外にアクセスすること.
• すでに解放されたメモリ領域にアクセスすること.

即時Painic

• NULLポインタアクセス: 🔖ヌルポ

💣ヌルポ

• 📝JavaのNullPointerExceptionのネットスラング.

出現するとウザいので, クソみたいな人間をヌルポやろうという.

メモリ二重解放

同じメモリを二回解放

ダングリングポインタ

解放済みメモリへのアクセス.

💣Buffer Overflow

メモリ破壊. プログラムが意図しない方法でメモリの内容を変更してしまうこと.

バッファオーバーフロー. バッファオーバーランともいう. 設計者が意図していないメモリ領域の破壊が起こされるバグ.

• バッファオーバーラン - Wikipedia
• 地獄の苦しみ、メモリ破壊をCppcheckで華麗に食い止めよう！ | Futurismo

Heap Overflow

💣Stack Overflow

スタックオーバーフロー (stack overflow) は, プログラム中での関数呼び出しが多すぎる時に発生する.

• スタックオーバーフロー - Wikipedia

C 言語は末尾再帰未サポート

再帰による無限ループで発生する. ただし, 末尾最適化を実装した言語では末尾再帰をループへ展開することができ, 末尾再帰ではスタックオーバーフローは起こらない.

C 言語のような副作用と構造化を基本とする手続き型言語では, 言語処理系による自動的な末尾呼び出しへの変換やその最適化 (末尾最適化) は難しい.

• 📝ガベージコレクション
• 📝所有権(rust)

🌊メモリリーク

メモリ解放漏れ. 確保したメモリを解放し忘れ.

これはじわじわとメモリが枯渇するので、システム緊急停止というわけではない.

• CppCheckでC言語/C++のメモリリーク（解放漏れ）を静的解析で検出する | Futurismo

📝ガベージコレクション

ガベージコレクション(garbage collection, GC)とは, プログラムが動的にメモリを獲得した領域のうち, 不要になった領域を自動で解放する機能.

• ジョン・マッカーシーが📝Lispにて初めての実装.
• 📝JVMガベージコレクションが有名.
• ガベージコレクション - Wikipedia

References

• SICP 手続きによる抽象の構築を読んだ | Futurismo
• SICP 第 2 章 データによる抽象の構築を読んだ | Futurismo

👉Related

refs: 📂Programming 📂Computer Science