Il y a des jours comme ça...

Par 07 octobre 2009 1 commentaire

Grande découverte à L’Atelier, les microkernels peuvent être certifiés sans preuve. Une étude splendide, un sujet palpitant et pas du tout complexe. Après avoir sué sang et eau sur le PDF fourni sans images et essayé de comprendre des concepts comme :

"Here is a simplified, high-level view of the chain of invariants that show an efficient local pointer test is enough to ensure that deletion is globally safe: (1) If an object is live (contains references to other objects), there exists a capability to it somewhere in memory. (2) If an untyped capability c1 covers a sub-region of another capability c2, then c1 must be a descendant of c2 according to the capability derivation tree (CDT)".

Je présente fièrement mon article pour validation. Après quatre corrections et autant de plongées en apnée dans l’étude, il est enfin prêt à être publié. Sauf que... le sujet a déjà été traité. Là.

Je ne sais pas qui de Google ou de moi a cafouillé quand il a s’agit de vérifier que le sujet n’avait pas été traité, mais à l’heure du bilan de ma vie, le responsable en répondra.

C’est pas grave, c’était pour le plaisir et ma culture personnelle.

Haut de page

1 Commentaire

[...] This post was Twitted by AtelierNetwork [...]

Soumis par Twitted by AtelierNetwork (non vérifié) - le 07 octobre 2009 à 16h05

Mentions légales © L’Atelier BNP Paribas