Retire the supervisor process

На данный момент каждый инстанс пикодаты состоит из 2х процессов:

1. супервизор -- цель его жизни запустить основной процесс пикодаты и перезапустить его если нужно ребутстрапить состояние базы данных
2. основной процесс -- в нём находится вся логика продукта пикодаты.

Такая архитектура сложилась исторически и у неё есть ряд недостатков:

1. Необходимость объяснять людям, зачем в пикодате 2 процесса, один из которых всю жизнь спит
2. Невозможность использовать в супервизоре тарантульный логгер, из-за чего страдает UX
3. Один из процессов может остаться висеть если второй прибить через SIGKILL
4. Сложность отладки: нужно прыгать через обручь с set follow fork mode child в gdb и т.п.
5. Затруднения при тестировании: см. !1125 (comment 88011)

При этом есть решения не имеющие таких недостатков, например перезапуск процесса при помощи exec без использования fork. Так в частности делает postgres (по некоторым данным @funbringer).

added icebox label

changed the description

added triaged label

2. Один из процессов может остаться висеть если второй прибить через SIGKILL

Это покрыто достаточно тщательно в тестах, см. https://git.picodata.io/picodata/picodata/picodata/-/blob/24.5.0/test/int/test_supervisor.py#L42

к сожалению там есть неизбежная гонка: https://git.picodata.io/picodata/picodata/picodata/-/blob/1ba975022c0f7281427b2b308ecb5628c7c3d5aa/src/cli/run.rs#L66-68

    extern "C" fn sigh(sig: libc::c_int) {
        unsafe {
            // Only a few functions are allowed in signal handlers.
            // Read twice `man 7 signal-safety`.
            if let Some(pid) = CHILD_PID {
                libc::kill(pid, sig);
            }
            SIGNALLED = Some(sig);
        }
    }

мы делаем best-effort на то чтобы спропагировать сигнал ребёнку, однако возможна ситуация, когда сигнал прилетит до того, как pid запишется в эту глобальную переменную

changed the description

changed the description

mentioned in commit b701ea31

mentioned in merge request !1395 (merged)

mentioned in commit 23deb5df

mentioned in commit a0897449

mentioned in commit a2701665

mentioned in commit a848be31

mentioned in commit 2f057093

mentioned in commit 6584e269

mentioned in commit 97d9349c

closed with merge request !1395 (merged)

closed with commit 97d9349c