М

Напевно багато хто з вас чули про Midori, що буде наступним кроком для Windows. Нова операційна система, написана з нуля, з новим ядром і написана сучасною мовою. Настільки сучасний, що його ще навіть не існує як такого.

Мова під кодовою назвою M заснована на C і спеціально розроблена для програмування операційних систем, здатних досягати найнижчого рівня але без втрати корисних абстракцій, необхідних для створення більш поширених програм, таких як програма користувача.

У статті у своєму блозі Джо Даффі, один із розробників Midori, поділився дуже цікавими подробицями про цю мову майбутнього. Основна ідея проекту полягає в тому, щоб створити мову з type-safe (тип-safety), як C, але c з дуже хорошою продуктивністю , наприклад C++.

Значна частина зусиль, пов’язаних із підвищенням продуктивності, спрямована на налаштування двох областей C: збірника сміття та системи введення тексту Короткий погляд, C Збирач сміття для програми кожного разу X шукає об’єкти, які більше не використовуються (наприклад, ваш браузер зберіг кілька зображень у оперативній пам’яті, але вони більше не потрібні) і звільняє їх пам’ять. Для розробників це система, яка полегшує керування пам’яттю, але, як ви можете собі уявити, вона працює повільніше. M був би розумнішим у цьому відношенні, запозичивши кілька ідей із C++, щоб краще зрозуміти життєвий цикл об’єктів (коли вони починають використовуватися та коли вони більше не потрібні) і таким чином бути більш ефективним, коли справа доходить до розподілу та звільнення пам’яті. .без участі збирача сміття.

"

З іншого боку, модифікації в системі друку спрямовані на вирішення однієї з проблем, які зараз мають більшість старих мов (читай: створених до 2005 року), паралелізм Зараз комп’ютери ростуть не у висоту – швидкість процесора – а в ширину, з більшою кількістю паралельних ядер. Створювати програми, які добре використовують таку паралельну обробку, нелегко, і є багато тонких деталей, особливо коли обмінюється даними між кількома процесами або потоками."

M принесе концепції з функціональних мов програмування, головним чином незмінність об’єктів і обробку побічних ефектів методів, що полегшить програмістам і компіляторам створення кількох потоків для скористайтеся перевагами кількох ядер комп'ютерів і таким чином значно підвищте продуктивність.

Крім того, M також принесе нову систему обробки помилок: швидку, просту у використанні, ефективну, використовує кодові контракти для обмеження поведінки програми дійсними шляхами, і легку для розуміння, щоб компілятор може виконувати оптимізацію.Таким чином, ми б говорили про мову, яка полегшує створення більш безпечних і надійних програм, щось дуже важливе, якщо ми хочемо використовувати його для операційної системи.

Досить з технічним жаргоном: що це означає?

Трохи занурившись у світ мов програмування, що це все означає?

По-перше, Microsoft, здається, дуже серйозно ставиться до наступного етапу Windows. Мері Джо Фолі каже, що Midori пройшов шлях від простого дослідницького проекту до того, як перейшов під крило Террі Майерсона в групі Unified Operating System. M і Midori — це не просто експеримент, а шлях вперед для Microsoft.

Чи є сенс готувати іншу Windows? Звичайно. Як і будь-яка інша програма, операційна система має обмежений термін служби. Зараз світ дуже відрізняється від того, коли була розроблена Windows, і незалежно від того, наскільки гнучкою є система, стільки змін протягом багатьох років, щоб адаптувати її до нових сценаріїв, призводять до збитків, і починати з нуля стає вигідніше ( те, що нам, комп’ютерникам, дуже подобається).

Звичайно, Midori не буде в короткостроковій або середньостроковій перспективі. Але коли це буде завершено (якщо це колись буде зроблено, це теж непевно), це буде система, яка, будучи паралельною та орієнтованою на хмару з самого початку, поставить Microsoft на голову у світі операційних систем, принаймні на технічному рівні та рівні потужності.

Щодо M, якби, як було обіцяно, це було розширення C без непідтримуваних змін, багато розробників могли б легко перейти на нього. І якщо вони випустять його повністю з коробки, що вони також пообіцяли, вони можуть вирватися з «циклу Microsoft», у якому C зараз застряг, розширити його та отримати величезну перевагу над інші мови та компанії.

На даний момент здається, що мова матиме майбутнє, і ми повинні знати більше подробиць найближчими тижнями.Що стосується Мідорі, давайте пам’ятати, що він навіть не офіційний, нам все одно знадобиться багато часу, щоб дізнатися про нього більше, але ця історія говорить нам, куди прямує Microsoft.