From: "Luis Claudio R. Goncalves" <lclaudio@uudg.org>
To: nourry@free.fr
Cc: Lee Revell <rlrevell@joe-job.com>, linux-rt-users@vger.kernel.org
Subject: Re: Real-Time & Determinism
Date: Thu, 28 May 2009 09:38:19 -0300 [thread overview]
Message-ID: <20090528123819.GC21851@unix.sh> (raw)
In-Reply-To: <1243505792.4a1e6480d4e8a@imp.free.fr>
On Thu, May 28, 2009 at 12:16:32PM +0200, nourry@free.fr wrote:
| Selon Lee Revell <rlrevell@joe-job.com>:
|
| >
| > Hi Antoine,
| >
| > Keep in mind also that in -rt the non-preemptible sections are a very
| > small subset of the kernel code - last time I checked it was just the
| > timer ISR, the scheduler's SCHED_FIFO code, and the stub ISRs for the
| > other interrupts. The rest does not need to be audited for
| > determinism.
| >
| > Of course, for "total determinism" you also have to mathematically
| > prove the hardware behaves as expected...
That's a good point :)
I have been running tests in a fine piece of hardware that due to SMI
spikes (above 450us) may not be suitable for all the RT applications. That
must surely be taken in account and can be inspected using Jon Masters'
smi_detector kernel module.
| Thank you very much to all for your enlightments. Now it's time for me to test
| this patch.
Luis
--
[ Luis Claudio R. Goncalves Bass - Gospel - RT ]
[ Fingerprint: 4FDD B8C4 3C59 34BD 8BE9 2696 7203 D980 A448 C8F8 ]
prev parent reply other threads:[~2009-05-28 12:38 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-05-23 13:04 Real-Time & Determinism Antoine Nourry
2009-05-23 13:09 ` Leon Woestenberg
2009-05-23 13:58 ` Antoine Nourry
2009-05-26 23:22 ` Paul E. McKenney
2009-05-28 1:21 ` Lee Revell
2009-05-28 10:16 ` nourry
2009-05-28 12:38 ` Luis Claudio R. Goncalves [this message]
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20090528123819.GC21851@unix.sh \
--to=lclaudio@uudg.org \
--cc=linux-rt-users@vger.kernel.org \
--cc=nourry@free.fr \
--cc=rlrevell@joe-job.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.