Вот какое письмо я посылал 20 апреля в Gist по поводу того, что они путали Verilog и Coq - они это поправили: I investigated the matter and reached the conclusion that the current implementation of language recognition is wrong (not simply confusing, imperfect or ambiguous, but wrong) and has to be corrected. Let me explain why.
Based on my and other people experiments, Linguist confuses Verilog and Coq when a file has .v extension and Cyrillic is used in comments. My hypothesis why it happened:
1. I guess for a person who implemented this, Verilog and Coq are two equally obscure (not widely used) languages with similar status. Since Linguist lists languages alphabetically in its file, Coq may (I guess) have priority versus Verilog;
2. Since many Coq users are from France, a possible heuristics which the implementer used "when a file has .v extension and contains non-English symbols, it must be Coq"
3. Since Verilog is a subset of SystemVerilog (just like C is (more or less) a subset of C++), a possible workaround suggested is to change all .v files to .sv.
All three assumptions are false, and false enough to warrant a correction.
1. With all due respect to automatic theorem proving community (Coq), status of Verilog is very different from Coq. Verilog is not well-known to pure software engineers, but is it a bread and butter for chip designers, with several hundred thousand users worldwide. Every and each integrated chip around (Apple iPhone, embedded computers in cars, watches, TVs, practically all chips) is based on millions of lines of Verilog. Every digital system on chip in those companies uses Verilog in the same way as Linux and Windows software engineers use C. Verilog versus Coq is like C versus Erlang. With all due respect to Erlang community, if somebody in Git started to prioritize Erlang support to C support, people would think this is not reasonable, purely based on user base.
2. When I my collegue removed Cyrillic from comments in Verilog file, GIST sudently started interpreting it as Verilog rather than Coq. If a character is a part of heuristic, this should be reverted. There is a lot of Russian Verilog code these days - for example, my friend in a Russian helicopter manufacturer uses Verilog for their embedded computers (he is active in open-source community as well), as well as such Russian companies as ELVEES (computer vision chip), Baikal Electronics (industrial processors) etc.
3. Yes, SystemVerilog (.sv) is a superset of Verilog (.v), but asking everybody to change the extension just to avoid confusion with Coq is unreasonable, it is just like asking Linus Torvalds and his community to rename all .c files in Linux code base to .cpp. Many electronics companies uses Verilog-2001 (.v) for RTL (register-transfer-level) code and SystemVerilog (.sv) for testbench code, and forcing .sv on all those people looks like unreasonable request.
We need to do something about. In addition to my job in Imagination Technologies, I am a member of non-profit educational projects to introduce Verilog, FPGA, logic synthesis and other related technologies to wide community, starting from school children, and constant switching to .sv or avoiding Cyrillic when disseminating snippets of Verilog code is perceived as annoyance to me. I am not an enemy of Coq community, but let's change the recognition in a way that Coq is identified if and only if the code uses Coq-specific non-Verilog keywords and constructs.
Thank you,
Yuri Panchul
Based on my and other people experiments, Linguist confuses Verilog and Coq when a file has .v extension and Cyrillic is used in comments. My hypothesis why it happened:
1. I guess for a person who implemented this, Verilog and Coq are two equally obscure (not widely used) languages with similar status. Since Linguist lists languages alphabetically in its file, Coq may (I guess) have priority versus Verilog;
2. Since many Coq users are from France, a possible heuristics which the implementer used "when a file has .v extension and contains non-English symbols, it must be Coq"
3. Since Verilog is a subset of SystemVerilog (just like C is (more or less) a subset of C++), a possible workaround suggested is to change all .v files to .sv.
All three assumptions are false, and false enough to warrant a correction.
1. With all due respect to automatic theorem proving community (Coq), status of Verilog is very different from Coq. Verilog is not well-known to pure software engineers, but is it a bread and butter for chip designers, with several hundred thousand users worldwide. Every and each integrated chip around (Apple iPhone, embedded computers in cars, watches, TVs, practically all chips) is based on millions of lines of Verilog. Every digital system on chip in those companies uses Verilog in the same way as Linux and Windows software engineers use C. Verilog versus Coq is like C versus Erlang. With all due respect to Erlang community, if somebody in Git started to prioritize Erlang support to C support, people would think this is not reasonable, purely based on user base.
2. When I my collegue removed Cyrillic from comments in Verilog file, GIST sudently started interpreting it as Verilog rather than Coq. If a character is a part of heuristic, this should be reverted. There is a lot of Russian Verilog code these days - for example, my friend in a Russian helicopter manufacturer uses Verilog for their embedded computers (he is active in open-source community as well), as well as such Russian companies as ELVEES (computer vision chip), Baikal Electronics (industrial processors) etc.
3. Yes, SystemVerilog (.sv) is a superset of Verilog (.v), but asking everybody to change the extension just to avoid confusion with Coq is unreasonable, it is just like asking Linus Torvalds and his community to rename all .c files in Linux code base to .cpp. Many electronics companies uses Verilog-2001 (.v) for RTL (register-transfer-level) code and SystemVerilog (.sv) for testbench code, and forcing .sv on all those people looks like unreasonable request.
We need to do something about. In addition to my job in Imagination Technologies, I am a member of non-profit educational projects to introduce Verilog, FPGA, logic synthesis and other related technologies to wide community, starting from school children, and constant switching to .sv or avoiding Cyrillic when disseminating snippets of Verilog code is perceived as annoyance to me. I am not an enemy of Coq community, but let's change the recognition in a way that Coq is identified if and only if the code uses Coq-specific non-Verilog keywords and constructs.
Thank you,
Yuri Panchul
См. полный фотоотчет о прогулке по Mount Vision на https://www.facebook.com/yuri.panchul/posts/10155154340628392
Facebook
Log in or sign up to view
See posts, photos and more on Facebook.
Если вы собираетесь собеседоваться в Apple или Байкал на одну из позиций по проектированию или верификации систем на кристалле (System-on-Chip - SoC), вам совершенно абсолютно точно нужно подготовиться к вопросам по пересечению тактового домена (Clock Domain Crossing- CDC). В SoC типа айфона есть много разных блоков, которые работают на разной тактовой частоте. Чтобы передача данных между ними не глючила, нужно 1) знать почему она может глючить; 2) владеть приемами, которые позволяют избегать этих глюков и 3) четко понимать как используемые приемы влияют на пропускную способность соединения.
Подготовиться к этой секции интервью нужно основательно. Если вы только почитаете про метастабильность в Харрис & Харрис и начнете выкручиваться в стиле ответов Алисы Тепляковой "а, метастабильность ... даа, синхронайзеры ... ммм ... асинхронные FIFO ..." - то тройку на экзамене у жалостливого преподавателя нетопового университета стран бывшего СССР вы может и вытяните, но хорошую работу в коммерческой компании не выиграете.
Как же подготовится? В Америке по такому вопросу готовят на шестичасом семинаре, который стоит $800 с каждого ученика в классе. Но в России группа энтузиастов подготовила бесплатный семинар, на основе как открытых статей автора американского семинара Клифа Каммингса, так и практикума из МИЭТ и собственных лабораторных занятий.
Присоединяйтесь к следующему занятию Сколковской Школы Синтеза Цифровых Схем, которое пройдет 12 марта 2022 года в Капсуле №2 Технопарка Сколково с 12:00 до 15:00.
Школа 2021/22. Занятие 15. Асинхронные частоты, пересечение клоковых доменов и синхронизация. Ведет занятие Александр Силантьев, МИЭТ
Если вы хотите прийти на занятие в Сколково, напишите емейл Александру Биленко info@chipexpo.ru (это гарантирует место с компьютером и FPGA платой). Если вы не умеете работать с FPGA платами - не беда, бОльшая часть материала показывается с помощью симуляции.
Также желательно зарегистрироваться на сайте Школы. Зарегистрировавшиеся получат по емейлу упражнения для проверки своих знаний и умений.
Если не можете приехать - вот трансляция в Youtube, которая начнется в субботу в полдень.
https://habr.com/ru/news/t/655279/
Подготовиться к этой секции интервью нужно основательно. Если вы только почитаете про метастабильность в Харрис & Харрис и начнете выкручиваться в стиле ответов Алисы Тепляковой "а, метастабильность ... даа, синхронайзеры ... ммм ... асинхронные FIFO ..." - то тройку на экзамене у жалостливого преподавателя нетопового университета стран бывшего СССР вы может и вытяните, но хорошую работу в коммерческой компании не выиграете.
Как же подготовится? В Америке по такому вопросу готовят на шестичасом семинаре, который стоит $800 с каждого ученика в классе. Но в России группа энтузиастов подготовила бесплатный семинар, на основе как открытых статей автора американского семинара Клифа Каммингса, так и практикума из МИЭТ и собственных лабораторных занятий.
Присоединяйтесь к следующему занятию Сколковской Школы Синтеза Цифровых Схем, которое пройдет 12 марта 2022 года в Капсуле №2 Технопарка Сколково с 12:00 до 15:00.
Школа 2021/22. Занятие 15. Асинхронные частоты, пересечение клоковых доменов и синхронизация. Ведет занятие Александр Силантьев, МИЭТ
Если вы хотите прийти на занятие в Сколково, напишите емейл Александру Биленко info@chipexpo.ru (это гарантирует место с компьютером и FPGA платой). Если вы не умеете работать с FPGA платами - не беда, бОльшая часть материала показывается с помощью симуляции.
Также желательно зарегистрироваться на сайте Школы. Зарегистрировавшиеся получат по емейлу упражнения для проверки своих знаний и умений.
Если не можете приехать - вот трансляция в Youtube, которая начнется в субботу в полдень.
https://habr.com/ru/news/t/655279/
Хабр
Новости импортозамещения в пересечении тактового домена
Это моя шпаргалка по пересечению тактового домена, синхронизации для устранения метастабильности, кодам Грея, обратной связью и связанным вопросам Если вы собираетесь собеседоваться в Apple или Байкал...
👍1
Дал комментарий в статье на Arpe.ru: "... современные российские фабрики, в частности зеленоградский "Микрон", могут выпускать микросхемы только с техпроцессом до 90 нанометров. "Этого достаточно для производства современных микроконтроллеров для приложений типа электрических счетчиков и автомобильных тормозов. Десктопные процессоры на таких технологиях выпускались 20 лет назад.
Я читал о планах создания российского производства на технологии 28 нанометров, но не в курсе, насколько этот план близок к осуществлению. Если бы построить такую фабрику, и если бы на ней удалось достичь высокий выход годных чипов (yield), то можно было бы выпускать компьютеры, похожие на современный Lenovo S330. Это так называемый хромбук, недорогой компьютер для школ с чипом MediaTek MT8173C на 28 нанометров, на основе лицензируемых ядер ARM и операционной системой ChromeOS. Хромбуки (как с чипами на основе ARM так и другими) стали самыми популярными компьютерами в американских школах, они обогнали и компьютеры с Windows, и Apple", - сообщил он.
В России омская компания "Промобит" продемонстрировала прототип похожего по возможностям ноутбука BitBlaze. "Вместо чипа MediaTek этот компьютер использует процессор "Байкал-М", тоже на основе ядер от ARM, - рассказывает Юрий Панчул. - Вместо CromeOS на такой компьютер можно ставить, например, российский дистрибутив ALT Linux. Хотя такой компьютер неудобно применять для обработки видео, он совершенно достаточен для большинства офисных операций типа редактирования таблиц, а также для применения в школах. Однако, чтобы такое решение работало, разработчикам хардвера нужно будет тесно кооперироваться с разработчиками софтвера, компаниями типа "Яндекс" и 1С.
Одновременно с "Байкалом" над процессорами похожего класса работает команда Syntacore компании "Ядро", причем их процессор будет использовать спроектированное в России процессорное ядро на основе архитектуры RISC-V. Если это решение взлетит, российской экосистеме удастся не только избавиться от зависимости от иностранных ядер ARM, но получить ядро, которое можно попробовать продавать на внешнем рынке. Если своей фабрики на 28 нанометров построить не удастся, то российским разработчикам прийдется придумывать схемы партнерства с разработчиками систем на кристалле в КНР и Индии, которые теоретически могли бы лицензировать то же ядро от Syntacore и выпустить свой чип с российким ядром. Попытки наладить производство российких чипов на фабрике SMIC в КНР скорее всего будут неудачными, так как эта фабрика уже находится под санкциями США и при попытке работать с россиянами эти санкции, вероятно, ужесточат".
"Разумеется, в интересах российской экосистемы было бы построить и современные фабрики, но: во-первых, фабрика типа TSMC стоит от 10 до 20 миллиардов долларов. Во-вторых, для ее поддержки нужно несколько тысяч человек тренированного персонала, а тайваньцы тренировали людей в США, в-третьих, для такой фабрики потребуется оборудование от ASML и Appied Materials, что под санкциями получить будет невозможно. Построить же собственное точное станкостроение такого уровня займет много лет.
Дополнительными проблемами является производство своих FPGA/ПЛИС. В России они разрабатываются в Воронеже и "Микроном", но полностью заместить ими FPGA от Xilix и Intel пока нельзя, возможно попробовать китайкие FPGA Gowin, - прокомментировал Юрий Панчул. - Отдельной темой является создание собственного софтвера для проектирования. На стандартный софтвер от американских компаний Synopsys и Cadence скорее всего будут наложены санкции, а открытый софтвер (например Yosys, OpenLANE) примерно так же слаб, как Linux был слаб по сравнению с Windows в начале 1990-х.
Однако, уже сейчас стоит учить алгоритмам по автоматизации проектирования микросхем российских студентов, чтобы эту проблему можно было решить хотя бы через несколько лет. Такой сотфтвер уже начал использовать зеленоградский Миландр для FPGA, но это нужно расширить".
http://arpe.ru/news/Mikroelektronike_nuzhen_dolgosrochnyy_plan/
Я читал о планах создания российского производства на технологии 28 нанометров, но не в курсе, насколько этот план близок к осуществлению. Если бы построить такую фабрику, и если бы на ней удалось достичь высокий выход годных чипов (yield), то можно было бы выпускать компьютеры, похожие на современный Lenovo S330. Это так называемый хромбук, недорогой компьютер для школ с чипом MediaTek MT8173C на 28 нанометров, на основе лицензируемых ядер ARM и операционной системой ChromeOS. Хромбуки (как с чипами на основе ARM так и другими) стали самыми популярными компьютерами в американских школах, они обогнали и компьютеры с Windows, и Apple", - сообщил он.
В России омская компания "Промобит" продемонстрировала прототип похожего по возможностям ноутбука BitBlaze. "Вместо чипа MediaTek этот компьютер использует процессор "Байкал-М", тоже на основе ядер от ARM, - рассказывает Юрий Панчул. - Вместо CromeOS на такой компьютер можно ставить, например, российский дистрибутив ALT Linux. Хотя такой компьютер неудобно применять для обработки видео, он совершенно достаточен для большинства офисных операций типа редактирования таблиц, а также для применения в школах. Однако, чтобы такое решение работало, разработчикам хардвера нужно будет тесно кооперироваться с разработчиками софтвера, компаниями типа "Яндекс" и 1С.
Одновременно с "Байкалом" над процессорами похожего класса работает команда Syntacore компании "Ядро", причем их процессор будет использовать спроектированное в России процессорное ядро на основе архитектуры RISC-V. Если это решение взлетит, российской экосистеме удастся не только избавиться от зависимости от иностранных ядер ARM, но получить ядро, которое можно попробовать продавать на внешнем рынке. Если своей фабрики на 28 нанометров построить не удастся, то российским разработчикам прийдется придумывать схемы партнерства с разработчиками систем на кристалле в КНР и Индии, которые теоретически могли бы лицензировать то же ядро от Syntacore и выпустить свой чип с российким ядром. Попытки наладить производство российких чипов на фабрике SMIC в КНР скорее всего будут неудачными, так как эта фабрика уже находится под санкциями США и при попытке работать с россиянами эти санкции, вероятно, ужесточат".
"Разумеется, в интересах российской экосистемы было бы построить и современные фабрики, но: во-первых, фабрика типа TSMC стоит от 10 до 20 миллиардов долларов. Во-вторых, для ее поддержки нужно несколько тысяч человек тренированного персонала, а тайваньцы тренировали людей в США, в-третьих, для такой фабрики потребуется оборудование от ASML и Appied Materials, что под санкциями получить будет невозможно. Построить же собственное точное станкостроение такого уровня займет много лет.
Дополнительными проблемами является производство своих FPGA/ПЛИС. В России они разрабатываются в Воронеже и "Микроном", но полностью заместить ими FPGA от Xilix и Intel пока нельзя, возможно попробовать китайкие FPGA Gowin, - прокомментировал Юрий Панчул. - Отдельной темой является создание собственного софтвера для проектирования. На стандартный софтвер от американских компаний Synopsys и Cadence скорее всего будут наложены санкции, а открытый софтвер (например Yosys, OpenLANE) примерно так же слаб, как Linux был слаб по сравнению с Windows в начале 1990-х.
Однако, уже сейчас стоит учить алгоритмам по автоматизации проектирования микросхем российских студентов, чтобы эту проблему можно было решить хотя бы через несколько лет. Такой сотфтвер уже начал использовать зеленоградский Миландр для FPGA, но это нужно расширить".
http://arpe.ru/news/Mikroelektronike_nuzhen_dolgosrochnyy_plan/
Сегодня для Сколковской Школы Синтеза Цифровых Схем я записал спич про реалии работы инженером в электронных компаниях, на позициях RTL, DV и в EDA в Silicon Valley (впрочем такое же вы найдете и в европейских и российких компаниях).
Заранее извиняюсь за некоторое косноязычие и нудность и надеюсь что вы найдете крупинки информации, которая известна только так сказать пахарям от сохи, особенно в последних частях спича (вначале много воды и абстрактных рассуждений).
Также сегодня выступит Александр Силантьев из МИЭТ, который разберет часто встречающиеся задачки с интервью для скрининга и junior позиций (задачки посложнее мы будем разбирать на другой сессии).
Ссылка на трансляцию https://www.youtube.com/watch?v=uEaoOH_eIjI
Заранее извиняюсь за некоторое косноязычие и нудность и надеюсь что вы найдете крупинки информации, которая известна только так сказать пахарям от сохи, особенно в последних частях спича (вначале много воды и абстрактных рассуждений).
Также сегодня выступит Александр Силантьев из МИЭТ, который разберет часто встречающиеся задачки с интервью для скрининга и junior позиций (задачки посложнее мы будем разбирать на другой сессии).
Ссылка на трансляцию https://www.youtube.com/watch?v=uEaoOH_eIjI
YouTube
Школа 2021/22. Занятие 19. Какими знаниями нужно обладать для работы в команде проектирования чипов.
12:00 - 13:30
Какими знаниями и умениями нужно обладать для работы в команде проектирования микросхем.
1. Организация
1.1. Структура типичной команды разработки: организация по отделам компании и по блокам чипа.
1.2. Отличия команды разрабатывающей Р-блок…
Какими знаниями и умениями нужно обладать для работы в команде проектирования микросхем.
1. Организация
1.1. Структура типичной команды разработки: организация по отделам компании и по блокам чипа.
1.2. Отличия команды разрабатывающей Р-блок…
👍1
Мы на Школе Синтеза двадцать суббот учили школьников и студентов проектировать процессоры на FPGA. Для выпуска мы решили пригласить крутых топов, и на наше удивление, откликнулись сразу семеро:
1. Александр Редькин, гендир и основатель компании Syntacore, которая разрабатывает будущий флагман российcких процессоров для линуксных ноутбуков - суперскаляр с внеочередным исполнением иструкций, совместимый по системе команд с архитектурой RISC-V.
2. Сергей Сергеевич Шумилин - заместитель директора по науке компании Миландр, российского лидера по разработке микроконтроллеров, пионера лицензирования ядер ARM и надежды российcких пользователей ПЛИС.
3. Николай Суетин - главный микроэлектронщик фонда Сколково, бывший руководитель R&D Интела в России.
4. Сергей Михайлович Абрамов - член-корреспондент РАН, руководитель разработки суперкомпьютера СКИФ и других HPC проектов.
5. Игорь Рубенович Агамирзян - бывший менеджер Микрософта, Российской Венчурной Компании, вице-президент Высшей Школы Экономики и программист.
6. Александр Тормасов - ректор Иннополиса, Chief Scientist компании Parallels, гуру виртуализации, лектор по компьютерной архитектуре.
7. Тимур Палташев - известный специалист по архитектуре компьютерной графики, c 25-летним опытом в Silicon Valley и работой с питерским ИТМО.
Вообще мы планировали бОльшую часть времени в субботу разбирать микроархитектурные задачки на верилоге, но раз так, то будем устраивать устраивать сессию на тему "лидеры индустрии и академии расскажут, какие следущие шаги предпринять после решения микроархитектурных задачек, чтобы стать лидерами индустрии и академии". И ответят на вопросы.
Это состоится в субботу 23 апреля в Капсуле №2 Технопарка Сколково в 12:00.
Как записаться - https://habr.com/ru/post/661975/
1. Александр Редькин, гендир и основатель компании Syntacore, которая разрабатывает будущий флагман российcких процессоров для линуксных ноутбуков - суперскаляр с внеочередным исполнением иструкций, совместимый по системе команд с архитектурой RISC-V.
2. Сергей Сергеевич Шумилин - заместитель директора по науке компании Миландр, российского лидера по разработке микроконтроллеров, пионера лицензирования ядер ARM и надежды российcких пользователей ПЛИС.
3. Николай Суетин - главный микроэлектронщик фонда Сколково, бывший руководитель R&D Интела в России.
4. Сергей Михайлович Абрамов - член-корреспондент РАН, руководитель разработки суперкомпьютера СКИФ и других HPC проектов.
5. Игорь Рубенович Агамирзян - бывший менеджер Микрософта, Российской Венчурной Компании, вице-президент Высшей Школы Экономики и программист.
6. Александр Тормасов - ректор Иннополиса, Chief Scientist компании Parallels, гуру виртуализации, лектор по компьютерной архитектуре.
7. Тимур Палташев - известный специалист по архитектуре компьютерной графики, c 25-летним опытом в Silicon Valley и работой с питерским ИТМО.
Вообще мы планировали бОльшую часть времени в субботу разбирать микроархитектурные задачки на верилоге, но раз так, то будем устраивать устраивать сессию на тему "лидеры индустрии и академии расскажут, какие следущие шаги предпринять после решения микроархитектурных задачек, чтобы стать лидерами индустрии и академии". И ответят на вопросы.
Это состоится в субботу 23 апреля в Капсуле №2 Технопарка Сколково в 12:00.
Как записаться - https://habr.com/ru/post/661975/
Хабр
Ректоры и президенты неожиданно согласились рассказать студентам, что их ждет в микроэлектронике
Мы на Школе Синтеза двадцать суббот учили школьников и студентов проектировать процессоры на FPGA. Для выпуска мы решили пригласить крутых топов, и на наше удивление, откликнулись сразу семеро:...
Газета "Коммерсантъ" опубликовала важный материал "Британия морозит «Байкал». Российские процессоры лишаются доступа к технологиям". К сожалению, авторы заметки никогда не видели то, о чем они написали, то бишь semiconductor IP, и не понимают его природы. Зато его видел я. Поэтому я решил написать к их заметке своего рода толкование:
1. Что именно британские компании ARM и Imagination продают российским лицензиатам, таким как Байкал? (Спойлер: не патенты, хотя патенты в картину входят)
2. Чем Apple отличается от Байкала в лицензировании semiconductor IP?
3. Сколько стоят лицензии на ядра и сколько стоит архитектурная лицензия?
4. Как компания-разработчик semiconductor IP может обнаружить, что произведенный кем-то чип использует ее ядро?
5. Были ли прецентенты подобных высоких отношений с китайскими компаниями?
6. Почему в статье упоминается МЦСТ (Эльбрус)? Они же вроде сами спроектировали CPU собственной архитектуры? (Спойлер: а GPU?)
7. Могут ли британские патенты стать проблемой для разработчиков российcких ядер с архитектурой RISC-V?
8. Что логично ожидать от российских полупроводниковых стратегов?
https://habr.com/ru/post/664740/
1. Что именно британские компании ARM и Imagination продают российским лицензиатам, таким как Байкал? (Спойлер: не патенты, хотя патенты в картину входят)
2. Чем Apple отличается от Байкала в лицензировании semiconductor IP?
3. Сколько стоят лицензии на ядра и сколько стоит архитектурная лицензия?
4. Как компания-разработчик semiconductor IP может обнаружить, что произведенный кем-то чип использует ее ядро?
5. Были ли прецентенты подобных высоких отношений с китайскими компаниями?
6. Почему в статье упоминается МЦСТ (Эльбрус)? Они же вроде сами спроектировали CPU собственной архитектуры? (Спойлер: а GPU?)
7. Могут ли британские патенты стать проблемой для разработчиков российcких ядер с архитектурой RISC-V?
8. Что логично ожидать от российских полупроводниковых стратегов?
https://habr.com/ru/post/664740/
Хабр
Что означает информация в заметке Коммерсанта «Британия морозит «Байкал»
Газета "Коммерсантъ" опубликовала важный материал "Британия морозит «Байкал» . Российские процессоры лишаются доступа к технологиям". К сожалению, авторы заметки никогда не видели то, о чем они...
На прошлой неделе мне пришел в messenger Михаил Симбирский, сказал, что он недоволен моими постами в Фейсбуке и если я в течение двух дней не пожертвую пару тысяч долларов украинским волонтерам, и не напишу об этом пост, то он сделает что-нибудь эдакое. Прошло пара дней и я пожертвование не сделал, после чего обнаружил себя на сайте Миротворец. https://panchul.livejournal.com/602656.html
Livejournal
Не пожертвовал на Украину и попал на Миротворец
На прошлой неделе мне пришел в messenger член совета директоров благотворительного фонда Nova Ukraine Михаил Симбирский / Michael Simbirsky . Михаил сказал, что он недоволен моими постами в Фейсбуке и что если я в течение двух дней не пожертвую пару тысяч…
👍1
В Бауманке реализовали на FPGA сопроцессор для обработки графов и множеств. Задача в общем-то довольно понятная - я сам во время интервью даю задачу спроектировать на верилоге схему, которая проходит связанный список без процессора. Похожую задачу дают на интервью в Apple, про pointer chasing ("гонка за указателем") спрашивают в NVidia.
В сетевых компаниях таким макаром хранят списки фрагментов пакетов в ASIC для dataplane, без вмешательства процессора. Для них используется как внутренная SRAM на чипе, так и внешняя высокопроизводительная память, и главная задача - это конвейеризовать доступ, скрыть латентность и обеспечить разделение общей памяти для нескольких контекстов для pointer chasing.
Если делать умный pointer chasing параллельно для нескольких контекстов, можно теоретически реализовать алгоритмы на графах, которые будут работать на 2-3 порядка быстрее чем в софтвере. В каких приложениях это нужно - это другой вопрос, ответ на который я не знаю (может строить семантическую сеть?)
Помимо графов бауманцы также реализовали операции с множествами, которые теоретически тоже можно свести к работе со списками из битовых векторов в памяти, тот же pointer chasing в хардвере (если речь идет о множествах с миллионами элементов; если же речь идет о десятках или сотнял, все сильно проще).
Также понятно, что бауманцы реализовали пока только прототип на FPGA. Понятно, что если та штука взлетит, они могут сделать и свой собственный ASIC. Будет связка CPU + сопроцессор для обработки графов. Примерно так же как работает связка CPU + GPU для графики или CPU + сетевой ASIC для роутеров.
Что мне непонятно - это какая-то хтоническая ненависть к материалу в комментах под статьей на Zen-e. Или там в комментаторах работают товарищи из ЦИПсО недружественных стран, которые пытаются снизить боевой дух разработчика Алексея Попова и его команды? Или это поравалители, которые сбежали с корабля, а теперь обижаются что кораблю не затонул и на нем еще чего-то проростает? Или сторонники школы мысли, что работать и изобретать не надо, а достаточно только скакать на митингах, а технологические изделия пришлют из других стран как поощрение за кричалки?
P.S. Заголовок неудачный - лучше бы написали "Российскими разработчиками создан процессор обработки графов и множеств".
https://zen.yandex.ru/media/minobrnauki/sozdan-principialno-novyi-rossiiskii-superkompiuter--teragraf-629a0bd963904a50e1982903?fbclid=IwAR0v8UzXcQ-eO5dbWaHlptgsccy4iv2mRkiyIa6ZZcqSDos7u8ynTGnBdNI
В сетевых компаниях таким макаром хранят списки фрагментов пакетов в ASIC для dataplane, без вмешательства процессора. Для них используется как внутренная SRAM на чипе, так и внешняя высокопроизводительная память, и главная задача - это конвейеризовать доступ, скрыть латентность и обеспечить разделение общей памяти для нескольких контекстов для pointer chasing.
Если делать умный pointer chasing параллельно для нескольких контекстов, можно теоретически реализовать алгоритмы на графах, которые будут работать на 2-3 порядка быстрее чем в софтвере. В каких приложениях это нужно - это другой вопрос, ответ на который я не знаю (может строить семантическую сеть?)
Помимо графов бауманцы также реализовали операции с множествами, которые теоретически тоже можно свести к работе со списками из битовых векторов в памяти, тот же pointer chasing в хардвере (если речь идет о множествах с миллионами элементов; если же речь идет о десятках или сотнял, все сильно проще).
Также понятно, что бауманцы реализовали пока только прототип на FPGA. Понятно, что если та штука взлетит, они могут сделать и свой собственный ASIC. Будет связка CPU + сопроцессор для обработки графов. Примерно так же как работает связка CPU + GPU для графики или CPU + сетевой ASIC для роутеров.
Что мне непонятно - это какая-то хтоническая ненависть к материалу в комментах под статьей на Zen-e. Или там в комментаторах работают товарищи из ЦИПсО недружественных стран, которые пытаются снизить боевой дух разработчика Алексея Попова и его команды? Или это поравалители, которые сбежали с корабля, а теперь обижаются что кораблю не затонул и на нем еще чего-то проростает? Или сторонники школы мысли, что работать и изобретать не надо, а достаточно только скакать на митингах, а технологические изделия пришлют из других стран как поощрение за кричалки?
P.S. Заголовок неудачный - лучше бы написали "Российскими разработчиками создан процессор обработки графов и множеств".
https://zen.yandex.ru/media/minobrnauki/sozdan-principialno-novyi-rossiiskii-superkompiuter--teragraf-629a0bd963904a50e1982903?fbclid=IwAR0v8UzXcQ-eO5dbWaHlptgsccy4iv2mRkiyIa6ZZcqSDos7u8ynTGnBdNI
Яндекс Дзен
Создан принципиально новый российский суперкомпьютер — Тераграф
В Московском государственном техническом университете (МГТУ) им. Н.Э.Баумана созданы первые в мире микропроцессор и суперкомпьютер, в которых на аппаратном уровне реализован набор команд дискретной математики DISC (Discrete Mathematics Instruction Set computer).…
👍16❤1
Вчера был день рождения великого русского математика Григория Перельмана. Он живет с мамой в Санкт-Петербурге. Одновременно я случайно набрел на письмо президентов украинских математических обществ в адрес Европейского Математического Общества, с просьбой приостановить корпоративное членство в европейском обществе Санкт-Петербургского математического общества. Какая муха укусила украинских математиков, что они просят Европу покарать гнездо Перельманов?
Нельзя сказать, чтобы Европейское Математическое Общество (EMS) ничего не делало по поводу путинской атаки на Украину. В первый же день "спецоперации" EMS отменило проведение в России Международного Конгресса Математиков. После чего EMS выпустило второе письмо, в котором предлагало своим членам заморозить существующие отношения с российскими государственными и коммерческими организациями, и не начинать новых проектов.
Но для вождей украинской математики это недостаточно. Они хотят, чтобы европейцы еще и выгнали (хотя бы на время) российcкие математические общества за то, что те не написали у себя на сайтах, что они против войны. Понимаете? Недостаточно молчать, нужно еще и писать гневные речи у себя на сайтах активно. А иначе - вон из профессии и из Европы тоже!
Мое персональное мнение: такие действия украинских сообществ приносят больше долговременного вреда, чем пользы. Почему?
1. Право на собственные приоритеты
Прежде всего я скажу (на этой фразе у некоторых товарищей начинается истерика, но это правда): мир не вращается вокруг войны на Украине. Так же, как он не вращался вокруг второй войны США в Ираке в 2002 году. Сравнение совершенно законно: обе войны использовали крайне сомнительный повод, и обе войны привели к массовым жертвам среди гражданского населения, не говоря уже о последствиях для экономики и жертвы, и агрессора.
В случае США одним из поводов были "мобильные лаборатории химического оружия" которые просто придумал иракский эмигрант чтобы получить гринкарту. На Украине таким поводом были азовские нацики, которые конечно существуют, но ради которых не стоило разносить в щебенку Мариуполь, не говоря о бомбежках Киева.
А теперь вопрос: кто-нибудь исключал Американское Математическое Общество откуда-нибудь за то, что те не вывесили у себя на вебсайте надпись большими буквами "Мы против войны в Ираке и проклинаем правительство США"? Я такого не припомню, хотя примерно половина американского населения была против войны в Ираке в 2003 году.
Замечу, что я только пару дней назад разговаривал с коллегой, который приехал в Москву из Средней Азии и рассказал мне о текущих настроениях россяин: "10% против войны, 10% за, а остальные 80% просто ждут когда эта муторная фигня пройдет."
В свободном обществе люди имеют право ставить в своей жизни приоритеты. Если для кого-то приоритетом является математика, шутки со сцены или скажем рыбная ловля, то его нельзя заставлять с помощью кнута прервать то, что он делает, и бежать на площадь свергать Путина. Если кто-то не хочет выставлять у себя на сайтах те или иные надписи под угрозой исключений откуда-то - он имеет право такого не делать. Не объясняя причин.
Такая позиция имеет древние традиции, начиная с известной фразы Архимеда "Не трогай мои чертежи":
"Плутарх в начале нашей эры, наряду с другими версиями, описывает сцену, в которой римлянин приближается к Архимеду, полностью поглощённому размышлениями над диаграммой, и требует, чтобы Архимед проследовал к его командиру, Марцеллу. Архимед просит дать ему время на решение задачи, и раздражённый задержкой римский солдат убивает учёного мечом[1]. Ни Плутарх, ни Ливий, однако, не упоминают последних слов Архимеда.
Впервые фраза, в форме лат. Noli, obsecro, istum disturbare («Пожалуйста, не трогай этого»), появляется у Валерия Максима (I в. н э.) Иоанн Цец (XII в.) приводит фразу по-гречески: «Парень, отойди от моего рисунка». Упоминания о том, что диаграмма была нарисована на песке, также относятся к позднему времени[1]".
Нельзя сказать, чтобы Европейское Математическое Общество (EMS) ничего не делало по поводу путинской атаки на Украину. В первый же день "спецоперации" EMS отменило проведение в России Международного Конгресса Математиков. После чего EMS выпустило второе письмо, в котором предлагало своим членам заморозить существующие отношения с российскими государственными и коммерческими организациями, и не начинать новых проектов.
Но для вождей украинской математики это недостаточно. Они хотят, чтобы европейцы еще и выгнали (хотя бы на время) российcкие математические общества за то, что те не написали у себя на сайтах, что они против войны. Понимаете? Недостаточно молчать, нужно еще и писать гневные речи у себя на сайтах активно. А иначе - вон из профессии и из Европы тоже!
Мое персональное мнение: такие действия украинских сообществ приносят больше долговременного вреда, чем пользы. Почему?
1. Право на собственные приоритеты
Прежде всего я скажу (на этой фразе у некоторых товарищей начинается истерика, но это правда): мир не вращается вокруг войны на Украине. Так же, как он не вращался вокруг второй войны США в Ираке в 2002 году. Сравнение совершенно законно: обе войны использовали крайне сомнительный повод, и обе войны привели к массовым жертвам среди гражданского населения, не говоря уже о последствиях для экономики и жертвы, и агрессора.
В случае США одним из поводов были "мобильные лаборатории химического оружия" которые просто придумал иракский эмигрант чтобы получить гринкарту. На Украине таким поводом были азовские нацики, которые конечно существуют, но ради которых не стоило разносить в щебенку Мариуполь, не говоря о бомбежках Киева.
А теперь вопрос: кто-нибудь исключал Американское Математическое Общество откуда-нибудь за то, что те не вывесили у себя на вебсайте надпись большими буквами "Мы против войны в Ираке и проклинаем правительство США"? Я такого не припомню, хотя примерно половина американского населения была против войны в Ираке в 2003 году.
Замечу, что я только пару дней назад разговаривал с коллегой, который приехал в Москву из Средней Азии и рассказал мне о текущих настроениях россяин: "10% против войны, 10% за, а остальные 80% просто ждут когда эта муторная фигня пройдет."
В свободном обществе люди имеют право ставить в своей жизни приоритеты. Если для кого-то приоритетом является математика, шутки со сцены или скажем рыбная ловля, то его нельзя заставлять с помощью кнута прервать то, что он делает, и бежать на площадь свергать Путина. Если кто-то не хочет выставлять у себя на сайтах те или иные надписи под угрозой исключений откуда-то - он имеет право такого не делать. Не объясняя причин.
Такая позиция имеет древние традиции, начиная с известной фразы Архимеда "Не трогай мои чертежи":
"Плутарх в начале нашей эры, наряду с другими версиями, описывает сцену, в которой римлянин приближается к Архимеду, полностью поглощённому размышлениями над диаграммой, и требует, чтобы Архимед проследовал к его командиру, Марцеллу. Архимед просит дать ему время на решение задачи, и раздражённый задержкой римский солдат убивает учёного мечом[1]. Ни Плутарх, ни Ливий, однако, не упоминают последних слов Архимеда.
Впервые фраза, в форме лат. Noli, obsecro, istum disturbare («Пожалуйста, не трогай этого»), появляется у Валерия Максима (I в. н э.) Иоанн Цец (XII в.) приводит фразу по-гречески: «Парень, отойди от моего рисунка». Упоминания о том, что диаграмма была нарисована на песке, также относятся к позднему времени[1]".
👍22❤1😁1