A Neuron OS egy capability-alapú aktor runtime .NET-re, egyetlen egyszerű elvre építve: minden állapot-tartó entitás egy aktor; az aktorok kizárólag immutable üzenetekkel kommunikálnak mailbox-okon keresztül; az izoláció hardveres tulajdonság, nem szoftveres konvenció.
Ma a Neuron OS bármely .NET hoszton (Windows, Linux, macOS) fut referencia runtime-ként. Holnap natívan fut majd a Cognitive Fabric Processing Unit (CFPU) hardveren — egy új kategóriájú processzoron, ahol minden core fizikailag egy aktor, saját privát SRAM-mal és hardveres mailbox FIFO-kkal.
// hw/os co-design
Az Apple M-sorozata azért éri el ennyire szoros OS/szilícium integrációt, mert a macOS létezett a chip
tervezése előtt — az OS igényei alakították a hardvert. A Neuron OS ugyanezt a filozófiát alkalmazza
nyílt forráskódú szilíciumra: már a nulladik naptól szimulátoron fut, így felfedezi a CFPU követelményeit
(mailbox mélység, capability token szélesség, kontextus méret, interrupt modell) még azelőtt, hogy a
hardver véglegesülne. A visszacsatolás az
osreq-to-cfpu
workflow-n át történik.
Tervezési alapelvek
Minden aktor. Nincs shared memory. Let it crash. Supervision. Location transparency. Capability security. Hot code loading. Determinizmus.
Olvasás →Forráskód
TMailbox, TActorRef, TActor<T>, TActorSystem. TDD a nulladik naptól. Apache-2.0 licenszelve.
Böngészés →CFPU hardver
A processzor, amivel a Neuron OS együtt fejlődik. Cognitive Fabric Processing Unit — az első MIMD aktor-natív PU.
Látogatás →OS-követelmények a CFPU-hoz
Az OS csapat által nyitott issue-k, amelyek alakítják a hardvert. Mailbox mélység, capability szélesség, interrupt struktúra.
Issue-k megtekintése →Közreműködés
TDD kötelező. Kétnyelvű XML docs. T/I/A/F elnevezési konvenciók. Apache-2.0 licenc patent grant-tel.
Olvasás →GitHub
Forráskód, tesztek, CI Linux + Windows + macOS-ra. Csillagozz minket és kövesd az út OS-oldali szálát.
Repó megtekintése →// kiemelések
- Minden entitás — egy aktor privát állapottal, immutable üzenetekkel kommunikálva
- Nincs shared memory — az izoláció hardveres tulajdonság, nem szoftveres konvenció
- Supervision fa — let it crash, restart stratégiák 40 év Erlang/OTP gyakorlatával
- Capability security — egy aktor csak akkor küldhet üzenetet, ha birtokolja a nem hamisítható referenciát
- Location transparency — ugyanaz a kód fut lokálisan, core-ok között vagy chipek között
- Hot code loading — futó rendszer frissítése leállás nélkül, Erlang-stílusban
- Formális verifikáció cél — a seL4 és Singularity szellemiségében
- Apache-2.0 — permisszív licenc patent grant-tel, illeszkedik a .NET ökoszisztémához