Browsing School of Electronic Engineering and Computer Science by Author "Vafeiadis, V"
Now showing items 1-2 of 2
-
Challenges in Empirically Testing Memory Persistency Models
Klimis, V; Donaldson, AF; Vafeiadis, V; Wickerson, J; Raad, A; Proceedings of the 2024 ACM/IEEE 44th International Conference on Software Engineering: New Ideas and Emerging Results (Association for Computing Machinery (ACM), 2024-04-14)Memory persistency models provide the foundational rules for software engineers to develop applications that take advantage of non-volatile memory (NVM), dictating which (and when) writes to NVM are deemed persistent. ... -
Lost in Interpretation: Navigating Challenges in Validating Persistency Models Amid Vague Specs and Stubborn Machines, All with a Sense of Humour
Klimis, V; Donaldson, AF; Vafeiadis, V; Wickerson, J; Raad, A (arXiv, 2024-05-28)Memory persistency models provide a foundation for persistent programming by specifying which (and when) writes to non-volatile memory (NVM) become persistent. Memory persistency models for the Intel-x86 and Arm architectures ...