На различные конструкции (а там бывают вариации) оформлены патенты. А вот состав нашей жидкости — коммерческая тайна. Что здесь не так? — Виноват, не понял.
В любую нашу конструкцию можно залить как нашу, так и чужую жидкость (я знаю 4 аналога). Будет работать. Наша жидкость несколько лучше.
Сделать точно такую же конструкцию, как наша — будет нарушение прав.
Да, ядовитой. Fluorinert, компании 3M.
Не «новичок», конечно (куда им!), но дрянь отменная.
Это не сильно волновало. Области применения Cray-2 были специфичнны.
Конечно я знаю тепловые трубки. Да, в них фазовые переходы (туда и обратно на разных концах) и капиллярность. Не совсем удобны для организации подсистемы охлаждения суперЭВМ (просто ищем их в Top500 и считаем пальцами). Но в небольших установках — используются. В том числе в проектах СКИФ и СКИФ-ГРИД (где наш Институт был головным от России).
Пока этот модуль сделан с замкнутым водяным охлаждением. В России эта технология сделана в проекте СКИФ Аврора-ЮрГУ в 2009 году, там же была (нашими сотрудниками) основана компания РСК СКИф, ныне группа компаний РСК, она и сделал эти самые модули на Элсбрусе. Технология образца 11 летней давности.
На НСКФ три года подряд мы демонстрируем уже современное решение: Эльбрусы, но уже с нашим действительно иммерсионным (без кипения) охлаждением и с интерконнектом Ангара, с Альтами и с ТеСИСом (и чтобы считало что-то летящее).
Но, да, заказов на супера (в истинном смысле этого слова — Топ500) нет начиная с 2010 года.
Если хотите с птичьего полета понять, насколько мы рухнули в период 2010..2020 — youtu.be/Gso_V7sCUog — там оглавление.
Релевантно Вашей реплике:
33:31 Отечественные публичные суперкомпьютеры — всего только 14 отечественный систем за всю историю.
01:15:32 Состояние суперкомпьютерной отрасли в мире и в России. Как менялась (1994–2020) сумма производительности суперкомпьютеров (Rmax) по странам
01:17:52 Как менялось (2002–2020) отставание в годах России от других стран по суммарной производительности (Rmax)
01:20:50 Как менялось (2002–2020) отставание России (в годах) от уровней технологий классов Top1, Top5 и Top10
01:21:45 Как менялась (1999–2020) доля России в совокупной мировой вычислительной производительности суперкомпьютеров
При [чистом] иммерсионном охлаждении электроника просто опускается в сосуд с диэлектрической жидкостью, которая не кипит. В сосуде есть две трубы: одна на выход нагретой жидкости (с верхнего слоя), вторая на вход остывшей жидкости (в нижнюю часть сосуда), далее [в самом простом случае] внешний контур в котором радиатор и управляемая помпа, которая обеспечивает циркуляцию. Обычное дело такое: остывшая жидкость около 55°C, нагретая жидкость около 65°C, электроника около 75°C. Если радиатор на улице, то [про достаточной площади радиоатора] нагретая жидкость остынет до 55°C, чтобы вернуться в сосуд. В этой системе есть такие физические процессы [все упрощенно]: передача тепла от электроники в жидкость (пропорционален Δt, определяется коэффициентом теплопередачи, который зависит и от жидкости, и много чего), конвекция (теплая жидкость всплывает, а там как раз труба на выход), унос нагретой жидкости на улицу (тут важен коэффициент теплоемкости), наконец передача тепла от жидкости радиатору (а там и в наружный воздух).
При этом, при [чистом] иммерсионном охлаждении жидкость не кипит.
При охлаждении кипением жидкость кипит на электронике. Пузырьки пара всплывают наверх. Лопаются. Сосуд надо запечатать герметично. Внизу жидкость — вверху пар (как скороварка). В слое пара расположен змеевик через который гоним холодную воду. На нем пар остывает, конденсируется и остывшая жидкость падает обратно в емкость дождем. А внешний контур делается не на этой волшебной (диэлектрик, не высокая температура кипения) и поэтому не копеечной жидкости, а на той самой воде в конденсаторе. Если на улице мороз, то воду в конденсаторе стоит заменить на недорогой антифриз, но в целом [в простейших случаях] все вот так.
Видно, что по реализации [чисто] иммерсионное охлаждение гораздо проще кипящего. При этом, оно достаточно эффективно (реальное среднегодовое PUE в Москве 103.7%). Но, для кипящего есть своя целевая ниша. Вот немного про это:
Я еще проще. И всегда думал, что прогрев жидкости по всей толще начинается задолго до кипения за счет конвекции. И поэтому сверху слои горячее, чем внизу. Если незадачливый лаборант не направил пламя горелки на верх тонкой пробирки, конечно. И пузырьки пара (образующиеся в точке нагрева) перемещаются снизу вверх из менее нагретых слоев жидкости в более нагретые. Но и это не все. Мне казалось, что давление в верхних слоях жидкости меньше, чем в нижних (что-то помню из школы про ро-же-аш). И это тоже способствует не схлопыванию, а расширению.
Пузырьки не должны быть солидных размеров (профессор там говорит про пленочное кипение). И про это коллеги озабочены, конечно.
Да, печатные платы многослойные. Но, настоящая беда не в самой слоистости, а в «совместимости материалов» с жидкостью.
Платы, провода (их изоляция), сами элементы (не только чипы, но и рассыпуха) — каких материалов там только нет. И мы огребли много проблем, пока добились совместимости в предыдущей разработке: в 2010..2012 (когда делали НИОКР по иммерсионному охлаждению) именно на это ушло 1.5 года работы в тесном контакте с химиками (разработка своей жидкости).
А про кавитацию… не, как-то не озабочены. Поговорю с ребятами. Может что-то упускаем? Спасибо!
Выше реплика про иммерсионное охлаждение (это было у нас 2010..2012 НИОКР, а потом продакшн, сотня поставок по России) и про его отличие от охлаждение кипением.
Иммерсионное охлаждение в России разработано в 2010..2012 годах и поставляется в продуктовой версии. Более сотни поставок в России. Этот же Институт участвовал в разработке. А идея, IP и поставки — группа компаний Сторус, включая Immers www.immers.ru.
В наших иммерсионных системах жидкость собственная, никакой не 3M. К слову, 3M искала любви с нами, но оно нам не надо. Жидкость многокомпонентная, все компоненты производятся в России, а что и как смешать — коммерческая тайна ГК Сторус. Патенты и все сопутствующее. Среди неядовитых (безвредных) жидкостей для иммерсионного (погружного) охлаждения — у нашей лучшие физические параметры.
Только, вот какая фишка: иммерсионное охлаждение и охлаждение фазовым переходом — две большие разницы.
Кавитация происходит при схлопывании пузырьков. А при кипении пузырьки только растут, улетают вверх (расширяясь) и там лопаются. Поясните, пожалуйста. Лучше со ссылками на исследования этой проблемы.
В ответ на видео про эту установку мне весь Facebbok запугали кавитацией. Почему? За мою 60+ летнюю жизнь у меня от кавитации ни одна кастрюля не пострадала.
Проблема пленочного кипения в такой системе есть. Это правда. И есть несколько путей, как с нею бороться. Проблема контроля (управления или статирования) давления в верхней части емкости тоже есть. И тоже ясно, как с ней работать. Но про эти проблемы не говорят, а масса постов о кавитации. Я в недоумении!
В курсе много про это сказано: преимущества, где используется, для чего.
В начале курса про это говорить не с руки. В начале курса говорится только, почему для описания функционального программирования (функциональной парадигмы, декларативного стиля) использован Haskell, а не Erlang, не Refal, не Lisp и т.д. Про это сказано в первой главе. Статья посвящена второй главе, кстати.
А вот мой вопрос знатокам промышленного программирования: какое мобильное приложение держит рекорд по числу скачиваний? И на каком языке оно написано?
Правда про количество аргументов будет сказана, но просто позже. В разделе про карринг, естественно. Будет сказано про правую ассоциативность ->, про левую ассоциативность $ (которого в курсе нету, просто аппликация, пробел, если угодно). Все будет.
Это вопрос не про математику, а про педагогику, а я не готов в этой области спорить.
Мы находимся в ситуации, когда ни один студент за 15 лет мне ни разу не смог в начале курса дать определение понятия функции. Определение функции, которое развенчает функцию до его нормального состояния — обычного value, ни лучше, и не хуже любого иного value, таких как True, 17, (5, 'a'), [1...10] или что-то еще такое.
С интересом почитал. Благодарю! Вас нашли сегодняшние студенты из ЯрГУ и используют Ваш конспект для своей подготовки к рубежному контролю.
/* Но, за такое определение функции ребята получат 0 баллов ;-)
Правильно так: Функцией f :: A -> B будем называть такое подмножетсво f декартова произведения A*B, для которого выполнено: для всех (x1,y1)<-f, (x2,y2)<-f выполнено: если x1=x2 то обязательно y1=y2. То есть, функция это частный случай релейшена.
Договоримся писать f x = y если (x,y)<-f. */
Хочу сообщить, что курс жив. Он преподается уже 15 лет без перерыва. И, конечно, он развивается. В лекциях появилось еще больше фрагментов «доброволец к доске». Многие из этих фрагментов связаны с «задачами от А.Шкреда» из Facebook-а. Мы на Haskelle решаем задачки с международных математических олимпиад, шахматные головоломки, математические кроссворды и т.п.
Надо помнить, это курс для новичков. Лучше, если для школьников. Это самые первые подходы к алгоритмическому (декларативному, функциональному) мышления. Курс всего на 4 месяца (если без второй части). И он даже не затрагивает ничего из монад, например.
Курс не только (и не столько) про Haskell. И в нем много работы студентов. Моя мечта максимально приблизиться к технологии «листочки Н.Н.Константинова» из советских физ.-мат.школ.
В курсе за 4 месяца помимо лекций (во время которых много команд «доброволец к доске») студенты должны написать 114 разных этюдиков на Haskell, прогнать их через сервер автопроверки и потом сдать код на просмотр преподавателю (уже по поводу стиля написания, ведь сервер автопроверки это не проверит).
В этом году летом в сервер автопроверки (он на Haskell-е, конечно) было добавлена обработка исключений и расширены наборы тестов, чтобы проверять, что решения студентов выдают undefined (error или иное) там, где целевая функция не должна быть определена. Работу делал я вместе с парой ребят из Севастополя — вчерашние первокурсники.
Там есть файл «Подготовка к лекциям.docx» в котором есть ссылки на всякое дополнительное (например, на видеозаписи zoom-лекций 2020 в ЯрГУ).
Был бы рад, если добрые люди подкинули бы задачек для самостоятельного программирования. Если возникнет такое желание, то можно посмотреть текущую коллекцию (по ссылке и каталог «задачи») и расширить ее. Что-то из коллекции стоит выкинуть, я знаю, но количество уменьшать не хочу. Поэтому — выкину при замене на более годные.
Курс построен просто: одно и то же понятие дается несколько раз. Сначала правда, но далеко не вся правда. Потом правда, но уже побольше правды. В конце концов, много правды, но, конечно, не вся.
Не сразу, но довольно быстро студенты узнают, что тип Bool описан в прелюдии и получают наставление читать прелюдию долгими осенними вечерами. Довольно быстро. Но не сразу.
Это курс для новичков. Идеально — для школьников. Я его читал в школе 2101 города героя Москвы. Сейчас: первый курс филиала МГУ в Севастополе. Тоже нормально заходит.
Но даже когда я его читаю 4 курсу ЯрГУ и мне попадается Haskell-профи способный слева направо написать:
Курс не только (и не столько) про Haskell. И в нем много работы студентов. Моя мечта максимально приблизиться к технологии «листочки Н.Н.Константинова» из советских физ.-мат.школ
Про перекос фаз — в точку. И в самом начале проекта, когда еще не накопился массив для поиск паттернов, первая «история успехов» состояла в том, что сбор данных на трех фазах помог сбытовой компании понять, что у них творится в системе и провести крупную модернизацию всей системы в селе. Это было неожиданно и приятно. Если будет интересно, есть текст про это.
В любую нашу конструкцию можно залить как нашу, так и чужую жидкость (я знаю 4 аналога). Будет работать. Наша жидкость несколько лучше.
Сделать точно такую же конструкцию, как наша — будет нарушение прав.
Не «новичок», конечно (куда им!), но дрянь отменная.
Это не сильно волновало. Области применения Cray-2 были специфичнны.
www.facebook.com/sergei.abramov.96/posts/10223837443860394
На НСКФ три года подряд мы демонстрируем уже современное решение: Эльбрусы, но уже с нашим действительно иммерсионным (без кипения) охлаждением и с интерконнектом Ангара, с Альтами и с ТеСИСом (и чтобы считало что-то летящее).
Но, да, заказов на супера (в истинном смысле этого слова — Топ500) нет начиная с 2010 года.
Если хотите с птичьего полета понять, насколько мы рухнули в период 2010..2020 — youtu.be/Gso_V7sCUog — там оглавление.
Релевантно Вашей реплике:
33:31 Отечественные публичные суперкомпьютеры — всего только 14 отечественный систем за всю историю.
01:15:32 Состояние суперкомпьютерной отрасли в мире и в России. Как менялась (1994–2020) сумма производительности суперкомпьютеров (Rmax) по странам
01:17:52 Как менялось (2002–2020) отставание в годах России от других стран по суммарной производительности (Rmax)
01:20:50 Как менялось (2002–2020) отставание России (в годах) от уровней технологий классов Top1, Top5 и Top10
01:21:45 Как менялась (1999–2020) доля России в совокупной мировой вычислительной производительности суперкомпьютеров
www.facebook.com/sergei.abramov.96/posts/10223837443860394
При этом, при [чистом] иммерсионном охлаждении жидкость не кипит.
При охлаждении кипением жидкость кипит на электронике. Пузырьки пара всплывают наверх. Лопаются. Сосуд надо запечатать герметично. Внизу жидкость — вверху пар (как скороварка). В слое пара расположен змеевик через который гоним холодную воду. На нем пар остывает, конденсируется и остывшая жидкость падает обратно в емкость дождем. А внешний контур делается не на этой волшебной (диэлектрик, не высокая температура кипения) и поэтому не копеечной жидкости, а на той самой воде в конденсаторе. Если на улице мороз, то воду в конденсаторе стоит заменить на недорогой антифриз, но в целом [в простейших случаях] все вот так.
Видно, что по реализации [чисто] иммерсионное охлаждение гораздо проще кипящего. При этом, оно достаточно эффективно (реальное среднегодовое PUE в Москве 103.7%). Но, для кипящего есть своя целевая ниша. Вот немного про это:
www.facebook.com/sergei.abramov.96/posts/10223837443860394
Пузырьки не должны быть солидных размеров (профессор там говорит про пленочное кипение). И про это коллеги озабочены, конечно.
Да, печатные платы многослойные. Но, настоящая беда не в самой слоистости, а в «совместимости материалов» с жидкостью.
Платы, провода (их изоляция), сами элементы (не только чипы, но и рассыпуха) — каких материалов там только нет. И мы огребли много проблем, пока добились совместимости в предыдущей разработке: в 2010..2012 (когда делали НИОКР по иммерсионному охлаждению) именно на это ушло 1.5 года работы в тесном контакте с химиками (разработка своей жидкости).
А про кавитацию… не, как-то не озабочены. Поговорю с ребятами. Может что-то упускаем? Спасибо!
В наших иммерсионных системах жидкость собственная, никакой не 3M. К слову, 3M искала любви с нами, но оно нам не надо. Жидкость многокомпонентная, все компоненты производятся в России, а что и как смешать — коммерческая тайна ГК Сторус. Патенты и все сопутствующее. Среди неядовитых (безвредных) жидкостей для иммерсионного (погружного) охлаждения — у нашей лучшие физические параметры.
Только, вот какая фишка: иммерсионное охлаждение и охлаждение фазовым переходом — две большие разницы.
В ответ на видео про эту установку мне весь Facebbok запугали кавитацией. Почему? За мою 60+ летнюю жизнь у меня от кавитации ни одна кастрюля не пострадала.
Проблема пленочного кипения в такой системе есть. Это правда. И есть несколько путей, как с нею бороться. Проблема контроля (управления или статирования) давления в верхней части емкости тоже есть. И тоже ясно, как с ней работать. Но про эти проблемы не говорят, а масса постов о кавитации. Я в недоумении!
В начале курса про это говорить не с руки. В начале курса говорится только, почему для описания функционального программирования (функциональной парадигмы, декларативного стиля) использован Haskell, а не Erlang, не Refal, не Lisp и т.д. Про это сказано в первой главе. Статья посвящена второй главе, кстати.
А вот мой вопрос знатокам промышленного программирования: какое мобильное приложение держит рекорд по числу скачиваний? И на каком языке оно написано?
Это вопрос не про математику, а про педагогику, а я не готов в этой области спорить.
Мы находимся в ситуации, когда ни один студент за 15 лет мне ни разу не смог в начале курса дать определение понятия функции. Определение функции, которое развенчает функцию до его нормального состояния — обычного value, ни лучше, и не хуже любого иного value, таких как True, 17, (5, 'a'), [1...10] или что-то еще такое.
/* Но, за такое определение функции ребята получат 0 баллов ;-)
Правильно так: Функцией f :: A -> B будем называть такое подмножетсво f декартова произведения A*B, для которого выполнено: для всех (x1,y1)<-f, (x2,y2)<-f выполнено: если x1=x2 то обязательно y1=y2. То есть, функция это частный случай релейшена.
Договоримся писать f x = y если (x,y)<-f. */
Хочу сообщить, что курс жив. Он преподается уже 15 лет без перерыва. И, конечно, он развивается. В лекциях появилось еще больше фрагментов «доброволец к доске». Многие из этих фрагментов связаны с «задачами от А.Шкреда» из Facebook-а. Мы на Haskelle решаем задачки с международных математических олимпиад, шахматные головоломки, математические кроссворды и т.п.
Надо помнить, это курс для новичков. Лучше, если для школьников. Это самые первые подходы к алгоритмическому (декларативному, функциональному) мышления. Курс всего на 4 месяца (если без второй части). И он даже не затрагивает ничего из монад, например.
Курс не только (и не столько) про Haskell. И в нем много работы студентов. Моя мечта максимально приблизиться к технологии «листочки Н.Н.Константинова» из советских физ.-мат.школ.
В курсе за 4 месяца помимо лекций (во время которых много команд «доброволец к доске») студенты должны написать 114 разных этюдиков на Haskell, прогнать их через сервер автопроверки и потом сдать код на просмотр преподавателю (уже по поводу стиля написания, ведь сервер автопроверки это не проверит).
В этом году летом в сервер автопроверки (он на Haskell-е, конечно) было добавлена обработка исключений и расширены наборы тестов, чтобы проверять, что решения студентов выдают undefined (error или иное) там, где целевая функция не должна быть определена. Работу делал я вместе с парой ребят из Севастополя — вчерашние первокурсники.
Все материалы курса доступны: goo.gl/r2IKNz
Там есть файл «Подготовка к лекциям.docx» в котором есть ссылки на всякое дополнительное (например, на видеозаписи zoom-лекций 2020 в ЯрГУ).
Был бы рад, если добрые люди подкинули бы задачек для самостоятельного программирования. Если возникнет такое желание, то можно посмотреть текущую коллекцию (по ссылке и каталог «задачи») и расширить ее. Что-то из коллекции стоит выкинуть, я знаю, но количество уменьшать не хочу. Поэтому — выкину при замене на более годные.
Не сразу, но довольно быстро студенты узнают, что тип Bool описан в прелюдии и получают наставление читать прелюдию долгими осенними вечерами. Довольно быстро. Но не сразу.
Это курс для новичков. Идеально — для школьников. Я его читал в школе 2101 города героя Москвы. Сейчас: первый курс филиала МГУ в Севастополе. Тоже нормально заходит.
Но даже когда я его читаю 4 курсу ЯрГУ и мне попадается Haskell-профи способный слева направо написать:
msort xs = on merge msort `uncurry` splitAt (length xs `div` 2) xs
и он, и я находим фан в прохождении курса ;-)
Курс не только (и не столько) про Haskell. И в нем много работы студентов. Моя мечта максимально приблизиться к технологии «листочки Н.Н.Константинова» из советских физ.-мат.школ
Про перекос фаз — в точку. И в самом начале проекта, когда еще не накопился массив для поиск паттернов, первая «история успехов» состояла в том, что сбор данных на трех фазах помог сбытовой компании понять, что у них творится в системе и провести крупную модернизацию всей системы в селе. Это было неожиданно и приятно. Если будет интересно, есть текст про это.
Еще раз спасибо за ссылки и добрые пожелания.