diff options
| author | Paul E. McKenney <paulmck@kernel.org> | 2023-06-16 19:58:18 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2023-06-16 20:16:20 -0700 |
| commit | 34c03fcc609db1eaf7819e15f532565ca5ebb18d (patch) | |
| tree | 2e4998c8c7ba685fffe2a97b7050f15fa1329d4d | |
| parent | aa639894504c55929e53cd9fcc63ff3f6bcc668d (diff) | |
| download | perfbook-34c03fcc609db1eaf7819e15f532565ca5ebb18d.tar.gz | |
formal: Clarify time RCU was added to the Linux kernel
The graph starts at v2.6.12, and for good reason, but RCU was
added to the Linux kernel in v2.5.43, which is some years
prior to the start of the graph.
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
| -rw-r--r-- | formal/formal.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/formal/formal.tex b/formal/formal.tex index 13dcf071..517358c9 100644 --- a/formal/formal.tex +++ b/formal/formal.tex @@ -332,8 +332,8 @@ shown in \cref{fig:formal:Linux-Kernel RCU Test Code}. As can be seen in the \lcnamecref{fig:formal:Linux-Kernel RCU Test Code}, Linux-kernel RCU didn't have any validation code whatsoever until Linux -kernel v2.6.15, which was released more than two years after RCU was -accepted into the kernel. +kernel v2.6.15, which was released more than three years after the +October 2002 v2.5.43 release that added RCU to the Linux kernel. The test suite achieved its peak fraction of the total lines of code in Linux kernel v2.6.19--v2.6.21. This fraction decreased sharply with the acceptance of preemptible RCU |