A handler installed with `SA_RESTART` does not restart the interrupted syscall
メンテナーはふだん 3 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 25/100
- issue の種類
- バグ
- 明瞭さ
- 明確に書かれている
- 活発さ
- 活発
- 技術スタック
- c, linux
調査の方向性
Start with syscall_restart_arm in src/syscall/proc.h, which today handles only execve on the thread group leader, and read the comment explaining why a signal delivered before resume cancels it. The fix depends on #384, since the handler frame carries the wire value in X8 rather than the syscall number. Build the reproducer from the issue, which should match Linux for FUTEX_WAIT and a pipe read (rc=0 and rc=1 respectively) instead of EINTR.
索引モデルが issue の本文から書いたものです。
説明
Linux restarts a syscall that a signal interrupted when the handler was installed with SA_RESTART and the syscall is one of the restartable ones in signal(7): read on a pipe or socket, futex FUTEX_WAIT without a timeout, wait4, accept and so on. elfuse returns EINTR to the guest instead. Measured for the two below; the others are untested.
The dispatcher has a restart path (syscall_restart_arm in src/syscall/proc.h), but it serves only an execve handed to the thread group leader, and a signal delivered before the guest resumes cancels it. The comment there gives the reason: the frame the handler returns through carries the wire value in X8 and not the syscall number, so a rewound PC would re-execute a different syscall. That is #384, which this depends on.
Reproducer: a SIGUSR1 handler installed with SA_RESTART, one thread parked in each wait, pthread_kill(SIGUSR1) at it, then the wait released (a FUTEX_WAKE after storing 1, a one-byte write).
#include <errno.h>
#include <linux/futex.h>
#include <pthread.h>
#include <signal.h>
#include <stdint.h>
#include <stdio.h>
#include <string.h>
#include <sys/syscall.h>
#include <unistd.h>
static uint32_t word;
static int pfd[2];
static volatile int handled;
static void on(int s)
{
(void) s;
handled++;
}
static void *w_futex(void *a)
{
(void) a;
long r = syscall(SYS_futex, &word, FUTEX_WAIT, 0, NULL, NULL, 0);
printf("futex FUTEX_WAIT: rc=%ld errno=%d\n", r, r < 0 ? errno : 0);
return NULL;
}
static void *w_read(void *a)
{
(void) a;
char c;
long r = read(pfd[0], &c, 1);
printf("read on a pipe: rc=%ld errno=%d\n", r, r < 0 ? errno : 0);
return NULL;
}
static void rel_futex(void)
{
word = 1;
syscall(SYS_futex, &word, FUTEX_WAKE, 1, NULL, NULL, 0);
}
static void rel_read(void)
{
write(pfd[1], "x", 1);
}
static void run(void *(*fn)(void *), void (*release)(void))
{
pthread_t t;
pthread_create(&t, NULL, fn, NULL);
usleep(200000);
pthread_kill(t, SIGUSR1);
usleep(300000);
release();
pthread_join(t, NULL);
}
int main(void)
{
struct sigaction sa;
memset(&sa, 0, sizeof sa);
sa.sa_handler = on;
sa.sa_flags = SA_RESTART;
sigaction(SIGUSR1, &sa, NULL);
pipe(pfd);
run(w_futex, rel_futex);
run(w_read, rel_read);
printf("handler ran %d times\n", handled);
return 0;
}
| wait | elfuse | Linux 6.12 under qemu |
|---|---|---|
futex(FUTEX_WAIT), no timeout |
rc=-1 errno=4 |
rc=0 |
read on an empty pipe |
rc=-1 errno=4 |
rc=1 |
The handler runs both times on both.
The waits signal(7) lists as never restarted (nanosleep, select, poll, epoll_wait among them) are out of scope: EINTR is right for those.
- 主要言語
- C
- スター
- 273
- フォーク
- 29
- 平均マージ
- 2日 10時間
- マージ済み PR(30日)
- 17
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートなし
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
sysprog21/elfuse のほかの issue
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
メンテナーはふだん 3 日以内に返信
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
メンテナーはふだん 3 日以内に返信
-
難易度 4/5 3〜5日 初心者へのやさしさ 30/100
メンテナーはふだん 3 日以内に返信
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
メンテナーはふだん 3 日以内に返信
-
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
メンテナーはふだん 3 日以内に返信
sysprog21/elfuse の issue をすべて見る
似ている issue
-
難易度 1/5 1時間未満 初心者へのやさしさ 72/100
AFLplusplus/AFLplusplus#2903 ·
-
category:port-update
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
メンテナーはふだん 2 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 90/100
colbymchenry/codegraph#2634 ·
メンテナーはふだん 1 日以内に返信
-
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100
-
難易度 2/5 1〜3時間 初心者へのやさしさ 77/100
メンテナーはふだん 8 日以内に返信