Русская Википедия:Принцип Ландауэра
При́нцип Ланда́уэра — принцип, сформулированный в 1961 году Рольфом Ландауэром (IBM)[1] и гласящий, что в любой вычислительной системе, независимо от её физической реализации, при потере 1 бита информации выделяется теплота в количестве по крайней мере Шаблон:Math джоулей:
- <math> W = k_\mathrm{B} \, T \, \ln 2, </math>
где Шаблон:Math — константа Больцмана, Шаблон:Math — абсолютная температура вычислительной системы в кельвинах.
Выражением Шеннона — фон Неймана — Ландауэра (Шаблон:Lang-en2) называют минимальную энергию Шаблон:Math, необходимую для обработки 1 бита (либо — минимальную высоту барьера, необходимую для разделения двух состояний электрона Шаблон:Math)[2]:
- <math>E_\mathrm{bit} > E_\mathrm{SNL} =k_\mathrm{B} \, T \, \ln 2.</math>
При Шаблон:Math = 300 K энергия Шаблон:Math ≈ 0,017 эВ ≈ 2,7×10−21 Дж.
Несмотря на то, что увеличение энтропии при стирании одного бита чрезвычайно невелико, современные микросхемы имеют в себе миллиарды транзисторов, переключающихся на частотах до нескольких гигагерц (миллиардов раз в секунду), что увеличивает количество теплоты от стирания информации до измеримых величин.
В начале XXI века компьютеры при обработке одного бита рассеивали примерно в миллион раз больше тепла, чем предсказано принципом. Однако на начало 2010-х разница снизилась до нескольких тысяч[3][4], и предсказывается дальнейшее приближение к пределу Ландауэра в течение ближайших десятилетий.
Ограничения накладываемые принципом Ландауэра можно обойти путём реализации обратимых вычислений, при этом возрастают требования к объёму памяти и количеству вычислений. Иногда также высказываются предположения, что обратимые вычисления будут медленнее.
Дальнейшая проверка
Несмотря на то, что принцип Ландауэра признан в качестве физического закона, он до сих пор требует проверки экспериментальным путём на разных уровнях.
Универсальность принципа критиковалась в работах Еармана и Нортона (1998), а затем Шенкера (2000)[5] и снова Нортона (2004, 2011),[6] и защищалась П. Беннетом (2003) и Лэдимэном (2007).[7]
В 2016 году исследователи из Университета Перуджи утверждали, что им удалось продемонстрировать прямое нарушение принципа Ландауэра,[8] но, согласно Лазло Кишу, их результаты ошибочны, поскольку игнорируют главный источник рассеяния энергии, а именно – зарядовую энергию ёмкости входящего электрода.[9]
В 2018 году была подтверждена справедливость принципа Ландауэра на квантовом уровне, в эксперименте было зафиксировано, что при стирании квантовой информации кубитов квантового компьютера также происходит тепловыделение.[10]
В 2020 году было показано, что квантовые эффекты могут привести к увеличению рассеяния энергии по сравнению с пределом Ландауэра в 30 раз.[11]
Литература
- Рольф Ландауэр «Необратимость и выделение тепла в процессе вычислений»,
- Перевод И. О. Чередникова, А. Г. Холмской, опубликован в «Квантовый компьютер и квантовые вычисления. Том 2», 1999, ISBN 5-7029-0338-2, стр 9-32;
- оригинал: Rolf Landauer: «Irreversibility and heat generation in the computing process» / IBM Journal of Research and Development, vol. 5, pp. 183–191, 1961.
Примечания
Ссылки
- Шаблон:Публикация
- Samuel K. Moore. Landauer Limit Demonstrated. Scientists show that a 50-year-old principle limiting future CMOS computing is real: Erasing information gives off heat // IEEE Spectrum, 7 Mar 2012
- ↑ Шаблон:Cite web
- ↑ Hybrid Route From CMOS to Nano and Molecular Electronics. C.F. Cerofolini, D. Mascolo, опубликовано в «Nanotechnology for electronic materials and devices», ISBN 978-0387-23349-9, page 16-18
- ↑ Bérut, Antoine, et al. «Experimental verification of Landauer’s principle linking information and thermodynamics. Шаблон:Wayback» Nature 483.7388 (2012): 187—189: pdf Шаблон:Wayback «From a technological perspective, energy dissipation per logic operation in present-day silicon-based digital circuits is about a factor of 1,000 greater than the ultimate Landauer limit, but is predicted to quickly attain it within the next couple of decades»
- ↑ Тепло, в тысячи раз превышающее предел Ландауэра, выделяется в процессе заряда-разряда паразитных RC-цепочек, которые образованы ёмкостью затворов и p-n-переходов, и сопротивлением внутренних проводников и омических контактов микросхем.
- ↑ Logic and Entropy Шаблон:Wayback Critique by Orly Shenker (2000)
- ↑ Eaters of the Lotus: Landauer's Principle and the Return of Maxwell's Demon Шаблон:Wayback, Критика от John Norton (Apr 2004)
- ↑ Ladyman et al. The Connection between Logical and Thermodynamic Irreversibility Шаблон:Wayback March 2006, Защита принципа.
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Шаблон:Cite web
- ↑ Harry J. D. Miller, Giacomo Guarnieri, Mark T. Mitchison, and John Goold Quantum Fluctuations Hinder Finite-Time Information Erasure near the Landauer Limit // Phys. Rev. Lett. 125, 15 October 2020 DOI: https://doi.org/10.1103/PhysRevLett.125.160602
- Русская Википедия
- Термодинамика
- Теория информации
- Пределы вычислений
- Энтропия
- Эмпирические принципы
- Законы развития техники
- Именные законы и правила
- Вычислительная техника
- Страницы, где используется шаблон "Навигационная таблица/Телепорт"
- Страницы с телепортом
- Википедия
- Статья из Википедии
- Статья из Русской Википедии