summaryrefslogtreecommitdiffstats
AgeCommit message (Expand)AuthorFilesLines
2023-06-08utilities/gitlab-ci: Remove custom build of fig2psLeonardo Bras1-3/+0
2023-06-07locking: Use hand-over-hand locking for protocol-stack examplePaul E. McKenney1-2/+2
2023-06-03utilities/gitlab-ci: Fix gitlab-ci due to Arch Linux deprecating texlive-mostLeonardo Bras1-1/+1
2023-06-02CodeSample/count: Update the places where READ_ONCE is usedAlan Huang1-2/+2
2023-06-02together/applyrcu: Note possibility of lost countsPaul E. McKenney1-0/+9
2023-06-01defer/rcuapi: Add special case for rcu_barrier()Paul E. McKenney1-0/+7
2023-05-31defer/rcurelated: Add LWN articles for userspace RCUPaul E. McKenney1-1/+1
2023-05-31defer/rcuusage: Add rcu_sync as phased state change examplePaul E. McKenney1-1/+3
2023-05-31defer/rcufundamental: Self reviewPaul E. McKenney1-2/+24
2023-05-31defer/rcuintro: Self-reviewPaul E. McKenney2-191/+197
2023-05-29together: Fix the description of state traversalAlan Huang1-3/+4
2023-05-29together: Remove wrong contentAlan Huang1-9/+0
2023-05-29CodeSample/count: Use plain access instead of WRITE_ONCEAlan Huang1-1/+1
2023-05-27spinhint: Add clarifying step to QRCU by-hand proofPaul E. McKenney1-0/+5
2023-05-27formal: Fix referencesAlan Huang1-2/+2
2023-05-23rt: Fix typos s/millisecond/microsecond/ s/subtlely/subtly/Paul E. McKenney1-4/+4
2023-05-18rcuapi: Add QQ on synchronize_rcu() vs. rcu_barrier()Paul E. McKenney1-2/+73
2023-05-14debugging: Minor wordsmithing of first time workingPaul E. McKenney1-2/+2
2023-05-10treewide: Use "chp:" consistently as chapter label prefixPaul E. McKenney18-22/+22
2023-05-10datastruct: Add lead-in list of complicationsPaul E. McKenney1-3/+34
2023-05-09datastruct: Fix typoAlan Huang1-1/+1
2023-05-09datastruct: Remove outdated contentAlan Huang1-26/+3
2023-05-08datastruct: Make the figure consistent with the pageAlan Huang1-1/+1
2023-05-08datastruct: Update the number of CPUsAlan Huang1-1/+1
2023-05-04Update plot of RCU-test-ratio as of v6.3Akira Yokosawa1-1500/+1534
2023-05-04CodeSamples/formal/data/plot.sh: Tweak plot paramsAkira Yokosawa1-4/+4
2023-05-04Update rcu-test.dat as of v6.3, using updated rcutorture.shAkira Yokosawa1-51/+52
2023-05-04CodeSample/formal/rcutorture.sh: Ignore Makefile and Kconfig*Akira Yokosawa1-1/+1
2023-05-03toolsoftrade: Improve invented-stores examplePaul E. McKenney1-2/+12
2023-05-03defer/rcuusage: Add QQ on new Figure 9.29 GP startPaul E. McKenney1-0/+18
2023-05-03defer/rcuusage: Make Figure 9.29 more accurateAlan Huang1-17/+25
2023-05-02defer/rcuusage: Fix Figure 9.29 arrow directionPaul E. McKenney1-12/+12
2023-05-02defer/rcuusage: Clarify grey dashed lines in Figure 9.29Paul E. McKenney1-3/+3
2023-05-01defer: Add lead-in list of problemsPaul E. McKenney4-3/+45
2023-05-01defer/whichtochoose: Make paragraph consistent with tableAlan Huang1-1/+1
2023-04-30defer: Add lead-in list of mysteriesPaul E. McKenney8-5/+51
2023-04-30defer/rcu: Wordsmith Butler Lampson RCU classificationPaul E. McKenney1-2/+3
2023-04-30together/refcnt: Use \qco{} for code quotingSeongJae Park1-4/+4
2023-04-29memorder: Add RCU intuitions sectionPaul E. McKenney1-1/+61
2023-04-29precheck.sh: Export LC_TIMEAkira Yokosawa1-1/+1
2023-04-29Tweak TOC width paramsAkira Yokosawa1-2/+19
2023-04-29count: Adjust scaling factor of Listing 5.18Akira Yokosawa1-1/+1
2023-04-29CodeSamples/count: Adjust coding styleAkira Yokosawa6-22/+22
2023-04-29Add acronyms of LKMM and KCSANAkira Yokosawa4-8/+9
2023-04-29formal/ppcmem: Use \qco{} as intendedAkira Yokosawa1-1/+1
2023-04-29formal/spinhint: Don't use \qco{} for long messageAkira Yokosawa1-1/+1
2023-04-29together/seqlock: Use term 'sequence lock' consistentlySeongJae Park1-1/+1
2023-04-29together/refcnt: Use \tco{} for code quotingSeongJae Park1-4/+4
2023-04-28toolsoftrade: Add section titles of 'API Members'Akira Yokosawa1-2/+8
2023-04-28toolsoftrade: Use description listAkira Yokosawa2-53/+55
2023-04-25memorder: Remove \FloatBarrier in front of Section 15.2.8Akira Yokosawa1-2/+0
2023-04-24CodeSamples/defer: Fix hazard tortureAlan Huang2-4/+3
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-15glossary: Combinatorial explosion and implosionPaul E. McKenney1-0/+7
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-04-13defer/rcuusage: Add Quick Quiz on existance-guarantee techniquesPaul E. McKenney1-2/+19
2023-04-13defer/rcurelated: Wordsmith QQ 9.69 on Kung and LehmanPaul E. McKenney1-8/+11
2023-04-13count: Correct grammar in QQz 5.50Akira Yokosawa1-1/+1
2023-04-12defer/rcurelated: Add QQ about divergent RCU terminologyPaul E. McKenney1-2/+23
2023-04-12locking/locking-existence: Mark Listing 7.10 as buggyPaul E. McKenney2-7/+7
2023-04-12defer/rcurelated: Add QQ on Kung and Lehman issuesPaul E. McKenney1-0/+57
2023-04-11toolsoftrade: Store-to-load transformations s/statment/statement/Paul E. McKenney1-1/+1
2023-04-11count: Update signal-theft memory ordering QQPaul E. McKenney1-21/+4
2023-04-09formal/ppcmem: Fix label name for Fail1:SeongJae Park1-1/+1
2023-04-09formal/ppcmem: s/powerpc/PowerPC/ on sentencesSeongJae Park1-1/+1
2023-04-09formal/ppcmem: Enclose example code snippets with \co{}SeongJae Park2-18/+18
2023-04-09formal/ppcmem: Add missed non-breakable spacesSeongJae Park1-2/+2
2023-04-09formal/ppcmem: Use \qco{} instead of ``\co{}''SeongJae Park1-5/+5
2023-04-09formal/ppcmem: Use uppercase 'S' for SpinSeongJae Park1-2/+2
2023-04-09formal/dyntickrcu: Use \qco{} instead of ``\co{}''SeongJae Park1-4/+4
2023-04-09formal/dyntickrcu: Quote 'trail' file consistentlySeongJae Park1-1/+1
2023-04-09formal/spinhint: Do not call 2013 paper as recentSeongJae Park1-1/+1
2023-04-09formal/spinhint: Enclose example code snippets with \co{}SeongJae Park1-4/+4
2023-04-09formal/spinhint: Use \qco{} instead of ``\co{}''SeongJae Park1-3/+3
2023-04-09formal/formal: Drop cppmem from 'Special-Purpose State-Space Search' section ...SeongJae Park1-1/+1
2023-04-09CodeSamples/count: Remove unnecessary memory barriersAlan Huang3-15/+17
2023-04-06CodeSamples/count: Weaken full memory in count_stat_eventual.cAlan Huang2-7/+5
2023-03-30CodeSamples/count: Add necessary partial memory barriersAlan Huang1-4/+4
2023-03-29docker: Cope with change in latexpand-v1.3.tar.gz from gitlabAkira Yokosawa2-4/+4
2023-03-18parallel-latex-regress.sh: Pass WHICH=which to reference MakefileAkira Yokosawa1-1/+1
2023-03-18Stop loading fixltx2eAkira Yokosawa1-1/+1
2023-03-18Fix warning of missing font shapeAkira Yokosawa1-1/+3
2023-03-16precheck.sh: Test sed against repeat patterns \+ and \?Akira Yokosawa2-13/+7
2023-03-16autodate.sh: Allow alternative name for sedAkira Yokosawa1-5/+6
2023-03-10Merge commit 'c29c59539a033c1d10324faa0f997a0ae562af4c'Paul E. McKenney18-57/+238
2023-03-10Merge tag 'for-paul-portable-build' of https://github.com/akiyks/perfbook int...Paul E. McKenney18-57/+238
2023-03-10todo.txt: Tentative plan for memory-model developmentPaul E. McKenney1-0/+47
2023-03-10FAQ-BUILD.txt: Remove /bin/bash from list of requirementsAkira Yokosawa1-1/+0
2023-03-10Makefile: Remove 'SHELL = /bin/bash'Akira Yokosawa1-1/+0
2023-03-10FAQ-BUILD.txt: Remove fig2ps from necessary packagesAkira Yokosawa1-3/+3
2023-03-10Stop using 'which' command in build scriptsAkira Yokosawa6-13/+18
2023-03-05FAQ-BUILD: Mention precheckAkira Yokosawa1-2/+9
2023-03-05Add precheck.shAkira Yokosawa4-17/+123
2023-03-05Use fig2dev as fallback to fig2epsAkira Yokosawa1-3/+7
2023-03-05FAQ-BUILD.txt: Add Q&A on building under non-GNU/Linux systemsAkira Yokosawa1-0/+41
2023-03-05Makefile: Move CREFPAIR check into cleverefcheck.shAkira Yokosawa2-15/+14
2023-03-02Makefile: Use portable egrep pattern (enclose '{' in '[]')Akira Yokosawa1-1/+1
2023-03-02autodate.sh: Allow alternative command name for 'date'Akira Yokosawa1-9/+11
2023-03-02autodate.sh: Add code for BSD-flavor date commandAkira Yokosawa1-3/+19
2023-03-02Makefile: Use multiple '-e' flags for non-GNU sed compatibilityAkira Yokosawa1-2/+2
2023-03-02extractqqz.sh: Allow alternative command name for 'sed'Akira Yokosawa1-7/+10
2023-03-02Use /usr/bin/env in shebang of perl scriptsAkira Yokosawa9-9/+9
2023-02-28defer/rcu: Include Butler Lampson RCU assessmentPaul E. McKenney1-0/+4
2023-02-28Bibliography updatePaul E. McKenney2-0/+21
2023-02-24memorder: Fix PowerPC's rmb() requirementAkira Yokosawa1-8/+10
2023-02-24formal: Update RCU-test-ratio table as of v6.2Akira Yokosawa2-679/+707
2023-02-14toolsoftrade: Fix QQz macro in QQz seriesAkira Yokosawa1-1/+1
2023-02-14cpu: Add page reference to Table E.1 in QQz 3.8Akira Yokosawa1-2/+4
2023-02-14cpu: Use 'on-core' rather than 'in-core'Akira Yokosawa1-10/+10
2023-02-14cpu: Improve layout and consistency of Tables 3.1, E.1, and E.2Akira Yokosawa2-52/+97
2023-02-13Revert "cpu: Add a QQz citing table E.1"Paul E. McKenney1-21/+3
2023-02-12cpu: Add a QQz on table E.1Akira Yokosawa2-5/+39
2023-02-12debugging: Remove redundant following sections introductionSeongJae Park1-1/+0
2023-02-12debugging: Remove unnecessary space in a sentenceSeongJae Park1-1/+1
2023-02-12debugging: Use \co{} and \qco{} for 'git' and 'Fixes:', respectivelySeongJae Park1-2/+2
2023-02-12debugging: Use \qco{} for 'time' output examplesSeongJae Park1-8/+8
2023-02-10cpu: Add a QQz citing table E.1Akira Yokosawa1-3/+21
2023-02-06utilities/gitlab-ci: Change base machine type to 2-cpu to fix "make check"Leonardo Bras1-0/+1
2023-02-06debugging: Use \co{} for rcutortureSeongJae Park1-7/+7
2023-02-06gitlab-ci.yml: Add Liberation font families for PDF buildAkira Yokosawa3-4/+48
2023-02-03utilities/gitlab-ci.yml: Add 'make check' on test_codesamplesLeonardo Bras1-0/+1
2023-02-03CodeSamples: Add check target to CodeSamples/ and count/ MakefilesLeonardo Bras2-0/+6
2023-02-03Codesamples/depends.mk : Replace non-portable uname '-p' with '-m'Leonardo Bras1-1/+1
2023-02-03howto: Add Mara Bos's Rust Concurrency bookPaul E. McKenney1-0/+3
2023-02-03Bibliography updatePaul E. McKenney1-0/+22
2023-02-03autodate.sh: Add graceful fallback of commitid-only mode for shallow cloneAkira Yokosawa1-24/+30
2023-02-02Add utilities/gitlab-ci.yml for pdf generation and testing on Gitlab.Leonardo Bras1-0/+33
2023-02-02SMPdesign/beyond: Add quick quizzes about maze solutionPaul E. McKenney1-0/+18
2023-02-02memorder: Self-review of "Memory-Model Intuitions"Paul E. McKenney2-67/+65
2023-01-31FAQ-BUILD.txt: Add libertine in the list of fontsAkira Yokosawa1-0/+1
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-25run{first}latex.sh: Set default of LATEX variable properlyAkira Yokosawa2-2/+2
2023-01-22toolsoftrade: Fix staccato of 'than'Akira Yokosawa1-1/+1
2023-01-19count: Approximate limit counters might not exceedPaul E. McKenney1-3/+4
2023-01-04Use Biolinum font family for epigraphAkira Yokosawa1-2/+3
2023-01-04epigraph: Emphasize quoted text and book titlesAkira Yokosawa9-10/+10
2023-01-04Redefine \epigraph to avoid boilerplate \emph{}Akira Yokosawa55-120/+122
2022-12-28Stick to LaTeX2e glossaries packagesAkira Yokosawa1-2/+5
2022-12-27datastruct: Add missed unbreakable spacesSeongJae Park1-12/+11
2022-12-26datastruct: Put \cref{} content in a single lineSeongJae Park1-4/+2
2022-12-26datastruct: Enclose NULL with \co{}SeongJae Park1-1/+1
2022-12-26datastruct: Remove unnecessary spaceSeongJae Park1-1/+1
2022-12-26docker: bionic: Rollback glossaries-extra manuallyAkira Yokosawa2-0/+23
2022-12-19formal: Update RCU-test-ratio table as of v6.1Akira Yokosawa2-627/+655
2022-12-19howto: Add more guidance for Sorin et al.Paul E. McKenney1-1/+2
2022-12-16advsync/rt: Fold long list in \cite{}Akira Yokosawa1-2/+7
2022-12-15advsync/rt: Cite Frederic Weisbecker's nohz_full TSC seriesPaul E. McKenney1-0/+3
2022-12-15QAfter: Cite Frederic's nohz_full TSC blog postPaul E. McKenney1-1/+2
2022-12-15Bibliography updatePaul E. McKenney1-0/+60
2022-12-11QAfter: Fix type s/getttime/gettime/Paul E. McKenney1-2/+3
2022-12-11Load amsmath before fvextra (for lineno v5.0)Akira Yokosawa1-0/+1
2022-12-08QAfter: Add actual data to multiple-clocks discussionPaul E. McKenney1-11/+29
2022-12-08QAfter: Add timeskew output and resulting histogramPaul E. McKenney2-0/+6776
2022-12-08QAfter: Add timeskewhist.sh script to create timeskew histogramPaul E. McKenney1-0/+56
2022-12-08QAfter: Add timeskewsummary.sh script to summarize timeskew outputPaul E. McKenney1-0/+94
2022-12-07QAfter: Fix CLOCK_MONOTONIC normalizationPaul E. McKenney1-1/+1
2022-12-07QAfter: Add backwards-time checks to timeskewPaul E. McKenney1-0/+27
2022-12-07howto: Provide alternative https-based git URLPaul E. McKenney1-1/+3
2022-12-07QAfter: Avoid roundoff and take more measurementsPaul E. McKenney1-8/+74
2022-12-07QAfter: Add a timeskew checkerPaul E. McKenney3-1/+109
2022-12-05toolsoftrade: Add QQ about task-local storage in Linux kernelPaul E. McKenney1-0/+51
2022-11-29SMPdesign: Fix typoAkira Yokosawa1-1/+1
2022-11-28appendix/whymb: Note store to memory in SB/MB examplePaul E. McKenney1-1/+13
2022-11-24defer/whichtochoose: Remove an unnecessary space.SeongJae Park1-1/+1
2022-11-24defer/whichtochoose: Fix a wrongly positioned unbreakable spaceSeongJae Park1-1/+1
2022-11-24defer/rcurelated: Remove unopen closing parenthesesSeongJae Park1-1/+1
2022-11-24defer/rcuusage: Fix wrong function name: s/timer_stop/nmi_stop/SeongJae Park1-1/+1
2022-11-24defer/rcuusage: Add missing '()' for 'rcu_dereference()'SeongJae Park1-1/+1
2022-11-24defer/rcuusage: Add a missed unbreakable spaceSeongJae Park1-1/+1
2022-11-24defer/rcuusage: Provide the reference to synchronous RCU update-side primitivesSeongJae Park1-1/+3
2022-11-24defer/rcuusage: Call paragraphs paragraphs, not sectionsSeongJae Park1-2/+2
2022-11-24defer/seqlock: Use \co{} for boolean return valueSeongJae Park1-2/+2
2022-11-24defer/rcuapi: Use \co{} for boolean return valueSeongJae Park1-2/+2
2022-11-24defer/rcuapi: Add missed unbreakable spacesSeongJae Park1-3/+3
2022-11-24defer/rcufundamental: Add non-breaking spacesSeongJae Park1-3/+3
2022-11-24defer/rcuintro: Clearly point the QSBR described sectionSeongJae Park1-1/+2
2022-11-21Replace "egrep" with "grep -E" in scriptsAkira Yokosawa4-11/+11
2022-11-21advsync/rt: Ask the dinosaurs about bigger hammersPaul E. McKenney1-2/+4
2022-11-19count: Explain that increments are spread across countersPaul E. McKenney1-0/+3
2022-11-18CodeSamples/locking: Add rec_tree_itr to .gitignoreAkira Yokosawa1-0/+1
2022-11-18RCU fundamentals: Remove redundant "are"Elad Lahav1-1/+1