From: Jan Kiszka <jan.kiszka@domain.hid>
To: Gilles Chanteperdrix <gilles.chanteperdrix@xenomai.org>
Cc: xenomai@xenomai.org
Subject: Re: [Xenomai-core] Scheduling while atomic
Date: Wed, 18 Jan 2006 21:46:23 +0100 [thread overview]
Message-ID: <43CEA91F.6080308@domain.hid> (raw)
In-Reply-To: <43CEA56D.8000407@domain.hid>
[-- Attachment #1: Type: text/plain, Size: 2047 bytes --]
Jan Kiszka wrote:
> Gilles Chanteperdrix wrote:
>> Jan Kiszka wrote:
>> > Jeroen Van den Keybus wrote:
>> > > Gilles,
>> > >
>> > >
>> > > I cannot reproduce those messages after turning nucleus debugging on.
>> > > Instead, I now either get relatively more failing mutexes or even hard
>> > > lockups with the test program I sent to you. If the computer didn't crash,
>> > > dmesg contains 3 Xenomai messages relating to a task being movend to
>> > > secondary domain after exception #14. As when the computer crashes: I have
>> > > written the last kernel panic message on a paper. Please tell if you want
>> > > also the addresses or (part of) the call stack.
>> > >
>> > > I'm still wondering if there's a programming error in the mutex test
>> > > program. After I sent my previous message, and before I turned nucleus
>> > > debugging on, I managed (by reducing the sleeptimes to max. 5.0e4) to
>> > > fatally crash the computer, while spewing out countless 'scheduling while
>> > > atomic messages'. Is the mutex error reproducible ?
>> >
>> > I was not able to crash my box or generate that scheduler warnings, but
>> > the attached patch fixes the false positive warnings of unlocked
>> > mutexes. We had a "leak" in the unlock path when someone was already
>> > waiting. Anyway, *this* issues should not have caused any other problems
>> > then the wrong report of rt_mutex_inquire().
>>
>> Actually the patch seem insufficient, the whole block :
>> {
>> xnsynch_set_owner(&mutex->synch_base,&task->thread_base);
>> mutex->owner = task;
>> mutex->lockcnt = 1;
>> goto unlock_and_exit;
>> }
>>
>> should be done after xnsynch_sleep_on in rt_mutex_lock.
>>
>
> Damn, of course - except for "mutex->owner = task". Then this missing
> xnsync_set_owner() may have caused serious issues? Will test...
Correction: xnsynch_wakeup_one_sleeper() updates synch->owner, so all
fine with my patch in this regard. I guess it is really some migration
issue again.
Jan
[-- Attachment #2: OpenPGP digital signature --]
[-- Type: application/pgp-signature, Size: 250 bytes --]
next prev parent reply other threads:[~2006-01-18 20:46 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2006-01-17 23:59 [Xenomai-core] Scheduling while atomic Jeroen Van den Keybus
2006-01-18 9:18 ` Gilles Chanteperdrix
2006-01-18 20:06 ` Jan Kiszka
2006-01-18 20:14 ` Jan Kiszka
2006-01-18 20:25 ` Jan Kiszka
2006-01-29 23:28 ` Philippe Gerum
2006-01-18 20:21 ` Gilles Chanteperdrix
2006-01-18 20:26 ` Gilles Chanteperdrix
2006-01-18 20:30 ` Jan Kiszka
2006-01-18 20:46 ` Jan Kiszka [this message]
[not found] ` <fd6a47a90601181236u5a482ba5q@domain.hid>
[not found] ` <43CEA7AC.9080300@domain.hid>
[not found] ` <fd6a47a90601181254s11edbb28l@domain.hid>
[not found] ` <43CEADBE.4040802@domain.hid>
2006-01-18 21:11 ` Jeroen Van den Keybus
2006-01-18 21:16 ` Jan Kiszka
2006-01-18 21:39 ` Jeroen Van den Keybus
2006-01-18 23:49 ` Jeroen Van den Keybus
2006-01-18 23:51 ` Jeroen Van den Keybus
2006-01-19 10:10 ` Jeroen Van den Keybus
-- strict thread matches above, loose matches on Subject: below --
2006-01-18 20:04 Jeroen Van den Keybus
2006-01-18 20:20 ` Hannes Mayer
2006-01-18 21:12 ` Jan Kiszka
2006-01-18 21:26 ` Hannes Mayer
[not found] ` <fd6a47a90601181334y14b06d6an@domain.hid>
2006-01-18 22:13 ` Hannes Mayer
2006-01-18 22:26 ` Jeroen Van den Keybus
2006-01-18 22:17 ` Jeroen Van den Keybus
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=43CEA91F.6080308@domain.hid \
--to=jan.kiszka@domain.hid \
--cc=gilles.chanteperdrix@xenomai.org \
--cc=xenomai@xenomai.org \
/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.