OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Среда, 23 Январь, 2019 06:12

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 14 ] 
Автор Сообщение
СообщениеДобавлено: Четверг, 10 Июнь, 2010 20:20 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9072
Откуда: Россия, Орёл
В конце мая пообщался я с Владиславом Шершульским - менеджером по стратегии платформ Microsoft Russia (на конференции НИТ-2010 в Судаке, на круглом столе у проф. Воскова).

Поспрашивал на разные темы, восстанавливаю по памяти и блокноту.

1. Какова судьба ОС Singularity? (viewtopic.php?f=60&t=904)
Это интересный и важный для компании проект, который (остановлен? - этого я не понял..), но очень много решений из него пошло в Windows 7 и в "облако"- Azure.

Некоторые высокоуровневые декларативные описания оттуда (в частности, протоколы взаимодействий) тоже пошли в дело, но, вот тут интересно, цитирую: "Те средства, которые были введены в языке Sing#, оказались переусложнёнными относительно реальных потребностей".

2. Про методы, которые MS применяет сейчас.
Рассказ Шершульского - про методы при разработке ОС. Про другие проекты, в какой мере в них - неясно.

Всюду в W7 и Azure проводится политика безопасного программирования (насколько я понимаю, специальные варианты C# - как Sing# в Singularity). Про промежуточный код (MSIL) речи не шло, мне крайне сомнительно, что они его используют в ОС.

Шершульский описал политику по надёжности так: сейчас произошёл кардинальный сдвиг в ситуации - если раньше атаки шли на саму операционную систему, то сейчас, после радикального повышения её надёжности, атаки на комп. системы идут обычно через верхний прикладной софт (аськи и проч.). Соответственно, Microsoft заинтересована в пропаганде и распространении методов безопасного программирования в сообществе разработчиков, чтобы повысить общую надёжность систем на основе Windows.

MS интенсивно применяет DSL (Domain-Specific Languages), высокоуровневые описания (в том числе графические), из которых автоматически генерирует код.
Всюду, тотально специфицируются контракты на функции (пред- и пост-условия), которые затем частично контролируются автоматическими верификаторами.
Я специально уточнил, делается ли это на уровне ядра ОС - да, именно там в первую очередь.

3. Какова роль Клеменса Шиперски в создании .NET?
Шершульский сказал, что точно ответить на этот вопрос не может, но вообще - "кто-то говорит, что работы Вирта сильно повлияли на эти технологии MS, кто-то говорит, что нет; я лично склоняюсь к последнему мнению. Однако постоянно идут совместные проекты MS с виртовскими коллективами из ETH, но это не mainstream".

4. Было упомянута серьёзная ориентация на GPU-процессоры. В новые версии ОС закладывается повсеместное использование их для ускорения обычных вычислений. Сказано про какой-то новый браузер от MS, который "в 40 раз быстрее Google Chrome" - и, вроде, как раз за счёт использования GPU (для Java Script, что ли? именно за скорость его выполнения идёт основная борьба сейчас).

5. Я задал вопрос про то, есть ли некий центральный, пусть коллективный, "мозг", который определяет стратегию технологического развития компании.

Ответ: технологии развиваются достаточно естественным, эволюционным, итеративным путём, "как вырастает"; однако есть так называемый "архитектурный офис", возглавляемый Реем Ози, который отвечает "за правильность развития архитектуры в продуктах MS", и вообще, Рей Ози - центральная фигура в этих вопросах.

Однако в целом в компании очень свободное принятие технологических решений. "Если вы - компетентный в данном вопросе специалист, то нет никаких административных способов помешать вам сделать именно так, как вы считаете нужным".

Microsoft Research - это департамент чистых исследований; есть продуктовые группы, развивающие продукты компании, есть теперь Microsoft Lab - промежуточная структура между MS Research и продуктовыми группами (отвечает за внедрение НИОКРов).

Также MS периодически выпускает Future Vision - "что видится лет на 10 вперёд" - и последнее время большое внимание уделяется Natural-User-Interface-ам.

6. Наконец, было рассказано о новой инициативе MS (внимание для И21!).

Создана новая продуктовая группа - Technical Computing. Её возглавил Кирилл Фаенов.
Цель - создать некий "офис для инженеров и научных работников", который бы позволил им решать свои задачи, с программированием, расчётами, лёгким использованием разного внешнего оборудования, кластеров, вычисления на графических процессорах, работу с базами данных научной ориентации, и т.п.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 10 Июнь, 2010 22:06 

Зарегистрирован: Пятница, 24 Апрель, 2009 16:28
Сообщения: 525
Откуда: Москва
Спасибо за информацию.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 10 Июнь, 2010 23:14 

Зарегистрирован: Воскресенье, 28 Май, 2006 22:12
Сообщения: 1338
Илья Ермаков писал(а):
...

По-моему, теперь я точно знаю, что такое "дежавю"...


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 10 Июнь, 2010 23:35 
Аватара пользователя

Зарегистрирован: Пятница, 25 Ноябрь, 2005 12:02
Сообщения: 7947
Откуда: Троицк, Москва
Илья Ермаков писал(а):
Цель - создать некий "офис для инженеров и научных работников", который бы позволил им решать свои задачи, с программированием, расчётами, лёгким использованием разного внешнего оборудования, кластеров, вычисления на графических процессорах, работу с базами данных научной ориентации, и т.п.
Зачем? Уже есть ББ. Подключать к нему тулзы, да и всё.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Четверг, 10 Июнь, 2010 23:38 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9072
Откуда: Россия, Орёл
Это нам с вами понятно.

А МС видит в очередной раз эту целевую нишу и в очередной же раз будет пытаться в ней поселиться. Как слон в посудной лавке.
Ведь не в первый раз они в неё метят?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 11 Июнь, 2010 00:53 

Зарегистрирован: Воскресенье, 03 Февраль, 2008 12:50
Сообщения: 232
Info21 писал(а):
Зачем? Уже есть ББ. Подключать к нему тулзы, да и всё.

Могу ошибаться, но тут не всё так просто. В ББ
  • Возможность написания сторонним разработчиком математических библиотек есть. Но без механизма перегрузки знаков операций ("операторов", не люблю так называть) это смотрится ... Не смотрятся совсем такие библиотеки.
  • Надо бы поддерживать *nix. И не только Linux, но и UNIX. Mac OS X, Sun Solaris. Этот недостаток (Windows-only), возможну, будет и у Микрософтовского продукта. Но могут и что-нибудь совместимое с Mono сделать...
  • Кластеры, GPU, ... Параллельные вычисления. Можно поддерживать на уровне библиотек, но... Да и нет таких библиотек.
Да, и получился... Zonnon? Scala? F#? ББ пока тут не вижу... Слишком много надо работать. И придётся расширять язык, вроде как. Перегрузка знаков операций упомянутая. Или вот тот же параллелизм. Даже (хотя почему даже?) в Fortran есть чистые функции. Пишем PURE и компилятор проверяет "чистоту". И только такие функции разрешается использовать во всяких-там FORALL и т.п. Без такого контроля тяжеловато будет...

Вот почитать того же Дейкстру... Честно ведь пишет в "Структурном программировании", раздел 7. О понимании программ, что
Цитата:
В оставшейся части этого раздела мы ограничимся рассмотрением программ, написанных для последовательной машины...


А быть может "количественная ограниченность наших возможностей" проявляется и в том, что для машины непоследовательной нужны эммм... иные принципы построения программ?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 11 Июнь, 2010 06:32 

Зарегистрирован: Воскресенье, 28 Май, 2006 22:12
Сообщения: 1338
kemiisto писал(а):
А быть может "количественная ограниченность наших возможностей" проявляется и в том, что для машины непоследовательной нужны эммм... иные принципы построения программ?

Извините, любопытства ради вопросец к Вам! - сколько годков Вам будет?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Пятница, 11 Июнь, 2010 11:03 

Зарегистрирован: Воскресенье, 03 Февраль, 2008 12:50
Сообщения: 232
Wlad2 писал(а):
Извините, любопытства ради вопросец к Вам! - сколько годков Вам будет?

У меня в Профиле информация верная, 24. Почти 25.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 14 Июнь, 2010 17:49 

Зарегистрирован: Среда, 04 Июль, 2007 16:43
Сообщения: 233
Info21 писал(а):
Илья Ермаков писал(а):
Цель - создать некий "офис для инженеров и научных работников", ...
Зачем? Уже есть ББ. Подключать к нему тулзы, да и всё.

Вроде речь идет об облегчении параллельного программирования и облачных вычислений, а также о создании нового рынка для Azure. Не совсем понятно, чем тут может помочь ББ. Хотя, если все сведется к созданию версии Excel для облачных вычислений, Microsoft might do a version of Excel that works with Azure, то да, уж лучше ББ...


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Понедельник, 12 Июль, 2010 23:07 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9072
Откуда: Россия, Орёл
Интервью с Кириллом Фаеновым:
http://lenta.ru/articles/2010/07/08/microsoft/


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 13 Июль, 2010 22:06 

Зарегистрирован: Среда, 04 Июль, 2007 16:43
Сообщения: 233
Интервью с Кириллом Фаеновым писал(а):
Мы позволяем им [...] использовать языки программирования, которые более удобны не для профессиональных программистов, а именно для людей с математическим образованием.


Интересно, и что это за языки? Неужели F#?


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Среда, 14 Июль, 2010 07:44 

Зарегистрирован: Четверг, 12 Июль, 2007 23:18
Сообщения: 1982
Откуда: Узбекистан, Чирчик
QWERTYProgrammer писал(а):
Интересно, и что это за языки? Неужели F#?
Кроме F# есть ещё и SML.NET.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 20 Июль, 2010 23:32 

Зарегистрирован: Среда, 04 Июль, 2007 16:43
Сообщения: 233
SML.NET похоже не обновлялся уже 4 года, не думаю, что о нем вдруг сейчас вспомнят.

Может быть развитие пойдет по направлению VSLab (Visual Studio Lab, ну почти BlackBox Lab...)? Опять же координатор проекта - соавтор Дона Сайма.


Вернуться к началу
 Профиль  
 
СообщениеДобавлено: Вторник, 20 Июль, 2010 23:39 
Модератор
Аватара пользователя

Зарегистрирован: Понедельник, 14 Ноябрь, 2005 18:39
Сообщения: 9072
Откуда: Россия, Орёл
Будут пытаться гнаться за LabView, возможно.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 14 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 1


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

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2019, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB