Unduh boss - Unduh Kode Sumber boss

boss

Kode sumber lainnya

1.0.0

Unduh

BOS

BOSS (sistem operasi berbasis balok dengan keamanan) adalah sistem operasi bukti konsep yang ditulis di Erlang bersama dengan karat. Fitur khasnya meliputi:

Mengganti Divide Kernel-Pengguna Kernel Tradisional dengan Model Pohon Pengawasan Erlang;
Keamanan berbasis kemampuan dari bawah ke atas.

Boss Pencetakan Halo, Dunia dari Erlang

Sasaran

belajar karat;
mengimplementasikan VM Erlang;
Laksanakan ide sialan paling bodoh yang datang ke kepala saya pada jam 3 pagi.

Proyek ini berusaha untuk mencapai yang berikut, dalam urutan mengurangi kepentingan:

Buat implementasi berfungsi;
membuat implementasi benar;
Buat implementasi dengan cepat.

Urrr-lang?

Ya. Erlang adalah fungsional yang sangat keren (pada tingkat rendah) / berorientasi objek (pada tingkat tinggi) bahasa bersamaan. Erlang memudahkan untuk menulis kode yang berskala hampir dengan mudah di berbagai core, prosesor atau bahkan mesin. Implementasi Erlang yang ada (terutama, mesin virtual balok resmi) sangat berkinerja baik dalam operasi inti tunggal dan multi-core. Implementasi ini tidak. Seperti, tidak sama sekali. Tapi itu berhasil dan itu adalah titik awal!

Struktur

Emulator

Dasar dari proyek ini adalah emulator , Erlang VM yang sadar-multiprosessing yang berjalan pada perangkat keras telanjang. Ini hanya mengimplementasikan minimum yang harus diterapkan untuk mencapai tujuan ini; Sebagai contoh, itu mem -parsing beberapa tabel ACPI (karena itu diperlukan untuk multiprosessing untuk bekerja) (atau, setidaknya, itu akan setelah fitur ini sebenarnya diimplementasikan), tetapi tidak menjalankan AML bytecode - tugas itu diserahkan ke bytecode balok yang dijalankan. Emulator hanya mendukung X86_64 ISA, UEFI dan ACPI 2.0+, yaitu akan berjalan pada mesin dari sekitar 2010 dan seterusnya. Dapat dikatakan bahwa emulator adalah microkernel karena mengimplementasikan hal -hal yang akan dimiliki Inggris (penjadwalan dan IPC), tetapi ini adalah proyek saya dan saya lebih suka untuk tidak menyebutkannya.

Meskipun emulatornya adalah balok , itu bukan balok . Ini kompatibel dengan format modul biner standar Erlang dan instruksi bytecode -nya, tetapi di situlah kesamaannya berakhir. Ketidakcocokan ini adalah keputusan desain sadar yang dibuat untuk memperkenalkan isolasi dan keamanan berbasis kemampuan ke dalam balok. Berikut daftar perbedaan yang tidak lengkap:

Dalam OTP, aplikasi adalah abstraksi tingkat kode; Itu tidak ada di mesin virtual. Dalam OTP, hanya satu versi aplikasi yang dapat dimuat pada saat yang sama, dan hanya satu contoh aplikasi yang dapat berjalan pada saat yang sama. Di BOSS, aplikasi (tetapi bukan instance App) ada di tingkat emulator.

Di OTP, modul bersifat global. Dalam BOSS, modul dinamai ke aplikasi tertentu, dan isolasi di antara mereka ditegakkan oleh emulator. Panggilan eksternal ke modul dalam aplikasi lain disebut "panggilan jauh", tidak selalu diizinkan dan menuntut nama modul khusus:

 % this calls the function `baz' from the module `bar' in the application `foo'
% this will only be allowed if `foo' "exports" the module `bar'
'foo:bar' : baz (). % far call
% this calls the function `baz' from the module `bar' in the current app
bar : baz (). % external call
% this calls the function `baz' from the current module in the current app
baz (). % local call

Di OTP, pesan dikirim ke port dan proses apa adanya. Di Boss, ID Pengirim (apa pun itu, PID atau port) ditambahkan secara transparan ke pesan:
```
 Self = self (),
Self ! hello ,
receive
  { Self , hello } -> yay ,
  hello -> nay
end .
```
Di OTP, setiap modul dan setiap fungsi dipercaya untuk melakukan apa pun. Dalam bos, setiap operasi yang sedikit istimewa membutuhkan token akses, sehingga melanggar kompatibilitas dengan banyak BIF. Token akses tidak dapat dipalsukan, tetapi dapat dibagikan dan dibagi lagi menjadi set izin berbutir lebih halus.

Implementasi saat ini bukan yang tercepat, tetapi ini adalah titik awal untuk membuat semuanya berfungsi.

Gambar dasar

Pada startup, emulator memuat gambar dasar bos ( BOSBAIMA.TAR ) yang berisi konfigurasi emulator awal dan hanya modul balok yang cukup untuk bootstrap OS fungsional. Ini mirip dengan aplikasi kernel OTP.

Yang lainnya

Seperti yang dikatakan sebelumnya, tidak ada kesenjangan Kernel-Pengguna Kernel yang jelas; Sebaliknya, Boss menggunakan model pohon pengawasan yang membentuk dasar Erlang/OTP.

Daftar periksa

Emulator:

Gambar dasar:

"Userland":

Halo, dunia!
A GUI, mungkin?
Hal -hal lain

Saya ingin menjalankannya !!!!

Saat ini, OS tidak menampilkan apa pun di layar. Sebaliknya, lihat output dari port serial. NIX dan Just Scripts menginstruksikan QEMU untuk mengarahkan output port serial ke terminal.

Unduh

Anda dapat mengunduh ISO yang dibangun dari komit terbaru di halaman rilis. Namun, saya menyarankan agar Anda membangun OS dari awal.

Bangun menggunakan nix

Klon proyek dengan:

$ git clone https://github.com/portasynthinca3/boss.git
$ cd boss

Bangun ISO dengan:

$ nix --extra-experimental-features flakes build . # iso

Diluncurkan di QEMU dengan:

$ nix --extra-experimental-features flakes --extra-experimental-features nix-command run

Bangun menggunakan adil

Klon proyek dengan:

$ git clone https://github.com/portasynthinca3/boss.git
$ cd boss

Untuk membangun ISO, Anda akan membutuhkan:

Just v1.x (diuji dengan 1.33.0 )
GNU Mtools V4.x (diuji dengan 4.0.44 )
GNU binutils v2.x (diuji dengan 2.42.0 )
Rust V1.82-malam (diuji dengan 1.82.0-nightly (7120fdac7 2024-07-25) ))
Erlang/OTP 27 (diuji dengan Erlang/OTP 27 [erts-15.0.1] , 26 dan di bawah ini tidak akan berhasil)

Bangun ISO dengan: