Glenn Krasner

Гленн Краснер — американский учёный в области информатики, известный прежде всего как один из разработчиков языка программирования Smalltalk и соавтор концепции виртуальной машины Smalltalk-80. Его работы оказали значительное влияние на развитие объектно-ориентированного программирования, графических интерфейсов пользователя и сред разработки.

Биография

Гленн Краснер родился в 1949 году в США. Получил степень бакалавра по математике в Массачусетском технологическом институте (MIT) в 1970 году. В 1974 году защитил докторскую диссертацию (Ph.D.) по информатике в Стэнфордском университете под руководством профессора Джона Маккарти, одного из основоположников искусственного интеллекта. Тема диссертации была связана с системами автоматического доказательства теорем.

После защиты докторской Краснер начал работать в Исследовательском центре Пало-Альто (Xerox PARC) — одной из ключевых лабораторий, где зарождались современные концепции персональных компьютеров, графических интерфейсов и объектно-ориентированного программирования. В PARC он присоединился к группе, работавшей над языком Smalltalk.

Вклад в развитие Smalltalk

Разработка виртуальной машины Smalltalk-80

Наиболее значимым вкладом Краснера считается создание виртуальной машины (VM) для версии Smalltalk-80. Вместе с коллегами (в частности, с Дэном Инголлсом и Аделем Голдбергом) он разработал архитектуру, которая позволяла Smalltalk-80 быть переносимым между разными аппаратными платформами. Виртуальная машина Smalltalk-80 представляла собой интерпретатор байт-кода, что обеспечивало высокую степень абстракции и платформенной независимости. Эта концепция впоследствии легла в основу многих других языков и платформ, включая Java (JVM) и .NET (CLR).

Соавторство в стандартизации

Краснер был одним из авторов спецификации Smalltalk-80, опубликованной в 1983 году. Эта спецификация стала основой для множества коммерческих и исследовательских реализаций языка. Совместно с Аделем Голдберг он написал книгу «Smalltalk-80: The Language and its Implementation» (1983), которая долгое время служила основным учебником и справочником по языку. В книге подробно описывались синтаксис, семантика, объектная модель и виртуальная машина Smalltalk-80.

Классификация и архитектура

В рамках работы над Smalltalk-80 Краснер внёс вклад в развитие концепции классов, объектов, наследования и полиморфизма. Он участвовал в создании стандартной библиотеки классов Smalltalk-80, включая классы для работы с графикой, текстом, коллекциями и файловой системой. Архитектура виртуальной машины, разработанная Краснером, включала такие элементы, как:

• Байт-код: компактное представление инструкций Smalltalk.
• Интерпретатор: программный модуль, выполняющий байт-код.
• Сборщик мусора: автоматическое управление памятью.
• Объектная память: хранение и управление объектами.

Другие проекты и деятельность

После ухода из Xerox PARC в начале 1980-х годов Краснер работал в ряде компаний, занимавшихся разработкой программного обеспечения и инструментов для программирования. Он участвовал в создании коммерческих версий Smalltalk (например, Smalltalk/V от Digitalk). Позже его интересы сместились в сторону инструментов для разработки веб-приложений и систем управления базами данных.

В 1990-е годы Краснер занимался консалтингом и преподаванием. Он читал лекции в университетах и на конференциях, посвящённых объектно-ориентированному программированию и истории вычислительной техники. В последние годы его деятельность не была широко освещена в публичных источниках.

Наследие и влияние

Работы Гленна Краснера оказали долгосрочное влияние на развитие информатики. Его вклад в создание виртуальной машины Smalltalk-80 считается одним из ключевых шагов на пути к современным платформам, таким как Java и .NET. Концепции, реализованные в Smalltalk-80 (объектно-ориентированное программирование, автоматическое управление памятью, графический интерфейс, интерактивная среда разработки), стали стандартом для многих последующих технологий.

Хотя имя Краснера менее известно широкой публике, чем имена некоторых его коллег по Xerox PARC, его технические решения и архитектурные идеи продолжают использоваться в современных системах программирования.

Критика и оценка

Оценка вклада Краснера в сообществе программистов и историков вычислительной техники в целом положительная. Его работы по виртуальной машине Smalltalk-80 признаются технически изящными и эффективными для своего времени. Вместе с тем, некоторые критики отмечают, что Smalltalk-80, несмотря на свою инновационность, не получил массового распространения из-за высокой стоимости аппаратного обеспечения и закрытости исходного кода в первые годы. Это, однако, не умаляет его значения как исследовательского и образовательного инструмента.

Основные публикации

• Goldberg, A., & Krasner, G. (1983). Smalltalk-80: The Language and its Implementation. Addison-Wesley. ISBN 0-201-11371-6.
• Krasner, G. (1983). The Smalltalk-80 Virtual Machine. BYTE Publications.
• Krasner, G. (1980). A Smalltalk-80 Implementation. Xerox PARC Technical Report.

Источники

• Goldberg, A., & Krasner, G. (1983). Smalltalk-80: The Language and its Implementation. Addison-Wesley.
• Kay, A. (1993). The Early History of Smalltalk. ACM SIGPLAN Notices.
• Xerox PARC Technical Reports (1970–1980).
• ACM Digital Library — статьи и доклады Гленна Краснера.
• Computer History Museum — материалы по истории Smalltalk и Xerox PARC.