Limitations on System Calls

This section documents known limitations of Asterinas's implementation of Linux system calls. It introduce System Call Matching Language (SCML), a lightweight domain‑specific language for specifying allowed and disallowed patterns of system‑call invocations.

The rest of this section uses SCML to accurately and concisely describe both supported and unsupported functionality of system calls, which are divided into the following categories:

• Process and thread management
• Memory management
• File & directory operations
• File systems & mount control
• File descriptor & I/O control
• Inter-process communication
• Networking & sockets
• Signals & timers
• Namespaces, cgroups & security
• System information & misc