Files in this item
Memory consistency models using constraints
Item metadata
dc.contributor.author | Akgün, Özgür | |
dc.contributor.author | Hoffmann, Ruth | |
dc.contributor.author | Sarkar, Susmit | |
dc.date.accessioned | 2018-09-03T09:30:06Z | |
dc.date.available | 2018-09-03T09:30:06Z | |
dc.date.issued | 2018-08-27 | |
dc.identifier | 255666320 | |
dc.identifier | 8f516aac-022d-4bcd-b34e-5f63976bdd78 | |
dc.identifier.citation | Akgün , Ö , Hoffmann , R & Sarkar , S 2018 , Memory consistency models using constraints . in The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings . 24th International Conference on Principles and Practice of Constraint Programming (CP 2018) , Lille , France , 27/08/18 . | en |
dc.identifier.citation | conference | en |
dc.identifier.other | ArXiv: http://arxiv.org/abs/1808.09870v1 | |
dc.identifier.other | ORCID: /0000-0002-1011-5894/work/48131988 | |
dc.identifier.other | ORCID: /0000-0001-9519-938X/work/48131987 | |
dc.identifier.other | ORCID: /0000-0002-4259-9213/work/125727593 | |
dc.identifier.uri | https://hdl.handle.net/10023/15944 | |
dc.description.abstract | Memory consistency models (MCMs) are at the heart of concurrent programming. They represent the behaviour of concurrent programs at the chip level. To test these models small program snippets called litmus test are generated, which show allowed or forbidden behaviour of different MCMs. This paper is showcasing the use of constraint programming to automate the generation and testing of litmus tests for memory consistency models. We produce a few exemplary case studies for two MCMs, namely Sequential Consistency and Total Store Order. These studies demonstrate the flexibility of constrains programming in this context and lay foundation to the direct verification of MCMs against the software facing cache coherence protocols. | |
dc.format.extent | 16 | |
dc.format.extent | 191320 | |
dc.language.iso | eng | |
dc.relation.ispartof | The Seventeenth Workshop on Constraint Modelling and Reformulation (ModRef 2018), Proceedings | en |
dc.subject | Memory consistency | en |
dc.subject | Concurrent programming | en |
dc.subject | Litmus tests | en |
dc.subject | Constraints programming | en |
dc.subject | Modelling | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | DAS | en |
dc.subject | MCP | en |
dc.subject.lcc | QA75 | en |
dc.title | Memory consistency models using constraints | en |
dc.type | Conference item | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.identifier.url | https://modref2018.github.io/ | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.