LINUX.ORG.RU

Microsoft представила проекты по поддержке eMIPS разработчикам NetBSD

 , , , ,


0

1

27 января разработчики NetBSD объединили код по поддержке платформы eMIPS («Extensible MIPS») с древом исходных проектов NetBSD. В рамках открытия кода были представлены еще два проекта:

  • безопасный формат исполняемых файлов (secure executable format);
  • платформа и планировщик для ускорения выполнения приложений.

Все имущественные права на код переданы фонду NetBSD Foundation. Данные разработки связаны с проектами Microsoft Research по созданию компьютера с легко изменяемой конфигурацией.

Как основу проекта выбрали NetBSD благодаря легкости ее портирования на другие аппаратные платформы. В конце концов, к MS обратились с предложением, что неплохо было бы посмотреть, а что же получилось в результате, и исследовательское подразделение MS откликнулось на это предложение, открыв код поддержки emips под лицензией BSD.

В качестве аппаратуры для тестирования были использованы устройства FPGA Xilinx ML401/2 (Virtex V4), XUP (V5) и Beecube BEE3 (4xV5), а также симулятор Giano.

Архитектура eMIPS позволяет организовать динамическую загрузку/выгрузку расширений процессора, а так же планировать работу аппаратных компонентов ЦП исходя из того, какая вычислительная задача стоит перед процессором сейчас.

Реконфигурация с точки зрения выполнения приложения выглядит так:

  • сначала происходит мониторинг работы приложения для выявления наиболее медленных инструкций;
  • затем создаются сложные инструкции процессора, которые в ходе выполнения программы заменяются инструкциями по работе с оптимизированными под задачу расширениями. Такая замена организуется за счет применения патча к программе «на лету».

>>> Подробности

★★★★★

Проверено: post-factum ()
Последнее исправление: post-factum (всего исправлений: 2)

Ответ на: комментарий от ipatov

> Кстати, можно запрограммировать симулятор ЛОР-линуксоида

Здесь по сути уже так — «Шаман и боты»

anonymous
()

> с _древом_ исходных проектов NetBSD

боярский ЛОРъ

Ichiro
()
Ответ на: комментарий от I-Love-Microsoft

я так понимаю, они гордятся созданием стандартных методов, позволяющих прямо на ходу по необходимости делить fpga на домены, программировать и включать/отключать получающиеся акселераторы. Ну и продумали, как все это можно использовать.

AVL2 ★★★★★
()

Очень показательно. Как говорится «скажи мне, кто твой друг, и я скажу кто ты».

EvgenijM86
()
Ответ на: комментарий от xhat

Я верю

Я верю

Я верю


Не стоит, право, оставлять сообщений, если вместо знаний у тебя в голове вера. Право, не стоит.

Alsvartr ★★★★★
()
Ответ на: комментарий от xhat

>Но я сомневаюсь в том, что MSR делает что-то фундаментальное, сравнимое с тем, что делала Bell labs в свое время.

Пфф, стало быть, про Луку Карделли, исследования MSR в DNA computing, molecular programming, systems biology и ещё кучу важного ты не слышал?

MCP
()
Ответ на: комментарий от tailgunner

>> Хаскиль типо говно для быдла тоже, да?

Хаскелл придумали отнюдь не в MSR


Однако вся основная разработка идет там, бабло тоже практически всё оттуда.

Сингуларити тоже в ту же кучу.


Реализация старой идеи - погугли насчет javaOS. Единственное относительно новое в Singularity - это Bartok, да и то с натяжкой.


Тогда уж ты погугли Symbolics и Genera.

tensai_cirno ★★★★★
()
Ответ на: комментарий от yoghurt

>Однако он уже был включен в последнюю Visual Studio :)

Ну можно же было его куда-нибудь впихнуть :)

Впрочем стоит посмотреть, тем более с дотнетовскими либами должно быть очень вкусно.

tensai_cirno ★★★★★
()
Ответ на: комментарий от anonymous

Я бы ради одной скрепки отказался бы от всех линуксов на свете.

tensai_cirno ★★★★★
()
Ответ на: комментарий от tensai_cirno

>>> Сингуларити тоже в ту же кучу.

Реализация старой идеи - погугли насчет javaOS. Единственное относительно новое в Singularity - это Bartok, да и то с натяжкой.

Тогда уж ты погугли Symbolics и Genera.

Зачем? Я о них и так знаю. И я просто привел пример реализации основных идей Singularity на 10 (или 15?) лет раньше самой Singularity, не называя JavaOS чем-то прорывным.

tailgunner ★★★★★
()
Ответ на: комментарий от tailgunner

Я особо не смотрел, идеи ни там ни там к сожалению, но у сообщества нету managed OS, а мне это кажется довольно интересным. К сожалению на данный момент не владею ни какой теорий по ОС, надо бы почитать. Что есть помимо Таненбаума?

tensai_cirno ★★★★★
()
Ответ на: комментарий от xhat

> Я, конечно, не спец в ms research, из того что они сделали знаю только C#(=java с низким порогом входа), F#(OCaml на .NET) + посмотрел в вики - они еще сделали проект «Виртуальная Индия».

Cпрашивается, что тут здорового?

GHC же!

anonymous
()
Ответ на: комментарий от anonymous

> кстати ghc тоже тот еще быдлокод, там ООП и не пахнет даже.

Какой глупый анонимус. С точки зрения функционального подхода ООП и есть быдлокод.

anonymous
()
Ответ на: комментарий от AVL2

> походу, именно поэтому гхц/хацкел создает полное ощущение готовности, но при этом использовать его нереально.

И, при всей кажущейся нереальности использования, его используют. Такой вот парадокс.

anonymous
()
Ответ на: комментарий от anonymous

> Какой глупый анонимус. С точки зрения функционального подхода ООП и есть быдлокод.

Функциональный подход это самый быдлокод и есть. Никакой инкапсуляции, протекающие абстракции, лапшекод, непотребных размеров функции, гнилая модульность.

anonymous
()
Ответ на: комментарий от anonymous

> Никакой инкапсуляции, протекающие абстракции, лапшекод, непотребных размеров функции, гнилая модульность.

Ааааарш уроки делать! :-D

anonymous
()
Ответ на: комментарий от anonymous

> О да, целых пять человек во всем мире. Включая самих разработчиков ghc.

Это все же на 4 человека больше, чем 1 человек, использующий ООП.

anonymous
()

отличная, ЗАМЕЧАТЕЛЬНАЯ новость!

amgorb
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.