On Mon, Oct 30, 2023 at 09:51:30PM +0900, Byungchul Park wrote: > On Mon, Oct 30, 2023 at 08:50:20AM +0000, Nadav Amit wrote: > > I do not follow the ordering that ensures a migrated page would not > > become writable before the migration is over. Perhaps a comment on what > > guarantees the order would help. IIUC, it'd be safe because unmap is performed first at the beginning of each migration so as to be safe with page fault handlers. So I don't think it should be a concern. Or am I missing something? Byungchul
