Page MenuHomeFreeBSD

iommu_gas: add iommu_gas_remove()
ClosedPublic

Authored by kib on Jul 31 2022, 9:05 AM.
Tags
None
Referenced Files
Unknown Object (File)
Thu, Mar 14, 2:45 PM
Unknown Object (File)
Thu, Mar 14, 2:45 PM
Unknown Object (File)
Thu, Mar 14, 2:45 PM
Unknown Object (File)
Thu, Mar 14, 2:45 PM
Unknown Object (File)
Thu, Mar 14, 2:45 PM
Unknown Object (File)
Thu, Mar 14, 2:45 PM
Unknown Object (File)
Thu, Mar 14, 2:45 PM
Unknown Object (File)
Thu, Mar 14, 2:45 PM
Subscribers

Details

Summary
The function removes the range of addresses from GAS.  Right now it is
unused.

The patch is extracted from the stalled work for integration DMAR and 
bhyve, see D25672. Having the function in the main tree would allow it
to co-evolve with other active changes to the IOMMU driver.

Requested by:   alc

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped

Event Timeline

There are a very large number of changes, so older changes are hidden. Show Older Changes
kib marked an inline comment as done.

More Doug' suggestions

Do not forget to actually remove left half of the right-clipped entry.

sys/dev/iommu/iommu_gas.c
610

If you consider accepting D36010, which I just put out for review, you could implement this without calling insert or remove or having to have two allocated entries to plug in. You'd just have to pass a flag to this function to choose whether 'clip' modified the start field or the end field, then just modify that field and call RB_UPDATE_AUGMENT on the entry.

sys/dev/iommu/iommu_gas.c
727

How about

RB_FOREACH(entry, iommu_gas_entries_tree, &domain->rb_root) {

?

sys/dev/iommu/iommu_gas.c
610

On second thought, there is a case when you'd need to have one spare entry. If the (start, end) you are removing lie within a single entry (that is, entry->start < start < end < entry->end), then you do need one new entry. You could copy entry into new_entry, change entry->end to start, update augmentation, change new_entry->start, to end, and insert that. So you'd need one allocated node in that case.

After RB_UPDATE_AUGMENT, I thought something like this

would work for the clipping code.

I realize now, though, that I shouldn't have discarded nentry, as it should be the first argument to RB_FOREACH_FROM, and should be used in place of 'entry' everywhere in the loop.

Take Doug' patch, with some editing.

sys/dev/iommu/iommu_gas.c
645

old_end is needed because entry->end is overwritten above

649

This is goto out instead of return, to not skip INVARIANTS check

sys/dev/iommu/iommu_gas.c
640

Since you need to have a variable nentry anyway (see below), how about (to avoid old_end):
if (end < entry->end) {

nentry = *r;
*r = NULL;
*nentry = *entry;
nentry->start = end;

}
entry->end = start;
RB_UPDATE_AUGMENT(entry, rb_entry);
if (*r == NULL)

iommu_gas_rb_insert(domain, nentry);

You don't really need a return, or a goto here. You'll skip the loop, and the post-loop test, quickly.

654

My patch contained an error which remains here. The first and last arguments to RB_FOREACH_FROM can't be the same. You need

nentry = entry;
RB_FOREACH(entry, iommu_gas_entries_tree, nentry) {

or something similar.

kib marked 2 inline comments as done.

Eliminate old_end; use nentry.
Consistently skip RMRR entries.

sys/dev/iommu/iommu_gas.c
637

Is this because you don't want to clip RMRR entries? If so, you could just write in line 644:

if (entry->start < start && (entry->flags & IOMMU_MAP_ENTRY_RMRR) == 0)

to stop clipping at the left boundary. I don't understand, though, why this requires putting in another loop ahead of the RB_FOREACH_FROM loop.

kib marked an inline comment as done.

Remove RMRR skipping loop.

Fix RMRR check condition.
Remove the pointless assert from the main loop.

This revision is now accepted and ready to land.Aug 4 2022, 4:13 PM
sys/dev/iommu/iommu_gas.c
610–611

It's not clear to me where the IOTLB invalidation will occur.

Handle iotlb invalidation.
Mark domain busy for the duration of _remove(), and prevent _map() from occuring while _remove() is processing (it drops the domain lock).

This revision now requires review to proceed.Aug 4 2022, 10:15 PM
sys/dev/iommu/iommu_gas.c
660

There are things about the latest revision that I don't understand. For one thing, I don't understand why a new entry is getting inserted when an entry spanning 'end' is encountered. That's not what happens around 'start'; there, a new entry is created only when the entry that spans 'start' also spans 'end'. If this change is good, for some reason, then I'd expect the splitting around 'start' to be the same, and not what we had back when we were deleting elements between 'start' and 'end'.

For another thing - if we're not looping for any reason other than to get to 'end', it's better to use RB_NFIND than to loop.

I don't really understand why this loop was gutted and a second loop is necessary to remove elements, but there must be one.

kib marked an inline comment as done.Aug 5 2022, 7:21 PM
kib added inline comments.
sys/dev/iommu/iommu_gas.c
660

Problem with previous version WRT invalidation is that to unload we need the actual entry.

I changed the code to be a mix between the version you agreed with, and the last one. In particular, it has only one loop instead of two, over the removed range' entries. But I still create up to two clipped entries at start and end, which are unloaded and freed.

kib marked an inline comment as done.

A version with the single loop over [start, end).

Here's what the clip-right function does.

If the intent is to remove everything in the range [5, 15), and there is an entry that covers [13, 17), then this function will shrink that to [15, 17) and create a new entry for [13, 15).

Here is what I think you want the clip-left function to do.

If the intent is to remove everything in the range [5, 15), and there is an entry that covers [3, 7), then this function will shrink that to [3,5) and create a new entry for [5,7).

Here is what the clip-left function actually does.

If the intent is to remove everything in the range [5,15), and there is an entry that covers [3,17), then this function will shrink that to [3,5) and create a new entry for [15,17). If there is an entry that covers [3,7), then this function will shrink it do [3,5) and create no new entries.

sys/dev/iommu/iommu_gas.c
716

If clip_right returned true, then last is the same as what r2 was before clip_right was called. So you could null r2 here, after unmap, and avoid having a 'last' parameter.

kib marked 5 inline comments as done.Aug 6 2022, 11:14 AM

Try to fix _remove_clip_left().
Remove the last argument from _remove_clip_right().

Upload the right patch, some bits were only staged

Please go ahead and commit the changes to tree.3.

sys/dev/iommu/iommu_gas.c
663

I'm confused. Shouldn't this be ==?

sys/dev/iommu/iommu_gas.c
688–690

Am I correct in inferring that you introduced this synchronization because the domain lock is released and reacquired in the middle of the below RB_FOREACH_FROM loop?

kib marked 2 inline comments as done.Aug 6 2022, 7:25 PM
kib added inline comments.
sys/dev/iommu/iommu_gas.c
663

Definitely.

688–690

Yes

kib marked 2 inline comments as done.

Fix condition for unmap

sys/dev/iommu/iommu_gas.c
670–671

iommu_domain_unload_entry() is going to directly or indirectly (through qi) call iommu_gas_rb_remove() a second time on each entry. Can a _PLACE entry actually be mapped, i.e., not be _UNMAPPED?

This revision was not accepted when it landed; it landed in state Needs Review.Aug 7 2022, 7:25 PM
Closed by commit rG624e5dc0ecf6: tree.3: fix markup (authored by kib). · Explain Why
This revision was automatically updated to reflect the committed changes.
kib added inline comments.
sys/dev/iommu/iommu_gas.c
670–671

I do not think that PLACE can be mapped. I added assert and removed calculation of the argument. Also the iommu_gas_rb_remove() call is eliminated.

Do not call iommu_gas_rb_remove().
Assert that _PLACE is not set.

sys/dev/iommu/iommu_gas.c
688–690

Rather than implementing this new synchronization mechanism, for now, I would suggest changing (1) iommu_gas_remove_unmap() so that it simply adds the entry to a TAILQ (and thus doesn't need to release and reacquire the domain lock) and (2) this function so that it calls iommu_domain_unload() on that TAILQ after the domain lock is released. Later, we could look at adding a new helper function to the arm64- and x86-specific code that might initiate the unmapping and IOTLB invalidation if the latter can be done asynchronously. Otherwise, this new function adds the entry to the above TAILQ for synchronous invalidation after the domain lock is released.

kib marked 2 inline comments as done.

Use iommu_domain_unload() instead of rolling BUSY.

Otherwise, I think that this is ready to commit.

sys/dev/iommu/iommu_gas.c
661

iommu_domain_unload() will handle this by indirectly calling iommu_gas_free_space().

664–665

iommu_domain_unload() does this for you.

sys/dev/iommu/iommu_gas.c
603

I suggest returning 'first' directly, rather than by reference.

624

We know start < entry->end.

We also know that start < entry->start || entry->start <= start, but that's just tautology.

688

'first' can be entirely replaced by 'nentry'.

kib marked 5 inline comments as done.

Latest set of comments:

  • return the entry to start iteration from clip_left()
  • remove first, tautological asserts, unneeded code from remove_unmap()
This revision is now accepted and ready to land.Aug 13 2022, 9:39 PM
sys/dev/iommu/iommu_gas.c
661

I now think that this is in fact not correct (it was not correct in the previous patch as well, but for different reason, which you pointed out). Imagine that some consumer calls iommu_gase_remove() on a range that intersects with our operating range. I do not see why this is incorrect.

Then, the second caller overrides the dmamap_link linkage for the participating map entries, if they are not yet processed by unload.

sys/dev/iommu/iommu_gas.c
661

Agreed. To resolve this issue, I suggest adding an "in transition" flag to the entry. iommu_gas_remove_unmap() skips entries with the flag set, and sets it on entries that are added to the TAILQ.

kib marked an inline comment as done.

Add and use IOMMU_MAP_ENTRY_REMOVING

This revision now requires review to proceed.Aug 14 2022, 8:36 PM
sys/dev/iommu/iommu_gas.c
661
kib marked an inline comment as done.

Fix silly typo.

This revision is now accepted and ready to land.Aug 15 2022, 2:21 PM
This revision was automatically updated to reflect the committed changes.