summaryrefslogtreecommitdiffstats
path: root/future
AgeCommit message (Expand)AuthorFilesLines
2023-12-14future/formalregress: Use seL4 consistentlySeongJae Park1-6/+6
2023-12-02future/formalregress: Use \co{} for spinSeongJae Park1-2/+2
2023-12-02future/htm: Use \co{} in favor of $$SeongJae Park1-1/+1
2023-12-02future/htm: Remove unnecessary extra 'and'SeongJae Park1-1/+1
2023-12-02future/tm: Consistently add dash between reader and writer of reader-writer lockSeongJae Park1-1/+1
2023-12-02future/tm: Add introduction of TM-availabe options for lockingSeongJae Park1-0/+2
2023-12-02future/tm: Remove unnecessary spacesSeongJae Park1-2/+2
2023-08-03future/tm: Cite Draft Specification of Transactional Language Constructs for ...Akira Yokosawa1-1/+1
2023-07-02treewide: Remove ignored first parameter of origpub macrosPaul E. McKenney2-9/+9
2023-06-23future/tm: Add STM contention-management sectionPaul E. McKenney1-16/+110
2023-06-23future/tm: Sequence-locking case-study wordsmithingPaul E. McKenney1-1/+14
2023-06-22future/tm: Add sequence-locking case studyPaul E. McKenney1-3/+77
2023-06-22future/tm: TM-unfriendly operations and composabilityPaul E. McKenney1-0/+10
2023-06-22future/tm: Sequence locking as practical STMPaul E. McKenney1-5/+10
2023-06-17future: Add epigraph for summaryPaul E. McKenney1-0/+4
2023-01-04Redefine \epigraph to avoid boilerplate \emph{}Akira Yokosawa6-6/+6
2022-07-27future/formalregress: Add QQ about utopian requirementsPaul E. McKenney1-0/+17
2022-04-18index: Add indexing tags to memory barrier related termsAkira Yokosawa1-1/+1
2022-02-21future/formalregress: Add a missing "open"Paul E. McKenney1-1/+1
2022-02-02future/tm: Wordsmith "outside world" paragraphPaul E. McKenney1-5/+4
2022-01-25index: Reform indexing tags related to 'memory consistency'Akira Yokosawa1-1/+1
2022-01-06index: Add tags for 'reference count'Akira Yokosawa1-1/+2
2021-12-21defer, future: Fix typos (traversal, indispensable)Akira Yokosawa1-1/+1
2021-11-03future: Fix a typo in answer to QQ 17.3Zhouyi Zhou1-1/+1
2021-08-30index: Add index and acronym tags, take twoAkira Yokosawa4-9/+10
2021-08-22future/tm: Add to-do latex comments for large transactionsPaul E. McKenney1-0/+7
2021-08-17treewide: Adjust punctuation conventionAkira Yokosawa1-1/+1
2021-08-10easy, future: Break and capitalize after colonAkira Yokosawa4-26/+41
2021-07-04future/htm, summary: Fix typos (missing '\' in indexing macros)Akira Yokosawa1-2/+2
2021-07-01future/htm: Add IBM Power ISA 3.1 citationPaul E. McKenney1-1/+3
2021-07-01future/htm: Remove ref to Table 17.3 in QQAkira Yokosawa1-1/+1
2021-06-30future/htm: Add some HTM hardware-reliability anecdotesPaul E. McKenney1-0/+16
2021-06-30future/htm: Move "and" to end of listPaul E. McKenney1-2/+2
2021-05-18easy, future, appendix: Employ \cref{} and its variantsAkira Yokosawa4-8/+8
2021-04-21index: Add index and acronym tags, take oneAkira Yokosawa3-15/+16
2021-04-11treewide: Remove explicit float positioning optionsAkira Yokosawa6-19/+19
2021-04-11treewide: Shrink floats for ebook-size buildAkira Yokosawa3-1/+6
2021-04-05acronym: Tag 'CAS' and its long/full formAkira Yokosawa1-1/+1
2021-04-05index: Use \IXr{} and friends for tagging 'Moore's Law'Akira Yokosawa1-5/+5
2021-04-05acronym: future/htm: Tag TM, HTM, STM, and RCU via acronym dictionaryAkira Yokosawa1-8/+8
2021-04-04treewide: Mark non-end-of-sentence full-stop of 'vs.' as suchAkira Yokosawa1-2/+2
2021-03-21future/htm: Remove redundant 'to' from 'WRT to' in section headingsv2021.03.21aEdition.2Akira Yokosawa1-8/+8
2021-03-19treewide: Address outdated commentaryPaul E. McKenney2-2/+2
2021-03-18owned, defer, future: Make short inline snippets unbreakableAkira Yokosawa1-1/+1
2021-03-18treewide: Annotate sentence-ending fullstops as suchAkira Yokosawa4-16/+16
2021-03-16future: Fix one more typoPaul E. McKenney1-1/+1
2021-03-15future: Fix typos and grammarPaul E. McKenney2-4/+4
2021-03-11future: Fix grammar blowPaul E. McKenney1-1/+1
2021-03-12Add \FloatBarrier to avoid far-away floatsAkira Yokosawa1-0/+2
2021-03-12Use 'tbp' as option of floatsAkira Yokosawa1-4/+4
2021-03-07future: future: Updates and wordsmithing, take sixv2021.03.07aEdition.2-rc10Paul E. McKenney3-23/+25
2021-03-07future: Updates and wordsmithing, take fivePaul E. McKenney2-5/+15
2021-03-07future: Move functional programming to its own filePaul E. McKenney2-120/+124
2021-03-07future: Updates and wordsmithing, take fourPaul E. McKenney1-31/+66
2021-03-07future: Updates and wordsmithing, take threePaul E. McKenney5-89/+86
2021-03-07future: Updates and wordsmithing, take twoPaul E. McKenney1-46/+104
2021-03-06future: Updates and wordsmithing, take onePaul E. McKenney3-57/+130
2021-02-27Use newer/updated bibliography entriesAkira Yokosawa1-1/+1
2021-02-15future/tm: Add detail on MV-RLU scalabilityPaul E. McKenney1-0/+4
2021-02-07future/tm: Add Quick Quiz on MV-RLU vs. RCUPaul E. McKenney1-0/+68
2021-01-04future/{h,}tm: Add results of recent researchPaul E. McKenney2-12/+16
2021-01-02future: Self-reviewPaul E. McKenney2-7/+9
2021-01-01future/tm: Emphasize support for Knuth's position on I/OPaul E. McKenney1-1/+1
2020-11-24index: Add annotations to people's names for PoCAkira Yokosawa2-6/+8
2020-07-29Enhance qqz scheme for chapterwise QQZ answersAkira Yokosawa1-1/+3
2020-03-26treewide: Use macros for consecutive quick quizzesAkira Yokosawa2-25/+31
2020-03-15treewide: Renew format of Quick Quiz macroAkira Yokosawa3-51/+51
2020-03-14Use 'Arm' as text trademark of Arm architectureAkira Yokosawa1-1/+1
2020-01-31Rename environments 'linelabel' and 'lineref'Akira Yokosawa2-16/+16
2020-01-05future/htm: Another citation joining sheep and goatsPaul E. McKenney1-1/+1
2019-12-05treewide: Use endash for rangesAkira Yokosawa1-1/+1
2019-11-29future/tm: Add note about STM internal use of RCUPaul E. McKenney1-0/+3
2019-11-29future/htm: Add potential alternative epigraph as a LaTeX commentPaul E. McKenney1-0/+2
2019-11-29future: Add section-level epigraphsPaul E. McKenney5-0/+16
2019-11-29Add Tom Knight citation for TM and do a few drive-by fixesPaul E. McKenney1-2/+5
2019-11-26treewide: Various typosStamatis Karnouskos3-11/+11
2019-11-26future/cpu: Follow end-of-sentence markers with newlinePaul E. McKenney1-15/+18
2019-11-11miscellaneous: Fix numerous typosZhang, Kai1-1/+1
2019-10-22treewide: Add '% mainfile:' tags in headers in sub .tex filesAkira Yokosawa5-0/+7
2019-10-11future: Apply 'cleveref' way of cross referenceAkira Yokosawa4-69/+64
2019-10-11future: Apply new scheme of code snippetsAkira Yokosawa2-124/+111
2019-02-17defer/rcu: SLAB_DESTROY_BY_RCU is now SLAB_TYPESAFE_BY_RCUPaul E. McKenney1-1/+1
2018-10-27future/htm: Not HTM ease of use benefits to black-hat hackersPaul E. McKenney1-1/+5
2018-10-01future: Get rid of obsolete QC diagramsQC.2018.10.01aPaul E. McKenney5-90341/+0
2018-09-23future/formalregress: Example of extraction of snippet from .litmus fileAkira Yokosawa1-36/+4
2018-09-09future/QC: Remove quantum-computing sectionQC.2018.09.09aPaul E. McKenney2-1613/+2
2018-08-24future/tm: Update for exceptions and hazard pointersPaul E. McKenney1-5/+18
2018-08-18future/formalregress: Fix grammar nit: s/fixes/fixed/Paul E. McKenney1-1/+1
2018-06-20future/formalregress: Add caveats and nuance to requirmentsPaul E. McKenney1-12/+64
2018-06-02future/QC: Add Fujitsu special-purpose digital annealing hardwarePaul E. McKenney1-1/+10
2018-04-29future/formalregress: Bug location via bisectionPaul E. McKenney1-0/+16
2018-04-28future/tm: Add STM citationPaul E. McKenney1-1/+1
2018-04-27future/QC: Entangling large-scale mechanical oscillatorsPaul E. McKenney1-6/+9
2018-04-07future/formalregress: Fix staccato of 'been'Akira Yokosawa1-1/+1
2018-04-06future/formalregress: Add Will's and Catalin's TLA workPaul E. McKenney1-0/+20
2018-04-06future/formalregress: Move formal regression testing to future chapterPaul E. McKenney2-0/+612
2018-02-26future/QC: Add more QC effortsPaul E. McKenney1-1/+7
2018-02-26future/QC: Add topology of 20-qubit systemPaul E. McKenney2-0/+2679
2018-02-26QC: Add citation for first prototype of Shor's algorithmPaul E. McKenney1-1/+3
2018-02-26future/QC: Tweak horizontal spacing of Table 17.5Akira Yokosawa1-1/+2
2018-02-25QC: Bridge error-properties table to earlier textPaul E. McKenney1-8/+6
2018-02-25QC: Add popular-press article calling for lower qubit error ratesPaul E. McKenney1-3/+2
2018-02-25future/QC: Fix typoAkira Yokosawa1-1/+1
2018-02-25future/QC: Disambiguate 'QC power'Akira Yokosawa1-1/+1
2018-02-25future/QC: Add narrow space in front of percent symbolAkira Yokosawa1-4/+4
2018-02-25future/QC: Remove alternate-row coloring in Table 17.5Akira Yokosawa1-9/+7
2018-02-25future/QC: Improve layout of Table 17.5 by using subfloatAkira Yokosawa1-56/+69
2018-02-20future/QC: Add paragraph on all-silicon qubitsPaul E. McKenney1-0/+8
2018-02-17future/QC: Add chip-scale atomic clocks as signal generatorPaul E. McKenney1-1/+3
2018-02-17future/QC: Add citations for buckyball atomic clockPaul E. McKenney1-1/+3
2018-02-16future/QC: Update based on Robert Wisnieff feedbackPaul E. McKenney2-8/+78077
2018-02-15future/QC: Cite less-familiar optimization problemsPaul E. McKenney1-1/+7
2018-02-15future/QC: Add Intel evaluation and entanglement uncertaintyPaul E. McKenney1-2/+7
2018-01-27future: Fix embedded font name in .eps filesAkira Yokosawa3-6/+6
2018-01-10future/QC: Update based on 2018 CES QC eventsPaul E. McKenney1-1/+8
2017-12-06future/htm: Reword sentence referencing the new Table 17.3Paul E. McKenney1-2/+4
2017-12-06future: Add merged table of locking & HTM comparisonAkira Yokosawa2-0/+154
2017-12-06future: Update Locking and HTM comparison tablesAkira Yokosawa3-249/+215
2017-11-15future/QC: Add 50-qubit systems and simulatorsPaul E. McKenney1-3/+40
2017-11-08future/QC: Add recent work on quantum molecular dynamicsPaul E. McKenney1-4/+10
2017-10-29treewide: Remove obsolete "@@@" notes to selfPaul E. McKenney1-2/+0
2017-10-26Tweak figure sizeAkira Yokosawa3-5/+5
2017-10-22Update tables using booktabs and alternate-row coloring schemeAkira Yokosawa1-38/+37
2017-10-13Convert code snippets to 'listing' env (together, advsync, rt, future)Akira Yokosawa1-8/+8
2017-10-10future/QC: Update with recent advancesPaul E. McKenney1-4/+20
2017-10-08future: Add citations for commercial HTM implementationsPaul E. McKenney1-2/+3
2017-10-05future/QC: Use upright glyph for math constant and descriptive suffixAkira Yokosawa1-29/+33
2017-10-05treewide: Insert narrow space in front of percent symbolAkira Yokosawa2-3/+3
2017-10-05future/QC: Use non-breakable hyphen for axis namesAkira Yokosawa1-10/+10
2017-10-05future/QC: Insert narrow space in front of percent symbolAkira Yokosawa1-5/+5
2017-09-11future/QC: Remove unnecessary duplicateSeongJae Park1-1/+1
2017-09-06future: Update quantum-computing sectionPaul E. McKenney1-19/+222
2017-08-11future/htm: Update HTM availability and usagePaul E. McKenney1-4/+4
2017-08-11future/tm: Call out userspace RCUPaul E. McKenney3-18/+19
2017-07-15future/QC: Add space before citationSeongJae Park1-1/+1
2017-07-15future/QC: Fix typosSeongJae Park1-2/+2
2017-06-20future/QC: Another math mode fixAkira Yokosawa1-1/+1
2017-06-16future/QC: Define "qubit" at first usePaul E. McKenney1-3/+3
2017-06-16future/QC: Denote QC operators as suchAkira Yokosawa1-15/+15
2017-06-16future/QC: Use \ket{} macro for |0> and |1>Akira Yokosawa1-14/+14
2017-06-16future/QC: Add missing 'has' in description listAkira Yokosawa1-4/+4
2017-06-16future/QC: Use consistent axis namesAkira Yokosawa1-19/+19
2017-06-16future/QC: Add narrow space before unit symbolAkira Yokosawa1-12/+12
2017-06-16future/QC: Fix typo in unit symbol and usage of math modeAkira Yokosawa1-6/+6
2017-06-16future/QC: Tweak appearance of tablesAkira Yokosawa1-2/+5
2017-06-12future: QC measures of effectiveness: Quantum VolumePaul E. McKenney1-0/+14
2017-06-12future: Qubit expansion and Grover general searchesPaul E. McKenney1-0/+7
2017-06-12Add reference to Stanford work on Quantum Operating SystemsPaul E. McKenney1-2/+4
2017-05-28future: Add section on quantum computingPaul E. McKenney5-2/+10856
2017-05-28htm: Software weak atomicity and RCU/HTM combinationPaul E. McKenney1-0/+13
2017-05-28htm: Note that HTM forward-progress need not be absolutePaul E. McKenney1-0/+11
2017-03-23Updates to functional-programming futuresPaul E. McKenney1-9/+13
2017-03-07treewide: Use \tco{} for api name in subsubsection titleAkira Yokosawa1-1/+1
2017-01-06Layout tweaks for 1c layoutAkira Yokosawa2-2/+2
2016-12-26future: Fix a typo: `item` -> `\item`SeongJae Park1-1/+1
2016-12-26future/htm: Add a missing nbspSeongJae Park1-1/+1
2016-12-26future/tm: Add missing periodSeongJae Park1-1/+1
2016-12-02Add Joe Duffy citations to STM discussionPaul E. McKenney1-0/+2
2016-09-19epigraph: Use \epigraphhead{}Akira Yokosawa1-2/+2
2016-09-14treewide: Enclose 'verbbox' within 'figure'Akira Yokosawa1-1/+1
2016-08-10Trial of replacing hyphens of negative values with minus signsAkira Yokosawa1-1/+1
2016-07-09Merge branch 'cosmetic-fixes-round-3' of https://github.com/akiyks/perfbookPaul E. McKenney5-30/+22
2016-07-09Use \centering instead of center environment (part 4)Akira Yokosawa5-30/+22
2016-07-09future: Miscellaneous possible fixesAkira Yokosawa5-14/+15
2016-07-09future: Use \QuickQuizARef{} for reference to QQAAkira Yokosawa1-1/+1
2016-07-03Apply SPDX license identifiers to unambiguous filesPaul E. McKenney4-0/+4
2016-04-25Add yet more epigraphs and update creditsPaul E. McKenney1-0/+3
2016-04-23Drop self-referential citation in favor of chapter referencePaul E. McKenney1-1/+1
2015-05-25Add quick quiz on HTM-based lock elisionPaul E. McKenney1-1/+9
2015-05-24Add note on experience with HTM-based lock elisionPaul E. McKenney1-0/+6
2015-05-24Typos and grammatical fixesDave3-21/+21
2015-04-17Transactional self-reviewPaul E. McKenney2-6/+10
2014-12-23Fix typos in HTM discussionPatrick Marlier1-2/+2
2014-04-26Update Uniprocessor Uber Alles cartoonPaul E. McKenney1-1/+1
2014-03-24Another "non-idempotent" to "irrevocable"Paul E. McKenney1-2/+2
2014-03-24Update for maiden->married name transitionPaul E. McKenney2-5/+5
2014-03-14Add coarrays as a Fortran parallelism featurePaul E. McKenney1-1/+1
2014-03-14Since 1990, "FORTRAN" has been spelled "Fortran"Paul E. McKenney1-1/+1
2014-02-20Update artist namePaul E. McKenney1-3/+3
2014-02-20Add updated CPU-future cartoons.Paul E. McKenney1-3/+3
2014-02-17Fix "Laws of Order" bibliography entryPaul E. McKenney1-1/+1
2014-02-08Update TM nomenclature: inevitable and non-idempotent to irrevocablePaul E. McKenney4-16/+16
2014-02-04Add more details on weak transactionsPaul E. McKenney1-1/+5
2014-02-02Add weak-transaction approach to extra-transactional discussionPaul E. McKenney1-1/+10
2013-12-02Note HTM debugging research proposal.Paul E. McKenney1-0/+5
2013-12-02Add some hierarchy to transactional memory futuresPaul E. McKenney1-358/+408
2013-07-07Add assertion that programs should neither maintain state nor do I/OPaul E. McKenney1-1/+3
2013-07-07Add section on use of satisfiability solvers for formal verificationPaul E. McKenney1-7/+110
2013-07-06Add commentary on mainframe HTM forward-progress guaranteesPaul E. McKenney1-1/+44
2013-05-29Add verbiage describing forward-progress guarantees for mainframe HTMPaul E. McKenney1-2/+32
2013-01-21Inevitable transactions are now called irrevocable transactionsPaul E. McKenney1-13/+15
2013-01-21Note that inevitable transactions prohibit non-blocking transactions.Paul E. McKenney1-0/+9
2012-11-24Update transactional-memory section.Paul E. McKenney1-0/+48
2012-11-24Make CPU future quotes less jarring.Paul E. McKenney1-3/+10
2012-11-09Add minimal read-only victim cache to HTM discussionPaul E. McKenney1-0/+6
2012-07-15Typo: their -> thereNamhyung Kim1-1/+1
2012-05-24Note real-time limitations of HTM, fix some typosPaul E. McKenney1-2/+6
2012-05-24Add HTM lock elision examples involving real-time techniques.Paul E. McKenney1-1/+220
2012-05-20Rework empty-critical-section answerPaul E. McKenney1-142/+31
2012-04-29Fix additional tabular vertical overflows.Paul E. McKenney2-4/+4
generated by cgit 1.2.3-korg (git 2.39.0) at 2024-05-16 01:01:02 +0000