Уведомления
Авторизуйтесь или зарегистрируйтесь, чтобы оценивать материалы, создавать записи и писать комментарии.
Авторизуясь, вы соглашаетесь с правилами пользования сайтом и даете согласие на обработку персональных данных.
Энергонезависимым программам дали отдельный язык
Американские ученые разработали язык программирования для написания программ, которые могут продолжать работу после отключения компьютера от питания. Об этом сообщается на сайте Университета Карнеги-Меллон.
Существующие сейчас языки программирования не учитывают возможности отключения компьютера от питания и не способны обеспечить сохранение промежуточных операций. Программы и операционные системы, которые предполагают такую возможность (например, российская «Фантом»), работают по принципу контрольных точек. Они сохраняют результаты работы через заданные промежутки времени. На восстановление такие программы расходуют большое количество вычислительной мощности. Кроме того, они не распространяются среди пользователей.
В новой работе ученые представили язык программирования Chain, который позволяет писать более совершенные программы такого типа. Они не предполагают наличия контрольных точек, поскольку процесс в этом случае делится на информацию о состоянии (завершена или нет) и о результатах промежуточной задачи.
При стабильной подаче питания программа, написанная с помощью Chain, будет исполняться последовательно. По завершении вычисления задача сохранит статус и результат, после чего передаст их другой задаче. Последняя проверяет данные на предмет окончательности и при положительном результате использует их. Таким образом по цепочке данные передаются до полного исполнения программы.
В случае сбоя исполнение программы возобновляется с задачи, на которой произошло отключение от питания. При этом перезапускаемый процесс также сперва проверяет результаты предыдущих вычислений и после этого переходит к собственным. По мнению разработчиков, такой подход позволяет экономить на потреблении электроэнергии и расходах вычислительных мощностей.
Telegram 
Дзен 
VK Образцы грунта, взятые астронавтами полвека назад, вложили еще один важный кирпич в здание научной картины мира: гипотеза о том, что Земля исходно была сухой, не стыкуется с фактами. Похоже, идею о невозможности сохранения большого количества воды на «теплых» планетах придется пересмотреть.
Кэтлин Рубинс выступила перед комитетом Национальных академий США и рассказала, что не так с новыми скафандрами для близкой высадки американцев на Луне. Учитывая ее 300-дневный опыт пребывания в космосе, критика выглядит довольно обоснованной. В прошлом году Рубинс ушла с поста руководителя отделения внекорабельной деятельности отдела астронавтов, где она участвовала в разработке новых лунных скафандров.
Ученый из НИУ ВШЭ в Нижнем Новгороде и ИППИ РАН Иван Ремизов совершил концептуальный прорыв в теории дифференциальных уравнений. Ему удалось вывести универсальную формулу для решения задач, которые более 190 лет считались нерешаемыми аналитическим путем. Полученный результат радикально меняет картину мира в одной из старейших областей математики, важной для фундаментальной физики и экономики.
Образцы грунта, взятые астронавтами полвека назад, вложили еще один важный кирпич в здание научной картины мира: гипотеза о том, что Земля исходно была сухой, не стыкуется с фактами. Похоже, идею о невозможности сохранения большого количества воды на «теплых» планетах придется пересмотреть.
В зоопарках звери доживают до старости и выбывают из программ глобального сохранения видов, потому что не могут размножаться. Это ставит под угрозу усилия по поддержанию популяций редких видов.
Вопреки множеству оценок из СМИ, самый крупный остров мира небогат полезными ископаемыми, но и никак не «бесполезный кусок льда». Открытия датских ученых последних лет показывают, что ценность этого куска суши намного выше, чем можно было подумать еще в 2010-х. Так зачем на самом деле он нужен Трампу и может ли его отъем разрушить НАТО, как на это надеются некоторые в России?
От рыб произошли все наземные позвоночные, включая нас, но как именно рыбы стали главным населением морей — до последнего времени оставалось неясным. Авторы новой научной работы попытались доказать, что причиной этого было вымирание, возможно, вызванное белыми ночами.
Хотя зоологи уже не раз наблюдали использование орудий у относительно близких к людям видов, — от приматов до свиней — коровы до сих пор не были за этим замечены. Теперь ситуация изменилась: оказалось, что они могут использовать многоцелевые орудия по-разному, в зависимости от обстоятельств.
Образцы грунта, взятые астронавтами полвека назад, вложили еще один важный кирпич в здание научной картины мира: гипотеза о том, что Земля исходно была сухой, не стыкуется с фактами. Похоже, идею о невозможности сохранения большого количества воды на «теплых» планетах придется пересмотреть.
Вы попытались написать запрещенную фразу или вас забанили за частые нарушения.
Понятно
Из-за нарушений правил сайта на ваш аккаунт были наложены ограничения. Если это ошибка, напишите нам.
Понятно
Наши фильтры обнаружили в ваших действиях признаки накрутки. Отдохните немного и вернитесь к нам позже.
Понятно
Мы скоро изучим заявку и свяжемся с Вами по указанной почте в случае положительного исхода. Спасибо за интерес к проекту.
Понятно
Последние комментарии