summaryrefslogtreecommitdiffstats
path: root/memorder
AgeCommit message (Expand)AuthorFilesLines
2024-02-24memorder: Switch fr variable to x to match co and rfPaul E. McKenney2-6/+6
2024-02-12memorder: Fix s/encourage/encouraged/ typoPaul E. McKenney1-1/+1
2024-02-12memorder: Retouch co-, fr-, and rf-hopes.svgAkira Yokosawa3-66/+174
2024-02-08memorder: Adjust QQ 16.31 to allow for not-quite monomodalityPaul E. McKenney1-2/+2
2024-02-08memorder: Add closing paragraph to QQ6.31Paul E. McKenney1-0/+3
2024-01-30memorder: Self-review January 30Paul E. McKenney1-2/+3
2024-01-30CodeSamples/cpu: Finalize Akira's switch from .png to .epsPaul E. McKenney1-2/+3
2024-01-30memorder: Wordsmith quick quiz on x86 memory orderingPaul E. McKenney1-5/+5
2024-01-30memorder: Tweak size of figures in Answer to QQz on x86 memory orderingAkira Yokosawa1-7/+7
2024-01-30CodeSamples/cpu: Update coe/fre/rfe data to that of clean script runPaul E. McKenney4-83/+252
2024-01-22memorder: Add quick quiz on x86 memory orderingPaul E. McKenney4-1/+1751
2023-10-15memorder: Update of ordering SSE non-temporal memory move instructionsAkira Yokosawa1-2/+4
2023-10-15memorder: Add info on recent x86 implementation of smp_mb()Joel Fernandes (Google)1-0/+10
2023-09-24memorder: Make clear the scope of READ_ONCE()/WRITE_ONCE() heavy usesSeongJae Park1-1/+1
2023-09-24memorder: Remove a redundant sentence for memory barrier strengthSeongJae Park1-2/+0
2023-09-24memorder: Consistently use '\co{}' for 'herd'SeongJae Park1-1/+1
2023-09-24memorder: Consistently use \co{} instead of {\tt } for codeSeongJae Park1-21/+21
2023-09-24memorder: Remove braces for single line if-else blocksSeongJae Park1-6/+4
2023-09-24memorder: Remove an empty fcvref blockSeongJae Park1-2/+0
2023-09-24memorder: Add missing unbreakable spaces between 'values', 'and', and numbersSeongJae Park1-2/+2
2023-09-24memorder/memorder: Add a missing space between column name and 'column'SeongJae Park1-1/+1
2023-09-24memorder: Fix typos: s/,/./SeongJae Park1-2/+2
2023-09-23memorder: Add QQ about non-load loads for address dependenciesPaul E. McKenney1-0/+19
2023-09-23memorder: Add index marker for smp_read_barrier_depends() as classic APIAkira Yokosawa1-1/+1
2023-09-23memorder: Add index markers for 'address/control/data dependency', take 2Akira Yokosawa1-4/+7
2023-09-23memorder: Add index markers for 'address/control/data dependency', take 1Akira Yokosawa1-3/+3
2023-09-17memorder: Fix word choice (data dependencies --> address dependencies)Akira Yokosawa1-2/+2
2023-09-11memorder: Shrink Figures 15.1 and 15.2 in 2c buildsAkira Yokosawa1-2/+2
2023-09-10memorder: Shrink ifthen.pdf in -1c and -eb buildsAkira Yokosawa1-1/+1
2023-09-09memorder: Add if-then memory-ordering diagramPaul E. McKenney2-0/+670
2023-09-09memorder: Put the simple stuff firstPaul E. McKenney1-491/+553
2023-07-11memorder: Add QQ on rwlock intuitionsPaul E. McKenney1-0/+16
2023-07-02treewide: Remove ignored first parameter of origpub macrosPaul E. McKenney1-10/+10
2023-06-12memorder: Tweak Figure 15.2Akira Yokosawa1-22/+24
2023-05-10treewide: Use "chp:" consistently as chapter label prefixPaul E. McKenney1-1/+1
2023-04-29memorder: Add RCU intuitions sectionPaul E. McKenney1-1/+61
2023-04-29Add acronyms of LKMM and KCSANAkira Yokosawa1-5/+4
2023-04-25memorder: Remove \FloatBarrier in front of Section 15.2.8Akira Yokosawa1-2/+0
2023-04-24memorder: Remove \FloatBarrierPaul E. McKenney1-1/+0
2023-04-22memorder: Use desctiption list for PowerPC terminologyAkira Yokosawa1-6/+10
2023-04-17memorder: Switch screenshots from .jpg to .pngPaul E. McKenney7-3/+3
2023-04-17memorder: Self-review of section demonstrating R on PowerPCPaul E. McKenney1-35/+52
2023-04-17memorder: Add section demonstrating R on PowerPCPaul E. McKenney4-5/+212
2023-04-15memorder: Section 15.6 self-reviewPaul E. McKenney1-3/+6
2023-04-15memorder: Section 15.5 self-reviewPaul E. McKenney1-10/+32
2023-04-15memorder: Self-review Section 15.4Paul E. McKenney1-38/+57
2023-04-15memorder: Self-review of Section 15.3Paul E. McKenney1-5/+29
2023-04-15memorder: Self-review of Section 15.2Paul E. McKenney1-4/+20
2023-04-14memorder: Add Section 15.1.3 paragraph on handlersPaul E. McKenney1-0/+24
2023-04-14memorder: Straggling Section 15.1 lead-in changePaul E. McKenney1-1/+2
2023-04-14memorder: Update Intel_Core2_arch-simplified bordersPaul E. McKenney1-7/+7
2023-04-14memorder: Self-review of Section 15.1 lead-inPaul E. McKenney1-4/+4
2023-04-14memorder: Add text for Intel_Core2_arch diagramsPaul E. McKenney2-24/+50
2023-04-14memorder: Add simplified Intel Core 2 Architecture diagramPaul E. McKenney2-0/+1586
2023-04-14memorder: Add Intel Core 2 Architecture diagramPaul E. McKenney2-1/+1507
2023-04-14memorder: Self-review of chapter lead-in textPaul E. McKenney1-7/+17
2023-02-24memorder: Fix PowerPC's rmb() requirementAkira Yokosawa1-8/+10
2023-02-02memorder: Self-review of "Memory-Model Intuitions"Paul E. McKenney2-67/+65
2023-01-28memorder: Tie advanced rules of thumb to intuitionsPaul E. McKenney1-1/+10
2023-01-27memorder: Add figure for intuitive release-acquire chainsPaul E. McKenney2-2/+705
2023-01-27memorder: Add figure for intuitive lockingPaul E. McKenney2-10/+835
2023-01-26memorder: Add section for transitive intuitionsPaul E. McKenney1-11/+157
2023-01-04epigraph: Emphasize quoted text and book titlesAkira Yokosawa1-1/+1
2023-01-04Redefine \epigraph to avoid boilerplate \emph{}Akira Yokosawa1-7/+7
2022-10-20memorder: Fix a typo in Listing 15.25's captionZhouyi Zhou1-4/+4
2022-10-14memorder: Fix a line number reference errorAkira Yokosawa1-3/+4
2022-10-12memorder: The Listing 15.35 exists clause is never satisfiedPatrick Pan1-1/+1
2022-10-12memorder: Correct the transformed Listing 15.30 codePatrick Pan1-1/+1
2022-09-28memorder: Fix typoAkira Yokosawa1-1/+1
2022-09-28memorder: Put \FloatBarrier in front of Section 15.3Akira Yokosawa1-0/+2
2022-09-25memorder: Add example showing store breaking release-acquire chainv2022.09.25aPaul E. McKenney1-12/+38
2022-08-25memorder: Summarize load/store linking in 15.6Paul E. McKenney1-1/+39
2022-08-25memorder: Add footnote for shared store buffers and non-multicopy atomicityPaul E. McKenney1-1/+5
2022-08-25memorder: Add load-to-store, emphasize cacheline visibilityPaul E. McKenney1-5/+8
2022-08-23memorder: Order of cachelines for co, not order of storesPaul E. McKenney1-0/+7
2022-04-18index: Add indexing tags to memory barrier related termsAkira Yokosawa1-11/+11
2022-04-05memorder: Standarize on acquire load and release storePaul E. McKenney1-64/+59
2022-04-03Fix period markersAkira Yokosawa1-1/+1
2022-02-03memorder: Fix typosJohann Klähn1-8/+8
2022-01-25index: Reform indexing tags related to 'memory consistency'Akira Yokosawa1-2/+2
2022-01-25memorder: Add indexing tags for historic lockless_dereference()Akira Yokosawa1-2/+2
2022-01-12memorder: Expand on and cross-link discussions of dependenciesPaul E. McKenney1-8/+24
2022-01-06treewide: Add acronym tags for QSBR and EBRAkira Yokosawa1-1/+1
2021-12-08treewide: Address potential widowing of headingsAkira Yokosawa1-3/+3
2021-11-14memorder: Remove extraneous "either"Paul E. McKenney1-1/+1
2021-11-12memorder: Add QQ about ordering across three critical sectionsPaul E. McKenney1-0/+25
2021-11-11memorder: Add a section on modeling spin_is_locked()Paul E. McKenney1-0/+42
2021-11-10memorder: Add a section on modeling lockingPaul E. McKenney1-26/+234
2021-10-21memorder: fix a typo in answer to QQ 15.33Zhouyi Zhou1-1/+1
2021-08-30index: Add index and acronym tags, take twoAkira Yokosawa1-5/+6
2021-08-10memorder: Break and capitalize after colonAkira Yokosawa1-42/+60
2021-06-09treewide: Fix indents by white spacesAkira Yokosawa1-1/+1
2021-06-09treewide: Make end-of-sentence punctuation marks be at end-of-lineAkira Yokosawa1-2/+2
2021-06-09treewide: Annotate punctuation marksAkira Yokosawa1-2/+2
2021-06-09memorder: Move float snippet away of QQA headingAkira Yokosawa1-5/+5
2021-05-18together, advsync, memorder: Employ \cref{} and its variantsAkira Yokosawa1-12/+12
2021-04-27treewide: Make end-of-sentence periods be at end of linesAkira Yokosawa1-5/+7
2021-04-21index: Add index and acronym tags, take oneAkira Yokosawa1-13/+14
2021-04-11debugging, memorder: Move float away from section headingAkira Yokosawa1-3/+4
2021-04-11treewide: Remove explicit float positioning optionsAkira Yokosawa1-76/+76
2021-04-11treewide: Shrink floats for ebook-size buildAkira Yokosawa1-0/+18
2021-03-19memorder: Fix staccato of 'another'Akira Yokosawa1-1/+1
2021-03-18memorder: Fix typos and grammar, take twoPaul E. McKenney1-19/+28
2021-03-18Merge commit 'a70d76c76d8e3b4338f813da9ddfb8fa880a653c'Paul E. McKenney1-13/+13
2021-03-18memorder: Fix typos and grammar, take onePaul E. McKenney1-20/+18
2021-03-18memorder: Fix usage of \pageref{}Akira Yokosawa1-1/+1
2021-03-18memorder: Fix typoAkira Yokosawa1-1/+1
2021-03-18memorder: Fix typoAkira Yokosawa1-1/+1
2021-03-18memorder: Fix typoAkira Yokosawa1-1/+1
2021-03-18treewide: Annotate sentence-ending fullstops as suchAkira Yokosawa1-10/+10
2021-03-15memorder: Shrink large figures in 2c buildsAkira Yokosawa1-4/+4
2021-03-12Add \FloatBarrier to avoid far-away floatsAkira Yokosawa1-0/+1
2021-03-12Use 'tbp' as option of floatsAkira Yokosawa1-20/+20
2021-03-08ack: Updates and wordsmithingPaul E. McKenney1-0/+1
2021-03-01memorder: Belated addition of RCU1G2Rmb.svgPaul E. McKenney1-0/+770
2021-02-28memorder: Updates and wordsmithingPaul E. McKenney1-252/+315
2021-02-27treewide: Adjust spacing after full stopsAkira Yokosawa1-1/+1
2021-02-07memorder: Substitute MIPS memory model referenceAkira Yokosawa1-1/+1
2021-01-31defer: Updates and wordsmithing, take onePaul E. McKenney2-1/+554
2021-01-24treewide: Update to recent draft of the C++ standardPaul E. McKenney1-2/+2
2021-01-18memorder: Add citation of C11/LKMM comparison paperPaul E. McKenney1-1/+3
2021-01-04memorder: Remove redundant footnoteAkira Yokosawa1-4/+1
2021-01-03memorder: Update Alpha discussion based on v5.9Paul E. McKenney2-162/+151
2020-12-14memorder: Reword 'memory-barrier shootdown' -> 'system-wide memory barrier'Akira Yokosawa1-1/+1
2020-11-24index: Add some more people index annotations in 'formal'Akira Yokosawa1-2/+2
2020-11-24index: Add annotations to people's names for PoCAkira Yokosawa1-1/+1
2020-11-15CodeSamples/formal/litmus: Remove redundant initializationAkira Yokosawa1-6/+2
2020-07-29Enhance qqz scheme for chapterwise QQZ answersAkira Yokosawa1-1/+3
2020-05-26memorder: Fix typo, add missing "much"Paul E. McKenney1-1/+1
2020-03-26treewide: Use macros for consecutive quick quizzesAkira Yokosawa1-42/+54
2020-03-15memorder: Add Quick Quiz on compiler half-barriersPatrick Yingxi Pan1-0/+115
2020-03-15treewide: Renew format of Quick Quiz macroAkira Yokosawa1-123/+123
2020-03-14memorder: Use \dots for ellipsisAkira Yokosawa1-2/+2
2020-03-14Use 'Arm' as text trademark of Arm architectureAkira Yokosawa1-34/+32
2020-01-31Rename environments 'linelabel' and 'lineref'Akira Yokosawa1-120/+120
2020-01-12Prevent section heading from orphanedAkira Yokosawa1-30/+30
2019-11-26memorder: Section-level epigraphsPaul E. McKenney1-0/+19
2019-11-26treewide: Various typosStamatis Karnouskos1-6/+6
2019-11-23Typo fixes: "and and" and light-weight->lightweightStamatis Karnouskos1-6/+6
2019-11-21typo correctionStamatis Karnouskos1-1/+1
2019-11-11miscellaneous: Fix numerous typosZhang, Kai2-191/+183
2019-10-22treewide: Add '% mainfile:' tags in headers in sub .tex filesAkira Yokosawa1-0/+2
2019-10-15Fix indents in code snippetsAkira Yokosawa1-2/+2
2019-10-11Define '\crefthro' for 'Sections~m.n through~m.o'Akira Yokosawa1-4/+4
2019-10-11memorder: Tweak list of sectionsAkira Yokosawa1-2/+2
2019-10-11memorder: Apply 'cleveref' way of cross referenceAkira Yokosawa1-241/+240
2019-10-11memorder: Apply new scheme of code snippets (part 3/3)Akira Yokosawa1-334/+207
2019-10-11memorder: Apply new scheme of code snippets (part 2/3)Akira Yokosawa1-754/+258
2019-10-11memorder: Apply new scheme of code snippets (part 1/3)Akira Yokosawa1-357/+101
2019-04-02memorder: Fix two trivial typosSeongJae Park1-2/+2
2019-01-21memorder: Force ordering for multiple-grace-period listings and figuresPaul E. McKenney1-20/+20
2019-01-20defer/rcufundamental: Modernize presentationPaul E. McKenney1-1/+1
2019-01-19memorder: Add summary to "Higher-Level Primitives" sectionPaul E. McKenney1-0/+4
2019-01-19memorder: Add memory-allocator sectionPaul E. McKenney1-23/+101
2019-01-18memorder: Wordsmithing of section on detailed RCU semanticsPaul E. McKenney1-7/+10
2019-01-18memorder: Finish first draft of section on RCU detailed semanticsPaul E. McKenney3-25/+1767
2019-01-18memorder: Add QQ for reordering and extended RCU readersPaul E. McKenney1-0/+23
2019-01-18memorder: Add example showing RCU readers insensitive to orderingPaul E. McKenney1-0/+12
2019-01-18memorder: Cover litmus tests for accesses outside of RCU readersPaul E. McKenney1-0/+144
2019-01-17memorder: Another subsection of RCU detailed semanticsPaul E. McKenney1-6/+22
2019-01-17memorder: Start section on RCU detailed semantics.Paul E. McKenney1-26/+141
2019-01-16memorder: Use \qco{} to save a few charactersPaul E. McKenney1-13/+13
2019-01-15formal: Include performance results for locking verificationPaul E. McKenney1-0/+8
2019-01-15memorder,toolsoftrade: Eliminate memory-access redundanciesPaul E. McKenney1-281/+68
2019-01-15memorder: Add outline for higher-level primitivesPaul E. McKenney1-0/+41
2019-01-05memorder: Fix typosSeongJae Park1-2/+2
2018-12-18memorder: Avoid citing duplicate bib entriesAkira Yokosawa1-1/+1
2018-12-02memorder: Add Quick Quiz referring back to temporal propertiesPaul E. McKenney1-4/+22
2018-12-02memorder: Reword cheat sheet and discussionPaul E. McKenney1-19/+41
2018-12-02memorder: Forward reference from basic rules of thumbPaul E. McKenney1-2/+3
2018-12-02memorder: Wordsmith "Where is Memory Ordering Needed?"Paul E. McKenney1-15/+28
2018-12-02memorder: Amend captions to 'Message-Passing Address-Dependency' testsAkira Yokosawa1-11/+11
2018-12-01memorder: Clean up reference to lockless_dereference()Paul E. McKenney1-30/+21
2018-11-17memorder: Fix typo (Figure -> Table)Akira Yokosawa1-1/+1
2018-11-07memorder: Add a brief description of the use of multicopy atomicityJunchang Wang1-1/+5
2018-11-07memorder: Fix line numbers by applying new scheme to C-ISA2+o-r+a-r+a-r+a-oAkira Yokosawa1-45/+7
2018-11-05memorybarriercum.svg: fix typoJunchang Wang1-1/+1
2018-11-05memorder: Fix typoJunchang Wang1-4/+4
2018-10-30memorder: Add reference to herd tooling and LKMMPaul E. McKenney1-1/+18
2018-10-30memorder: Update based on v4.15 Linux kernel de-Alpha-icationPaul E. McKenney1-14/+27
2018-04-29memorder: Add quick quiz about late 2017 rewritePaul E. McKenney1-4/+26
2018-04-10memorder: Fix cheat-sheet key and smp_mb__after_atomic()Paul E. McKenney1-2/+4
2018-04-09Fix labeling of appendix and sectionAkira Yokosawa1-1/+1
2018-04-02memorder: Linux kernel v4.15 avoids Alpha dependent-read reorderingPaul E. McKenney1-5/+9
2017-11-22memorder: QQ on litmus-test abbreviations, update C++ working paperv2017.11.22aPaul E. McKenney1-1/+14
2017-11-22memorder: Self-reviewPaul E. McKenney1-140/+201
2017-11-18memorder: Use correct chapter name for original publicationPaul E. McKenney1-2/+2
2017-11-18memorder: Fix trivial typoAkira Yokosawa1-1/+1
2017-11-18Update qqzreorder.pl to take care of listing at the end of QQAAkira Yokosawa1-0/+1
2017-11-14memorder: Add R litmus test as example of rule of thumbPaul E. McKenney1-1/+5
2017-11-14memorder: Use litmus test in section 'control dependency calamity'Akira Yokosawa1-45/+94
2017-11-11memorder: Add a quick quiz for the 2+2W litmus testsPaul E. McKenney1-1/+91
2017-11-11CodeSamples/formal: Get rid of warnings in cross compilingAkira Yokosawa1-1/+1
2017-11-07memorder: Spruce up a couple of section titlesPaul E. McKenney1-14/+14
2017-11-07memorder: Link Section 15.5 rules of thumb to litmus testsPaul E. McKenney1-3/+8
2017-11-05Fix typos in answers to quick quizzesAkira Yokosawa1-3/+3
2017-11-04Fix layout hiccups in answers to quick quizzesAkira Yokosawa1-3/+4
2017-11-03formal, memorder: Fix typo and adjust spacingAkira Yokosawa1-19/+19
2017-11-01memorder: ARMv8 includes 32-bit capabilityPaul E. McKenney1-4/+5
2017-11-01memorder: Clarify that ARMv8's was the first -executable- formal modelPaul E. McKenney1-1/+1
generated by cgit 1.2.3-korg (git 2.39.0) at 2024-05-22 07:17:34 +0000