OberonCore https://forum.oberoncore.ru/ |
|
Беседа с В.Шершульским о платформах и методах Microsoft https://forum.oberoncore.ru/viewtopic.php?f=26&t=2685 |
Страница 1 из 1 |
Автор: | Илья Ермаков [ Четверг, 10 Июнь, 2010 20:20 ] |
Заголовок сообщения: | Беседа с В.Шершульским о платформах и методах Microsoft |
В конце мая пообщался я с Владиславом Шершульским - менеджером по стратегии платформ 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. Её возглавил Кирилл Фаенов. Цель - создать некий "офис для инженеров и научных работников", который бы позволил им решать свои задачи, с программированием, расчётами, лёгким использованием разного внешнего оборудования, кластеров, вычисления на графических процессорах, работу с базами данных научной ориентации, и т.п. |
Автор: | Peter Almazov [ Четверг, 10 Июнь, 2010 22:06 ] |
Заголовок сообщения: | Re: Беседа с В.Шершульским о платформах и методах Microsoft |
Спасибо за информацию. |
Автор: | Wlad [ Четверг, 10 Июнь, 2010 23:14 ] |
Заголовок сообщения: | Re: Беседа с В.Шершульским о платформах и методах Microsoft |
Илья Ермаков писал(а): ... По-моему, теперь я точно знаю, что такое "дежавю"... |
Автор: | Info21 [ Четверг, 10 Июнь, 2010 23:35 ] |
Заголовок сообщения: | Re: Беседа с В.Шершульским о платформах и методах Microsoft |
Илья Ермаков писал(а): Цель - создать некий "офис для инженеров и научных работников", который бы позволил им решать свои задачи, с программированием, расчётами, лёгким использованием разного внешнего оборудования, кластеров, вычисления на графических процессорах, работу с базами данных научной ориентации, и т.п. Зачем? Уже есть ББ. Подключать к нему тулзы, да и всё.
|
Автор: | Илья Ермаков [ Четверг, 10 Июнь, 2010 23:38 ] |
Заголовок сообщения: | Re: Беседа с В.Шершульским о платформах и методах Microsoft |
Это нам с вами понятно. А МС видит в очередной раз эту целевую нишу и в очередной же раз будет пытаться в ней поселиться. Как слон в посудной лавке. Ведь не в первый раз они в неё метят? |
Автор: | kemiisto [ Пятница, 11 Июнь, 2010 00:53 ] |
Заголовок сообщения: | Re: Беседа с В.Шершульским о платформах и методах Microsoft |
Info21 писал(а): Зачем? Уже есть ББ. Подключать к нему тулзы, да и всё. Могу ошибаться, но тут не всё так просто. В ББ
Вот почитать того же Дейкстру... Честно ведь пишет в "Структурном программировании", раздел 7. О понимании программ, что Цитата: В оставшейся части этого раздела мы ограничимся рассмотрением программ, написанных для последовательной машины... А быть может "количественная ограниченность наших возможностей" проявляется и в том, что для машины непоследовательной нужны эммм... иные принципы построения программ? |
Автор: | Wlad [ Пятница, 11 Июнь, 2010 06:32 ] |
Заголовок сообщения: | Re: Беседа с В.Шершульским о платформах и методах Microsoft |
kemiisto писал(а): А быть может "количественная ограниченность наших возможностей" проявляется и в том, что для машины непоследовательной нужны эммм... иные принципы построения программ? Извините, любопытства ради вопросец к Вам! - сколько годков Вам будет? |
Автор: | kemiisto [ Пятница, 11 Июнь, 2010 11:03 ] |
Заголовок сообщения: | Re: Беседа с В.Шершульским о платформах и методах Microsoft |
Wlad2 писал(а): Извините, любопытства ради вопросец к Вам! - сколько годков Вам будет? У меня в Профиле информация верная, 24. Почти 25. |
Автор: | QWERTYProgrammer [ Понедельник, 14 Июнь, 2010 17:49 ] |
Заголовок сообщения: | Re: Беседа с В.Шершульским о платформах и методах Microsoft |
Info21 писал(а): Илья Ермаков писал(а): Цель - создать некий "офис для инженеров и научных работников", ... Зачем? Уже есть ББ. Подключать к нему тулзы, да и всё.Вроде речь идет об облегчении параллельного программирования и облачных вычислений, а также о создании нового рынка для Azure. Не совсем понятно, чем тут может помочь ББ. Хотя, если все сведется к созданию версии Excel для облачных вычислений, Microsoft might do a version of Excel that works with Azure, то да, уж лучше ББ... |
Автор: | Илья Ермаков [ Понедельник, 12 Июль, 2010 23:07 ] |
Заголовок сообщения: | Re: Беседа с В.Шершульским о платформах и методах Microsoft |
Интервью с Кириллом Фаеновым: http://lenta.ru/articles/2010/07/08/microsoft/ |
Автор: | QWERTYProgrammer [ Вторник, 13 Июль, 2010 22:06 ] |
Заголовок сообщения: | Re: Беседа с В.Шершульским о платформах и методах Microsoft |
Интервью с Кириллом Фаеновым писал(а): Мы позволяем им [...] использовать языки программирования, которые более удобны не для профессиональных программистов, а именно для людей с математическим образованием. Интересно, и что это за языки? Неужели F#? |
Автор: | Geniepro [ Среда, 14 Июль, 2010 07:44 ] |
Заголовок сообщения: | Re: Беседа с В.Шершульским о платформах и методах Microsoft |
QWERTYProgrammer писал(а): Интересно, и что это за языки? Неужели F#? Кроме F# есть ещё и SML.NET.
|
Автор: | QWERTYProgrammer [ Вторник, 20 Июль, 2010 23:32 ] |
Заголовок сообщения: | Re: Беседа с В.Шершульским о платформах и методах Microsoft |
SML.NET похоже не обновлялся уже 4 года, не думаю, что о нем вдруг сейчас вспомнят. Может быть развитие пойдет по направлению VSLab (Visual Studio Lab, ну почти BlackBox Lab...)? Опять же координатор проекта - соавтор Дона Сайма. |
Автор: | Илья Ермаков [ Вторник, 20 Июль, 2010 23:39 ] |
Заголовок сообщения: | Re: Беседа с В.Шершульским о платформах и методах Microsoft |
Будут пытаться гнаться за LabView, возможно. |
Страница 1 из 1 | Часовой пояс: UTC + 3 часа |
Powered by phpBB® Forum Software © phpBB Group https://www.phpbb.com/ |