asterinas/book/src/kernel/linux-compatibility/syscall-flag-coverage/file-systems-and-mount-control/README.md

2.6 KiB

File Systems & Mount Control

Mount and Unmount File Systems

mount

Supported functionality in SCML:

{{#include mount.scml}}

Partially supported mount flags:

  • MS_REC is only effective when used in conjunction with MS_BIND
  • MS_REMOUNT can be used, but the set options have no actual effect.
  • MS_DIRSYNC can be set but have no actual effect.
  • MS_LAZYTIME can be set but have no actual effect.
  • MS_MANDLOCK can be set but have no actual effect.
  • MS_NOATIME can be set but have no actual effect.
  • MS_NODEV can be set but have no actual effect.
  • MS_NODIRATIME can be set but have no actual effect.
  • MS_NOEXEC can be set but have no actual effect.
  • MS_NOSUID can be set but have no actual effect.
  • MS_RDONLY can be set but have no actual effect.
  • MS_RELATIME can be set but have no actual effect.
  • MS_SILENT can be set but have no actual effect.
  • MS_STRICTATIME can be set but have no actual effect.
  • MS_SYNCHRONOUS can be set but have no actual effect.

Unsupported mount flags:

  • MS_SHARED
  • MS_SLAVE
  • MS_UNBINDABLE

For more information, see the man page.

umount and umount2

Supported functionality in SCML:

{{#include umount_and_umount2.scml}}

Silently-ignored flags:

  • MNT_FORCE
  • MNT_DETACH
  • MNT_EXPIRE

For more information, see the man page.

Event Notifications

inotify_init and inotify_init1

Supported functionality in SCML:

{{#include inotify_init_and_init1.scml}}

For more information, see the man page.

inotify_add_watch

Supported functionality in SCML:

{{#include inotify_add_watch.scml}}

Unsupported event flags:

  • IN_MOVED_FROM and IN_MOVED_TO - Move events are not generated
  • IN_MOVE_SELF - Self move events are not generated
  • IN_UNMOUNT - Unmount events are not generated
  • IN_Q_OVERFLOW - Queue overflow events are not generated (events are silently dropped when queue is full)
  • IN_ALL_EVENTS - Only includes actually supported events

Unsupported control flags:

  • IN_EXCL_UNLINK - Events on unlinked files are not excluded

For more information, see the man page.