aboutsummaryrefslogtreecommitdiff
path: root/src/a.tex
AgeCommit message (Expand)AuthorFilesLines
2019-02-08Clarify behavior of LR.rl and SC.aq (#339)Andrew Waterman1-3/+6
2019-01-17JALR is not allowed within LR/SC sequencesAndrew Waterman1-1/+1
2018-12-10subset -> extensionAndrew Waterman1-3/+3
2018-11-16Improved wording.Krste Asanovic1-2/+2
2018-11-16Clarified that LR/SC forward progress guarantee might only hold for a subset ...Krste Asanovic1-3/+5
2018-11-07Describe the AMOs as "bitwise", not "logical" (#259)Palmer Dabbelt1-2/+2
2018-11-06Allow access exceptions to be reported on misaligned atomic memory operations...Krste Asanovic1-10/+18
2018-08-12Removed redundant text that LR can reserve a different subset on each invocat...Krste Asanovic1-3/+1
2018-08-09Clarified reservation range and that SC only pairs with immediately preceding...Krste Asanovic1-20/+25
2018-08-07Clarified A definitions.Krste Asanovic1-27/+18
2018-08-06Removed obsolete commentary.Krste Asanovic1-11/+0
2018-07-06Merge branch 'misc-fixes' of https://github.com/tymcauley/riscv-isa-manual in...Andrew Waterman1-1/+1
2018-06-18Strengthen guidance on the need to clear a reservation using SC (#198)Alex Bradbury1-2/+3
2018-06-16Fixed grammar inconsistency in a.tex.Tynan McAuley1-1/+1
2018-06-14Fix outdated commentary about LR/SC and context switchingAndrew Waterman1-6/+2
2018-06-11Remove misleading note about AMOSWAP elisionAndrew Waterman1-6/+0
2018-05-06Luke's feedbackAndrew Waterman1-1/+1
2018-05-02Updates to the memory consistency model specDaniel Lustig1-56/+48
2018-03-28Make LR/SC CAS example adhere to the forward-progress constraintsAndrew Waterman1-1/+2
2018-02-07Add commentary about LR/SC forward-progress guaranteeAndrew Waterman1-0/+5
2017-12-12Describe optional support for misaligned AMOs (#117)Andrew Waterman1-9/+28
2017-10-20Remove privileged architecture detail from user specAndrew Waterman1-3/+11
2017-07-21Fix description of LR/SC for data sizeAndrew Waterman1-3/+4
2017-05-06Updated to define and use hart more consistently.Krste Asanovic1-13/+22
2017-04-17Recommend LR for sequentially consistent loadsAndrew Waterman1-6/+6
2017-04-09Fix typoAndrew Waterman1-1/+1
2017-04-02Improved rationale for AMO selection.Krste Asanovic1-0/+6
2017-02-01Reorganize directory structureAndrew Waterman1-0/+379
generated by cgit v1.1 at 2024-11-18 15:38:40 +0000