BPFプログラム実行

コンテキスト

この図はSolanaのスマートコントラクト実行環境を説明するセクションに掲載されており、BPF（Berkeley Packet Filter）ベースのプログラム実行モデルを示している。

この図が示す内容

この図は、SolanaがBPF仮想マシンを使用してスマートコントラクト（プログラム）を実行する方法を示している。開発者はRustやCでプログラムを記述し、BPFバイトコードにコンパイルする。バリデーターはBPFインタープリターまたはJITコンパイラーを通じてプログラムを実行する。BPFの安全性保証——メモリ安全性、終了保証、サンドボックス実行——により、悪意のあるプログラムがバリデーターノードを侵害することが防止される。Sealevel並列ランタイムは、独立したアカウントにアクセスするプログラムを同時に実行する。

意義

この図は、SolanaのBPFベースの実行環境がEVMとは根本的に異なるアプローチを採用していることを示している。BPFはLinuxカーネルで実証済みの技術であり、安全性と性能の両方を提供する。Sealevelとの組み合わせにより、スマートコントラクトの並列実行が可能となり、Solanaの高スループットの重要な要素となっている。

関連用語

の他の図

Fig. 1. Proof of Historyシーケンス

Fig. 2. PoHデータ挿入

Fig. 3. PoH検証

Fig. 4. PoHバック参照

Fig. 5. ネットワーク設計

Fig. 6. PoHジェネレーター同期