On Tue, May 05, 2020 at 05:34:45AM -0700, Dave Hansen wrote:
> On 5/4/20 6:41 AM, Ulrich Weigand wrote:
> > You're right that there is no mechanism to prevent new references,
> > but that's really never been the goal either. We're simply trying
> > to ensure that no I/O is ever done on a page that is in the "secure"
> > (or inaccessible) state. To do so, we rely on the assumption that
> > all code that starts I/O on a page cache page will *first*:
> > - mark the page as pending I/O by either taking an extra page
> > count, or by setting the Writeback flag; then:
> > - call arch_make_page_accessible(); then:
> > - start I/O; and only after I/O has finished:
> > - remove the "pending I/O" marker (Writeback and/or extra ref)
>
> Let's ignore writeback for a moment because get_page() is the more
> general case. The locking sequence is:
>
> 1. get_page() (or equivalent) "locks out" a page from converting to
> inaccessbile,
> 2. followed by a make_page_accessible() guarantees that the page
> *stays* accessible until
> 3. I/O is safe in this region
> 4. put_page(), removes the "lock out", I/O now unsafe
Yes, exactly.
> They key is, though, the get_page() must happen before
> make_page_accessible() and *every* place that acquires a new reference
> needs a make_page_accessible().
Well, sort of: every place that acquires a new reference *and then
performs I/O* needs a make_page_accessible(). There seem to be a
lot of plain get_page() calls that aren't related to I/O.
> try_get_page() is obviously one of those "new reference sites" and it
> only has one call site outisde of the gup code: generic_pipe_buf_get(),
> which is effectively patched by the patch that started this thread. The
> fact that this one oddball site _and_ gup are patched now is a good sign.
>
> *But*, I still don't know how that could work nicely:
>
> > static inline __must_check bool try_get_page(struct page *page)
> > {
> > page = compound_head(page);
> > if (WARN_ON_ONCE(page_ref_count(page) <= 0))
> > return false;
> > page_ref_inc(page);
> > return true;
> > }
>
> If try_get_page() collides with a freeze_page_refs(), it'll hit the
> WARN_ON_ONCE(), which is surely there for a good reason. I'm not sure
> that warning is _actually_ valid since freeze_page_refs() isn't truly a
> 0 refcount. But, the fact that this hasn't been encountered means that
> the testing here is potentially lacking.
This is indeed interesting. In particular if you compare try_get_page
with try_get_compound_head in gup.c, which does instead:
if (WARN_ON_ONCE(page_ref_count(head) < 0))
return NULL;
which seems more reasonable to me, given the presence of the
page_ref_freeze method. So I'm not sure why try_get_page has <= 0.
I think I understand why we haven't seen this in testing: all the
places in gup.c where try_get_page is called hold the pte lock;
and in the usual case, the pte lock itself already suffices to
lock out make_secure_pte before it even tries to use page_ref_freeze.
(The intent of holding the pte lock there was really to ensure that
the PTE entry is and remains valid throughout the execution of
the ultravisor call, which will look at the PTE entry.)
However, I guess we could construct cases where the pte lock doesn't
suffice to prevent the try_get_page warning: if we create a shared
mapping of the secure guest backing store file into a second process.
That doesn't ever happen in normal qemu operation, so that's likely
why we haven't seen that case.
> > We thought we had identified all places where we needed to place
> > arch_make_page_accessible so that the above assumption is satisfied.
> > You've found at least two instances where this wasn't true (thanks!);
> > but I still think that this can be fixed by just adding those calls.
>
> Why do you think that's the extent of the problem? Because the crashes
> stopped?
>
> I'd feel a lot more comfortable if you explained the audits that you've
> performed or _why_ you think that. What I've heard thus far is
> basically that you've been able to boot a guest and you're ready to ship
> this code.
Not sure if you can really call this an "audit", but we were really
coming from identifying places where I/O can happen on a page cache
page, and everything we found (except writeback) went through gup.
We obviously missed the sendfile case here; not sure what the best
way would be to verify nothing else was missed.
> But, with regular RCU, you're right, it _does_ appear that it would hit
> that retry loop, but then it would *succeed* in getting a reference. In
> the end, this just supports the sequence I wrote above:
> arch_make_page_accessible() is only valid when called with an elevated
> refcount and the refcount must be held to lock out make_secure_pte().
Yes, exactly. That's what comment ahead of our arch_make_page_accesible
says: To be called with the page locked or with an extra reference!
(Either is enough to lock out make_secure_pte.)
Bye,
Ulrich
--
Dr. Ulrich Weigand
GNU/Linux compilers and toolchain
Ulrich.Weigand@xxxxxxxxxx
