good first issuehelp wanted
Repository metrics
- Stars
- (50 個のスター)
- PR merge metrics
- (平均マージ 7d 19h) (30d で 38 merged PRs)
説明
We should be setting /proc/[childpid]/oom_score_adj to a high value like 900 on tasks which aren't PoSt so that:
- The main process is less likely to be killed
- Other processes on the machine are less likely to be killed (Lotus, yugabyte)
- Things don't break horribly when the scheduler misjudges how much memory we have (i.e. something outside of curio uses a bunch of memory in the middle of a memory-heavy task)