Konfigurasi Rust

Halaman ini menyediakan referensi komprehensif untuk semua opsi konfigurasi, batasan, dan kontrol keamanan yang tersedia saat menginisialisasi instance LightVM.

Contoh Konfigurasi Lengkap

Contoh berikut mendemonstrasikan cara mengonfigurasi semua batas, bendera keamanan, dan opsi error yang tersedia menggunakan pola builder maupun object.

Builder Pattern

use lightvm::LightVM;
use lightvm::types::{vmconfig::VmConfig, capability::Capability, time_budget::TimeBudget};

fn main() {
  let mut vm = LightVM::new(VmConfig {
    caps: vec![Capability::Control, Capability::Observe],
    ..Default::default()
  })
  .set_max_io(100)
  .set_max_import(3)
  .set_max_alloc(50)
  .set_max_call(200)
  .set_max_jump(100)
  .set_max_ticks(1_000_000)
  .set_max_stack_size(128)
  .set_allowed_imports(vec!["math".into(), "time".into(), "utils".into()])
  .set_time_budget(TimeBudget::Cheap)
  .with_unsafe_mode(false)
  .with_nightly(false)
  .with_backtrace(false)
  .with_explain(false)
  .with_hint(true)
  .with_diagnostic_links(false);
}

Object Pattern

use lightvm::LightVM;
use lightvm::types::{
  vmconfig::VmConfig,
  runtime_config::RuntimeConfig,
  error_options::ErrorOptions,
  security_config::SecurityConfig,
  capability::Capability,
  time_budget::TimeBudget
};

fn main() {
  let mut vm = LightVM::new(VmConfig {
    caps: vec![Capability::Control, Capability::Observe],
    runtime_config: Some(RuntimeConfig {
      nightly: false
    }),
    error_options: Some(ErrorOptions {
      backtrace: false,
      explain: false,
      hint: true,
      diagnostic_links: false
    }),
    security_config: Some(SecurityConfig {
      max_io: 100,
      max_import: 3,
      max_alloc: 50,
      max_call: 200,
      max_jump: 100,
      max_ticks: 1_000_000,
      max_stack_size: 128,
      allowed_imports: vec!["math".into(), "time".into(), "utils".into()],
      time_budget: TimeBudget::Cheap,
      unsafe_mode: false
    })
  });
}

Rincian Opsi Konfigurasi

Method / Properti	Tipe	Default	Deskripsi
caps	Vec<Capability>	vec![] (memberikan Capability::Observe)	Menentukan kapabilitas aktif yang diberikan ke virtual machine.
set_max_io / max_io	usize	100	Jumlah maksimum operasi I/O yang diizinkan selama eksekusi.
set_max_import / max_import	usize	3	Jumlah maksimum impor modul yang diizinkan.
set_max_alloc / max_alloc	usize	50	Jumlah maksimum alokasi memori yang diizinkan.
set_max_call / max_call	usize	200	Jumlah maksimum pemanggilan fungsi bersarang yang diizinkan.
set_max_jump / max_jump	usize	100	Jumlah maksimum lompatan control flow yang diizinkan.
set_max_ticks / max_ticks	u64	1_000_000	Jumlah maksimum tick eksekusi sebelum berhenti untuk mencegah infinite loop.
set_max_stack_size / max_stack_size	usize	128	Jumlah maksimum item yang dapat ditampung oleh evaluation stack.
set_allowed_imports / allowed_imports	Vec<String>	vec!["math".into(), "time".into(), "utils".into()]	Daftar putih nama modul yang diizinkan untuk diimpor.
set_time_budget / time_budget	TimeBudget	TimeBudget::Cheap	Menetapkan batas tingkatan anggaran waktu eksekusi.
with_unsafe_mode / unsafe_mode	bool	false	Mengaktifkan atau menonaktifkan operasi tingkat sistem yang tidak aman (unsafe).
with_nightly / nightly	bool	false	Mengizinkan penggunaan fitur nightly eksperimental.
with_backtrace / backtrace	bool	false	Menampilkan detail backtrace internal dalam pesan error.
with_explain / explain	bool	false	Menampilkan petunjuk penjelasan yang lebih rinci dalam pesan error.
with_hint / hint	bool	true	Menampilkan petunjuk penggunaan umum pada pesan error.
with_diagnostic_links / diagnostic_links	bool	true	Menyertakan tautan metadata yang mengarah ke dokumentasi kode error.

Dokumentasi Terkait

Perlu memeriksa kode error individual yang disebutkan dalam pesan error? Kunjungi Referensi Kode Error.