Erik Inkinen

Quid sit systema operativum facultatibus fundatum

Thu, 16 Apr 2026 00:00:00 +0000

Systemata operativa moderna fines securitatis inter processūs, tabulas, apparatus, et usores servant. Tamen modus quo hi fines efficiuntur inter diversa systematum consilia magnopere variat.

Pleraque systemata operativa usitata nituntur accessu secundum identitatem moderato et spatiis nominum globalibus. Systemata operativa facultatibus fundata rationem prorsus aliam sumunt: auctoritatem explicite repraesentant eamque notionem primariae dignitatis faciunt.

Hoc scriptum systemata facultatum introducit, explicat quomodo a consiliis traditionalibus differant, atque ostendit cur ad consilium EriX centralia sint.

Problema: auctoritas ambientis

In systematis traditionalibus processūs saepe ad opes per auctoritatem ambientis accedunt.

Auctoritas ambientis significat programmati ad rem accedere posse, quia res in spatio nominum communi exstat et systema iudicat programma permissum habere ut ea utatur.

Exempli gratia:

Processus /etc/passwd aperire potest, si satis permissionum habet.
Programma ad socket retis coniungi potest, si systema operativum id permittit.
Ministerium ad tabulas accedere potest secundum identitatem usoris aut consortium gregis.

In omnibus his casibus auctoritas ad rem accedendi implicita est.

Processus non tenet directam atque explicitam relationem ad rem. Potius nititur:

nominibus globalibus (viae tabularum, portus, signa apparatuum)
examinationibus accessus (ID usoris, permissiones, ACL)

Hoc exemplar plura problemata creat:

1. Problema delegati confusi

Programma auctoritate sua per errorem abuti potest pro alio programmate.

Exempli gratia, ministerium privilegiatum tabulam a cliente infido petitam legere potest, quamvis ipse cliens ad eam accedere non debeat.

2. Auctoritas nimis lata

Programmāta saepe cum pluribus permissionibus currunt quam revera indigent. Hoc ictum vitiorum vel corruptionum auget.

3. Ratio difficilis

Difficile est intellegere quid processus facere liceat, nisi status globalis, identitates usorum, et regulae accessus analysi subiciantur.

Idea centralis: facultates

Facultas est symbolum infalsificabile quod accessum ad obiectum certum cum iuribus certis concedit.

Loco huius quaestionis:

“Num hic processus permissionem habet ad hanc rem accedendi?”

systema facultatibus fundatum hoc rogat:

“Num hic processus facultatem possidet quae hanc operationem auctoritate donat?”

Si responsum est non, operatio procedere non potest.

Proprietates facultatum

Facultates plures proprietates definitrices habent:

1. Infalsificabilitas

Processus facultatem validam ex nihilo creare non potest.

Facultates a nucleo creantur et administrantur, quo fit ut neque falsificari neque coniectura inveniri possint.

2. Auctoritas explicita

Omnis auctoritas explicite per facultates repraesentatur.

Si processus operationem perficere potest, facultatem possidere debet quae id permittit. Nullus accessus implicitus per spatia nominum globalia datur.

3. Iura subtiliter definita

Facultates permissiones certas codificare possunt, ut:

accessum solius lectionis
accessum scribendi
permissiones exsecutionis
limitata operationum subgenera

Hoc efficit ut exacte moderari possimus quid quisque processus facere possit.

4. Transferibilitas

Facultates inter processūs transferri possunt, plerumque per communicationem inter processūs (IPC).

Hoc delegationem moderatam auctoritatis efficit.

Obiecta et facultates

In systemate facultatibus fundato omnia ut obiecta formantur:

regiones memoriae
tabulae
apparatus
termini IPC
processūs

Facultas est relatio ad obiectum cum certo iurium numero coniuncta.

Processus cum systemate agit operationes in obiectis per suas facultates invocando.

Non opus est nominibus globalibus sicut viis tabularum aut signis apparatuum intra nucleum. Omnis accessus per facultates mediatur.

Quomodo systemata facultatibus fundata operentur

Ad summam, systema facultatibus fundatum ita operatur:

Nucleus obiecta et facultates creat.
Unusquisque processus habet spatium facultatum (saepe CSpace appellatum), in quo facultates servantur.
Processus tantum in illa obiecta operari potest pro quibus facultates habet.
Facultates inter processūs per IPC transferri possunt.
Nucleus omnes probationes facultatum exsequitur.

Ita efficitur systema in quo auctoritas est:

explicita
localis
transferibilis
facile ratione tractabilis

Exemplum: tabulam aperire

Exemplar traditionale

In systemate tradito:

Processus vocat open("/etc/config")
Nucleus permissiones examinat:
- ID usoris
- consortium gregis
- signa modi tabulae
Si licet, descriptor tabulae redditur

Auctoritas ex statu globali et identitate venit.

Exemplar facultatibus fundatum

In systemate facultatum:

Processus iam possidere debet facultatem tabulae
Ea facultate utitur ad operationes legendi aut scribendi perficiendas

Si processus facultatem non habet, ad tabulam accedere non potest, quocumque nomine utatur.

Nullus gradus quaestionis globalis intra nucleum est.

Delegatio et minimum privilegium

Una ex potentissimis rationibus systematum facultatum est delegatio.

Processus alteri processui partem auctoritatis suae dare potest facultatem transferendo.

Exempli gratia:

Ministerium tabularum clienti accessum solius lectionis ad tabulam dat
Moderator memoriae ad regionem memoriae certam accessum concedit
Processus ad terminum IPC accessum concedit

Hoc principium minimi privilegii efficit:

Unaquaeque pars tantum eam auctoritatem accipit qua revera indiget.

Auctoritatem ambientis eliminare

Systemata facultatibus fundata auctoritatem ambientis omnino eliminant.

Non sunt:

spatia nominum globalia intra nucleum
accessus implicitus ex identitate pendens
privilegia occulta

Omnis auctoritas explicite tradi debet.

Hoc multo faciliorem reddit analysin:

quid processus facere possit
quomodo auctoritas per systema fluat
ubi quaestiones securitatis oriri possint

Revocatio (problema difficile)

Una ex provocationibus systematum facultatum est revocatio.

Postquam facultas processui data est, quomodo auferri potest?

Diversa systemata revocationem diversis modis efficiunt:

stratis indirectis
vestigatione relationum
arboribus facultatum
mechanismis versionum

Revocatio magni momenti campus investigationis est et in posterioribus gradibus EriX explorabitur.

Systemata facultatum in usu

Ideae facultatibus fundatae novae non sunt. Plura systemata eas impleverunt:

KeyKOS / EROS
seL4 (micronucleus formaliter verificatus)
CHERI (facultates apparatu adiuvatae)
Capsicum (extensiones facultatum pro FreeBSD)

Haec systemata demonstrant consilia facultatibus fundata et practica et valida esse.

Quomodo EriX facultatibus utatur

EriX ab initio ut systema facultatibus fundatum designatur.

In EriX:

omnis auctoritas per facultates repraesentatur
facultates fortiter typis distinctae sunt
facultates semel creatae immutabiles sunt
facultates per IPC transferuntur
nucleus infalsificabilitatem et invariantes securitatis servat

Nulla spatia nominum globalia intra nucleum sunt. Omnis accessus ad opes per facultates mediatur.

Hoc cum latiore proposito congruit, ut auctoritas sit:

explicita
minima
facile ratione tractabilis

Cur hoc momenti sit

Systemata facultatibus fundata fundamentum praebent ad aedificanda:

systemata tutiora
architecturas magis modulares
systemata facilius analysi atque verificationi subiecta

Auctoritate implicita remota et omni accessu explicito facto, integrae classes vulnerabilitatum quae in systematis traditionalibus communes sunt eliminantur.

Deinceps

Facultates notio fundamentalis in EriX sunt. In futuris scriptis explorabimus quomodo in usu impleantur, inter quae:

spatia facultatum (CSpace)
communicatio inter processūs (IPC)
administratio memoriae per facultates non typatas
delegatio et graphia auctoritatis

Facultates intellegere est primus gradus ad reliquum systema intellegendum.

Cur micronucleus facultatibus fundatum ab initio aedificem

Wed, 11 Mar 2026 00:00:00 +0000

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.

De me

Mon, 01 Jan 0001 00:00:00 +0000

Technologiam informationis in Universitate Tampereensi disco. Tempore libero ad software liberum apertumque, distributiones programmatis, atque ad consilia systematum facultatibus fundatorum, ut EriX Project, AES, Cutie Shell Project, et Droidian GNU/Linux, confero.

Multis linguis programmandi usus sum. Exempli gratia, C, C++, Python, JavaScript, et Rust mihi usu practico familiares sunt. Etiam experientiam habeo in linguis notationis communibus, sicut HTML et QML. Praeterea usus sum notis framework programmatis, incluso Qt Framework.

Praeterea ad bibliothecas programmatis contuli et documenta referentialia pro eis scripsi. Opus meum in his consiliis complectitur et cooperationem cum aliis contributoribus et investigationem atque implementationem independentem.

Usum methodologiae DevOps habeo, quae integrationem et automationem variarum progressionis traditionisque programmatis rationum extollit. In Droidian et Cutie Shell Project patches in ramum principalem quam celerrime merguntur. Maiores additiones functionum initio in ramis functionum evolvuntur. Nihilominus omnes rami functionum in cursu ad ramum principalem saepe rebase fiunt, ut hi rami quolibet tempore mergi possint. Et ramus principalis et rami functionum post unumquodque commit aedificantur et in sarcinas rediguntur. Praeter repositorium productionis, adsunt repositorium probationis et repositoria functionum singulis ramis functionum respondentia. Haec repositoria sarcinarum adhibentur ad creationem ambitus probationis facile automatisandam.

Linguis naturalibus quoque et earum discendarum studio interessor. Itaque pluribus linguis loquor.

Consilia

EriX Project : 2/2026-

https://git.erikinkinen.fi/erix

“Systema operativum microkernel, facultatibus fundatum et in conclavi puro evolutum, totum Rust scriptum.”

AES : 1/2026-
https://git.erikinkinen.fi/erikinkinen/AES

“AES (Authority Evolution Simulator) simulator investigationis est ad explorandum quomodo auctoritas per tempus in systematibus facultatibus fundatis evolvat.”

Droidian GNU/Linux : 3/2021-

https://droidian.org/ / https://github.com/droidian/

“Droidian distributio GNU/Linux e Debian orta est pro instrumentis mobilibus. Propositum Droidian est Debian in telephonis Android currere posse. Hoc fit technologiis notis, ut libhybris et Halium.”

Video me praesentantem Droidian in Volla Community Days 2021:

Cutie Shell : 8/2021-

https://cutie-shell.org/ / https://github.com/cutie-shell/

“Cutie Shell propositum habet ut interfacies mobilis pulchra et facilis ad usum sit pro instrumentis Linux, quae vel Halium vel mainline Linux currunt. Interfacies nostra a Sailfish OS Iollae inspiratur, sed clonum efficere non intendimus. Una differentia maior a Sailfish OS est quod fons noster omnino apertus est.”

Video me praesentantem Cutie Shell in Volla Community Days 2023:

Aliud video me praesentantem progressum Cutie Shell in Volla Community Days 2024:

Educatio

Universitas Tampereensis : 9/2022-
Studia baccalaureatus in technologia informationis

Nunc studia baccalaureatus ago et propositum meum est ad gradum magistri pervenire.

Helsingin matematiikkalukio : 8/2018-5/2022
Educatio secundaria generalis Finnica

Peritia linguarum

Fennica	lingua materna
Anglica	provecta
Hispanica	provecta
Catalana	intermedia
Suecica	intermedia
Gallica	elementaria