Oops sorry, thanks for catching my mistake.
I also discovered the following: if I read from all pages, then call
get_user_pages, it is still quite slow (did I get a read-only page?).
However, if I touch all pages by writing to them, then get_user_pages
becomes a factor 40 times faster or so.
All is clear now, I think. Thanks.
Micha
--