Re:Mirage – A programming framework for building type-safe, ...
by eightnoteight on Friday November 24, 2023 @07:02AM
(#38403097)
actually I think this might be the intention of mirage as well, especially since they put "modularity" in the title
Re:Mirage – A programming framework for building type-safe, ...
by hannesm on Friday November 24, 2023 @12:43PM
(#38406314)
What you already can do is attaching gdb -- either live or at a core dump. Please see https://github.com/Solo5/solo5/blob/master/docs/debugging.md for detailed instructions ;)
What you as well can do is record-replay -- well, at least there used to be this option, I'm now lost whether it has never been merged anywhere, or it is stuck in some PR somewhere. This was truly great - since the external interface is so thin, it is easily doable to dump all external events (API calls and returns) onto disk and replay one-by-one, inspecting the state.
but I feel like similar to kubernetes container injection systems. I suspect in future we would see dynamic injection into the unikernel where you can enable debugging environment instantly.
like the library unikernel exposes a plugin system that you can inject in future, this way the unikernel is lightweight and only gets bloated when you eventually want to debug something.