From: Oleksandr Andrushchenko <andr2000@gmail.com>
To: Julien Grall <julien.grall@arm.com>,
Boris Ostrovsky <boris.ostrovsky@oracle.com>
Cc: Juergen Gross <jgross@suse.com>,
Stefano Stabellini <sstabellini@kernel.org>,
Andrew Cooper <Andrew.Cooper3@citrix.com>,
"linux-kernel@vger.kernel.org" <linux-kernel@vger.kernel.org>,
Jan Beulich <JBeulich@suse.com>,
xen-devel <xen-devel@lists.xenproject.org>,
Dave P Martin <dave.martin@arm.com>
Subject: Re: [Xen-devel] xen/evtchn and forced threaded irq
Date: Fri, 22 Feb 2019 14:38:07 +0200 [thread overview]
Message-ID: <f7e78bf6-6e65-6d6c-c1ad-dca7f1e66b17@gmail.com> (raw)
In-Reply-To: <5df8888a-4a29-fccd-bac2-a9c170244029@arm.com>
On 2/20/19 10:46 PM, Julien Grall wrote:
> (+ Andrew and Jan for feedback on the event channel interrupt)
>
> Hi Boris,
>
> Thank you for the your feedback.
>
> On 2/20/19 8:04 PM, Boris Ostrovsky wrote:
>> On 2/20/19 1:05 PM, Julien Grall wrote:
>>> Hi,
>>>
>>> On 20/02/2019 17:07, Boris Ostrovsky wrote:
>>>> On 2/20/19 9:15 AM, Julien Grall wrote:
>>>>> Hi Boris,
>>>>>
>>>>> Thank you for your answer.
>>>>>
>>>>> On 20/02/2019 00:02, Boris Ostrovsky wrote:
>>>>>> On Tue, Feb 19, 2019 at 05:31:10PM +0000, Julien Grall wrote:
>>>>>>> Hi all,
>>>>>>>
>>>>>>> I have been looking at using Linux RT in Dom0. Once the guest is
>>>>>>> started,
>>>>>>> the console is ending to have a lot of warning (see trace below).
>>>>>>>
>>>>>>> After some investigation, this is because the irq handler will now
>>>>>>> be threaded.
>>>>>>> I can reproduce the same error with the vanilla Linux when passing
>>>>>>> the option
>>>>>>> 'threadirqs' on the command line (the trace below is from 5.0.0-rc7
>>>>>>> that has
>>>>>>> not RT support).
>>>>>>>
>>>>>>> FWIW, the interrupt for port 6 is used to for the guest to
>>>>>>> communicate with
>>>>>>> xenstore.
>>>>>>>
>>>>>>> From my understanding, this is happening because the interrupt
>>>>>>> handler is now
>>>>>>> run in a thread. So we can have the following happening.
>>>>>>>
>>>>>>> Interrupt context | Interrupt thread
>>>>>>> |
>>>>>>> receive interrupt port 6 |
>>>>>>> clear the evtchn port |
>>>>>>> set IRQF_RUNTHREAD |
>>>>>>> kick interrupt thread |
>>>>>>> | clear IRQF_RUNTHREAD
>>>>>>> | call evtchn_interrupt
>>>>>>> receive interrupt port 6 |
>>>>>>> clear the evtchn port |
>>>>>>> set IRQF_RUNTHREAD |
>>>>>>> kick interrupt thread |
>>>>>>> | disable interrupt port 6
>>>>>>> | evtchn->enabled = false
>>>>>>> | [....]
>>>>>>> |
>>>>>>> | *** Handling the second
>>>>>>> interrupt ***
>>>>>>> | clear IRQF_RUNTHREAD
>>>>>>> | call evtchn_interrupt
>>>>>>> | WARN(...)
>>>>>>>
>>>>>>> I am not entirely sure how to fix this. I have two solutions in
>>>>>>> mind:
>>>>>>>
>>>>>>> 1) Prevent the interrupt handler to be threaded. We would also
>>>>>>> need to
>>>>>>> switch from spin_lock to raw_spin_lock as the former may sleep on
>>>>>>> RT-Linux.
>>>>>>>
>>>>>>> 2) Remove the warning
>>>>>>
>>>>>> I think access to evtchn->enabled is racy so (with or without the
>>>>>> warning) we can't use it reliably.
>>>>>
>>>>> Thinking about it, it would not be the only issue. The ring is sized
>>>>> to contain only one instance of the same event. So if you receive
>>>>> twice the event, you may overflow the ring.
>>>>
>>>> Hm... That's another argument in favor of "unthreading" the handler.
>>>
>>> I first thought it would be possible to unthread it. However,
>>> wake_up_interruptible is using a spin_lock. On RT spin_lock can sleep,
>>> so this cannot be used in an interrupt context.
>>>
>>> So I think "unthreading" the handler is not an option here.
>>
>> That sounds like a different problem. I.e. there are two issues:
>> * threaded interrupts don't work properly (races, ring overflow)
>> * evtchn_interrupt() (threaded or not) has spin_lock(), which is not
>> going to work for RT
>
> I am afraid that's not correct, you can use spin_lock() in threaded
> interrupt handler.
>
>> The first can be fixed by using non-threaded handlers.
>
> The two are somewhat related, if you use a non-threaded handler then
> you are not going to help the RT case.
>
> In general, the unthreaded solution should be used in the last resort.
>
>>>
>>>>
>>>>>
>>>>>>
>>>>>> Another alternative could be to queue the irq if !evtchn->enabled
>>>>>> and
>>>>>> handle it in evtchn_write() (which is where irq is supposed to be
>>>>>> re-enabled).
>>>>> What do you mean by queue? Is it queueing in the ring?
>>>>
>>>>
>>>> No, I was thinking about having a new structure for deferred
>>>> interrupts.
>>>
>>> Hmmm, I am not entirely sure what would be the structure here. Could
>>> you expand your thinking?
>>
>> Some sort of a FIFO that stores {irq, data} tuple. It could obviously be
>> implemented as a ring but not necessarily as Xen shared ring (if that's
>> what you were referring to).
>
> The underlying question is what happen if you miss an interrupt. Is it
> going to be ok? If no, then we have to record everything and can't
> kill/send an error to the user app because it is not its fault.
>
> This means a FIFO would not be a viable. How do you size it? Static
> (i.e pre-defined) size is not going to be possible because you don't
> know how many interrupt you are going to receive before the thread
> handler runs. You can't make it grow dynamically as it make become
> quite big for the same reason.
>
> Discussing with my team, a solution that came up would be to introduce
> one atomic field per event to record the number of event received. I
> will explore that solution tomorrow.
How will this help if events have some payload?
>
> Cheers,
>
next prev parent reply other threads:[~2019-02-22 12:38 UTC|newest]
Thread overview: 31+ messages / expand[flat|nested] mbox.gz Atom feed top
2019-02-19 17:31 Julien Grall
2019-02-20 0:02 ` Boris Ostrovsky
2019-02-20 14:15 ` Julien Grall
2019-02-20 17:07 ` Boris Ostrovsky
2019-02-20 18:05 ` Julien Grall
2019-02-20 20:04 ` Boris Ostrovsky
2019-02-20 20:46 ` Julien Grall
2019-02-20 21:46 ` Boris Ostrovsky
2019-02-20 22:03 ` Julien Grall
2019-02-21 8:07 ` [Xen-devel] " Roger Pau Monné
[not found] ` <CAF3u54Ct7nBjoLw9Vzb=aZVu=N5Ccp5_k6GxLo_ZSA=YCsco6A@mail.gmail.com>
2019-02-21 8:52 ` Juergen Gross
2019-02-21 9:14 ` Roger Pau Monné
2019-02-21 20:46 ` Julien Grall
2020-04-27 23:20 ` Stefano Stabellini
2019-02-22 11:44 ` Jan Beulich
2019-02-22 12:38 ` Oleksandr Andrushchenko [this message]
2019-02-22 13:33 ` [Xen-devel] " Julien Grall
2019-02-25 13:24 ` Oleksandr Andrushchenko
2019-02-25 13:55 ` Julien Grall
2019-02-25 14:08 ` Oleksandr Andrushchenko
2019-02-25 15:26 ` Julien Grall
2019-02-26 9:14 ` Roger Pau Monné
2019-02-26 9:30 ` Andrew Cooper
2019-02-26 9:44 ` Roger Pau Monné
2019-02-26 10:03 ` Julien Grall
2019-02-26 10:17 ` Roger Pau Monné
2019-02-26 10:26 ` Julien Grall
2019-02-26 11:02 ` Roger Pau Monné
2019-02-27 11:09 ` Julien Grall
2019-02-26 9:45 ` Paul Durrant
2019-02-21 8:17 ` Juergen Gross
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=f7e78bf6-6e65-6d6c-c1ad-dca7f1e66b17@gmail.com \
--to=andr2000@gmail.com \
--cc=Andrew.Cooper3@citrix.com \
--cc=JBeulich@suse.com \
--cc=boris.ostrovsky@oracle.com \
--cc=dave.martin@arm.com \
--cc=jgross@suse.com \
--cc=julien.grall@arm.com \
--cc=linux-kernel@vger.kernel.org \
--cc=sstabellini@kernel.org \
--cc=xen-devel@lists.xenproject.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®