summaryrefslogtreecommitdiffstats
path: root/debugging
AgeCommit message (Expand)AuthorFilesLines
2023-10-27debugging: Add Coccinelle as a static-analysis toolPaul E. McKenney1-3/+3
2023-10-27debugging: Add Coccinelle to list of static analyzersPaul E. McKenney1-1/+7
2023-07-25debugging: Testing and static analysis as automated code reviewPaul E. McKenney1-1/+7
2023-07-25debugging: Add "Proactive Hunting Techniques" sectionPaul E. McKenney1-2/+41
2023-07-25debugging: Expand on making rare events less rarePaul E. McKenney1-7/+18
2023-07-02treewide: Remove ignored first parameter of origpub macrosPaul E. McKenney1-4/+4
2023-05-14debugging: Minor wordsmithing of first time workingPaul E. McKenney1-2/+2
2023-04-29Add acronyms of LKMM and KCSANAkira Yokosawa1-1/+1
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-06debugging: Use \co{} for rcutortureSeongJae Park1-7/+7
2023-01-04Redefine \epigraph to avoid boilerplate \emph{}Akira Yokosawa1-9/+9
2022-04-24debugging: Add small Kipling dose to performance transitionPaul E. McKenney1-3/+6
2022-01-25debugging: Add indexing tags to '(anti-)heisenbug'Akira Yokosawa1-2/+3
2022-01-25debugging: Fix typo (heisenberg -> heisenbug)Akira Yokosawa1-1/+1
2022-01-06debugging: Mention possibility of accidental anti-heisenbugsPaul E. McKenney1-2/+9
2021-08-30index: Add index and acronym tags, take twoAkira Yokosawa1-5/+5
2021-08-28debugging: Keep a log for long-term bug-finding questsPaul E. McKenney1-0/+20
2021-08-10debugging: Break and capitalize after colonAkira Yokosawa1-41/+51
2021-06-09treewide: Fix indents by white spacesAkira Yokosawa1-1/+1
2021-06-09debugging: Move period out of double quotesAkira Yokosawa1-1/+1
2021-06-09treewide: Make end-of-sentence punctuation marks be at end-of-lineAkira Yokosawa1-16/+20
2021-06-09treewide: Annotate punctuation marksAkira Yokosawa1-3/+3
2021-05-27debugging: Modernize Section 11.1 epigraphPaul E. McKenney1-3/+7
2021-05-18debugging: Employ \cref{} and its variantsAkira Yokosawa1-70/+70
2021-04-27treewide: Fix space in front of \cite{}Akira Yokosawa1-2/+2
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-1/+1
2021-04-15debugging: Delay via CPU clock rate and multi-socket systemsPaul E. McKenney1-7/+14
2021-04-15debugging: Verified Hadfield title, so remove @@@ todo commentPaul E. McKenney1-1/+0
2021-04-11debugging, memorder: Move float away from section headingAkira Yokosawa1-6/+6
2021-04-11treewide: Remove explicit float positioning optionsAkira Yokosawa1-9/+9
2021-03-20debugging: Fix typoAkira Yokosawa1-1/+1
2021-03-18treewide: Annotate sentence-ending fullstops as suchAkira Yokosawa1-3/+3
2021-03-14debugging: Fix typos and grammarPaul E. McKenney1-12/+12
2021-03-11debugging,defer: Small fixesPaul E. McKenney1-1/+1
2021-03-12Remove '\noclub[1]' tweaksAkira Yokosawa1-1/+0
2021-03-07future: future: Updates and wordsmithing, take sixv2021.03.07aEdition.2-rc10Paul E. McKenney1-0/+2
2021-02-21treewide: Fix choice of \cref{}/\Cref{} macrosAkira Yokosawa1-1/+1
2021-02-14debugging: Updates and wordsmithing, take threePaul E. McKenney2-238/+243
2021-02-13debugging: Updates and wordsmithing, take twoPaul E. McKenney1-30/+37
2021-02-11debugging: Updates and wordsmithing, take onePaul E. McKenney1-44/+52
2020-12-28debugging: Add verbiage on invalid assumptionsPaul E. McKenney1-9/+54
2020-12-27debugging: Studied skepticism as a frame of mindPaul E. McKenney1-0/+13
2020-11-24index: Add annotations to people's names for PoCAkira Yokosawa1-2/+3
2020-07-29Enhance qqz scheme for chapterwise QQZ answersAkira Yokosawa1-1/+3
2020-07-05debugging: Wordsmithing and QQ on nondeterminismPaul E. McKenney1-18/+46
2020-06-14debugging: Validation continues through the project's lifetimePaul E. McKenney1-3/+16
2020-06-07formal: Add a how-to-choose sectionPaul E. McKenney1-0/+4
2020-05-17debuging: Who will verify the verifier?Paul E. McKenney1-0/+4
2020-03-31Put narrow space in front of percent symbolAkira Yokosawa1-8/+8
2020-03-26treewide: Use macros for consecutive quick quizzesAkira Yokosawa1-32/+40
2020-03-15treewide: Renew format of Quick Quiz macroAkira Yokosawa1-74/+78
2020-03-06debugging: Add opening sentence in Answer to QQZ 11.2Akira Yokosawa1-0/+2
2020-02-07Permit occasional orphansAkira Yokosawa1-0/+1
2020-01-31Rename environments 'linelabel' and 'lineref'Akira Yokosawa1-6/+6
2020-01-14debugging: Add tabular synopsis of Poisson distributionPaul E. McKenney1-1/+44
2019-12-28debugging: Additional {micro,}benchmark advicePaul E. McKenney1-19/+22
2019-11-26treewide: Various typosStamatis Karnouskos1-3/+3
2019-11-26debugging: Rework awkward sentencePaul E. McKenney1-1/+1
2019-11-24debugging: Use \clnrefrange{}{} to refernece range of lines in snippetsAkira Yokosawa1-7/+7
2019-10-22treewide: Add '% mainfile:' tags in headers in sub .tex filesAkira Yokosawa1-0/+2
2019-10-09debugging: Add point about focus on bad things promoting good thingsPaul E. McKenney1-2/+14
2019-08-20debugging: Upgrade an epigraphPaul E. McKenney1-2/+3
2019-07-07debugging: Temper requirements-discovery advicePaul E. McKenney1-0/+8
2019-07-07debugging: Darwinian view of software validationPaul E. McKenney1-10/+64
2019-02-28debugging: Additional micro-benchmark advicePaul E. McKenney1-0/+26
2019-01-28debugging: Add QQ on pen-and-paper bug found while typingPaul E. McKenney1-0/+11
2019-01-16debugging: Employ new scheme for code snippetsAkira Yokosawa1-127/+69
2019-01-06debugging: Define and use '\lopt' macro in description headingAkira Yokosawa1-3/+3
2019-01-05debugging: Leave double dashes in description headingsSeongJae Park1-7/+7
2018-12-22debugging: Modernize erroneous epigraphPaul E. McKenney1-1/+2
2018-11-02debugging: Clarify cdf_poisson() argumentsPaul E. McKenney1-3/+4
2018-08-20debugging: Add citation and caution about over-benchmarkingPaul E. McKenney1-0/+4
2018-08-18debugging: Add section-level epigraphsPaul E. McKenney1-12/+37
2018-05-21Forward-reference the formal-regression sectionPaul E. McKenney1-1/+2
2018-01-05debugging: Replace erroreous lambda==0 with m==0Paul E. McKenney1-1/+1
2017-10-30debugging,formal: Update for increased Linux kernel usagePaul E. McKenney1-7/+7
2017-10-22debugging: Update progress on NO_HZ_FULLPaul E. McKenney1-3/+4
2017-10-20debugging: Use \ln for natural logarithm in Eq E.9Akira Yokosawa1-1/+1
2017-10-12Convert code snippets to 'listing' env (datastruct, debugging, formal)Akira Yokosawa1-10/+10
2017-10-05debugging: Use upright font for Euler's numberAkira Yokosawa1-12/+12
2017-10-05debugging: Insert narrow space in front of percent symbolAkira Yokosawa1-41/+41
2017-06-24treewide: Add narrow spaces before SI unit symbolsAkira Yokosawa1-1/+1
2017-05-08debugging: Add footnote stating that "heisenbug" is a misnomerPaul E. McKenney1-9/+16
2017-04-23debugging: Add reference to heisenbug discussion sectionSeongJae Park1-1/+2
2017-04-12debugging: Add more discussion to the Heisenberg sectionPaul E. McKenney1-0/+3
2017-04-11Add discussion to the Heisenberg sectionPaul E. McKenney1-16/+47
2017-04-11Bibliography updatePaul E. McKenney1-0/+23
2017-04-04Make Formal-Verification chapter label match conventionPaul E. McKenney1-1/+1
2017-03-09debugging: Convert to 'description'Akira Yokosawa1-5/+5
2017-03-07treewide: Use \tco{} for api name in captionAkira Yokosawa1-1/+1
2016-12-25A few tweaks to the debugging chapterPaul E. McKenney1-8/+17
2016-11-16treewide: Adjust labeling of 'formal'Akira Yokosawa1-1/+1
2016-09-19epigraph: Use \epigraphhead{}Akira Yokosawa1-2/+2
2016-09-14treewide: Enclose 'verbbox' within 'figure'Akira Yokosawa1-2/+2
2016-08-22debugging: Fix contextual typosSeongJae Park1-3/+3
2016-08-22debugging: Add missing tildeSeongJae Park1-1/+1
2016-07-25Use UK style punctuation orderAkira Yokosawa1-1/+1
2016-07-09Tweak sizes and positions of Tables and FiguresAkira Yokosawa1-1/+1
2016-07-09Use \centering instead of center environment (part 3)Akira Yokosawa1-12/+6
2016-07-02debugging: Enclose shell command example in \co{} macroAkira Yokosawa1-1/+1
2016-07-02debugging: Use \path command for path namesAkira Yokosawa1-3/+3
2016-07-02debugging: Centering figures of verbatim code examplesAkira Yokosawa1-6/+10
2016-04-25Add yet more epigraphs and update creditsPaul E. McKenney1-0/+2
2016-04-23Drop the derivation of the Poisson distributionPaul E. McKenney1-170/+17
2015-08-03Add quick quiz about kfree as kref release functionPaul E. McKenney1-1/+1
2015-06-28Complete the answer to a Quick QuizPaul E. McKenney1-0/+4
2015-05-24Typos and grammatical fixesDave1-13/+13
2015-02-16Fix typoPaul E. McKenney1-1/+1
2015-01-29Apply Kanda Motohiro feedbackPaul E. McKenney1-2/+2
2014-12-29Augment formal-verification summaryPaul E. McKenney1-1/+1
2014-11-14Self-review of near missesPaul E. McKenney2-20/+346
2014-10-31Add "near misses" as an anti-Heisenbug technique.Paul E. McKenney1-0/+61
2014-09-10Add old-school profilingPaul E. McKenney1-3/+16
2014-07-26Improve example leading to Poisson CDF.Paul E. McKenney1-5/+8
2014-04-30Fix citation typoPaul E. McKenney1-1/+1
2014-03-24Update for maiden->married name transitionPaul E. McKenney1-3/+3
2014-03-13Fix ambiguous wordingJuerd Waalboer1-1/+1
2014-02-20Add updated stress-test cartoonPaul E. McKenney1-1/+1
2014-02-02Grammar nits in the validation chapterPaul E. McKenney1-3/+3
2014-01-04Touch up the benchmarking and profiling entries.Paul E. McKenney1-25/+61
2013-11-14Smooth the transition from debugging to formal validation.Paul E. McKenney1-0/+12
2013-11-14Promote formal-methods appendix to a chapter.Paul E. McKenney1-1/+1
2013-04-28Fixes from Alexey Roytman reviewPaul E. McKenney1-1/+1
2013-04-28Add statistical cautions in validation-chapter summaryPaul E. McKenney1-18/+94
2013-01-04Apply self-review changes for validation chapter.Paul E. McKenney1-16/+34
2013-01-03Add discussion of rejection of interference for performance measurementPaul E. McKenney1-1/+460
2012-12-24Added the stress-test-passed-or-not cartoon.Paul E. McKenney1-0/+10
2012-11-24Add some levity to the debugging chapter.Paul E. McKenney1-1/+42
2012-11-20Review and update validiaton chapter.Paul E. McKenney1-6/+16
2012-11-09Better explanation of Poisson-distribution derivationPaul E. McKenney1-8/+55
2012-06-04More validation verbiagePaul E. McKenney1-0/+42
2012-04-27Beginnings of performance validation.Paul E. McKenney1-0/+59
2012-04-15Add more info on hunting heisenbugsPaul E. McKenney1-13/+161
2012-04-14Validation chapter fixes.Paul E. McKenney1-46/+79
2012-04-14Validation sections on starting and open-source validationPaul E. McKenney1-9/+160
2012-04-11More on heisenbugs and anti-heisenbugsPaul E. McKenney1-10/+52
2012-04-09A bit more on anti-heisenbugs.Paul E. McKenney1-1/+3
2012-04-09Finish Poisson, start anti-Heisenbug.Paul E. McKenney1-7/+56
2012-04-08More poisson-distribution verbiage for validation.Paul E. McKenney1-1/+33
2012-04-01Fix signedness of lambdaPaul E. McKenney1-8/+14
2012-04-01Add derivation of Poisson Distribution to validation chapterPaul E. McKenney1-4/+157
2012-03-31Additional verbiage in the Validation chapter.Paul E. McKenney1-1/+26
2012-03-31Vampire projects in validation section.Paul E. McKenney1-2/+41
2012-03-19Update validation chapter.Paul E. McKenney1-23/+105
2011-10-26Add note to self about getting from binomial to poissonPaul E. McKenney1-0/+3
2011-10-04Additional verbiage for validation chapter.Paul E. McKenney1-6/+80
2011-09-26Give example to go with number-of-tests formula.Paul E. McKenney1-0/+7
2011-09-23Indicate when heavy self-review process is helpful.Paul E. McKenney1-3/+35
2011-09-22Also note documentation for getting head around others' code.Paul E. McKenney1-1/+3
2011-09-22Add verbiage for validation of existing code.Paul E. McKenney1-1/+22
2011-09-19Grammar nits in validation chapter.Paul E. McKenney1-5/+6
2011-09-05More validation verbiage.Paul E. McKenney1-20/+259
2011-08-28Additional material for the validation chapter.v2011.08.28aPaul E. McKenney1-0/+166
2011-08-26Fill out ownership and debugging chapters a bit more.Paul E. McKenney1-0/+22
2011-08-19Add more statistical verbiage to the debugging sectionPaul E. McKenney1-13/+119
2011-08-16Wordsmith validation moral.Paul E. McKenney1-0/+3
2011-08-16Add verbiage about test runs required.Paul E. McKenney1-4/+147
2009-11-11Merge the analysis chapter into debugging.Paul E. McKenney1-6/+24
2008-08-27Initial revision.Paul E. McKenney1-0/+17
generated by cgit 1.2.3-korg (git 2.39.0) at 2024-05-16 02:44:38 +0000