[PATCH 0/2] plug capability races

Mateusz Guzik mjguzik at gmail.com
Fri Aug 15 00:55:17 UTC 2014


fget_unlocked currently reads 'fde' which is a structure consisting of
serveral fields. In effect the read is inatomic and may result in
obtaining file pointer with stale or incorrect capabilities.

Example race is with dup2.

Side effect is that capability checks can be circumvented.

Proposed way to fix it is with the help of sequence counters.

Patchset assumes stuff from
'Getting rid of atomic_load_acq_int(&fdp->fd_nfiles)) from fget_unlocked'
( http://lists.freebsd.org/pipermail/freebsd-arch/2014-July/015550.html )
is applied. There is no technical dependency between patches (apart from
READ_ONCE), but this patch amortizes performance hit introduced with seqlock.

So this introduces a measurable hit with a microbenchmark (16 threads
reading from a pipe which fails with EAGAIN), but is still much faster than
current code with atomic_load_acq_int(&fdp->fd_nfiles).

x propernoacq-readpipe-run-sum
+ seq2-noacq-readpipe-run-sum
N           Min           Max        Median           Avg        Stddev
x  20      59479718      59527286      59496714      59499504     13752.968
+  20      54520752      54920054      54829539      54773480     136842.96
Difference at 95.0% confidence
    	-4.72602e+06 +/- 62244.4
	-7.94296% +/- 0.104613%
	(Student's t, pooled s = 97250)

There is still one theoretical race unfixed, but I don't believe it matters
much.

The race is:
fp gets reallocated before refcount check. this resuls in returning fp
regardless of new caps, but I don't see how this particular race could be
exploited. It could be fixed by re-reading entire fde and checking if it
changed.

-- 
2.0.2



More information about the freebsd-arch mailing list