امنیت
۲۱ خرداد ۱۴۰۵
موتور «ایزولیشن» رسمیً تأییدشدهٔ EC2، تضمین ریاضیاتی جداسازی ماشینهای مجازی را فراهم میکند.
AWS اعلام کرد که نمونههای M9g و M9gd مبتنی بر پردازنده Graviton5، اولین سرورهای EC2 با Nitro Isolation Engine هستند؛ این مؤلفه بهصورت رسمی با Isabelle/HOL اثبات شده که ایزولهسازی بین ماشینهای مجازی را بهدرستی اعمال میکند. این اولین هیپرویزور تجاری است که بهصورت ریاضیاتی تأیید شده و بر پایه Rust و μRust ساخته شده است.
چرا مهمه؟
این گام، تضمین امنیت و پایداری زیرساختهای ابری را به سطحی میبرد که قبلاً فقط در پروژههای تحقیقاتی ممکن بود.
به درد کی میخوره؟
security_professionals, devops, tech_leads, developers
تو عمل چی کار کنیم؟
توسعهدهندگان میتوانند با اطمینان بیشتری از ایزولهسازی VMها استفاده کنند و تمرکز خود را بر ویژگیهای تجاری بگذارند، نه روی باگهای امنیتی زیرساخت.
نظر BlueIT News
تأیید ریاضیمحور ایزولهسازی در ابرهای عمومی، نقطه عطفی برای اعتماد به زیرساختهای ابری است.