М

Със сигурност много от вас са чували за Midori, което би било следващата стъпка за Windows. Нова операционна система, написана от нулата, с ново ядро ​​и написана на модерен език. Толкова модерен, че дори все още не съществува като такъв.

Езикът с кодово име M е базиран на C и е специално проектиран за програмиране на операционни системи, способни да достигнат най-ниското ниво но без да се губят полезните абстракции, необходими за създаване на по-често срещани програми, като например потребителско приложение.

В статия в блога си Джо Дъфи, един от разработчиците на Midori, сподели много интересни подробности за този бъдещ език. Основната идея на проекта е да се създаде език с type-safe (тип-safety) като C, но c с много добра производителност , като C++.

Голяма част от усилията за производителност отиват в настройването на две области на C: сборника за боклук и системата за писане Накратко, C събирач на боклук за програма всеки X път, търси обекти, които вече не се използват (например браузърът ви е запазил няколко изображения в RAM, но вече не се нуждае от тях) и освобождава паметта им. За разработчиците това е система, която освобождава много сложност, когато става въпрос за управление на паметта, но както можете да си представите, е по-бавна. M би бил по-умен в това отношение, заимствайки няколко идеи от C++, за да разбере по-добре жизнения цикъл на обектите (кога започват да се използват и когато вече не са необходими) и по този начин да бъде по-ефективен, когато става въпрос за разпределяне и освобождаване на памет , без събирачът на боклук да влиза в действие.

"

От друга страна, модификациите в системата за въвеждане се стремят да се справят с един от проблемите, които повечето стари езици (прочетете: създадени преди 2005 г.) в момента имат, parallelism В момента компютрите не растат на височина - скорост на процесора - а на ширина, с повече ядра в паралел. Създаването на програми, които използват добре такава паралелна обработка, не е лесно и има много фини детайли, особено когато се споделят данни между множество процеси или нишки."

M ще донесе концепции от функционални езици за програмиране, главно неизменност на обекти и обработка на странични ефекти на метода, което ще улесни програмистите и компилатора да създават множество нишки за възползвайте се от множеството ядра на компютрите и по този начин значително подобрете производителността.

В допълнение, M ще донесе и нова система за обработка на грешки: бърза, лесна за използване, ефективна, използваща кодови договори за ограничаване на поведението на програмата до валидни пътища и лесна за разбиране, така че компилаторът може да извършва оптимизации.Така ще говорим за език, който улеснява създаването на по-сигурни и стабилни програми, нещо много важно, ако искаме да го използваме за операционна система.

Стига с техническия жаргон: какво означава това?

След като се потопите за малко в света на езиците за програмиране, какво означава всичко това?

Първо, Microsoft изглежда приема следващия етап на Windows много сериозно. Мери Джо Фоли казва, че Midori се е превърнал от просто изследователски проект в попаднал под крилото на Тери Майерсън, в групата Unified Operating System. M и Midori не са просто експеримент, а пътят напред за Microsoft.

Има ли смисъл да подготвям друг Windows? Разбира се. Като всяка друга програма, операционната система има ограничен живот. Сега светът е много по-различен от времето, когато Windows е проектиран, и колкото и гъвкава да е системата, толкова много промени през годините, за да я адаптират към нови сценарии, в крайна сметка оказват влияние и започва да бъде по-изгодно да се започне от нулата ( нещо, което ние компютърните учени много харесваме).

Разбира се, Midori няма да съществува в краткосрочен или средносрочен план. Но когато бъде завършена (ако някога бъде направена, което също не е сигурно), това ще бъде система, която, тъй като е паралелна и фокусирана върху облака от самото начало, ще постави Microsoft на чело в света на операционни системи, поне на техническо ниво и ниво на капацитет.

Що се отнася до M, ако, както беше обещано, беше разширение на C без неподдържани промени, много разработчици биха могли лесно да преминат към него. И ако го пуснат напълно извън кутията, което също са обещали, може да успеят да го измъкнат от „примката на Microsoft“, в която C е заседнал в момента, да го разширят и по този начин да получат огромно предимство пред други езици и компании.

Засега изглежда, че езикът ще има някакво бъдеще и трябва да научим повече подробности през следващите седмици.Що се отнася до Мидори, нека си припомним, че той дори не е официален, все пак ще ни отнеме много време, за да научим повече за него, но този тип история ни казва накъде се е запътила Microsoft.