Dmitry S
2eec48b685
(core) Support adjusting OOM score for child sandbox processes.
...
Summary:
Also update error handling in NSandbox initialization to avoid node
exiting when sandbox can't be created.
Info on oom_score and choom: https://man7.org/linux/man-pages/man1/choom.1.html
Empirically, in docker and under fargate, oom_score (visible in
/proc/PID/oom_score) seems to be calculated approximately as
((ProcessRSS / TotalMemory * 1000 + 999 + oom_score_adj) * 2/3)
though this doesn't correspond to any documentation I could find.
In addition, under docker / fargate it does not work to set oom_score_adj (with choom or via /proc/PID/oom_score_adj) to a negative value to give priority to a node process. That's why this diff adjust the score up for sandbox processes instead.
Test Plan:
Checked that grist-omnibus built with this change respects the
variable, and sandbox processes end up with higher oom_score values.
Reviewers: paulfitz
Reviewed By: paulfitz
Subscribers: paulfitz
Differential Revision: https://phab.getgrist.com/D4112
2023-11-16 17:43:06 -05:00
..
2022-07-19 11:55:18 -04:00
2023-08-23 09:23:29 -04:00
2023-07-01 21:07:39 -04:00
2023-05-23 15:17:28 -04:00
2023-11-14 22:31:34 +02:00
2023-07-12 15:57:02 +02:00
2023-11-01 10:49:33 -04:00
2023-09-04 09:21:18 -04:00
2023-08-21 09:15:53 -04:00
2023-11-07 16:30:49 -05:00
2023-11-09 14:56:39 -05:00
2020-07-21 20:39:10 -04:00
2023-08-07 11:28:31 -04:00
2023-11-07 16:30:49 -05:00
2023-07-10 06:24:55 -04:00
2023-03-01 17:02:47 -05:00
2022-05-18 20:28:25 +02:00
2023-11-16 12:38:08 -05:00
2022-07-14 12:00:30 -04:00
2023-11-16 12:38:08 -05:00
2020-07-21 20:39:10 -04:00
2022-07-19 11:55:18 -04:00
2023-01-26 09:47:14 +01:00
2023-05-12 11:38:29 -04:00
2023-09-04 09:21:18 -04:00
2022-07-29 11:19:26 -04:00
2020-07-21 20:39:10 -04:00
2022-02-19 09:46:49 +00:00
2023-11-08 15:09:01 -05:00
2022-08-15 13:04:55 -07:00
2023-09-06 15:12:08 -04:00
2023-05-08 10:39:01 +02:00
2022-02-19 09:46:49 +00:00
2023-10-15 20:17:43 -04:00
2023-10-15 20:17:43 -04:00
2023-05-02 10:28:14 -04:00
2023-09-09 14:50:32 -04:00
2023-10-11 17:36:58 -04:00
2022-07-04 10:42:40 -04:00
2023-10-27 17:00:10 -04:00
2020-07-21 20:39:10 -04:00
2021-04-29 08:56:54 -04:00
2023-11-14 15:58:00 -05:00
2023-11-07 16:30:49 -05:00
2023-09-05 14:27:35 -04:00
2023-09-05 14:27:35 -04:00
2022-12-01 12:23:19 +01:00
2023-08-23 09:23:29 -04:00
2023-11-07 16:30:49 -05:00
2023-10-02 14:41:04 -04:00
2023-07-31 16:10:59 -04:00
2022-05-12 14:43:21 +02:00
2023-07-04 17:36:59 -04:00
2020-09-18 16:31:29 -04:00
2022-07-04 10:42:40 -04:00
2023-02-20 22:46:36 -05:00
2022-06-17 21:53:20 +02:00
2022-08-23 10:30:52 -07:00
2020-10-30 13:52:46 -04:00
2023-09-27 14:49:23 +02:00
2022-07-14 12:00:30 -04:00
2023-02-20 22:46:36 -05:00
2020-07-23 11:29:05 -04:00
2023-05-15 11:56:15 -04:00
2022-06-27 16:10:10 -04:00
2022-07-04 10:42:40 -04:00
2022-07-29 11:19:26 -04:00
2023-08-07 11:28:31 -04:00
2023-08-07 11:28:31 -04:00
2023-04-03 13:29:35 -04:00
2022-07-04 10:42:40 -04:00
2023-10-27 17:00:10 -04:00
2023-08-07 11:28:31 -04:00
2023-02-13 15:52:17 -05:00
2023-07-20 06:16:58 -04:00
2023-11-16 17:43:06 -05:00
2023-05-23 15:50:15 -04:00
2023-11-09 14:56:39 -05:00
2023-05-08 18:25:27 -04:00
2023-09-08 10:16:09 +02:00
2022-04-01 15:24:19 -07:00
2023-02-13 15:52:17 -05:00
2023-10-27 17:00:10 -04:00
2023-10-27 17:00:10 -04:00
2023-11-01 10:49:33 -04:00
2023-05-17 10:21:53 -04:00
2022-07-04 10:42:40 -04:00
2023-07-30 15:13:43 -04:00
2023-09-13 00:31:04 -04:00
2022-12-22 09:10:30 -05:00
2022-09-02 16:27:34 +02:00
2023-10-18 10:52:58 -04:00
2023-10-11 17:36:58 -04:00
2023-07-18 11:21:25 -04:00
2023-11-16 12:38:08 -05:00
2023-07-26 21:49:52 +02:00
2022-06-07 15:47:17 -04:00
2023-09-26 15:32:49 -04:00
2022-06-07 15:47:17 -04:00
2023-11-14 22:31:34 +02:00
2020-07-21 20:39:10 -04:00
2023-05-23 15:17:28 -04:00
2023-09-04 09:21:18 -04:00
2023-09-04 09:21:18 -04:00
2023-09-04 09:21:18 -04:00
2023-11-16 17:43:06 -05:00
2020-07-21 20:39:10 -04:00
2023-11-16 12:38:08 -05:00
2023-08-07 11:28:31 -04:00
2022-10-14 14:23:59 -04:00
2022-08-25 12:38:36 -07:00
2023-05-08 18:25:27 -04:00
2023-11-07 15:48:35 +02:00
2022-07-04 10:42:40 -04:00
2023-09-06 15:12:08 -04:00
2023-10-30 21:13:21 -04:00
2023-05-23 15:17:28 -04:00
2023-10-15 20:17:43 -04:00