From: Mark Hills <mark@xwax.org>
To: Takashi Iwai <tiwai@suse.de>
Cc: alsa-devel@alsa-project.org
Subject: Re: [PATCH 3/3] echoaudio: Address bugs in the interrupt handling
Date: Thu, 18 Jun 2020 13:29:20 +0100 (BST) [thread overview]
Message-ID: <2006181301290.3775@stax.localdomain> (raw)
In-Reply-To: <s5h7dw4y5zf.wl-tiwai@suse.de>
On Thu, 18 Jun 2020, Takashi Iwai wrote:
> On Thu, 18 Jun 2020 13:07:33 +0200,
> Mark Hills wrote:
> >
> > On Thu, 18 Jun 2020, Takashi Iwai wrote:
> >
> > > On Wed, 17 Jun 2020 12:51:05 +0200,
> > > Mark Hills wrote:
> > [...]
> > But could I please ask for help with the bigger picture? As it feels
> > mismatched.
> >
> > * Code should take every possible opportunity to update the stream
> > position; interrupts, or explicit pcm_pointer calls (whereas the docs
> > guide towards doing it in the interrupt handler)
> >
> > * I critiqued (elsewhere in thread) the older interrupt handler for
> > checking the counter, unlocking, calling back into PCM core and checking
> > again a moment later. Whereas this is considered good behaviour.
> >
> > * Seems like the overall aim is for userland to be able (if it wants to)
> > to poll the soundcard, even outside of periods.
>
> Right, the user-space can query the current position at any time, and
> the driver should return the position as precisely as possible.
>
> Some applications (like PulseAudio) sets the interrupt as minimum as
> possible while it does schedule the update by itself, judging the
> position via the ioctl. In such operational mode, the accuracy of the
> current position query is vital.
>
> > If all the above is true, I would expect interrupt handling to be very
> > simple -- it would straight away call into PCM core, join existing if the
> > codepaths (to take locks) and do a position update. PCM core would decide
> > if a period really elapsed, not the driver. But this is not how it works.
> >
> > This now relates strongly to a question of locking:
> >
> > I ran the code (top of this message) all day, with a few instances in
> > dmesg (at irregular intervals, not wrapping):
> >
> > [161644.076666] snd_echo3g 0000:09:02.0: invalid position: , pos = 4096, buffer size = 4096, period size = 64
> > [163232.392501] snd_echo3g 0000:09:02.0: invalid position: , pos = 4096, buffer size = 4096, period size = 64
> > [164976.098069] snd_echo3g 0000:09:02.0: invalid position: , pos = 4096, buffer size = 4096, period size = 64
> > [165054.946225] snd_echo3g 0000:09:02.0: invalid position: , pos = 4096, buffer size = 4096, period size = 64
> > [165312.141545] snd_echo3g 0000:09:02.0: invalid position: , pos = 4096, buffer size = 4096, period size = 64
> >
> > A definite bug, of course.
> >
> > However (and I am happy to be corrected) the function never finishes with
> > position == buffer size. Only way is a race between interrupt handler and
> > pcm_pointer.
> >
> > Therefore one of these is needed:
> >
> > * pcm_pointer locks chip->lock
> >
> > Even though the docs emphasise PCM core has exclusivity, it it not worth
> > much as it does not protect against the interrupt handler.
> >
> > But now interrupt handler becomes ugly in total: take chip->lock, check
> > the counter, release chip->lock, go to PCM core (which takes middle
> > layer locks), take chip->lock again, check counter again, release
> > chip->lock again.
>
> Yes, that's the most robust way to go. If the lock is really costing
> too much, you can consider a fast-path by some flag for the irq ->
> snd_pcm_period_elapsed() case.
I don't understand how a fast path could be made to work, as it can't pass
data across snd_pcm_period_elapsed() and it still must syncronise access
between reading dma_counter and writing pipe->position.
Hence questioning if a better design is simpler interrupt handlers that
just enter PCM core.
> Basically you can do everything in the pointer callback. The only
> requirement in the interrupt handle is basically judge whether you need
> the call of snd_pcm_period_elapsed() and call it. The rest update could
> be done in the other places.
Thanks, please just another clarification:
I presume that calls to pcm_pointer are completely independent of the
period notifications?
ie. period notifications are at regular intervals, regardless of whether
pcm_pointer is called inbetween. pcm_pointer must not reset any state used
by the interrupt.
Which means we must handle when non-interrupt call to pcm_pointer causes a
period to elapse. The next interrupt handler must notify.
I can see in the original code uses chip->last_period exclusively by the
interrupt handler, and I removed it. Some comments around the intent would
help. I'll cross reference the original code with my new understanding.
My instinct here is that to preserve
- regular period notifications
- handle period_size not aligning with 32-bit counter
- no races between interrupt and pcm_pointer
that the clearest and bug-free implementation may be to separate the
interrupt (notifications) and pointer updates to separate state.
Then there's no lock and the only crossover is an atomic read of
dma_counter.
And that's what I will try -- thanks.
--
Mark
next prev parent reply other threads:[~2020-06-18 12:30 UTC|newest]
Thread overview: 43+ messages / expand[flat|nested] mbox.gz Atom feed top
2020-06-16 13:13 echoaudio: Fix some long standing bugs Mark Hills
2020-06-16 13:17 ` [PATCH 1/3] echoaudio: Race conditions around "opencount" Mark Hills
2020-06-16 13:17 ` [PATCH 2/3] echoaudio: Prevent races in calls to set_audio_format() Mark Hills
2020-06-16 13:24 ` Takashi Iwai
2020-06-16 13:17 ` [PATCH 3/3] echoaudio: Address bugs in the interrupt handling Mark Hills
2020-06-16 13:35 ` Takashi Iwai
2020-06-16 14:01 ` Mark Hills
2020-06-16 14:18 ` Takashi Iwai
2020-06-17 10:51 ` Mark Hills
2020-06-18 8:17 ` Takashi Iwai
2020-06-18 11:07 ` Mark Hills
2020-06-18 11:21 ` Takashi Iwai
2020-06-18 12:29 ` Mark Hills [this message]
2020-06-18 13:22 ` Mark Hills
2020-06-16 19:46 ` Giuliano Pochini
2020-06-17 10:57 ` Mark Hills
2020-06-16 22:01 ` Giuliano Pochini
2020-06-17 11:14 ` Mark Hills
2020-06-19 19:56 ` Giuliano Pochini
2020-06-19 21:21 ` Mark Hills
2020-06-28 22:02 ` Giuliano Pochini
2020-07-01 12:25 ` Mark Hills
2020-07-01 14:51 ` Giuliano Pochini
2020-07-01 12:25 ` echoaudio: Fix some long standing bugs Mark Hills
2020-07-01 12:27 ` [PATCH 1/4] echoaudio: Race conditions around "opencount" Mark Hills
2020-07-01 16:37 ` kernel test robot
2020-07-01 17:32 ` kernel test robot
2020-07-02 9:53 ` Mark Hills
2020-07-07 8:28 ` Takashi Iwai
2020-07-08 10:16 ` Mark Hills
2020-07-08 10:18 ` [PATCH 1/5] echoaudio: Remove redundant check Mark Hills
2020-07-09 11:00 ` Takashi Iwai
2020-07-08 10:18 ` [PATCH 2/5] echoaudio: Race conditions around "opencount" Mark Hills
2020-07-09 11:00 ` Takashi Iwai
2020-07-08 10:18 ` [PATCH 3/5] echoaudio: Prevent races in calls to set_audio_format() Mark Hills
2020-07-09 11:00 ` Takashi Iwai
2020-07-08 10:18 ` [PATCH 4/5] echoaudio: Prevent some noise on unloading the module Mark Hills
2020-07-09 11:00 ` Takashi Iwai
2020-07-08 10:18 ` [PATCH 5/5] echoaudio: Address bugs in the interrupt handling Mark Hills
2020-07-09 11:01 ` Takashi Iwai
2020-07-01 12:27 ` [PATCH 2/4] echoaudio: Prevent races in calls to set_audio_format() Mark Hills
2020-07-01 12:27 ` [PATCH 3/4] echoaudio: Prevent some noise on unloading the module Mark Hills
2020-07-01 12:27 ` [PATCH 4/4] echoaudio: Address bugs in the interrupt handling Mark Hills
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=2006181301290.3775@stax.localdomain \
--to=mark@xwax.org \
--cc=alsa-devel@alsa-project.org \
--cc=tiwai@suse.de \
/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