Книга: Программируя Вселенную. Квантовый компьютер и будущее науки
Физические ограничения вычислений
Физические ограничения вычислений
Если мы знакомы с квантовой механикой и квантовыми вычислениями, то на удивление легко определить, какой объем вычислений может выполнять любая физическая система. Начнем с того, что все физические системы содержат информацию. Рассмотрим электрон, который может быть найден в одном из двух мест, «здесь» или «там». Электрон, который может быть или «здесь», или «там», хранит один бит информации. (Как сказал Рольф Ландауэр, «информация – величина физическая».) Когда электрон перемещается отсюда туда, его бит инвертируется. Другими словами, всякий раз, когда физическая система изменяет свое состояние, – всякий раз, когда что-то происходит, – информация, которую хранила эта система, преобразуется и обрабатывается. (Обработка информации – тоже физический процесс.)
Тем, где могут находиться электроны и как они перемещаются отсюда туда, управляют законы физики. Законы физики определяют, сколько информации может содержать та или иная физическая система и как быстро эта информация может быть обработана. Физика устанавливает окончательный предел мощности компьютеров. В статье «Абсолютные физические пределы вычислений» (Ultimate Physical Limits to Computation) я показал, что вычислительная мощность любой физической системы может быть подсчитана как функция количества доступной системе энергии, вместе с размером этой системы{12}. В качестве примера я применил эти пределы, чтобы определить максимальную вычислительную мощность килограмма вещества, ограниченного литровым объемом. Я представил себе ноутбук, который весит примерно килограмм и занимает примерно литр пространства. Этот портативный компьютер весом в один килограмм и объемом в один литр я назвал «абсолютным ноутбуком». В следующий раз, когда вы решите купить новый ноутбук, сначала сравните его с абсолютным.
Какова мощность абсолютного ноутбука? Первое фундаментальное ограничение вычислительных характеристик связано с энергией. Энергия ограничивает скорость. Например, рассмотрим наш однобитовый электрон, который перемещается отсюда туда. Чем больше энергии у электрона, тем быстрее он может выполнить перемещение и тем быстрее он может инвертировать свой бит.
«Абсолютный ноутбук» – это компьютер массой один килограмм и объемом один литр, где каждая элементарная частица используется для целей вычисления. Абсолютный ноутбук может выполнить десять миллионов миллиардов миллиардов миллиардов миллиардов миллиардов (1052) логических операций в секунду с десятью тысячами миллиардов миллиардов миллиардов (1031) битов.
Максимальную частоту, с которой бит может менять свое состояние, определяет одна полезная теорема – теорема Марголюса – Левитина. Норм Марголюс, как уже было отмечено, – один из пионеров физики вычислений; вместе со своим научным руководителем Томмазо Тоффоли из Массачусетского технологического института он показал, что простые физические системы, вроде сталкивающихся друг с другом атомов, могут выполнять универсальные цифровые вычисления. Лев Левитин из Бостонского университета[33] одним из первых стал использовать законы физики для вычисления пропускной способности каналов связи, например оптоволоконных кабелей, для передачи информации. Эти ученые объединили свои усилия и в 1998 г. опубликовали свою теорему{13}.
Теорема Марголюса – Левитина гласит, что максимальная частота, с которой физическая система (электрон, например) может переходить из одного состояния в другое, пропорциональна энергии системы; чем больше доступной энергии, тем меньше времени нужно электрону, чтобы перейди отсюда туда. Эта теорема очень общая. Для нее несущественно, какая система хранит и обрабатывает информацию; важно только, сколько энергии есть в системе, чтобы обрабатывать эту информацию. Рассмотрим, например, атомы и электроны в моем компьютере. Их температура немного выше комнатной. Каждый атом и электрон раскачиваются, и количество энергии, связанной с типичными колебаниями, остается одним и тем же для атома и для электрона. Энергия на одно колебание просто пропорциональна температуре, независимо от того, говорим мы об атоме или об электроне. Следовательно, частота, с которой электрон в компьютере может перемещаться от одного состояния к другому, отсюда туда, или от 0 к 1, – такая же, что и скорость, с которой атом может переходить из одного состояния в другое. Электроны и атомы инвертируют свои биты с одной и той же частотой.
Теорема Марголюса – Левитина дает метод для вычисления максимальной частоты, с которой бит может менять свое состояние. Возьмем количество энергии, доступной для инвертирования бита, умножим ее на 4 и разделим на постоянную Планка. В результате мы получим число возможных инверсий бита за секунду. Применяя эту формулу к атомам и электронам в моем компьютере, мы выясним, что каждый колеблющийся атом и электрон изменяют свое состояние и свой бит примерно 30 трлн (30 х 1012) раз в секунду.
Скорость, с которой атомы и электроны инвертируют свои биты, обычно намного больше, чем скорость, с которой это делает обычный компьютер. Компьютер, на котором я печатаю текст, вкладывает в зарядку и разрядку конденсаторов, которые хранят его биты, в миллиард раз больше энергии, чем используют атомы и электроны на свои колебания и на инверсию своих битов. Но мой компьютер действует в 10 000 раз медленнее атомов. Медлительность моего компьютера не противоречит теореме Марголюса – Левитина. Эта теорема дает только верхний предел того, как быстро может менять свое состояние бит. Бит может делать это медленнее максимальной скорости, допускаемой теоремой. Квантовый компьютер, однако, всегда инвертирует свои биты с максимальной скоростью.
Теорема Марголюса – Левитина устанавливает предел количества элементарных операций (опов), которые может выполнять бит в секунду. Предположим, что мы оставим неизменным количество энергии, доступное для изменения состояния битов, но теперь разделим эту энергию между двумя битами. Каждый из этих двух битов получит половину энергии нашего первоначального бита и сможет работать вдвое медленнее. Но общее количество переходов в секунду останется тем же.
Если разделить количество доступной энергии между десятью битами, то каждый из них будет менять свое состояние в десять раз медленнее, но общее количество переходов в секунду останется тем же. Так же как она безразлична к размерам системы, эта теорема не «заботится» о том, откуда берется доступная энергия. Максимальное количество операций в секунду – это энергия E, умноженная на 4 и деленная на постоянную Планка.
Теорема Марголюса – Левитина позволяет легко вычислить мощность абсолютного ноутбука. Энергию абсолютного ноутбука, доступную для вычисления, можно вычислить с помощью известной формулы Эйнштейна E = mc?, где E – энергия, m – масса ноутбука, а c – скорость света. Введя в эту формулу массу нашего абсолютного компьютера (один килограмм) и скорость света (300 млн м в секунду), мы обнаружим, что у абсолютного ноутбука есть почти 100 миллионов миллиардов (1017) джоулей доступной энергии для выполнения вычислений. Если привести тот же результат в более знакомой форме энергии, у ноутбука есть около 20 млрд (2 х 1013) килокалорий доступной энергии, что эквивалентно 100 млрд шоколадных батончиков. Это очень много энергии.
Другой знакомый нам эквивалент – это количество энергии, высвобождаемой при ядерном взрыве. У абсолютного ноутбука есть двадцать мегатонн (20 млн т в тротиловом эквиваленте) энергии, доступной для вычисления. Это сопоставимо с количеством энергии, высвобождаемой при взрыве большой водородной бомбы. По существу, когда наш абсолютный ноутбук выполняет вычисления на максимальной скорости, используя для изменения состояния битов каждую доступную калорию, изнутри это выглядит как ядерный взрыв. Элементарные частицы, которые хранят и обрабатывают информацию в абсолютном ноутбуке, движутся при температуре в миллиард градусов. Абсолютный ноутбук похож на маленький кусочек Большого взрыва. (Технологии упаковки должны будут совершить серьезный прорыв, прежде чем кто-то захочет положить абсолютный ноутбук к себе на колени.) В итоге количество операций, которое может выполнить наш маленький, но мощный компьютер, составляет огромную величину: миллион миллиардов миллиардов миллиардов миллиардов миллиардов (1051) операций в секунду. Компании Intel есть, к чему стремиться.
Но сколь велик путь, который придется пойти компании Intel? Вспомним закон Мура: в последние полвека количество информации, которую могут обрабатывать компьютеры, и скорость, с которой они ее обрабатывают, удваивается каждые восемнадцать месяцев. Множество технологий – последней из них стали интегральные схемы – сделали возможным такой рост мощности обработки информации. Нет никаких причин, по которым закон Мура должен продолжать действовать год за годом; это закон человеческой изобретательности, а не закон природы. В какой-то момент закон Мура перестанет работать. В частности, никакой ноутбук не может вести вычисления быстрее, чем абсолютный ноутбук, описанный выше.
Но сколько времени потребуется компьютерной индустрии, чтобы при существующей скорости технического прогресса создать абсолютный ноутбук? Мощность компьютеров удваивается каждые полтора года. За пятнадцать лет она удваивается десять раз, то есть увеличивается на три порядка. Иначе говоря, нынешние компьютеры в миллиард раз быстрее, чем были гигантские электромеханические машины всего пятьдесят лет назад. Нынешние компьютеры выполняют порядка триллиона логических операций в секунду (1012). Следовательно (если закон Мура продержится до тех пор), мы сможем купить абсолютный ноутбук в магазине примерно в 2205 г.
Количество энергии, доступной для вычислений, ограничивает скорость вычислений. Но скорость вычислений – не единственная характеристика, которая нас интересует, когда мы покупаем новый ноутбук. Не менее важен объем памяти. Какова емкость абсолютного жесткого диска?
Внутренности абсолютного ноутбука заполнены элементарными частицами, которые раскачиваются, как сумасшедшие, при миллиарде градусов. Те же методы, которые специалисты по космологии используют для измерения количества информации, присутствовавшего во время Большого взрыва, можно использовать для измерения числа битов, запечатленных абсолютным ноутбуком. Раскачивающиеся частицы абсолютного ноутбука запечатлевают около 10 000 миллиардов миллиардов миллиардов битов (1031). Это очень много битов – намного больше, чем информации, которая хранится на жестких дисках всех компьютеров в мире.
Сколько времени потребуется компьютерной индустрии, чтобы реализовать технические требования к памяти абсолютного ноутбука? Закон Мура для объема памяти сейчас действует быстрее, чем закон Мура для скорости вычислений: емкость жесткого диска удваивается почти каждый год. При таком темпе для того, чтобы создать абсолютный жесткий диск, потребуется всего семьдесят пять лет.
Конечно, закон Мура может действовать лишь до тех пор, пока человеческая изобретательность будет находить новые способы уменьшать размеры компьютеров. Трудно постоянно уменьшать размеры соединений, транзисторов и конденсаторов, и чем более миниатюрными становятся компоненты компьютеров, тем труднее ими управлять. Закон Мура уже много раз объявляли мертвым из-за той или иной хитроумной технической проблемы, которая на первый взгляд казалась неразрешимой. Но каждый раз хитроумные инженеры и ученые находили новый способ разрубить узел технологий. Кроме того, как мы уже сказали, у нас есть надежные экспериментальные данные о том, что компоненты компьютеров можно уменьшить до размера атомов. Существующие квантовые компьютеры уже хранят и обрабатывают информацию на уровне атомов. При нынешней скорости миниатюризации закон Мура не позволит достичь уровня атомов еще в течение сорока лет, так что определенные надежды в его отношении сохраняются.
- Глава 10. Будущее вычислений
- Физические объекты
- 4. Ограничения ссылочной целостности
- Физические товары
- Выявить возможные ограничения
- Ограничения
- Недостатки и ограничения
- Погоны как функционал самоограничения
- Ограничения метода отображения файлов
- 9.1.3. Физические лица
- 12.1. Ограничения по времени
- 8.4.6. Ограничения на вычет расходов для платежей в офшорные юрисдикции