A Symphact 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 Symphact 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 aktor dedikált core-on fut, 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 konkrét
szoftver-mechanizmusok konkrét hardver-egységeket alakítottak: a macOS QoS osztályok a
P-core/E-core aszimmetriát, a Core ML a Neural Engine-t, a Keychain a Secure Enclave-et, az x86
emuláció (Rosetta 2) pedig a TSO memory-ordering módot. A Symphact ezt a kétirányú hurkot
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 Symphact 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