Энергонезависимым программам дали отдельный язык — Naked Science
01.11.2016
3 минуты
Редакция

Энергонезависимым программам дали отдельный язык

Американские ученые разработали язык программирования для написания программ, которые могут продолжать работу после отключения компьютера от питания. Об этом сообщается на сайте Университета Карнеги-Меллон.

11

Существующие сейчас языки программирования не учитывают возможности отключения компьютера от питания и не способны обеспечить сохранение промежуточных операций. Программы и операционные системы, которые предполагают такую возможность (например, российская «Фантом»), работают по принципу контрольных точек. Они сохраняют результаты работы через заданные промежутки времени. На восстановление такие программы расходуют большое количество вычислительной мощности. Кроме того, они не распространяются среди пользователей.

 

В новой работе ученые представили язык программирования Chain, который позволяет писать более совершенные программы такого типа. Они не предполагают наличия контрольных точек, поскольку процесс в этом случае делится на информацию о состоянии (завершена или нет) и о результатах промежуточной задачи.

 

При стабильной подаче питания программа, написанная с помощью Chain, будет исполняться последовательно. По завершении вычисления задача сохранит статус и результат, после чего передаст их другой задаче. Последняя проверяет данные на предмет окончательности и при положительном результате использует их. Таким образом по цепочке данные передаются до полного исполнения программы.

 

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

 

Вчера, 10:51
4 минуты
Сергей Васильев

Накопление эпигенетических модификаций ДНК позволило провести параллели между возрастом собак и людей и найти новую формулу для пересчета одного в другой.

2 часа назад
40 минут
Александр Березин

Женщины заводят ребенка не от мужа тем чаще, чем ниже его социальная ценность. Попробуем разобраться, как биология подталкивает их к изменам и почему моногамия имеет все шансы на реванш.

Вчера, 15:36
3 минуты
Никита Шевцов

В регионе Внутренняя Монголия в Китае подтвердили вспышку бубонной чумы. Заразился уже третий человек за последний месяц.

15 ноября
6 минут
Никита Шевцов

Ученые впервые воспроизвели в реальности парадокс друга Вигнера. В результате физики выяснили, что квантовые явления субъективны: каждый наблюдатель может иметь свои альтернативные факты насчет них, и все они будут правдивы.

Вчера, 10:51
4 минуты
Сергей Васильев

Накопление эпигенетических модификаций ДНК позволило провести параллели между возрастом собак и людей и найти новую формулу для пересчета одного в другой.

13 ноября
18 минут
Александр Березин

Гибель десятков человек от вейпинга объяснили витамином Е. Попробуем разобраться в странной истории о массовой болезни молодых вейперов.

15 ноября
6 минут
Никита Шевцов

Ученые впервые воспроизвели в реальности парадокс друга Вигнера. В результате физики выяснили, что квантовые явления субъективны: каждый наблюдатель может иметь свои альтернативные факты насчет них, и все они будут правдивы.

Вчера, 10:51
4 минуты
Сергей Васильев

Накопление эпигенетических модификаций ДНК позволило провести параллели между возрастом собак и людей и найти новую формулу для пересчета одного в другой.

12 ноября
4 минуты
Никита Шевцов

Ученые использовали современные методы анализа и создали тест, который может определить, принимал ли человек наркотики, даже после того, как он тщательно вымыл руки.

[miniorange_social_login]

Комментарии

Написать комментарий

Подтвердить?
Лучшие материалы
Войти
Регистрируясь, вы соглашаетесь с правилами использования сайта и даете согласие на обработку персональных данных.

Сообщить об опечатке

Текст, который будет отправлен нашим редакторам: