lkml.org 
[lkml]   [2012]   [Jul]   [5]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
SubjectRe: [PATCH 02/10] random: use lockless techniques when mixing entropy pools
From
Date
On Thu, 2012-07-05 at 14:12 -0400, Theodore Ts'o wrote:
> The real-time Linux folks didn't like add_interrupt_randomness()
> taking a spinlock since it is called in the low-level interrupt
> routine. Using atomic_t's and cmpxchg is also too expensive on some
> of the older architectures. So we'll bite the bullet and use
> ACCESS_ONCE() and smp_rmb()/smp_wmb() to minimize the race windows
> when mixing in the entropy pool.

I don't think this will work correctly. It's important that simultaneous
_readers_ of the state get different results. Otherwise, you can get
things like duplicate UUIDs generated on different cores, something
that's been observed in the field(!). I thought I added a comment to
that effect some years back, but I guess not.

This means at a bare minimum, you need an atomic operation like a
cmpxchg on some component like input_rotate. Per-cpu mix pointers also
won't work as they can accidentally align. Per-cpu secret pads will
probably work, however, though it creates an interesting initialization
problem.

On the other hand, you don't care about any of this when not extracting
and you can be as fast and loose as you'd like.

> + input_rotate = ACCESS_ONCE(r->input_rotate);
> + i = ACCESS_ONCE(r->add_ptr);
>
> /* mix one byte at a time to simplify size handling and churn faster */
> while (nbytes--) {
> @@ -514,19 +514,19 @@ static void mix_pool_bytes_extract(struct entropy_store *r, const void *in,
> input_rotate += i ? 7 : 14;
> }
>
> - r->input_rotate = input_rotate;
> - r->add_ptr = i;
> + ACCESS_ONCE(r->input_rotate) = input_rotate;
> + ACCESS_ONCE(r->add_ptr) = i;
> + local_irq_restore(flags);
> + smp_wmb();
>
> if (out)
> for (j = 0; j < 16; j++)
> ((__u32 *)out)[j] = r->pool[(i - j) & wordmask];

--
Mathematics is the supreme nostalgia of our time.




\
 
 \ /
  Last update: 2012-07-05 21:41    [W:0.230 / U:9.676 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site