From: Ingo Molnar <mingo@elte.hu>
To: Luca Falavigna <dktrkranz@gmail.com>
Cc: Linux Kernel Mailing List <linux-kernel@vger.kernel.org>
Subject: Re: [PATCH] Real-Time Preemption V0.7.52-07: rt_init_MUTEX_LOCKED declaration
Date: Mon, 1 Aug 2005 22:50:06 +0200 [thread overview]
Message-ID: <20050801205006.GA20541@elte.hu> (raw)
In-Reply-To: <42EE4D27.8060500@gmail.com>
* Luca Falavigna <dktrkranz@gmail.com> wrote:
> This patch fixes broken rt_init_MUTEX_LOCKED declaration using
> rt_sema_init() macro. This way we fix a potential compile bug:
> rt_init_MUTEX_LOCKED calls
> there_is_no_init_MUTEX_LOCKED_for_RT_semaphores, which is not
> referenced. (e.g. drivers/char/watchdog/cpu5wdt.c: "cpu5wdt: Unknown
> symbol there_is_no_init_MUTEX_LOCKED_for_RT_semaphores")
the right solution would be to mark policy->lock as a compat_semaphore.
That will revert things back to the stock semantics. (at the price of
not having PI, which isnt a big issue in this case.)
> -+extern void there_is_no_init_MUTEX_LOCKED_for_RT_semaphores(void);
the reason for not allowing init_MUTEX_LOCKED() is that in basically
every case that does it, the semaphore is not used as a true mutex in
the strict sense. So the affected semaphore should be changed to
compat_semaphore, to gain full semantics.
Ingo
prev parent reply other threads:[~2005-08-01 20:53 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2005-08-01 16:26 Luca Falavigna
2005-08-01 18:57 ` Steven Rostedt
2005-08-01 19:05 ` Luca Falavigna
2005-08-01 19:13 ` Sven-Thorsten Dietrich
2005-08-01 19:26 ` Steven Rostedt
2005-08-01 21:03 ` Ingo Molnar
2005-08-01 21:24 ` Steven Rostedt
2005-08-01 21:28 ` Ingo Molnar
2005-08-01 20:50 ` Ingo Molnar [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=20050801205006.GA20541@elte.hu \
--to=mingo@elte.hu \
--cc=dktrkranz@gmail.com \
--cc=linux-kernel@vger.kernel.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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox
all inboxes | Powered by JetHome®