Studio tecnologia dell’informazione presso l’Università di Tampere. Nel tempo libero contribuisco a progetti di software libero e open source, come EriX Project, AES, Cutie Shell Project e Droidian GNU/Linux. Mi interessano anche le lingue naturali e il loro apprendimento.

Puoi trovarmi su GitHub, git.erikinkinen.fi e LinkedIn.

Leggi di più

Che cos’è un sistema operativo basato su capacità

I sistemi operativi moderni impongono confini di sicurezza tra processi, file, dispositivi e utenti. Tuttavia, il modo in cui questi confini vengono implementati varia in modo significativo tra diversi progetti di sistema. La maggior parte dei sistemi operativi tradizionali si basa sul controllo di accesso basato sull’identità e sugli spazi dei nomi globali. I sistemi operativi basati su capacità adottano un approccio fondamentalmente diverso: rappresentano l’autorità in modo esplicito e la rendono un concetto di primo livello.
Leggi di più →

Perché sto costruendo un micro-nucleo basato su capacità da zero

I sistemi operativi sono tra i software più complessi mai costruiti. Gestiscono la memoria, pianificano il calcolo, controllano l’hardware e fanno rispettare i confini di sicurezza che proteggono ogni applicazione in esecuzione su una macchina. Eppure molti dei sistemi operativi su cui facciamo affidamento oggi sono costruiti su idee architetturali che risalgono a diversi decenni fa. Sebbene questi sistemi siano straordinariamente potenti e collaudati, portano con sé anche decenni di complessità accumulata.
Leggi di più →