qiurui
/
asterinas
mirror of https://github.com/asterinas/asterinas.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Mark `setxattr` and `signalfd` related syscalls as fully covered

This commit is contained in:
Tao Su 2025-12-08 06:14:02 +00:00 committed by Tate, Hongliang Tian
parent 2dbcd1194b
commit 7c35ec1b16
3 changed files with 16 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
book/src/kernel/linux-compatibility/README.md
View File

@ -208,9 +208,9 @@ which are summarized in the table below.
| 185 | security | ❌ | N/A |
| 186 | gettid | ✅ | 💯 |
| 187 | readahead | ❌ | N/A |
| 188 | setxattr | ✅ | ❓ |
| 189 | lsetxattr | ✅ | ❓ |
| 190 | fsetxattr | ✅ | ❓ |
| 188 | setxattr | ✅ | 💯 |
| 189 | lsetxattr | ✅ | 💯 |
| 190 | fsetxattr | ✅ | 💯 |
| 191 | getxattr | ✅ | 💯 |
| 192 | lgetxattr | ✅ | 💯 |
| 193 | fgetxattr | ✅ | 💯 |
@ -302,14 +302,14 @@ which are summarized in the table below.
| 279 | move_pages | ❌ | N/A |
| 280 | utimensat | ✅ | ❓ |
| 281 | epoll_pwait | ✅ | ❓ |
| 282 | signalfd | ✅ | ❓ |
| 282 | signalfd | ✅ | 💯 |
| 283 | timerfd_create | ✅ | ❓ |
| 284 | eventfd | ✅ | 💯 |
| 285 | fallocate | ✅ | ❓ |
| 286 | timerfd_settime | ✅ | ❓ |
| 287 | timerfd_gettime | ✅ | 💯 |
| 288 | accept4 | ✅ | ❓ |
| 289 | signalfd4 | ✅ | ❓ |
| 289 | signalfd4 | ✅ | 💯 |
| 290 | eventfd2 | ✅ | [⚠️](syscall-flag-coverage/file-descriptor-and-io-control/#eventfd-and-eventfd2) |
| 291 | epoll_create1 | ✅ | ❓ |
| 292 | dup3 | ✅ | 💯 |

7
book/src/kernel/linux-compatibility/syscall-flag-coverage/file-and-directory-operations/fully_covered.scml
View File

@ -95,6 +95,13 @@ getxattr(path, name, value, size);
lgetxattr(path, name, value, size);
fgetxattr(fd, name, value, size);
xattr_flags = XATTR_CREATE | XATTR_REPLACE;
// Set an extended attribute value
setxattr(path, name, value, size, flags = <xattr_flags>);
lsetxattr(path, name, value, size, flags = <xattr_flags>);
fsetxattr(fd, name, value, size, flags = <xattr_flags>);
// List extended attribute names
listxattr(path, list, size);
llistxattr(path, list, size);

4
book/src/kernel/linux-compatibility/syscall-flag-coverage/file-descriptor-and-io-control/fully_covered.scml
View File

@ -18,3 +18,7 @@ fdatasync(fd);
// Open an epoll file descriptor
epoll_create(size);
// Create a file descriptor for accepting signals
signalfd(fd, mask, sizemask);
signalfd4(fd, mask, sizemask, flags = SFD_NONBLOCK | SFD_CLOEXEC);