A formal kernel memory-ordering model (Part 1 and 2)

Type de document :
Autre publication
Article published in the online magazine "Linux Weekly News" (LWN), available on the web at \url.. 2017
Liste complète des métadonnées

https://hal.inria.fr/hal-01668178
Contributeur : Luc Maranget <>
Soumis le : mardi 19 décembre 2017 - 19:20:15
Dernière modification le : mardi 17 avril 2018 - 09:04:31

Identifiants

  • HAL Id : hal-01668178, version 1

Collections

Citation

Jade Alglave, Luc Maranget, Paul Mckenney, Alan Stern, Andrea Parri. A formal kernel memory-ordering model (Part 1 and 2). Article published in the online magazine "Linux Weekly News" (LWN), available on the web at \url.. 2017. 〈hal-01668178〉

Partager

Métriques

Consultations de la notice

76