Skip to content

feat: set process titles on env server and workers#1082

Merged
willccbb merged 3 commits intomainfrom
feat/setproctitle
Apr 1, 2026
Merged

feat: set process titles on env server and workers#1082
willccbb merged 3 commits intomainfrom
feat/setproctitle

Conversation

@mikasenghaas
Copy link
Copy Markdown
Member

@mikasenghaas mikasenghaas commented Mar 31, 2026

Summary

  • Adds setproctitle dependency and set_proc_title utility to process_utils.py
  • Labels env server process as Verifiers::EnvServer and worker processes as Verifiers::EnvWorker{N}
  • Makes verifiers processes identifiable in ps, htop, and pstree for easier debugging
Screenshot 2026-04-01 at 1 35 27 AM

Companion to PrimeIntellect-ai/prime-rl#2159 which sets titles on all prime-rl entrypoints.

🤖 Generated with Claude Code


Note

Low Risk
Low risk: changes are limited to setting process titles and adding a small runtime dependency, with no impact on request handling or shutdown logic.

Overview
Adds the setproctitle dependency and a new set_proc_title helper in process_utils to standardize process naming as Verifiers::{name}.

The env server and each env worker now set their process titles at startup (e.g., Verifiers::EnvServer, Verifiers::EnvWorker{N}) to make spawned processes easier to identify in ps/htop/pstree.

Written by Cursor Bugbot for commit 53f8238. This will update automatically on new commits. Configure here.

…isibility

Adds setproctitle dependency and a set_proc_title utility to label
env server and worker processes as Verifiers::EnvServer and
Verifiers::EnvWorker{N}, making them identifiable in ps/htop.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
mikasenghaas and others added 2 commits March 31, 2026 23:24
Ensures titles are visible immediately, before slow env loading.

Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
@mikasenghaas mikasenghaas requested a review from willccbb March 31, 2026 23:36
@mikasenghaas mikasenghaas marked this pull request as ready for review March 31, 2026 23:47
@mikasenghaas mikasenghaas requested a review from samsja April 1, 2026 00:01
@willccbb willccbb merged commit 78b0198 into main Apr 1, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants