solo5
unikernels
Our great sponsors
| solo5 | unikernels | |
|---|---|---|
| 4 | 1 | |
| 868 | 49 | |
| 0.8% | - | |
| 5.8 | 0.0 | |
| 13 days ago | over 2 years ago | |
| C | OCaml | |
| ISC License | - |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
solo5
-
Mirage – A programming framework for building type-safe, modular systems
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.
- MirageOS v4.0.0 published: self-managed internet infrastructure with unikernels
unikernels
-
MirageOS v4.0.0 published: self-managed internet infrastructure with unikernels
Just substitute 'microservice' with 'unikernel' and you do broadly the same things. There's a prometheus library that you link with the MirageOS unikernel and it exports using that: https://github.com/mirage/prometheus
No FAQ for this sort of thing yet, but we should start assembling one sometime soon. Questions like this very welcome on the discussion forums: https://discuss.ocaml.org/t/ann-mirageos-4-0/9598 to help us get started.
There's a nice collection of unikernels over at: https://github.com/roburio/unikernels and https://github.com/tarides/unikernels for various infrastructure pieces (like https, smtp, dns, ip filters, etc) that are good to crib from for your own infrastructure.
What are some alternatives?
wiser - :racehorse: Extremely minimal vmm for linux written in C. Hopefully someday will spin linux-vm for you.
qubes-mirage-firewall - A Mirage firewall VM for QubesOS
Hypervisor-From-Scratch - Source code of a multiple series of tutorials about the hypervisor. Available at: https://rayanfam.com/tutorials
miragevpn - An opinionated implementation of the OpenVPN protocol
HaLVM - The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
prometheus - OCaml library for reporting metrics to a Prometheus server
unikernels - MirageOS unikernels
mirage - MirageOS is a library operating system that constructs unikernels
app-llama2-c - Llama 2 Everywhere (L2E)
cosmopolitan - build-once run-anywhere c library
nanos - A kernel designed to run one and only one application in a virtualized environment
unikraft - A next-generation cloud native kernel designed to unlock best-in-class performance, security primitives and efficiency savings.