`(filesystem-change-evt PATH)` complains that "no space left on device" if inotify resources are all consumed

オープン
#5,513 コメント 0 件 リアクション 0 件 担当者 0 名 GitHub で見る

メンテナーはふだん 2 日以内に返信

まだ誰も着手していません。

評価

難易度
3/5
見積もり時間
1〜2日
初心者へのやさしさ
48/100
issue の種類
バグ
明瞭さ
おおむね明確
活発さ
静か
技術スタック
linux

調査の方向性

filesystem-change-evt の実装と Linux inotify のエラーハンドリングから始め、報告されたシステムエラーを確認しながら inotify リソースを使い果たして問題を再現する。完了の条件は、デバイスに空き容量がないと報告するのではなく、inotify リソースの枯渇を失敗として特定することである。

索引モデルが issue の本文から書いたものです。

説明

What version of Racket are you using?
e.g., 7.7 [cs]
8.16 [cs]
What program did you run?
Please include a short example that triggers the bug
(filesystem-change-evt QUEUE-DIR)
on a machine with limited inotify resources that had been consumed by a remote-run VSCode instance

What should have happened?
a message saying that inotify resources were consumed

If you got an error message, please include it here.
The log file from our server said the following:

[-|2026-04-15T16:20:44] :: *** autograde server started
[-|2026-04-15T16:20:44] :: Error in autograder scheduling. Killing
and restarting all workers - filesystem-change-evt: error generating
event [-|2026-04-15T16:20:44] path:
/home/c/cs-110/current-term/queue/ [-|2026-04-15T16:20:44] system
error: No space left on device; errno=28 [-|2026-04-15T16:20:44]
context...: [-|2026-04-15T16:20:44]

But the device was not full and had inodes to spare. Hint of what the problem was came from running
tail -f on a different log file, and seeing tail report:

tail: inotify resources exhausted
tail: inotify cannot be used, reverting to polling

Please include any other relevant details
e.g., the operating system used or how you are running the code.

Running on some Linux distribution (I think Ubuntu)

主要言語
Racket
スター
5.2k
フォーク
707
平均マージ
4日 10時間
マージ済み PR(30日)
21

環境構築

はじめの一歩

  1. issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
  2. 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
  3. リポジトリをフォークし、ブランチを切って変更します。
  4. issue 番号を参照したプルリクエストを送ります。

racket/racket のほかの issue

racket/racket の issue をすべて見る

似ている issue

Operating Systems の issue をもっと見る

新しい issue をメールで受け取る

初心者向けの GitHub issue を短くまとめたダイジェスト。