1======= 2Locking 3======= 4 5The text below describes the locking rules for VFS-related methods. 6It is (believed to be) up-to-date. *Please*, if you change anything in 7prototypes or locking protocols - update this file. And update the relevant 8instances in the tree, don't leave that to maintainers of filesystems/devices/ 9etc. At the very least, put the list of dubious cases in the end of this file. 10Don't turn it into log - maintainers of out-of-the-tree code are supposed to 11be able to use diff(1). 12 13Thing currently missing here: socket operations. Alexey? 14 15dentry_operations 16================= 17 18prototypes:: 19 20 int (*d_revalidate)(struct dentry *, unsigned int); 21 int (*d_weak_revalidate)(struct dentry *, unsigned int); 22 int (*d_hash)(const struct dentry *, struct qstr *); 23 int (*d_compare)(const struct dentry *, 24 unsigned int, const char *, const struct qstr *); 25 int (*d_delete)(struct dentry *); 26 int (*d_init)(struct dentry *); 27 void (*d_release)(struct dentry *); 28 void (*d_iput)(struct dentry *, struct inode *); 29 char *(*d_dname)((struct dentry *dentry, char *buffer, int buflen); 30 struct vfsmount *(*d_automount)(struct path *path); 31 int (*d_manage)(const struct path *, bool); 32 struct dentry *(*d_real)(struct dentry *, const struct inode *); 33 34locking rules: 35 36================== =========== ======== ============== ======== 37ops rename_lock ->d_lock may block rcu-walk 38================== =========== ======== ============== ======== 39d_revalidate: no no yes (ref-walk) maybe 40d_weak_revalidate: no no yes no 41d_hash no no no maybe 42d_compare: yes no no maybe 43d_delete: no yes no no 44d_init: no no yes no 45d_release: no no yes no 46d_prune: no yes no no 47d_iput: no no yes no 48d_dname: no no no no 49d_automount: no no yes no 50d_manage: no no yes (ref-walk) maybe 51d_real no no yes no 52================== =========== ======== ============== ======== 53 54inode_operations 55================ 56 57prototypes:: 58 59 int (*create) (struct inode *,struct dentry *,umode_t, bool); 60 struct dentry * (*lookup) (struct inode *,struct dentry *, unsigned int); 61 int (*link) (struct dentry *,struct inode *,struct dentry *); 62 int (*unlink) (struct inode *,struct dentry *); 63 int (*symlink) (struct inode *,struct dentry *,const char *); 64 int (*mkdir) (struct inode *,struct dentry *,umode_t); 65 int (*rmdir) (struct inode *,struct dentry *); 66 int (*mknod) (struct inode *,struct dentry *,umode_t,dev_t); 67 int (*rename) (struct inode *, struct dentry *, 68 struct inode *, struct dentry *, unsigned int); 69 int (*readlink) (struct dentry *, char __user *,int); 70 const char *(*get_link) (struct dentry *, struct inode *, struct delayed_call *); 71 void (*truncate) (struct inode *); 72 int (*permission) (struct inode *, int, unsigned int); 73 struct posix_acl * (*get_acl)(struct inode *, int, bool); 74 int (*setattr) (struct dentry *, struct iattr *); 75 int (*getattr) (const struct path *, struct kstat *, u32, unsigned int); 76 ssize_t (*listxattr) (struct dentry *, char *, size_t); 77 int (*fiemap)(struct inode *, struct fiemap_extent_info *, u64 start, u64 len); 78 void (*update_time)(struct inode *, struct timespec *, int); 79 int (*atomic_open)(struct inode *, struct dentry *, 80 struct file *, unsigned open_flag, 81 umode_t create_mode); 82 int (*tmpfile) (struct user_namespace *, struct inode *, 83 struct file *, umode_t); 84 int (*fileattr_set)(struct user_namespace *mnt_userns, 85 struct dentry *dentry, struct fileattr *fa); 86 int (*fileattr_get)(struct dentry *dentry, struct fileattr *fa); 87 88locking rules: 89 all may block 90 91============= ============================================= 92ops i_rwsem(inode) 93============= ============================================= 94lookup: shared 95create: exclusive 96link: exclusive (both) 97mknod: exclusive 98symlink: exclusive 99mkdir: exclusive 100unlink: exclusive (both) 101rmdir: exclusive (both)(see below) 102rename: exclusive (all) (see below) 103readlink: no 104get_link: no 105setattr: exclusive 106permission: no (may not block if called in rcu-walk mode) 107get_acl: no 108getattr: no 109listxattr: no 110fiemap: no 111update_time: no 112atomic_open: shared (exclusive if O_CREAT is set in open flags) 113tmpfile: no 114fileattr_get: no or exclusive 115fileattr_set: exclusive 116============= ============================================= 117 118 119 Additionally, ->rmdir(), ->unlink() and ->rename() have ->i_rwsem 120 exclusive on victim. 121 cross-directory ->rename() has (per-superblock) ->s_vfs_rename_sem. 122 123See Documentation/filesystems/directory-locking.rst for more detailed discussion 124of the locking scheme for directory operations. 125 126xattr_handler operations 127======================== 128 129prototypes:: 130 131 bool (*list)(struct dentry *dentry); 132 int (*get)(const struct xattr_handler *handler, struct dentry *dentry, 133 struct inode *inode, const char *name, void *buffer, 134 size_t size); 135 int (*set)(const struct xattr_handler *handler, 136 struct user_namespace *mnt_userns, 137 struct dentry *dentry, struct inode *inode, const char *name, 138 const void *buffer, size_t size, int flags); 139 140locking rules: 141 all may block 142 143===== ============== 144ops i_rwsem(inode) 145===== ============== 146list: no 147get: no 148set: exclusive 149===== ============== 150 151super_operations 152================ 153 154prototypes:: 155 156 struct inode *(*alloc_inode)(struct super_block *sb); 157 void (*free_inode)(struct inode *); 158 void (*destroy_inode)(struct inode *); 159 void (*dirty_inode) (struct inode *, int flags); 160 int (*write_inode) (struct inode *, struct writeback_control *wbc); 161 int (*drop_inode) (struct inode *); 162 void (*evict_inode) (struct inode *); 163 void (*put_super) (struct super_block *); 164 int (*sync_fs)(struct super_block *sb, int wait); 165 int (*freeze_fs) (struct super_block *); 166 int (*unfreeze_fs) (struct super_block *); 167 int (*statfs) (struct dentry *, struct kstatfs *); 168 int (*remount_fs) (struct super_block *, int *, char *); 169 void (*umount_begin) (struct super_block *); 170 int (*show_options)(struct seq_file *, struct dentry *); 171 ssize_t (*quota_read)(struct super_block *, int, char *, size_t, loff_t); 172 ssize_t (*quota_write)(struct super_block *, int, const char *, size_t, loff_t); 173 174locking rules: 175 All may block [not true, see below] 176 177====================== ============ ======================== 178ops s_umount note 179====================== ============ ======================== 180alloc_inode: 181free_inode: called from RCU callback 182destroy_inode: 183dirty_inode: 184write_inode: 185drop_inode: !!!inode->i_lock!!! 186evict_inode: 187put_super: write 188sync_fs: read 189freeze_fs: write 190unfreeze_fs: write 191statfs: maybe(read) (see below) 192remount_fs: write 193umount_begin: no 194show_options: no (namespace_sem) 195quota_read: no (see below) 196quota_write: no (see below) 197====================== ============ ======================== 198 199->statfs() has s_umount (shared) when called by ustat(2) (native or 200compat), but that's an accident of bad API; s_umount is used to pin 201the superblock down when we only have dev_t given us by userland to 202identify the superblock. Everything else (statfs(), fstatfs(), etc.) 203doesn't hold it when calling ->statfs() - superblock is pinned down 204by resolving the pathname passed to syscall. 205 206->quota_read() and ->quota_write() functions are both guaranteed to 207be the only ones operating on the quota file by the quota code (via 208dqio_sem) (unless an admin really wants to screw up something and 209writes to quota files with quotas on). For other details about locking 210see also dquot_operations section. 211 212file_system_type 213================ 214 215prototypes:: 216 217 struct dentry *(*mount) (struct file_system_type *, int, 218 const char *, void *); 219 void (*kill_sb) (struct super_block *); 220 221locking rules: 222 223======= ========= 224ops may block 225======= ========= 226mount yes 227kill_sb yes 228======= ========= 229 230->mount() returns ERR_PTR or the root dentry; its superblock should be locked 231on return. 232 233->kill_sb() takes a write-locked superblock, does all shutdown work on it, 234unlocks and drops the reference. 235 236address_space_operations 237======================== 238prototypes:: 239 240 int (*writepage)(struct page *page, struct writeback_control *wbc); 241 int (*read_folio)(struct file *, struct folio *); 242 int (*writepages)(struct address_space *, struct writeback_control *); 243 bool (*dirty_folio)(struct address_space *, struct folio *folio); 244 void (*readahead)(struct readahead_control *); 245 int (*write_begin)(struct file *, struct address_space *mapping, 246 loff_t pos, unsigned len, 247 struct page **pagep, void **fsdata); 248 int (*write_end)(struct file *, struct address_space *mapping, 249 loff_t pos, unsigned len, unsigned copied, 250 struct page *page, void *fsdata); 251 sector_t (*bmap)(struct address_space *, sector_t); 252 void (*invalidate_folio) (struct folio *, size_t start, size_t len); 253 bool (*release_folio)(struct folio *, gfp_t); 254 void (*free_folio)(struct folio *); 255 int (*direct_IO)(struct kiocb *, struct iov_iter *iter); 256 int (*migrate_folio)(struct address_space *, struct folio *dst, 257 struct folio *src, enum migrate_mode); 258 int (*launder_folio)(struct folio *); 259 bool (*is_partially_uptodate)(struct folio *, size_t from, size_t count); 260 int (*error_remove_page)(struct address_space *, struct page *); 261 int (*swap_activate)(struct swap_info_struct *sis, struct file *f, sector_t *span) 262 int (*swap_deactivate)(struct file *); 263 int (*swap_rw)(struct kiocb *iocb, struct iov_iter *iter); 264 265locking rules: 266 All except dirty_folio and free_folio may block 267 268====================== ======================== ========= =============== 269ops folio locked i_rwsem invalidate_lock 270====================== ======================== ========= =============== 271writepage: yes, unlocks (see below) 272read_folio: yes, unlocks shared 273writepages: 274dirty_folio: maybe 275readahead: yes, unlocks shared 276write_begin: locks the page exclusive 277write_end: yes, unlocks exclusive 278bmap: 279invalidate_folio: yes exclusive 280release_folio: yes 281free_folio: yes 282direct_IO: 283migrate_folio: yes (both) 284launder_folio: yes 285is_partially_uptodate: yes 286error_remove_page: yes 287swap_activate: no 288swap_deactivate: no 289swap_rw: yes, unlocks 290====================== ======================== ========= =============== 291 292->write_begin(), ->write_end() and ->read_folio() may be called from 293the request handler (/dev/loop). 294 295->read_folio() unlocks the folio, either synchronously or via I/O 296completion. 297 298->readahead() unlocks the folios that I/O is attempted on like ->read_folio(). 299 300->writepage() is used for two purposes: for "memory cleansing" and for 301"sync". These are quite different operations and the behaviour may differ 302depending upon the mode. 303 304If writepage is called for sync (wbc->sync_mode != WBC_SYNC_NONE) then 305it *must* start I/O against the page, even if that would involve 306blocking on in-progress I/O. 307 308If writepage is called for memory cleansing (sync_mode == 309WBC_SYNC_NONE) then its role is to get as much writeout underway as 310possible. So writepage should try to avoid blocking against 311currently-in-progress I/O. 312 313If the filesystem is not called for "sync" and it determines that it 314would need to block against in-progress I/O to be able to start new I/O 315against the page the filesystem should redirty the page with 316redirty_page_for_writepage(), then unlock the page and return zero. 317This may also be done to avoid internal deadlocks, but rarely. 318 319If the filesystem is called for sync then it must wait on any 320in-progress I/O and then start new I/O. 321 322The filesystem should unlock the page synchronously, before returning to the 323caller, unless ->writepage() returns special WRITEPAGE_ACTIVATE 324value. WRITEPAGE_ACTIVATE means that page cannot really be written out 325currently, and VM should stop calling ->writepage() on this page for some 326time. VM does this by moving page to the head of the active list, hence the 327name. 328 329Unless the filesystem is going to redirty_page_for_writepage(), unlock the page 330and return zero, writepage *must* run set_page_writeback() against the page, 331followed by unlocking it. Once set_page_writeback() has been run against the 332page, write I/O can be submitted and the write I/O completion handler must run 333end_page_writeback() once the I/O is complete. If no I/O is submitted, the 334filesystem must run end_page_writeback() against the page before returning from 335writepage. 336 337That is: after 2.5.12, pages which are under writeout are *not* locked. Note, 338if the filesystem needs the page to be locked during writeout, that is ok, too, 339the page is allowed to be unlocked at any point in time between the calls to 340set_page_writeback() and end_page_writeback(). 341 342Note, failure to run either redirty_page_for_writepage() or the combination of 343set_page_writeback()/end_page_writeback() on a page submitted to writepage 344will leave the page itself marked clean but it will be tagged as dirty in the 345radix tree. This incoherency can lead to all sorts of hard-to-debug problems 346in the filesystem like having dirty inodes at umount and losing written data. 347 348->writepages() is used for periodic writeback and for syscall-initiated 349sync operations. The address_space should start I/O against at least 350``*nr_to_write`` pages. ``*nr_to_write`` must be decremented for each page 351which is written. The address_space implementation may write more (or less) 352pages than ``*nr_to_write`` asks for, but it should try to be reasonably close. 353If nr_to_write is NULL, all dirty pages must be written. 354 355writepages should _only_ write pages which are present on 356mapping->io_pages. 357 358->dirty_folio() is called from various places in the kernel when 359the target folio is marked as needing writeback. The folio cannot be 360truncated because either the caller holds the folio lock, or the caller 361has found the folio while holding the page table lock which will block 362truncation. 363 364->bmap() is currently used by legacy ioctl() (FIBMAP) provided by some 365filesystems and by the swapper. The latter will eventually go away. Please, 366keep it that way and don't breed new callers. 367 368->invalidate_folio() is called when the filesystem must attempt to drop 369some or all of the buffers from the page when it is being truncated. It 370returns zero on success. The filesystem must exclusively acquire 371invalidate_lock before invalidating page cache in truncate / hole punch 372path (and thus calling into ->invalidate_folio) to block races between page 373cache invalidation and page cache filling functions (fault, read, ...). 374 375->release_folio() is called when the kernel is about to try to drop the 376buffers from the folio in preparation for freeing it. It returns false to 377indicate that the buffers are (or may be) freeable. If ->release_folio is 378NULL, the kernel assumes that the fs has no private interest in the buffers. 379 380->free_folio() is called when the kernel has dropped the folio 381from the page cache. 382 383->launder_folio() may be called prior to releasing a folio if 384it is still found to be dirty. It returns zero if the folio was successfully 385cleaned, or an error value if not. Note that in order to prevent the folio 386getting mapped back in and redirtied, it needs to be kept locked 387across the entire operation. 388 389->swap_activate() will be called to prepare the given file for swap. It 390should perform any validation and preparation necessary to ensure that 391writes can be performed with minimal memory allocation. It should call 392add_swap_extent(), or the helper iomap_swapfile_activate(), and return 393the number of extents added. If IO should be submitted through 394->swap_rw(), it should set SWP_FS_OPS, otherwise IO will be submitted 395directly to the block device ``sis->bdev``. 396 397->swap_deactivate() will be called in the sys_swapoff() 398path after ->swap_activate() returned success. 399 400->swap_rw will be called for swap IO if SWP_FS_OPS was set by ->swap_activate(). 401 402file_lock_operations 403==================== 404 405prototypes:: 406 407 void (*fl_copy_lock)(struct file_lock *, struct file_lock *); 408 void (*fl_release_private)(struct file_lock *); 409 410 411locking rules: 412 413=================== ============= ========= 414ops inode->i_lock may block 415=================== ============= ========= 416fl_copy_lock: yes no 417fl_release_private: maybe maybe[1]_ 418=================== ============= ========= 419 420.. [1]: 421 ->fl_release_private for flock or POSIX locks is currently allowed 422 to block. Leases however can still be freed while the i_lock is held and 423 so fl_release_private called on a lease should not block. 424 425lock_manager_operations 426======================= 427 428prototypes:: 429 430 void (*lm_notify)(struct file_lock *); /* unblock callback */ 431 int (*lm_grant)(struct file_lock *, struct file_lock *, int); 432 void (*lm_break)(struct file_lock *); /* break_lease callback */ 433 int (*lm_change)(struct file_lock **, int); 434 bool (*lm_breaker_owns_lease)(struct file_lock *); 435 bool (*lm_lock_expirable)(struct file_lock *); 436 void (*lm_expire_lock)(void); 437 438locking rules: 439 440====================== ============= ================= ========= 441ops flc_lock blocked_lock_lock may block 442====================== ============= ================= ========= 443lm_notify: no yes no 444lm_grant: no no no 445lm_break: yes no no 446lm_change yes no no 447lm_breaker_owns_lease: yes no no 448lm_lock_expirable yes no no 449lm_expire_lock no no yes 450====================== ============= ================= ========= 451 452buffer_head 453=========== 454 455prototypes:: 456 457 void (*b_end_io)(struct buffer_head *bh, int uptodate); 458 459locking rules: 460 461called from interrupts. In other words, extreme care is needed here. 462bh is locked, but that's all warranties we have here. Currently only RAID1, 463highmem, fs/buffer.c, and fs/ntfs/aops.c are providing these. Block devices 464call this method upon the IO completion. 465 466block_device_operations 467======================= 468prototypes:: 469 470 int (*open) (struct block_device *, fmode_t); 471 int (*release) (struct gendisk *, fmode_t); 472 int (*ioctl) (struct block_device *, fmode_t, unsigned, unsigned long); 473 int (*compat_ioctl) (struct block_device *, fmode_t, unsigned, unsigned long); 474 int (*direct_access) (struct block_device *, sector_t, void **, 475 unsigned long *); 476 void (*unlock_native_capacity) (struct gendisk *); 477 int (*getgeo)(struct block_device *, struct hd_geometry *); 478 void (*swap_slot_free_notify) (struct block_device *, unsigned long); 479 480locking rules: 481 482======================= =================== 483ops open_mutex 484======================= =================== 485open: yes 486release: yes 487ioctl: no 488compat_ioctl: no 489direct_access: no 490unlock_native_capacity: no 491getgeo: no 492swap_slot_free_notify: no (see below) 493======================= =================== 494 495swap_slot_free_notify is called with swap_lock and sometimes the page lock 496held. 497 498 499file_operations 500=============== 501 502prototypes:: 503 504 loff_t (*llseek) (struct file *, loff_t, int); 505 ssize_t (*read) (struct file *, char __user *, size_t, loff_t *); 506 ssize_t (*write) (struct file *, const char __user *, size_t, loff_t *); 507 ssize_t (*read_iter) (struct kiocb *, struct iov_iter *); 508 ssize_t (*write_iter) (struct kiocb *, struct iov_iter *); 509 int (*iopoll) (struct kiocb *kiocb, bool spin); 510 int (*iterate) (struct file *, struct dir_context *); 511 int (*iterate_shared) (struct file *, struct dir_context *); 512 __poll_t (*poll) (struct file *, struct poll_table_struct *); 513 long (*unlocked_ioctl) (struct file *, unsigned int, unsigned long); 514 long (*compat_ioctl) (struct file *, unsigned int, unsigned long); 515 int (*mmap) (struct file *, struct vm_area_struct *); 516 int (*open) (struct inode *, struct file *); 517 int (*flush) (struct file *); 518 int (*release) (struct inode *, struct file *); 519 int (*fsync) (struct file *, loff_t start, loff_t end, int datasync); 520 int (*fasync) (int, struct file *, int); 521 int (*lock) (struct file *, int, struct file_lock *); 522 ssize_t (*sendpage) (struct file *, struct page *, int, size_t, 523 loff_t *, int); 524 unsigned long (*get_unmapped_area)(struct file *, unsigned long, 525 unsigned long, unsigned long, unsigned long); 526 int (*check_flags)(int); 527 int (*flock) (struct file *, int, struct file_lock *); 528 ssize_t (*splice_write)(struct pipe_inode_info *, struct file *, loff_t *, 529 size_t, unsigned int); 530 ssize_t (*splice_read)(struct file *, loff_t *, struct pipe_inode_info *, 531 size_t, unsigned int); 532 int (*setlease)(struct file *, long, struct file_lock **, void **); 533 long (*fallocate)(struct file *, int, loff_t, loff_t); 534 void (*show_fdinfo)(struct seq_file *m, struct file *f); 535 unsigned (*mmap_capabilities)(struct file *); 536 ssize_t (*copy_file_range)(struct file *, loff_t, struct file *, 537 loff_t, size_t, unsigned int); 538 loff_t (*remap_file_range)(struct file *file_in, loff_t pos_in, 539 struct file *file_out, loff_t pos_out, 540 loff_t len, unsigned int remap_flags); 541 int (*fadvise)(struct file *, loff_t, loff_t, int); 542 543locking rules: 544 All may block. 545 546->llseek() locking has moved from llseek to the individual llseek 547implementations. If your fs is not using generic_file_llseek, you 548need to acquire and release the appropriate locks in your ->llseek(). 549For many filesystems, it is probably safe to acquire the inode 550mutex or just to use i_size_read() instead. 551Note: this does not protect the file->f_pos against concurrent modifications 552since this is something the userspace has to take care about. 553 554->iterate() is called with i_rwsem exclusive. 555 556->iterate_shared() is called with i_rwsem at least shared. 557 558->fasync() is responsible for maintaining the FASYNC bit in filp->f_flags. 559Most instances call fasync_helper(), which does that maintenance, so it's 560not normally something one needs to worry about. Return values > 0 will be 561mapped to zero in the VFS layer. 562 563->readdir() and ->ioctl() on directories must be changed. Ideally we would 564move ->readdir() to inode_operations and use a separate method for directory 565->ioctl() or kill the latter completely. One of the problems is that for 566anything that resembles union-mount we won't have a struct file for all 567components. And there are other reasons why the current interface is a mess... 568 569->read on directories probably must go away - we should just enforce -EISDIR 570in sys_read() and friends. 571 572->setlease operations should call generic_setlease() before or after setting 573the lease within the individual filesystem to record the result of the 574operation 575 576->fallocate implementation must be really careful to maintain page cache 577consistency when punching holes or performing other operations that invalidate 578page cache contents. Usually the filesystem needs to call 579truncate_inode_pages_range() to invalidate relevant range of the page cache. 580However the filesystem usually also needs to update its internal (and on disk) 581view of file offset -> disk block mapping. Until this update is finished, the 582filesystem needs to block page faults and reads from reloading now-stale page 583cache contents from the disk. Since VFS acquires mapping->invalidate_lock in 584shared mode when loading pages from disk (filemap_fault(), filemap_read(), 585readahead paths), the fallocate implementation must take the invalidate_lock to 586prevent reloading. 587 588->copy_file_range and ->remap_file_range implementations need to serialize 589against modifications of file data while the operation is running. For 590blocking changes through write(2) and similar operations inode->i_rwsem can be 591used. To block changes to file contents via a memory mapping during the 592operation, the filesystem must take mapping->invalidate_lock to coordinate 593with ->page_mkwrite. 594 595dquot_operations 596================ 597 598prototypes:: 599 600 int (*write_dquot) (struct dquot *); 601 int (*acquire_dquot) (struct dquot *); 602 int (*release_dquot) (struct dquot *); 603 int (*mark_dirty) (struct dquot *); 604 int (*write_info) (struct super_block *, int); 605 606These operations are intended to be more or less wrapping functions that ensure 607a proper locking wrt the filesystem and call the generic quota operations. 608 609What filesystem should expect from the generic quota functions: 610 611============== ============ ========================= 612ops FS recursion Held locks when called 613============== ============ ========================= 614write_dquot: yes dqonoff_sem or dqptr_sem 615acquire_dquot: yes dqonoff_sem or dqptr_sem 616release_dquot: yes dqonoff_sem or dqptr_sem 617mark_dirty: no - 618write_info: yes dqonoff_sem 619============== ============ ========================= 620 621FS recursion means calling ->quota_read() and ->quota_write() from superblock 622operations. 623 624More details about quota locking can be found in fs/dquot.c. 625 626vm_operations_struct 627==================== 628 629prototypes:: 630 631 void (*open)(struct vm_area_struct*); 632 void (*close)(struct vm_area_struct*); 633 vm_fault_t (*fault)(struct vm_area_struct*, struct vm_fault *); 634 vm_fault_t (*page_mkwrite)(struct vm_area_struct *, struct vm_fault *); 635 vm_fault_t (*pfn_mkwrite)(struct vm_area_struct *, struct vm_fault *); 636 int (*access)(struct vm_area_struct *, unsigned long, void*, int, int); 637 638locking rules: 639 640============= ========= =========================== 641ops mmap_lock PageLocked(page) 642============= ========= =========================== 643open: yes 644close: yes 645fault: yes can return with page locked 646map_pages: yes 647page_mkwrite: yes can return with page locked 648pfn_mkwrite: yes 649access: yes 650============= ========= =========================== 651 652->fault() is called when a previously not present pte is about to be faulted 653in. The filesystem must find and return the page associated with the passed in 654"pgoff" in the vm_fault structure. If it is possible that the page may be 655truncated and/or invalidated, then the filesystem must lock invalidate_lock, 656then ensure the page is not already truncated (invalidate_lock will block 657subsequent truncate), and then return with VM_FAULT_LOCKED, and the page 658locked. The VM will unlock the page. 659 660->map_pages() is called when VM asks to map easy accessible pages. 661Filesystem should find and map pages associated with offsets from "start_pgoff" 662till "end_pgoff". ->map_pages() is called with page table locked and must 663not block. If it's not possible to reach a page without blocking, 664filesystem should skip it. Filesystem should use do_set_pte() to setup 665page table entry. Pointer to entry associated with the page is passed in 666"pte" field in vm_fault structure. Pointers to entries for other offsets 667should be calculated relative to "pte". 668 669->page_mkwrite() is called when a previously read-only pte is about to become 670writeable. The filesystem again must ensure that there are no 671truncate/invalidate races or races with operations such as ->remap_file_range 672or ->copy_file_range, and then return with the page locked. Usually 673mapping->invalidate_lock is suitable for proper serialization. If the page has 674been truncated, the filesystem should not look up a new page like the ->fault() 675handler, but simply return with VM_FAULT_NOPAGE, which will cause the VM to 676retry the fault. 677 678->pfn_mkwrite() is the same as page_mkwrite but when the pte is 679VM_PFNMAP or VM_MIXEDMAP with a page-less entry. Expected return is 680VM_FAULT_NOPAGE. Or one of the VM_FAULT_ERROR types. The default behavior 681after this call is to make the pte read-write, unless pfn_mkwrite returns 682an error. 683 684->access() is called when get_user_pages() fails in 685access_process_vm(), typically used to debug a process through 686/proc/pid/mem or ptrace. This function is needed only for 687VM_IO | VM_PFNMAP VMAs. 688 689-------------------------------------------------------------------------------- 690 691 Dubious stuff 692 693(if you break something or notice that it is broken and do not fix it yourself 694- at least put it here) 695