Altreonic gaat met Intels 48-core processor spelen

De Vlaamse specialist in formele programmeermethoden Altreonic heeft een partnerschap met Intel om zijn OpencomRTos-besturingssysteem te porten naar de experimentele 48-core CPU van de chipmaker. Deze ’single chip cloud computer‘ (SCC) is een onderzoeksvehikel naar de volgende generatie veelkernige processoren. Intel maakt de processor beschikbaar voor geselecteerde partners, vooral academia. ’Wij krijgen via remote access toegang tot een testopstelling bij de De Nayer-hogeschool, die een fysiek systeem ter beschikking krijgt en waarmee we samenwerken‘, verklaart Altreonic-CEO Eric Verhulst.

De chip bestaat uit 24 tegels, elk met twee processorkernen gebaseerd op de Pentium 5-architectuur. Deze tegels zijn via een netwerk-op-chip met elkaar verbonden. Iedere core beschikt over een L1- en L2-cache, maar er is geen mechanisme in de hardware ingebakken voor het synchroniseren van de caches tussen de cores; bij dit grote aantal processorkernen zou die te veel overhead introduceren.

De chip is een model voor de volgende generatie veelkernige processoren, waar de industrie noodgedwongen naartoe gaat. Traditionele programmeermethoden worstelen met deze grote mate van parallellisme, maar de aanpak van Altreonic schaalt van nature al goed. De praktische limiet ligt rond de 64 duizend processoren. De methode is aan de basis gebaseerd op de CSP-procesalgebra (communicating sequential processes). In een notendop worden alle acties als aparte knooppunten in een netwerk beschreven, die via communicatiekanalen gegevens met elkaar uitwisselen.