proto.lib

userfaultfd: xử lý page fault ngay tại user space

userfaultfd cho phép một vùng địa chỉ được đăng ký sao cho page fault trên vùng đó được giao cho một trình xử lý ở user space qua một fd, thay vì kernel tự nạp trang; đây là cơ chế nền cho post-copy live migration (stream trang nhớ theo yêu cầu) và cho khôi phục checkpoint theo kiểu lazy.

Operating SystemsNâng cao2026-08-25
userfaultfd: xử lý page fault ngay tại user space

Tags

#userfaultfd#page-fault#live-migration#post-copy#lazy-restore#uffd

Tài liệu tham khảo

Mở rộng

Animation gốc là một file HTML tự chứa, có thể nhúng lại ở bất kỳ trang nào khác. Mở file gốc

Liên quan

Operating SystemsNâng cao

Live migration VM: pre-copy hội tụ

Di chuyển một VM đang chạy với downtime chỉ vài mili-giây: bộ nhớ được copy trong khi guest vẫn chạy, các trang bị dirty lại trong lúc copy được gửi lại ở vòng sau, và khi tập dirty còn lại đủ nhỏ thì guest bị pause để copy nốt phần còn lại cùng trạng thái CPU/thiết bị rồi resume trên máy đích.

#live-migration#pre-copy#post-copy#hypervisor
Operating SystemsNâng cao

Đóng băng và Checkpoint/Restore một cây tiến trình (cgroup freezer + CRIU)

cgroup freezer đưa mọi task trong nhóm vào trạng thái STOPPED để không gì thay đổi thêm, sau đó CRIU duyệt từng tiến trình và ghi memory map, file descriptor, socket, thanh ghi ra một image; image này có thể được restore lại trên cùng máy hoặc máy khác.

#cgroup#freezer#criu#checkpoint-restore
Operating SystemsTrung bình

Stack tự phình: page fault, guard page và SIGSEGV

Stack của tiến trình chính là một VMA có thể tự động lớn dần: khi con trỏ stack chạm vào trang chưa ánh xạ ngay dưới đỉnh stack hiện tại, kernel bắt page fault và mở rộng VMA nếu còn trong RLIMIT_STACK; vượt quá guard page hoặc giới hạn thì nhận SIGSEGV thay vì mở rộng.

#stack#guard-page#page-fault#sigsegv