Алексия Массалин
Алексия Массалин | |
---|---|
Рожденный | Генри Массалин 1 января 1962 г. |
Национальность | Американский |
Гражданство | Соединенные Штаты |
Альма-матер | Купер-Юнион Инженерная школа , BE ME , 1984 г. Колумбийский университет , доктор компьютерных наук, 1992 г. |
Известный | Супероптимизация |
Научная карьера | |
Поля | Операционные системы , оптимизирующие компиляторы |
Учреждения | МикроЮнити Системс Инжиниринг, Инк. |
Диссертация | Синтез: эффективная реализация основных служб операционной системы (1992) |
Докторантура | Калтон Пу |
Алексия Массалин (ранее Генри Массалин ) — американский ученый-компьютерщик и программист. Она была пионером концепции супероптимизации . [1] [2] и разработал ядро Synthesis , небольшое ядро с уровнем совместимости с Unix , в котором для повышения эффективности интенсивно используется самомодифицирующийся код . [3] [4]
Жизнь и карьера
[ редактировать ]После окончания школы ей была предоставлена стипендия для обучения в Cooper Union Инженерной школе на Манхэттене , где она получила степени бакалавра и магистра. [5] [2] Она пошла получать докторскую степень. Получил степень бакалавра компьютерных наук в Колумбийском университете в 1992 году у профессора Калтона Пу .
В 1980-х годах она работала в Philon Inc., нью-йоркском стартапе, специализирующемся на оптимизации компиляторов. В октябре 1992 года Массалин присоединилась к MicroUnity в качестве научного сотрудника, где стала отвечать за модули обработки сигналов и архитектуру программного обеспечения. [5]
Синтез
[ редактировать ]Первый революционный продукт Массалина появился во время учебы в Колумбийском университете. Массалин разработал Synthesis — ядро операционной системы, которое распределяло ресурсы, обеспечивало безопасность и низкоуровневые аппаратные интерфейсы, а также создавало исполняемый код для повышения производительности. [2] Synthesis оптимизировал критически важный код операционной системы, используя информацию времени выполнения, что было новым подходом, который ранее считался непрактичным. [2] Для поддержки Synthesis Массалин изобрел объектно-подобные структуры данных, называемые Quajects , которые содержат как данные, так и информацию о коде. [4]
Массалин все еще работает над широкополосными микропроцессорами. [ нужна ссылка ]
Личная жизнь
[ редактировать ]Ее родители были хорватскими беженцами из Триеста . В 1940-х годах они переехали в Асторию, Квинс , Нью-Йорк, где ее отец стал строителем. [2]
В статье 1996 года в журнале Wired автор Гэри Эндрю Пул сказал, что она «могла бы стать Эйнштейном нашего времени». [2] Она была хорошо известна тем, что предлагала поездки на спине людям, которых она встречала, среди которых были известные ученые-компьютерщики, такие как Деннис Ритчи , Кен Томпсон и пионер искусственного интеллекта Марвин Мински . [6]
Ссылки
[ редактировать ]- ^ Массалин, Генри (1987). «Супероптимизатор: взгляд на самую маленькую программу» (PDF) . Новости компьютерной архитектуры ACM SIGARCH . 15 (5): 122–126. дои : 10.1145/36177.36194 . Проверено 25 апреля 2023 г.
Учитывая набор команд, супероптимизатор находит кратчайшую программу для вычисления функции. Были созданы поразительные программы, многие из которых занимаются запутанной битовой манипуляцией, мало похожей на исходные программы, определяющие функции. Ключевая идея супероптимизатора — вероятностный тест, который делает практичным исчерпывающий поиск программ полезного размера.
- ^ Jump up to: а б с д и ж Пул, Гэри Эндрю (1 декабря 1996 г.). «Ква» . Проводной . Конде Наст. Архивировано из оригинала 4 июля 2017 г. Проверено 23 августа 2016 г.
- ^ Пу, Калтон ; Массалин, Генри ; Иоаннидис, Джон (1992). Синтез: эффективная реализация фундаментальных служб операционной системы (PDF) (кандидатская диссертация). Нью-Йорк, штат Нью-Йорк, США: Департамент компьютерных наук Колумбийского университета . Номер заказа UMI GAX92-32050 . Проверено 25 апреля 2023 г. [1] Архивировано 12 марта 2016 г. на Wayback Machine.
- Разместить резюме в: Валери Хенсон (20 февраля 2008 г.). «KHB: Синтез: эффективная реализация фундаментальных служб операционных систем» . LWN.net .
- ^ Jump up to: а б Хенсон, Валери. «KHB: Синтез: эффективная реализация фундаментальных служб операционных систем» . LWN.net . LWN.net. Архивировано из оригинала 4 июля 2017 г. Проверено 27 октября 2016 г.
- ^ Jump up to: а б «Компания: МикроЮнити» . Архивировано из оригинала 4 июля 2017 г. Проверено 11 мая 2012 г.
- ^ Пул, Гэри Эндрю (24 декабря 1998 г.). «В стране странностей, чтобы выделиться, нужно немного потрудиться» . Нью-Йорк Таймс . ISSN 0362-4331 . Архивировано из оригинала 4 июля 2017 г. Проверено 9 февраля 2016 г.