ARMv8-A System Semantics: Instruction Fetch in Relaxed Architectures
- Submitting institution
-
University of Cambridge
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 12773
- Type
- E - Conference contribution
- DOI
-
10.1007/978-3-030-44914-8_23
- Title of conference / published proceedings
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
- First page
- 626
- Volume
- 12075 LNCS
- Issue
- -
- ISSN
- 0302-9743
- Open access status
- Compliant
- Month of publication
- January
- Year of publication
- 2020
- URL
-
-
- Supplementary information
-
-
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
6
- Research group(s)
-
-
- Citation count
- -
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- This is the first work giving rigorous semantics for instruction fetch in a high-performance concurrent architecture. The Arm Chief Architect writes in his supporting letter for the associated Impact Case Study: A recent area of such exploration was in the area of Instruction Cache ordering semantics, which had previously not been remotely formalised, and Arm is adopting the description developed in conjunction with the team.
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -