Чи пропускає блок системного таймера наступний запуск, якщо процес ще не закінчився?

Я хочу використовувати systemd для запуску команди кожні 5 хвилин. Однак існує ризик, що час від часу виконання завдання може зайняти більше 5 хвилин. У цей момент, systemd запустить другий екземпляр команди, тобто я закінчу два запущені процеси?

Чи можна сказати systemd не запускати другий процес, якщо перший не завершився? Якщо ні, то які хороші обходи?

Примітка. Я сподіваюся, що відповідь "Це поведінка за замовчуванням. Це просто не задокументовано". Якщо така ситуація, чи може хтось мені сказати, як подати помилку на свої документи?

Примітка: Cron має подібну проблему, про яку йдеться в /unix//a/173928/11244 . Я шукаю системний еквівалент.

Це поведінка за замовчуванням (і єдина). Це не є явно задокументованим, але має на увазі логіку роботи системи.

systemd.timer (5) читає:

Для кожного файлу таймера повинен існувати відповідний файл одиниці, який описує блок, який потрібно активувати, коли таймер закінчиться .

systemd (1) , у свою чергу, описує поняття одиничних станів та переходів між ними:

Одиниці можуть бути "активними" (значить розпочати, зв'язати, підключити, ..., залежно від типу одиниці, див. Нижче), або "неактивні" (тобто зупинено, не зв’язано, відключено, ...), а також у процес активації або деактивації , тобто між двома станами (ці стани називаються "активація", "дезактивація").

Це означає, що спрацьовування таймера призводить до "активації" узгоджуючого блоку, тобто його переходу в "активний" стан.

Якщо підрозділ відповідності вже "активний" під час "активації" (для сервісного блоку це означає, що "основний процес все ще запущений", якщо у нього не є Type=oneshotі RemainAfterExit=true), повинно бути очевидним, що жодних дій не буде прийнято.