[$] get_user_pages() continued

Post Syndicated from corbet original https://lwn.net/Articles/753272/rss

At a plenary session held
relatively early during the 2018 Linux Storage, Filesystem, and
Memory-Management Summit, the developers discussed a number of problems
with the kernel’s get_user_pages() interface. During the waning
hours of LSFMM, a tired (but dedicated) set of developers convened again in
the memory-management track to
continue the discussion and try to push it toward a real solution.