Hi Gabriele,
On Mon, 27 Apr 2026 15:17:09 +0200, Gabriele Monaco <[email protected]> wrote: > The sched monitor page was linking to Daniel's website which is now > down. The main purpose of the link was to point to a source for the > models from the original author and that can be found also in his > published paper. > > Replace the link with a reference to Daniel's "A thread synchronization > model for the PREEMPT_RT Linux kernel" which can be found online and > includes the models definitions as well as the work behind them (not the > original patches but since they're based on a 5.0 kernel and are mostly > included upstream, there's little value in keeping them in the docs). > > Fixes: 03abeaa63c08 ("Documentation/rv: Add docs for the sched monitors") > Signed-off-by: Gabriele Monaco <[email protected]> > --- > V2: Add link to the PDF and fixed RST references > > Documentation/trace/rv/monitor_sched.rst | 7 +++++-- > 1 file changed, 5 insertions(+), 2 deletions(-) > > diff --git a/Documentation/trace/rv/monitor_sched.rst > b/Documentation/trace/rv/monitor_sched.rst > index 0b96d6e147c6..d3ba7edc202f 100644 > --- a/Documentation/trace/rv/monitor_sched.rst > +++ b/Documentation/trace/rv/monitor_sched.rst > @@ -36,7 +36,7 @@ Specifications > -------------- > > The specifications included in sched are currently a work in progress, > adapting the ones > -defined in by Daniel Bristot in [1]. > +defined by Daniel Bristot in [1]_. > > Currently we included the following: > > @@ -365,4 +365,7 @@ constraints when processing the events:: > References > ---------- > > -[1] - https://bristot.me/linux-task-model > +.. [1] Daniel Bristot de Oliveira et al.: > + `A thread synchronization model for the PREEMPT_RT Linux kernel > + > <https://www.iris.sssup.it/bitstream/11382/533630/1/Elsevier-JSA-2020.pdf>`_, > + J. Syst. Archit., 2020. > > base-commit: 254f49634ee16a731174d2ae34bc50bd5f45e731 > -- > 2.53.0 > > Thanks for addressing this. FWIW this looks good to me, however I've just noticed that the same article is also referenced in rv/runtime-verification.rst with a slightly different format and no link. I think that it might be more clear if we had a References section in rv/runtime-verification.rst, add links to publicly available articles, and then let the other pages point to that section when needed instead of duplicating the references like in this case. But that could probably be addressed as a further clean-up patch. Acked-by: Matteo Martelli <[email protected]> Tested-by: Matteo Martelli <[email protected]> Best regards, Matteo Martelli
