Трудно ответить на ваш вопрос, возможно, потому, что не хватает специфики.
Проблема с возобновлением после (неуказанного) неперехваченного исключения заключается в том, что неясно, насколько ваш контекст процесса по-прежнему хорош. Мне кажется гораздо лучше, чтобы ваш процесс вышел из строя (и вышел), и процесс управления более высокого уровня запустит новый новый.
Если вы не ожидаете, что эти сбои произойдут с любой частотой (я надеюсь, это так), это не должно иметь большого значения, поскольку это медленнее, чем продолжение работы в исходном процессе.
Если вы это сделаете, то трассировка стека просто перейдет к стандартной ошибке неудачного процесса. Процесс управления может захватить его и аккуратно упаковать в журнал.
У меня есть такие системы (не в OCaml), и они хорошо работают. Насколько хорошо они работают для вас, зависит от многих факторов, поэтому я могу только предположить, что об этом стоит подумать.
что вы имеете в виду? Как хиты производительности? –
С моей точки зрения (невежества) может быть множество причин, почему это не очень хорошая идея, поэтому я не хочу догадываться, что это такое! :-) Но да, плохая производительность - это одно, что я имел в виду. –
Вы ожидаете, что через несколько минут вы получите более одного неперехваченного исключения? Если нет, то я не думаю, что производительность - это ваша главная забота. –