GaloisInc/HaLVM
چه کاری انجام میده؟
این پروژه یک ماشین مجازی سبک مبتنی بر هسکل هست که از GHC روی Xen استفاده میکنه تا برنامههای هسکل رو به صورت مستقیم روی هایپروایزر اجرا کنه، بدون نیاز به سیستم عامل کامل.
کاربرد:
برای ساخت سیستمهای بسیار سبک و امن که فقط یک برنامه خاص رو اجرا میکنن، مثل سرویسهای شبکه، فایروالها یا سیستمهای تعبیه شده.
در چه شرایطی بهتره استفاده شود؟
وقتی به دنبال کمترین حجم اجرایی و بیشترین امنیت هستی و میخوای برنامههای هسکل رو مستقیماً روی سختافزار (از طریق Xen) اجرا کنی. همچنین برای محیطهای کلود سبک یا unikernel مناسبه.
چند مثال از موارد استفاده:
ساخت یک فایروال هوشمند با هسکل
اجرای یک سرویس HTTPS بدون سیستم عامل
توسعه سیستمهای امن تعبیه شده برای صنایع حساس
شبیهسازی محیطهای ایزوله برای تست کد
- ##Haskell
- ##Unikernel
- ##Xen
- ##FunctionalProgramming
- ##Security
- ##CloudComputing
- ##LightweightVM
- ##GHC
- ##SystemSecurity
- ##EmbeddedSystems