Тайны «Закона Мура»
Уточнение «закона Мура»
Столь пристальное внимание к «закону Мура» со стороны Intel делает целесообразным его уточнение. Изменение показателя удвоения в экспоненциальном (или точнее степенном) законе вдвое означает чудовищное расхождение в прогнозах на срок даже до 1020 лет. В связи с этим нужно выяснить его значения на протяжении тридцатилетней истории развития микропроцессоров и больших интегральных схем. В этом и заключается цель данной статьи.
С позиций математики «закон Мура» представляется простым выражением:
N0 количество транзисторов на кристалле в некоторый год (условно считаем его нулевым),
N(y) число транзисторов на кристалле спустя лет,
yy срок (в годах и долях года) за который число транзисторов возрастает вдвое.
Под N можно понимать и иные параметры, например число ячеек памяти в устройствах памяти, частоту работы микропроцессоров и микросхем и т.д.
Заданием N0 и начального значения y можно перемещать точку отсчета начала действия «закона Мура» и оценивать его приемлемость для разных интервалов времени.
Если мы располагаем таблицами значений N и y, то можно попытаться найти искомые параметры N0 и yy для зависимости N(y) хотя бы с наименьшей среднеквадратической погрешностью для всей совокупности исходных данных. Таким образом, при строгом математическом подходе, мы приходим к необходимости решить задачу нелинейной регрессии, поскольку зависимость N(y) от y и параметра yy оказывается нелинейной. Задача уточнения «Закона Мура» является хорошей иллюстрацией к применению систем компьютерной математики для прогноза сложной зависимости по ее эмпирически полученным исходным данным.
Какой прогноз дает уравнение по «закону Мура»?
Если свести в одну таблицу данные о динамике роста числа транзисторов (в тысячах штук) на кристалле микропроцессоров Intel с момента появления в 1971 году первого микропроцессора 4004, то будет охвачен тридцатилетний период разработки процессоров. Но насколько данные этой таблицы5 соответствуют представленной формуле? И возможен ли по ним прогноз? Попробуем ответить на эти вопросы.
К сожалению, данные неравномерно распределены во времени y (в годах) и в значительной степени случайны, что препятствует применению простых методик нелинейной регрессии и простых функций линейного (относительно искомых параметров) предсказания, таких, как функция predict в системе Mathcad6 7. Нелинейная регрессия такого вида не реализована даже в таких маститых системах компьютерной математики, как Maple. Но, к счастью, в системе Mathcad 2002i7 никаких проблем в ее проведении нет, если не считать больших вычислительных погрешностей и возможности переполнения разрядной сетки даже такой системы компьютерной математики, фигурирующей с числами, имеющими значения до 10308.
На рис. 2 представлен документ системы Mathcad 2002i с математической иллюстрацией
Рис. 2 |
Интереснее выглядит расчетный график в логарифмическом масштабе (справа внизу). Он превращается в прямую, наклон которой определяется параметром yy. В течении первых примерно двадцати лет расчетный график приближающей функции и график, построенный по точкам реальных данных, идут практически параллельно, что свидетельствует о справедливости оценок Мура на протяжении этого времени. При этом реальное число транзисторов в серийных микропроцессорах оказывалось несколько большим, чем при расчетной оценке. Найденное время yy при этом составило 1.769 года, т.е. удвоение числа транзисторов происходило примерно за два года. Ранние оценки времени в полтора года и даже в один год нелинейной регрессией не подтверждаются (Intel отказалась от них).
Однако, в период между 22 и 28 условными годами развития (или между 1993 и 1999 гг.) стал наблюдаться заметный устойчивый спад в темпах роста числа транзисторов на кристалле. Он проявляется в постепенном отклонении точек реальных данных вниз. Первые чуть больше двадцати лет развития процессоров соответствовали эволюционному пути развития технологии микропроцессоров от процессора 4004 до Pentium. С появлением процессоров Pentium архитектура и сложность процессоров резко возросли, в частности
В результате возникло заметное отставание реальной технологии от «Закона Мура». В этот период особенно усилились сомнения в его принципиальной справедливости. Но, в последние примерно три года Intel добилась резкого скачка в совершенствовании технологии, перейдя на производство микропроцессоров новой архитектуры Pentium 4, производимых по технологии с разрешением 0.13 мкм на больших кремниевых дисках диаметром 300 мм. Стали внедряться новые технологические достижения. И теряющая крутизну кривая роста числа транзисторов резко скакнула вверх именно в эти последние три года.
Итак, математический анализ «Закона Мура» подтверждает справедливость подмеченной Муром зависимости. Правда, надо отметить, что экспоненциальный рост числа транзисторов (и иных параметров микросхем) от времени, очень чувствителен к параметру yy. Его приближенные значения от 1 до 2 лет ведут к чудовищным просчетам (см. далее). Да и сама процедура нелинейной регрессии для такой зависимости оказывается очень чувствительной к ошибкам машинных расчетов. В этом нетрудно убедиться, слегка меняя исходные данные или начальные приближения для y и N. Тем не менее, близкое к единице значение коэффициента корреляции corr=0.955 говорит о том, что зависимость (1) при полученных значениях N0 и yy не так уж и плохо соответствует исходным парам данных.
Рис. 3 |
Устранить этот недостаток можно добрым «дедовским» методом взяв за левую точку прямой графика в логарифмическом масштабе точку первого отсчета и подобрав крутизну прямой на глаз по наилучшему положению в облаке исходных точек (отсчетов). Считая за нулевой 1971 год и за N0=2.3 тысячи транзисторов первого микропроцессора 4004, попробуем методом проб подобрать с помощью Mathcad логарифмическую прямую, на которую хорошо укладываются данные за первые годы развития процессоров и которая исходит из точки (0, N0). Результат представлен на рис. 3 сплошной тонкой линией. Названия процессоров на графике проставлены с помощью графического редактора.
Точная коррекция
Результат оказывается просто поразительным. Оказывается целых 22 года число транзисторов и впрямь увеличивалось вдвое за каждые yy=2 года. При этом исходные точки укладываются почти точно на представляющую их приближенную зависимость. Таким образом, проведенная специалистами Intel коррекция «Закона Мура» была вполне обоснованной и довольно точной. Однако до года или даже до полутора лет время удвоения yy за этот период никогда не падало. Следовательно, строго математически, начальные прогнозы Мура были очень неточны, что нисколько не умаляет их эмоциональное значение.
Как известно, период спада в промышленности всегда сменяется периодом резкого подъема, увы, в дальнейшем вновь переходящего в спад. С переходом от производства процессора Pentium III к Pentium 4 в 1999 году кривая роста числа транзисторов во времени резко скакнула вверх, начиная с точки (28, 9500). Это, очевидно, связано с очередным усложнением процессоров, появлением новых команд поддержки Интернета и потокового расширения и в процессорах Pentium III и Pentium 4. Время удвоения уменьшилось до рекордно малой величины в 0.6 года, но его оценка пока математически весьма недостоверна
Рис. 4
В целом, усредняя параметр yy на весь тридцатилетний период развития микропроцессоров можно признать, что данные нелинейной регрессии достаточно корректны. Последуем за специалистами Intel и попытаемся дать прогноз роста числа транзисторов на кристалле микросхем на основании нашего приближения «Закона Мура» выражением (1). Это показано (на рис. 4) для первого десятилетия и для следующего десятилетия (на рис. 5).
Рис. 5
«Прогноз на следующее десятилетие выглядит скорее фантастическим»
Прогноз на первые десять лет выглядит вполне реалистичным. Можно ожидать появления микропроцессоров, на кристалле которых будет до 3 млрд. транзисторов. Intel скромно обещает довести число транзисторов до миллиарда к концу текущего десятилетия, но не указывает точно год, когда это случится. Вполне возможно, что такое произойдет несколько ранее 2010 года ведь полмиллиарда транзисторов на кристалле уже имеют новейшие опытные образцы
Но вот прогноз на следующее десятилетие выглядит скорее фантастическим, чем реальным судя по нему, к 2020 году число транзисторов на кристалле достигнет примерно 140 млрд. Но кто знает, может так и будет? Ведь создатели первых микропроцессоров 4004 вряд ли могли предполагать, что через 30 лет число транзисторов в микропроцессорах увеличится в 34000 раз.
Тем не менее, поводов для сомнения в таком прогнозе достаточно. Математически они вызваны критичностью «Закона Мура» к параметру времени удвоения yy. Под рисунками рис. 4 и 5 (см. выше) показаны примеры расчета по формуле «Закона Мура» на конец 10 и
Физическим ограничением на рост числа транзисторов может оказаться очередной предел геометрического разрешения в производстве интегральных микросхем. Даже с учетом внедряемой новейшей технологии литографии со сверхжестким ультрафиолетовым излучением этот барьер перемещается от 0.1 мкм до 0.030.05 мкм. При этом толщина подзатворного диэлектрика микроскопических полевых транзисторов, уже ныне составляющая менее 5 атомных слоев, достигнет предельного значения в один атомный слой.
Наконец, главный козырь к приостановке действия «Закона Мура» компьютерные системы из дискретных, скорее всего, превратятся в распределенные системы. В результате надобность в сверхмощных одиночных процессорах попросту отпадет. И «Закону Мура» придется подчиниться другому, тоже отнюдь не точному в математическом смысле, закону о переходе количества в качество.
Прогноз по чувствительным параметрам
Из сказанного можно сделать следующие выводы.
- «Закон Мура» нельзя считать точным физическим или математическим законом, подобным законам Ньютона или Эйнштейна, скорее это грубое статистическое приближение к куда более сложной действительности.
- Если принять время удвоения в два года, то оказывается, что «Закон Мура» прекрасно предсказывал рост числа транзисторов на кристаллах больших интегральных схем на протяжении двадцати двух лет.
- Параметр удвоения «Закона Мура» нужно время от времени пересматривать, особенно в периоды смены поколений микросхем и внедрения новых достижений в технологии.
- Пока обоснованной выглядит представление динамики роста транзисторов в микропроцессорах тремя отрезками прямых на графике с логарифмическим масштабом с параметром удвоения yy=2 года в период с 1971 г. по 1993 г., yy=4 года в период с 1993 г. по 1999 г. и yy=0.6 года в период с 1999 г. по 2002 г.
- Интегральная оценка времени удвоения числа транзисторов за 30 лет, выполненная методом наименьших квадратов, имеет значения порядка 1.769 года при коэффициенте корреляции 0.955.
- Графическая визуализация «Закона Мура» в логарифмическом масштабе отслеживает изменения в технологии изготовления интегральных микросхем, переход к повышенной разрядности микропроцессоров и появление новинок в технологическом процессе, особенно таких, которые ведут к очередному уменьшению геометрических размеров компонентов на кристаллах микросхем.
- Можно ожидать очередного скачка в снижении значения yy после освоения технологии
64-разрядных микропроцессоров и перехода на технологию с разрешением 0.09 мкм и последующего повышенияиз-за наступления очередного физического предела на разрешение фотолитографии. - Хотя нет оснований доверять точности прогнозов по «Закону Мура» в строго математическом смысле, нельзя отрицать его привлекательности в приближенных и понятных качественных оценках.
- Высокая чувствительность параметра удвоения и огромные расхождения в прогнозах при фиксации его значения требуют более осторожных попыток применения «Закона Мура» серьезных для прогнозов.
- Описанная методика оценки параметров «Закона Мура» вполне применима для оценки числа транзисторов на различных типах больших интегральных схем и других вычислительных, связных и телекоммуникационных устройств, для оценки роста их рабочих частот, снижения потребления электроэнергии и стоимости.
- Разработка прогнозов развития больших интегральных микросхем по таким параметрам, как число транзисторов на кристалле, рост рабочих частот и объемов памяти, снижение электропотребления и др., требует специальных исследований и создания новых методик надежного многофакторного прогнозирования и в этом смысле исследования «Закона Мура» стоит продолжить, используя средства новейших систем компьютерной математики.
- При оценке «Закона Мура» надо не забывать о другом важном эмпирическом законе о переходе количества в качество, который позволяет предполагать, что слишком долго экспоненциальный процесс роста числа транзисторов на кристалле одиночного процессора продолжаться не может и дискретные вычислительные системы превратятся в распределенные.
Владимир Дьяконов2 / Exponenta Pro. Математика в приложениях1
Динамика роста числа транзисторов (в тысячах штук) на кристалле микропроцессоров Intel