Алексия Массалин - Alexia Massalin

Алексия Массалин
Родившийся
Генрих Массалин

(1962-01-01)1 января 1962 г.
НациональностьСоединенные Штаты
ГражданствоСоединенные Штаты
Альма-матерCooper Union Школа инженерии, БЫТЬ. МНЕ., 1984
Колумбийский университет, Кандидат компьютерных наук, 1992 г.
ИзвестенСупероптимизация
Научная карьера
ПоляОперационные системы, оптимизация компиляторов
УчрежденияMicroUnity Системная инженерия, Inc.
ТезисСинтез: эффективное внедрение основных сервисов операционной системы  (1992)
ДокторантКалтон Пу

Алексия Массалин (ранее Генрих Массалин) - американский ученый-компьютерщик и программист. Она была пионером концепции супероптимизация,[1][2] и разработал Ядро синтеза, маленькое ядро ​​с Unix уровень совместимости, который интенсивно использует самомодифицирующийся код для эффективности.[3][4]

Жизнь и карьера

После окончания школы ей дали стипендию на Cooper Union Школа инженерии в Манхэттен, где получила степень бакалавра и магистра.[5][2] Она пошла, чтобы получить докторскую степень. в Информатика из Колумбийский университет в 1992 году учился у профессора Калтон Пу.

В октябре 1992 года Массалин присоединился к MicroUnity как ученый-исследователь, где она стала отвечать за модули обработки сигналов и архитектуру программного обеспечения.[5]

Синтез

Первый прорывный продукт Массалина появился во время учебы в Колумбийском университете. Массалин разработал Синтез, ядро ​​операционной системы, которое распределяет ресурсы, запускает аппаратные интерфейсы безопасности и низкоуровневые интерфейсы, а также создает исполняемый код для повышения производительности.[2] Синтез оптимизировал критический код операционной системы с использованием информации времени выполнения, что было новым пониманием, которое ранее считалось непрактичным.[2] Поддерживать Синтез, Массалин изобрел объектные структуры данных, названные Quajects, которые содержат как данные, так и информацию о коде.[4]

Массалин все еще работает над широкополосными микропроцессорами.[нужна цитата ]

Личная жизнь

Ее родители были хорватский беженцы из Триест. В 1940-х они переехали Астория, Квинс, Нью-Йорк, где ее отец стал строителем.[2]

В статье 1996 г. Проводной журнал, автор Гэри Эндрю Пул сказала, что она «могла бы быть Эйнштейном нашего времени».[2] Она была хорошо известна тем, что предлагала поездки на спине людям, которых она встречала, в том числе известных компьютерных ученых, таких как Деннис Ричи, Кен Томпсон и пионер искусственного интеллекта Марвин Мински.[6]

Рекомендации

  1. ^ Массалин, Генри (1987). «Супероптимизатор: взгляд на самую маленькую программу» (PDF). Новости компьютерной архитектуры ACM SIGARCH. 15 (5): 122–126. Дои:10.1145/36177.36194. В архиве (PDF) из оригинала на 2017-07-04. Получено 2012-04-25. По заданному набору команд супероптимизатор находит самую короткую программу для вычисления функции. Были созданы поразительные программы, многие из которых были заняты запутанной перестановкой битов, мало похожей на исходные программы, которые определяли функции. Ключевая идея супероптимизатора - вероятностный тест, который делает практичным исчерпывающий поиск программ полезного размера.
  2. ^ а б c d е ж Пул, Гэри Эндрю (1996-12-01). "Qua". Проводной. Condé Nast. В архиве из оригинала на 2017-07-04. Получено 2016-08-23.
  3. ^ Пу, Калтон; Массалин, Генрих; Иоаннидис, Джон (1992). Синтез: эффективное внедрение фундаментальных сервисов операционной системы (PDF) (Кандидатская диссертация). Нью-Йорк, Нью-Йорк, США: Департамент компьютерных наук, Колумбийский университет. UMI Заказ № GAX92-32050. В архиве (PDF) из оригинала на 2017-07-04. Получено 2012-04-25. Сложить резюме (2008-02-20). [1] В архиве 2016-03-12 в Wayback Machine
  4. ^ а б Хенсон, Валери. "KHB: Синтез: эффективное внедрение основных служб операционных систем". LWN.net. LWN.net. В архиве из оригинала на 2017-07-04. Получено 2016-10-27.
  5. ^ а б «Компания: MicroUnity». Архивировано из оригинал на 2017-07-04. Получено 2012-05-11.
  6. ^ Пул, Гэри Эндрю (1998-12-24). "В стране странностей выделиться требует немного усилий". Нью-Йорк Таймс. ISSN  0362-4331. В архиве из оригинала на 2017-07-04. Получено 2016-02-09.