Imperial College London > Talks@ee.imperial > CAS Talks > Validating the (Memory) Persistency Semantics of Intel-x86 Architecture
Log inImperial users Other users No account?Information onFinding a talk Adding a talk Syndicating talks Who we are Everything else |
Validating the (Memory) Persistency Semantics of Intel-x86 ArchitectureAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact George A Constantinides. Memory persistency models prescribe the order Non-Volatile Memory (NVM) `writes’ become durable. This allows programmers to reason about guarantees on recovery-correctness. We consider the problem of validating empirically the formalisation of the persistency semantics of programs interfacing with NVM . To explore recoverability behaviour with respect to durability and ordering in normal operation (instead of simulating power-loss crashes while the workload is running), we monitor the DDR4 bus traffic in real time by interposing a monitoring object between CPU and main memory in the DDR bus. By conducting validity litmus tests on several examples of persistent programs, we judge the goodness of the Px86 (‘persistent x86’) model and confirm that the assumptions underlying the model are justifiable. This talk is part of the CAS Talks series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsCOMMSP Seminar COMMSP & CP list gta 5Other talksSustainable transport – Railway traction power network and energy optimisation technologies Coordinated Operation of Data Center and Power System |