Fig. 11

Eksekusi Program BPF

Executing user-supplied BPF programs in Solana Sealevel runtime with shared intrinsic calls

Konteks

Gambar ini muncul di bagian yang menjelaskan model pemrograman Solana dan bagaimana program (kontrak pintar) dieksekusi di runtime.

Apa yang ditunjukkan gambar ini

Diagram menunjukkan arsitektur eksekusi program Solana berbasis BPF (Berkeley Packet Filter). Program dikompilasi ke bytecode BPF dan dieksekusi di dalam virtual machine BPF yang terisolasi. Diagram menunjukkan bahwa program hanya dapat membaca dan menulis ke akun yang secara eksplisit diteruskan sebagai parameter — mereka tidak memiliki akses ke state global sewenang-wenang. Ini memungkinkan Sealevel runtime untuk menentukan transaksi mana yang dapat dieksekusi secara paralel berdasarkan dependensi akun yang dideklarasikan.

Signifikansi

Model eksekusi BPF ini adalah fondasi untuk parallelisme Solana. Tidak seperti EVM Ethereum di mana setiap transaksi berpotensi mengakses state global apa pun (mencegah paralelisme), Solana memerlukan dependensi eksplisit. Ini adalah desain kompromi kritis — kurang fleksibel dari EVM tetapi memungkinkan eksekusi paralel yang jauh lebih efisien. Pilihan BPF sebagai VM juga signifikan karena BPF memiliki toolchain kompiler yang matang dan mendukung banyak bahasa pemrograman.

Istilah glosarium terkait

Akun Batas Gas Bukti Sejarah Ed25519 EVM Gas Kode op Kontrak Cerdas Negara Pemimpin Penyimpanan permukaan laut Transaksi Validator

Gambar lainnya dari

Proof of History sequence showing sequential SHA-256 hash outputs with counter values

Fig. 1. Urutan Proof of History

Inserting external data into the Proof of History hash sequence to create a verifiable timestamp

Fig. 2. Penyisipan Data PoH

Proof of History verification using multiple CPU cores to check hash chain segments in parallel

Fig. 3. Verifikasi PoH

Proof of History input with a back reference ensuring consistency and causal ordering of events

Fig. 4. Referensi Balik PoH

Solana network design showing transaction flow through the leader validator to the rest of the network

Fig. 5. Desain Jaringan

Two Proof of History generators synchronizing by inserting each other's output state for horizontal scaling

Fig. 6. Sinkronisasi Generator PoH