Re: [PATCH v10 00/12] LUF(Lazy Unmap Flush) reducing tlb numbers over 90%

[Dave Hansen]

On 5/30/24 01:41, Byungchul Park wrote:
> LUF should not optimize tlb flushes for mappings that users explicitly
> change e.g. through mmap() and munmap().

We are thoroughly going around in circles at this point.

I'm not quite sure what to do.  Ying and I see a problem that we've
tried to explain a couple of times.  We've tried to show the connection
between a LUF-elided TLB flush and how that could affect a later
munmap() or mmap(MAP_FIXED).

But these responses seem to keep going back to the fact that LUF doesn't
directly affect munmap(), which is true, but quite irrelevant to the
problem being described.

So we're at an impasse.

Byungchul, perhaps you should spin another series and maybe Ying and I
have to write up a test case to show the bug that we see.  Or perhaps
someone else can jump into the thread and bridge the communication gap.