Кэтрин С. МакКинли

Кэтрин С. МакКинли
Кэтрин С. МакКинли
	Кэтрин С. МакКинли
Рожденный	10 января 1962 г. (62 года) ; Оуэнсборо , Кентукки , США
Альма-матер	Университет Райса
Известный	Оптимизация локальности и параллелизма ; Распределитель памяти ; Тесты Java DaCapo ; Сборщик мусора Immix Mark-Region ; Составитель ТРИПС
Награды	Сотрудник ACM (2008 г.) ; Сотрудник IEEE (2011 г.)
	Научная карьера
Поля	Информатика
Учреждения	Майкрософт ; Техасский университет в Остине ; Массачусетский университет в Амхерсте
Докторантура	Кен Кеннеди
Веб-сайт	www .cs .utexas .edu /~маккинли /

Кэтрин С. МакКинли — американский ученый-компьютерщик, известный своими исследованиями в области компиляторов , систем выполнения и компьютерной архитектуры . Она также известна своим лидерством в расширении участия в компьютерных технологиях. МакКинли был сопредседателем CRA-W с 2011 по 2014 год.

Биография

МакКинли получила степень бакалавра компьютерных наук и инженерных наук в Университете Райса в 1985 году. Затем она получила степень магистра компьютерных наук в Университете Райса в 1990 году, а затем степень доктора в компьютерных наук Университете Райса в 1992 году.

В 1993 году она поступила на факультет компьютерных наук Массачусетского университета в Амхерсте в качестве доцента. Там она получила звание доцента в 1999 году. В 2001 году она перешла в Техасский университет в Остине в качестве доцента. В 2005 году ей было присвоено звание профессора, а в 2010 году — звание профессора информатики. В 2011 году она перешла в Microsoft Research в качестве главного исследователя. В настоящее время она является заслуженным инженером-программистом в Google . ^[1]

МакКинли женат на Скотти Стрэхане; у них трое мальчиков: Купер, Дилан и Уятт Страхан. ^{[ нужна ссылка ]}

Карьера

Она и ее коллеги представили первую модель общего назначения и структуру оптимизации, основанную на зависимостях и повторном использовании строк кэша, для улучшения локальности кэша алгоритмов плотной матрицы с использованием перестановки циклов, обращения циклов, слияния и распределения. ^[2] МакКинли и ее советник Кен Кеннеди показали, как использовать эту модель, чтобы ввести параллелизм с локальностью и устранить ложное разделение. ^[3] Эта работа была выбрана в 2014 году для тома, посвященного 25-летию ICS.

МакКинли, ее аспирант Эмери Д. Бергер и коллеги представили Распределитель памяти Hoard C/C++ , который широко используется приложениями и в Apple OS X. Hoard ограничивает конфликты, возникающие, когда несколько потоков выделяют или освобождают память одновременно, и позволяет избежать ложное разделение из-за распределения памяти. В то же время Hoard устанавливает доказуемые границы общего объема фрагментации . ^[4]

МакКинли был руководителем исследовательской группы DaCapo, которая охватывала девять учреждений и финансировалась ITR NSF (2000–2006). В рамках этого проекта был создан ряд инновационных технологий виртуальных машин, инструментов с открытым исходным кодом, тестов с открытым исходным кодом и новых методологий оценки управляемой среды выполнения. Усилиями по сравнительному анализу и методологии руководил Стивен М. Блэкберн. Набор тестов Java DaCapo и методологии оценки широко используются в научных кругах и промышленности для оценки технологий анализа, оптимизации и тестирования Java. ^[5] Блэкберн, Ченг и МакКинли были первыми, кто провел сравнение алгоритмов сборки мусора по принципу «яблоки с яблоками», которое показало, что распределители со свободным списком отказываются от значительного объема локальности, даже несмотря на то, что им требуется меньше памяти по сравнению с алгоритмами копирования, которые выделяют одновременные объекты последовательно. . ^[6]^[7] Эта работа получила награду SIGMETRICS 2014 Test of Time of Award. ^[8]

Основываясь на этом понимании, Блэкберн и МакКинли разработали новый класс сборщиков мусора, которые они назвали mark-region. Их сборщик областей меток Immix управляет памятью иерархически, используя блоки фиксированного размера, состоящие из строк. Непрерывное размещение объектов может пересекать линии, но не пересекать блоки. Коллекция Immix сочетает в себе разметку линий и копирование объектов за один проход. Такая конструкция обеспечивает существенный выигрыш в производительности за счет меньшего размера кучи и улучшения локальности. ^[9]

Ее аспирант Майкл Бонд получил награду ACM SIGPLAN за выдающуюся докторскую диссертацию в 2008 году. ^[10]

14 февраля 2013 года МакКинли дал показания Комитету Палаты представителей по науке, космосу и технологиям в Подкомитете по исследованиям. Она рассказала об экосистеме научных, промышленных и государственных компьютерных исследований, которая способствует инновациям и экономическому прогрессу практически во всех областях. ^[11]

Награды

В 2008 году она была названа членом ACM . ^[12] В 2023 году она была избрана членом Американской академии искусств и наук . ^[13]

Среди других ее заметных наград:

Премия ACM SIGPLAN за достижения в области языков программирования , выдающийся вклад в распараллеливание компиляторов, параллельных систем и управления памятью; и ее руководство и служение, 2023 год.
Премия ACM SIGMETRICS «Испытание временем» в 2014 г. ^[8]
Премия « Самая влиятельная бумага » OOPSLA 2002 г., вручена в 2012 г. ^[14] Бергер, Эд; Цорн, Б.Г.; МакКинли, Канзас (ноябрь 2002 г.). «Пересмотр специального распределения памяти» (PDF) . Материалы 17-й конференции ACM SIGPLAN по объектно-ориентированному программированию, системам, языкам и приложениям . ООПСЛА '02. стр. 1–12. CiteSeerX 10.1.1.119.5298 . дои : 10.1145/582419.582421 . ISBN 978-1-58113-471-1 . S2CID 481812 .
IEEE (2011 г.) Сотрудник ^[15]
Премия ACM SIGPLAN за программное обеспечение для языков программирования для Jikes RVM (2012) ^[16]
Награда ACM SIGPLAN за выдающиеся заслуги (2011 г.) ^[17]
ACM (2006 г.) Заслуженный ученый ^[18]

Ссылки

^ «Домашняя страница Кэтрин С. МакКинли» .
^ К.С. МакКинли; С. Карр; К. Ценг (1996). «Улучшение локальности данных с помощью циклических преобразований». Транзакции ACM в языках и системах программирования . 18 (4): 424–453. CiteSeerX 10.1.1.47.1703 . дои : 10.1145/233561.233564 . S2CID 409053 .
^ К. Кеннеди; К.С. МакКинли (1992). «Оптимизация параллелизма и локальности данных». Материалы 6-й международной конференции по суперкомпьютингу-ICS'92 . стр. 323–334. дои : 10.1145/143369.143427 . ISBN 978-0897914857 . S2CID 7241914 .
^ ЭД Бергер; К.С. МакКинли; Р.Д. Блюмофе; П.Р. Уилсон (2000). «Hoard: масштабируемый распределитель памяти для многопоточных приложений» . Новости компьютерной архитектуры ACM Sigarch . 28 (5): 117–128. дои : 10.1145/378995.379232 .
^ С. М. Блэкберн; Р. Гарнер; К. Хоффман; А. М. Хан; К.С. МакКинли; Р. Бенцур А. Диван; Д. Фейнберг; Д. Фрэмптон; С.З. Гайер; М. Хирзель; А. Хоскинг; М. Джамп; Х. Ли; ДЖЕБ Мосс; А. Фансалкар; Д. Стефанович; Т. ВанДрунен; Д. фон Динклаге; Б. Видерманн (2006). «Эталоны DaCapo». Материалы 21-й ежегодной конференции ACM SIGPLAN по системам, языкам и приложениям объектно-ориентированного программирования . стр. 169–190. дои : 10.1145/1167473.1167488 . hdl : 1885/33723 . ISBN 978-1595933485 . S2CID 9255051 .
^ С. М. Блэкберн; П. Ченг; К.С. МакКинли (2004). «Мифы и реальность». Материалы совместной международной конференции «Измерение и моделирование компьютерных систем» . стр. 25–36. дои : 10.1145/1005686.1005693 . ISBN 978-1581138733 . S2CID 7988297 .
^ С. М. Блэкберн; П. Ченг; К.С. МакКинли (2004). «Нефть и вода? Высокопроизводительная сборка мусора на Java с помощью MMTK». Слушания. 26-я Международная конференция по программной инженерии . стр. 137–146. дои : 10.1109/ICSE.2004.1317436 . ISBN 978-0-7695-2163-3 . S2CID 6394407 .
^ Jump up to: ^а ^б ACM SIGMETRICS (01 июля 2014 г.). «Награды СИГМЕТРИКИ» . СИГМЕТРИКА . Проверено 1 июля 2014 г.
^ С. М. Блэкберн; К.С. МакКинли (2008). «Иммикс» . Материалы 29-й конференции ACM SIGPLAN по проектированию и реализации языков программирования . стр. 22–32. дои : 10.1145/1375581.1375586 . ISBN 9781595938602 . S2CID 1569045 .
^ sigplan.org (07.01.2014). «SIGPLAN 2008: вручены две награды» . сигплан . Проверено 7 января 2014 г.
^ «Письменные показания доктора Кэтрин С. МакКинли – слушания по теме «Приложения для исследований и разработок в области информационных технологий» » (PDF) . Палата представителей США. 14 февраля 2013 г.
^ Норман, Стейси (15 января 2009 г.). «Кэтрин МакКинли стала членом ACM» . Техасский университет в Остине.
^ «Новые участники» . Американская академия искусств и наук. 2023 . Проверено 21 апреля 2023 г.
^ «Третья ежегодная конференция SPLASH, проходившая в Тусоне, штат Аризона» . ВсплескКон. Архивировано из оригинала 8 июля 2013 года . Проверено 21 июня 2013 г.
^ «Выпускник 2011 года» . IEEE. Архивировано из оригинала 30 апреля 2013 года . Проверено 21 июня 2013 г.
^ «2012: Виртуальная машина Jikes Research (RVM)» . Сигплан. Архивировано из оригинала 3 июля 2013 года . Проверено 21 июня 2013 г.
^ «Награда за выдающиеся заслуги» . Сигплан . Проверено 21 июня 2013 г.
^ «Почетный член АКМ» . Ассоциация вычислительной техники . Проверено 21 июня 2013 г.

Внешние ссылки

Кэтрин С. МакКинли из Техасского университета в Остине

[1] «Домашняя страница Кэтрин С. МакКинли» .

[2] К.С. МакКинли; С. Карр; К. Ценг (1996). «Улучшение локальности данных с помощью циклических преобразований». Транзакции ACM в языках и системах программирования . 18 (4): 424–453. CiteSeerX 10.1.1.47.1703 . дои : 10.1145/233561.233564 . S2CID 409053 .

[3] К. Кеннеди; К.С. МакКинли (1992). «Оптимизация параллелизма и локальности данных». Материалы 6-й международной конференции по суперкомпьютингу-ICS'92 . стр. 323–334. дои : 10.1145/143369.143427 . ISBN 978-0897914857 . S2CID 7241914 .

[4] ЭД Бергер; К.С. МакКинли; Р.Д. Блюмофе; П.Р. Уилсон (2000). «Hoard: масштабируемый распределитель памяти для многопоточных приложений» . Новости компьютерной архитектуры ACM Sigarch . 28 (5): 117–128. дои : 10.1145/378995.379232 .

[5] С. М. Блэкберн; Р. Гарнер; К. Хоффман; А. М. Хан; К.С. МакКинли; Р. Бенцур А. Диван; Д. Фейнберг; Д. Фрэмптон; С.З. Гайер; М. Хирзель; А. Хоскинг; М. Джамп; Х. Ли; ДЖЕБ Мосс; А. Фансалкар; Д. Стефанович; Т. ВанДрунен; Д. фон Динклаге; Б. Видерманн (2006). «Эталоны DaCapo». Материалы 21-й ежегодной конференции ACM SIGPLAN по системам, языкам и приложениям объектно-ориентированного программирования . стр. 169–190. дои : 10.1145/1167473.1167488 . hdl : 1885/33723 . ISBN 978-1595933485 . S2CID 9255051 .

[6] С. М. Блэкберн; П. Ченг; К.С. МакКинли (2004). «Мифы и реальность». Материалы совместной международной конференции «Измерение и моделирование компьютерных систем» . стр. 25–36. дои : 10.1145/1005686.1005693 . ISBN 978-1581138733 . S2CID 7988297 .

[7] С. М. Блэкберн; П. Ченг; К.С. МакКинли (2004). «Нефть и вода? Высокопроизводительная сборка мусора на Java с помощью MMTK». Слушания. 26-я Международная конференция по программной инженерии . стр. 137–146. дои : 10.1109/ICSE.2004.1317436 . ISBN 978-0-7695-2163-3 . S2CID 6394407 .

[SIGMETRICS2014-8] Jump up to: ^а ^б ACM SIGMETRICS (01 июля 2014 г.). «Награды СИГМЕТРИКИ» . СИГМЕТРИКА . Проверено 1 июля 2014 г.

[9] С. М. Блэкберн; К.С. МакКинли (2008). «Иммикс» . Материалы 29-й конференции ACM SIGPLAN по проектированию и реализации языков программирования . стр. 22–32. дои : 10.1145/1375581.1375586 . ISBN 9781595938602 . S2CID 1569045 .

[10] sigplan.org (07.01.2014). «SIGPLAN 2008: вручены две награды» . сигплан . Проверено 7 января 2014 г.

[11] «Письменные показания доктора Кэтрин С. МакКинли – слушания по теме «Приложения для исследований и разработок в области информационных технологий» » (PDF) . Палата представителей США. 14 февраля 2013 г.

[12] Норман, Стейси (15 января 2009 г.). «Кэтрин МакКинли стала членом ACM» . Техасский университет в Остине.

[13] «Новые участники» . Американская академия искусств и наук. 2023 . Проверено 21 апреля 2023 г.

[14] «Третья ежегодная конференция SPLASH, проходившая в Тусоне, штат Аризона» . ВсплескКон. Архивировано из оригинала 8 июля 2013 года . Проверено 21 июня 2013 г.

[15] «Выпускник 2011 года» . IEEE. Архивировано из оригинала 30 апреля 2013 года . Проверено 21 июня 2013 г.

[16] «2012: Виртуальная машина Jikes Research (RVM)» . Сигплан. Архивировано из оригинала 3 июля 2013 года . Проверено 21 июня 2013 г.

[17] «Награда за выдающиеся заслуги» . Сигплан . Проверено 21 июня 2013 г.

[18] «Почетный член АКМ» . Ассоциация вычислительной техники . Проверено 21 июня 2013 г.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

Базы данных авторитетного контроля
Международный	ЯВЛЯЮТСЯ ВИАФ WorldCat
Национальный	Норвегия Германия Нидерланды
академики	Ассоциация вычислительной техники ДБЛП Проект математической генеалогии
Другой	ИдРеф