Esai konsep: arsitektur di bawah ini adalah proposal desain, bukan sistem operasi yang diterapkan, hasil benchmark, atau jaminan keamanan yang sudah mapan.
Mesin Berbasis Pasar: Cetak Biru untuk Era Pasca-POSIX
"Untuk merancang sistem yang sempurna, seseorang harus berhenti memberi tahu komponen apa yang harus dilakukan, dan sebaliknya menciptakan lingkungan di mana melakukan hal yang benar adalah jalur dengan resistensi paling rendah."
Selama lebih dari setengah abad, fondasi infrastruktur digital kita diatur oleh paradigma perencanaan terpusat. Dari masa awal Unix hingga dominasi modern kernel Linux, sistem operasi berperan sebagai ekonomi perintah yang omnipresent. Mereka menentukan penjadwalan thread, menegakkan hierarki memori yang kaku, dan secara sewenang-wenang mengalokasikan sumber daya melalui lapisan birokrasi yang kompleks dan sering sangat tidak efisien.
Arsitektur warisan ini mematikan perangkat keras modern. Kita menjalankan beban kerja asinkron, sangat bersamaan, dan native terdistribusi di atas kernel yang dirancang untuk mainframe satu inti pada tahun 1970-an. Sudah waktunya untuk menghapus warisan ini.
Cetak biru ini mengusulkan pemisahan radikal: sistem operasi yang dirancang bukan melalui lensa kontrol kaku, melainkan melalui prinsip struktural mendalam tatanan spontan, dinamika pasar mikroekonomi, dan riwayat yang tidak dapat diubah secara kriptografis.
I. Exokernel: Dao Multiplexing Perangkat Keras
Kernel monolitik modern membengkak dengan lebih dari 30 juta baris kode, berusaha mengelola segala sesuatu mulai dari sistem berkas hingga tumpukan protokol jaringan langsung di Ring 0 (Ruang Kernel). Ini menciptakan overhead besar dan kerentanan sistemik.
Arsitektur baru ini mengadopsi model Exokernel yang ketat, mewujudkan filosofi Wu Wei (tindakan melalui ketidakaktifan). Kernel dibebaskan dari semua tanggung jawab manajemen.
- Lapisan isolasi minimal: Dalam proposal ini, kernel akan fokus pada alokasi sumber daya perangkat keras dan penegakan isolasi. Batasan tersebut harus diimplementasikan, diuji, dan diaudit; desain saja tidak menjaminnya.
- Library Operating Systems (LibOS): Abstraksi didorong sepenuhnya ke Ruang Pengguna. Jika sebuah aplikasi membutuhkan tumpukan TCP/IP yang sangat dioptimalkan dan berlatensi rendah (misalnya, untuk perdagangan frekuensi tinggi) atau sistem berkas khusus, ia akan mengompilasi LibOS-nya sendiri. Ini melewati bottleneck kernel tradisional sepenuhnya, memungkinkan aplikasi pengguna berkomunikasi langsung dengan NIC (Network Interface Card) atau drive NVMe.
II. Penjadwalan Mikroekonomi: Buku Order Pasar Bebas
Mungkin pemisahan paling mendalam dari sistem warisan adalah penghapusan total penjadwal CPU tradisional seperti Completely Fair Scheduler (CFS). Dalam sistem dengan ribuan operasi bersamaan, algoritma terpusat gagal menilai prioritas tugas secara akurat. Sebagai gantinya, alokasi sumber daya digerakkan oleh Buku Order Komputasi.
- Liquiditas Komputasi yang Diberi Token: Siklus CPU, halaman memori, dan bandwidth I/O dikomodifikasi menjadi token sistem native. Setiap proses diberi alokasi token dinamis berdasarkan tingkat prioritas yang ditetapkan pengguna.
- Harga Penyelesaian Pasar untuk Eksekusi: OS memelihara buku order terdesentralisasi berfrekuensi tinggi.
Thread rendering UI yang sensitif latensi beroperasi seperti pembeli institusional agresif: ia menempatkan order pasar untuk menyapu likuiditas CPU yang tersedia dengan premi apa pun, memastikan tidak ada frame yang terlewat. Sebaliknya, tugas pengumpulan sampah latar belakang berperan sebagai pembuat pasar: ia menempatkan order limit berharga rendah, hanya mengeksekusi ketika permintaan sistem secara keseluruhan turun dan harga penyelesaian komputasi murah. - Menyelesaikan deadlock melalui "Kebangkrutan": Pada sistem warisan, kontensi sumber daya menyebabkan deadlock yang memerlukan intervensi algoritmik (atau pembunuhan paksa). Pada OS berbasis pasar, deadlock diperlakukan semata-mata sebagai krisis likuiditas. Jika sebuah proses menimbun sumber daya tanpa kemajuan, biaya kepemilikannya (bunga) bertambah. Akhirnya, cadangan tokennya habis, ia menyatakan "kebangkrutan," dan OS secara otomatis melikuidasi sumber daya yang dipegang kembali ke pasar terbuka.
III. Model Aktor Ephemeral: Konkruensi Tanpa Status Berbagi
Proses monolitik berat, berstatus, dan berbahaya karena ruang memori bersama yang memerlukan mekanisme penguncian kompleks (Mutex, Semaphore).
- Pengiriman Pesan Ketat: OS menyingkirkan thread POSIX demi Model Aktor murni pada level terendah. Unit eksekusi adalah entitas matematis terisolasi yang tidak berbagi status sama sekali. Mereka berkomunikasi secara eksklusif melalui pengiriman pesan asinkron yang ketat tipe.
- Aktor berumur pendek: Proposal ini lebih menyukai aktor yang dibuat untuk tugas terbatas dan dilepaskan setelahnya. Latensi startup, pemulihan memori, dan penanganan status persisten memerlukan pengukuran dan pekerjaan implementasi. Umur pendek sendiri tidak menghilangkan kebocoran atau referensi menggantung.
IV. Penyimpanan Berbasis Event: Mesin Waktu Kriptografis
Konsep tradisional "menimpa" data adalah tindakan destruktif yang menghapus lintasan kebenaran. OS ini mendekati sistem berkas dan manajemen status melalui lensa imutabilitas ketat, menggunakan struktur serupa LSM-Tree (Log-Structured Merge-Tree) dan Merkle DAG.
- Status Hanya Tambahan: Sistem berkas melarang modifikasi di tempat. Setiap perubahan status, edit berkas, atau pembaruan konfigurasi ditambahkan sebagai peristiwa terpisah yang tidak dapat diubah ke buku besar berkelanjutan.
- Snapshot Tanpa Biaya & Copy-on-Write: Untuk mempertahankan kinerja baca ekstrem, sistem mengandalkan Copy-on-Write (CoW) dan materialisasi tampilan periodik. Ketika sebuah berkas dimodifikasi, hanya delta (byte yang berubah) yang ditulis, dan penunjuknya diperbarui.
- Replay dan audit: Riwayat peristiwa hanya-tambah dapat mendukung replay dan pemulihan ke status yang diketahui, asalkan riwayat, kunci, dan cadangan tetap utuh. Ini tidak dapat menjamin pemulihan setiap efek samping eksternal atau membuat ransomware tidak berbahaya.
Sintesis
Dengan mengalihkan paradigma dari diktat algoritmik ke insentif ekonomi, dan dari status mutable ke riwayat yang dapat diverifikasi, kami menciptakan sistem operasi yang skalabel tanpa cacat di seluruh arsitektur multi-core heterogen. Ini adalah sistem yang tidak crash di bawah tekanan, melainkan secara dinamis menghitung ulang harga kelangsungan hidup.