Singularity RDK. Proyek penelitian difokuskan pada pembangunan sistem yang dapat diandalkan melalui inovasi di bidang sistem, bahasa
Unduh sekarang

Singularity RDK. Peringkat & Ringkasan

Singularity RDK. Tag

prototipe Edit L-Systems L-Systems. Sistem Pengukuran Sistem Resolusi Masalah sistem persamaan. sistem Sistem Multicore Penelitian Development Kit Prototipe OS Processe terisolasi perangkat lunak RDK Keganjilan sistem taruhan sistem pendingin mengembangkan sistem cerdas Layanan Sistem Sistem Keselamatan-Kritis Riset Sistem Kompleks Sistem Integrasi Odes Proses Lindenmeyer Systems. Sistem nonstop. mensimulasikan sistem P numerik Simulator Sistem P Numerik Menganalisis sistem P numerik Continuum State Systems. Sistem POS. sistem komunikasi Alat Sistem sistem alat tampilan sistem sistem HR sistem editorial Sistem roda utilitas sistem Sistem Papan Tanda Sistem Duty-rostering pendekatan sistem

Singularity RDK. Keterangan

Nama RDK adalah singkatan dari kit pengembangan penelitian. Singularity adalah proyek penelitian yang berfokus pada pembangunan sistem yang dapat diandalkan melalui inovasi di bidang sistem, bahasa, dan alat. Kami sedang membangun prototipe sistem operasi penelitian (disebut singularity), memperluas bahasa pemrograman, dan mengembangkan teknik dan alat baru untuk menentukan dan memverifikasi perilaku program. Kemajuan dalam bahasa, kompiler, dan alat membuka kemungkinan peningkatan perangkat lunak yang terus-menerus. Misalnya, singularity menggunakan bahasa tipe-aman dan instruksi abstrak yang ditetapkan untuk mengaktifkan apa yang kami sebut perangkat lunak yang terisolasi prosese (SIPS). SIPS memberikan jaminan isolasi yang kuat dari proses OS (ruang objek terisolasi, GCS terpisah, runtime terpisah) tanpa overhead domain perlindungan yang dipaksakan perangkat keras. Dalam singularitas singularitas saat ini, SIPS sangat murah; Mereka berlari di dering 0 di ruang alamat kernel. Singularitas menggunakan kemajuan ini untuk membangun sistem dan aplikasi yang lebih andal. Misalnya, karena SIPS sangat murah untuk dibuat dan ditegakkan, singularitas menjalankan setiap program, driver perangkat, atau ekstensi sistem dalam SIP-nya sendiri. SIPS tidak diperbolehkan berbagi memori atau memodifikasi kode mereka sendiri. Akibatnya, kita dapat membuat jaminan keandalan yang kuat tentang kode yang berjalan dalam SIP. Kami dapat memverifikasi sifat-sifat yang lebih luas tentang SIP pada kompilasi atau menginstal waktu daripada yang dapat dilakukan untuk kode yang berjalan dalam proses OS tradisional. Aplikasi verifikasi statis yang lebih luas sangat penting untuk memprediksi perilaku sistem dan memberi pengguna jaminan kuat tentang keandalan.

Singularity RDK. Perangkat Lunak Terkait