On Wed, Jan 20, 2021 at 07:45:27AM +0900, Akira Yokosawa wrote: > Update the data and plot based on rcutorture.sh of commit > 1e0319874e40 ("formal: Make rcutorture.sh account for refperf->refscale"). > > Note that rcu-test.dat is manually edited to replace Linux version > strings with empty ones to put labels (mostly) every four releases > in the plot. > > Signed-off-by: Akira Yokosawa <akiyks@xxxxxxxxx> Queued and pushed, thank you! Thanx, Paul > --- > formal/RCU-test-ratio.eps | 36 ++++++++++++++++++------------------ > formal/data/rcu-test.dat | 4 ++-- > 2 files changed, 20 insertions(+), 20 deletions(-) > > diff --git a/formal/RCU-test-ratio.eps b/formal/RCU-test-ratio.eps > index 0825615f..8e2b676f 100644 > --- a/formal/RCU-test-ratio.eps > +++ b/formal/RCU-test-ratio.eps > @@ -1,7 +1,7 @@ > %!PS-Adobe-2.0 > %%Title: RCU-test-ratio.eps > %%Creator: gnuplot 5.2 patchlevel 2 > -%%CreationDate: Sun Jan 17 22:07:18 2021 > +%%CreationDate: Wed Jan 20 07:13:31 2021 > %%DocumentFonts: (atend) > %%BoundingBox: 50 50 453 230 > %%Orientation: Portrait > @@ -1872,7 +1872,7 @@ SDict begin [ > /Creator (gnuplot 5.2 patchlevel 2) > % /Producer (gnuplot) > % /Keywords () > - /CreationDate (Sun Jan 17 22:07:18 2021) > + /CreationDate (Wed Jan 20 07:13:31 2021) > /DOCINFO pdfmark > end > } ifelse > @@ -3311,22 +3311,22 @@ LCb setrgbcolor > Z stroke > 1.000 UL > LTb > -0.00 0.00 0.00 C 0.200 3418 512 27 742 BoxColFill > +0.00 0.00 0.00 C 0.200 3418 512 27 713 BoxColFill > LCb setrgbcolor > 3418 512 N > -0 741 V > +0 712 V > 26 0 V > -0 -741 V > +0 -712 V > -26 0 V > Z stroke > 1.000 UL > LTb > -0.00 0.00 0.00 C 0.200 3455 512 26 749 BoxColFill > +0.00 0.00 0.00 C 0.200 3455 512 26 720 BoxColFill > LCb setrgbcolor > 3455 512 N > -0 748 V > +0 719 V > 25 0 V > -0 -748 V > +0 -719 V > -25 0 V > Z stroke > 1.000 UL > @@ -4125,22 +4125,22 @@ LCb setrgbcolor > Z stroke > 1.000 UL > LTb > -0.90 0.62 0.00 C 0.200 3418 1253 27 285 BoxColFill > +0.90 0.62 0.00 C 0.200 3418 1224 27 314 BoxColFill > LCb setrgbcolor > -3418 1253 N > -0 284 V > +3418 1224 N > +0 313 V > 26 0 V > -0 -284 V > +0 -313 V > -26 0 V > Z stroke > 1.000 UL > LTb > -0.90 0.62 0.00 C 0.200 3455 1260 26 291 BoxColFill > +0.90 0.62 0.00 C 0.200 3455 1231 26 320 BoxColFill > LCb setrgbcolor > -3455 1260 N > -0 290 V > +3455 1231 N > +0 319 V > 25 0 V > -0 -290 V > +0 -319 V > -25 0 V > Z stroke > 1.000 UL > @@ -4235,8 +4235,8 @@ LTb > 37 5 V > 36 -2 V > 37 -29 V > -36 2 V > -37 5 V > +36 72 V > +37 3 V > % End plot #3 > stroke > 2.000 UL > diff --git a/formal/data/rcu-test.dat b/formal/data/rcu-test.dat > index 3419fd65..4bd65599 100644 > --- a/formal/data/rcu-test.dat > +++ b/formal/data/rcu-test.dat > @@ -76,5 +76,5 @@ v5.4 15379 6209 21588 28.8 > "" 15675 6373 22048 28.9 > "" 15986 6455 22441 28.8 > v5.8 17424 6627 24051 27.6 > -"" 18395 7062 25457 27.7 > -v5.10 18582 7197 25779 27.9 > +"" 17678 7779 25457 30.6 > +v5.10 17863 7916 25779 30.7 > -- > 2.17.1 >