Systemata operativa inter maxime complexas partes programmatis umquam constructas numerantur. Memoriae curam gerunt, computationem ordinant, apparatum moderantur, atque fines securitatis servant, qui omnem applicationem in machina currentem protegunt.

Tamen multa systemata operativa quibus hodie nitimur super notionibus architecturae posita sunt, quae ad complura decennia redeunt. Quamquam haec systemata extraordinaria vi pollent et bene probata sunt, decennia tamen complexitatis cumulatae secum ferunt.

Hoc consilium aliam viam explorat: modernum systema operativum micronucleus, facultatibus fundatum, ab initio aedificare, cum valido studio in auctoritate explicita, minima basis computandi fidata (TCB), et stricta separatione inter nucleus et spatium usoris.

Hoc systema operativum EriX appellatur.

Cur aliud systema operativum aedificare?⌗

Primo aspectu novum systema operativum aedificare supervacaneum videtur. Systemata matura sicut Linux, Windows, et BSD iam exsistunt et miliarda instrumentorum regunt.

Attamen haec systemata sub condicionibus historicis evolverunt. Per tempus stratis abstractionum, mechanismis compatibilitatis, et interfaciibus legatis cumulata sunt. Quamvis hae proprietates saepe in programma reali necessariae sint, experimenta cum ideis architecturae fundamentaliter diversis difficiliora faciunt.

Systemata operativa investigationis diu vias alternativas ad consilium systematum operativorum exploraverunt. Micronuclei, systemata facultatum, et nuclei formaliter verificati demonstraverunt systemata minora, tutiora, et facilius ratione tractabilia construi posse.

Propositum EriX non est systemata operativa exsistentia reponere. Immo exploratio est quomodo systema operativum modernum designari possit, si a primis principiis incipiamus.

Micronucleus et basis computandi fidata⌗

Una ex ideis centralibus post EriX est architectura micronuclei.

Nuclei monolithici traditi multa officia directe intra ipsum nucleum includunt. Haec saepe includunt:

  • moderatores machinarum
  • systemata fasciculorum
  • ordines retiales
  • subsystemata administrationis processuum

Quamquam hic modus efficiens esse potest, magnitudinem quoque basis computandi fidata (TCB) auget. TCB omnem codicem includit, qui recte se gerere debet ut systema tutum fideleque maneat.

Micronuclei aliam rationem sequuntur.

Micronucleus intra nucleum tantum mechanismos maxime fundamentales retinet, plerumque:

  • ordinationem filorum (ordinatio filorum)
  • administrationem spatii inscriptionum
  • communicationem inter processūs (IPC)
  • administrationem facultatum
  • tractationem interruptionum et exceptionum

Cetera omnia in spatio usoris currunt, etiam moderatores, systemata fasciculorum, et officia altioris gradus.

Hoc consilium quantitatem codicis cui fidendum est valde minuit. Defectus in componentibus spatii usoris minus verisimile est totum systema corrumpere, et componentia singularia sine nucleo deiciendo reinstaurari aut reponi possunt.

Securitas facultatibus fundata⌗

Aliud principium centrale designi EriX est securitas facultatibus fundata.

Pleraque systemata operativa graviter in auctoritate ambienti nituntur. In talibus systematis processūs saepe accessum implicitum ad opes habent, secundum nominum spatia globalia, identitates usoris, aut privilegia hereditaria.

Exempli gratia, processus fasciculum aperire potest tantum quia viam fasciculi novit, et systema operativum iudicat processum permissum habere.

Systemata facultatum aliter procedunt.

Facultas est symbolum infalsificabile, quod accessum ad obiectum specificum cum iuribus specificis concedit. Processus obiectum attingere potest tantum si facultatem possidet, quae illum accessum auctoritate donat.

Facultates plures proprietates graves habent:

  • Auctoritatem explicite repraesentant.
  • Inter processūs transferri possunt.
  • Operationes ad certum iurium numerum coartare possunt.

In systemate facultatibus fundato auctoritas per translationes explicitas fluit potius quam per nominum spatia globalia. Hoc systema facilius ratione tractabile facit et classes integras vulnerabilitatum securitatis eliminare adiuvat.

Cur Rust?⌗

Systemata operativa tradite in C aut assembleri lingua scribuntur. Hae linguae accuratum dominium super apparatum et memoriam praebent, sed etiam faciles sunt ad subtilia vitia introducenda.

Vitia securitatis memoriae, ut usus post liberationem, effusiones intermedii, et cursus simultanei (certamina datorum), historice inter maximos fontes vulnerabilitatum in programma systemico fuerunt.

EriX praecipue in Rust scriptum est.

Rust valida praesidia de securitate memoriae praebet, dum adhuc moderationem humilis gradus super apparatum concedit. Modus proprietatis linguae multas classes vitiorum tempore compilationis impedit, dum expliciti unsafe clausuli operationes potentialiter periculosas visibiles et auditabiles reddunt.

Usus Rust omnes errores possibiles non tollit, sed basim securitatis in programmatione systemica significanter elevat.

Systema operativum conclavis puri⌗

Una insolita ratio consilii EriX est eius ratio conclavis puri evolutionis.

Omnia systematis componentia intra ipsum consilium implementantur. Nullus codex externus copiatur aut incorporatur, nec ulla bibliotheca tertiae partis adhibetur.

Haec condicio pluribus finibus inservit:

  • Totum systema intellegi et audiri posse efficit.
  • Dependentias occultas et mores inopinatos vitat.
  • Decisiones architecturae explicitas facit, non hereditarias.

Evolutio in conclavi puro consilium etiam in exercitium didacticum convertit. Omne subsystema, ab onustore initiali usque ad administratorem memoriae, consulto designari et implementari debet.

Propositum longi temporis: sui-hospitium⌗

Unum ex propositis longi temporis EriX est sui-hospitium.

Systema sui-hospitans habetur cum proprium codicem fontis aedificare potest, per instrumenta quae in ipso systemate currunt.

Pro EriX hoc tandem significat:

  • compilatorem Rust in EriX currere
  • instrumenta compilationis in EriX currere
  • totum systema operativum nativiter intra EriX compilari posse

Ad hunc gradum pervenire requirit implementationem multorum ordinum infrastructurae, inter systemata fasciculorum, administrationem processuum, et ambitum spatii usoris POSIX-compatibilem.

Cur iter documentare?⌗

Systema operativum aedificare est processus longus et complexus. Multae ex perceptionibus maxime praecipuis non in systemate finali apparent, sed in decisionibus, compromissis, et erroribus per iter occurrentibus.

Haec commentaria evolutionem EriX dum crescit documentant. Futura scripta argumenta tractabunt ut:

  • consilium formae imaginis initialis
  • implementationem spatiorum facultatum
  • constructionem systematis IPC
  • administrationem auctoritatis memoriae
  • constructionem servorum spatii usoris

Propositum est processum evolutionis transparentem et docilem reddere.

In posterum⌗

EriX adhuc in initiis suis est. Magna pars systematis adhuc aedificanda est, et multae decisiones consilii tempore sine dubio mutabuntur.

Sed principia gubernantia iam clara sunt:

  • nucleus minimus
  • auctoritas explicita
  • securitas facultatibus fundata
  • modularitas stricta
  • implementatio conclavis puri

In proximo scripto explorabimus unam ex ideis cardinalibus systematis:

quid sint systemata operativa facultatibus fundata, et cur momenti sint.