stringtranslate.com

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

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

Биография

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

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

МакКинли замужем за Скотти Страханом; у них трое сыновей: Купер, Дилан и Уайетт Страхан. [ необходима цитата ]

Карьера

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

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

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

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

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

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

Награды

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

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

Ссылки

  1. ^ "Домашняя страница Кэтрин С. МакКинли".
  2. ^ KS McKinley; S. Carr; C. Tseng (1996). «Улучшение локальности данных с помощью циклических преобразований». Труды ACM по языкам и системам программирования . 18 (4): 424–453. CiteSeerX 10.1.1.47.1703 . doi :10.1145/233561.233564. S2CID  409053. 
  3. ^ K. Kennedy; KS McKinley (1992). "Оптимизация для параллелизма и локальности данных". Труды 6-й международной конференции по суперкомпьютерам - ICS '92 . С. 323–334. doi :10.1145/143369.143427. ISBN 978-0897914857. S2CID  7241914.
  4. ^ ED Berger; KS McKinley; RD Blumofe; PR Wilson (2000). «Hoard: масштабируемый распределитель памяти для многопоточных приложений». ACM Sigarch Computer Architecture News . 28 (5): 117–128. doi : 10.1145/378995.379232 .
  5. ^ SM Blackburn; R. Garner; C. Hoffman; AM Khan; KS McKinley; R. Bentzur A. Diwan; D. Feinberg; D. Frampton; SZ Guyer; M. Hirzel; A. Hosking; M. Jump; H. Lee; JEB Moss; A. Phansalkar; D. Stefanovic; T. VanDrunen; D. von Dincklage; B. Wiedermann (2006). "The DaCapo benchmarks". Труды 21-й ежегодной конференции ACM SIGPLAN по системам, языкам и приложениям объектно-ориентированного программирования . стр. 169–190. doi :10.1145/1167473.1167488. hdl : 1885/33723 . ISBN 978-1595933485. S2CID  9255051.
  6. ^ SM Blackburn; P. Cheng; KS McKinley (2004). "Мифы и реальность". Труды совместной международной конференции по измерению и моделированию компьютерных систем . стр. 25–36. doi :10.1145/1005686.1005693. ISBN 978-1581138733. S2CID  7988297.
  7. ^ SM Blackburn; P. Cheng; KS McKinley (2004). "Нефть и вода? Высокопроизводительная сборка мусора в Java с MMTK". Труды. 26-я Международная конференция по программной инженерии . стр. 137–146. doi :10.1109/ICSE.2004.1317436. ISBN 978-0-7695-2163-3. S2CID  6394407.
  8. ^ ab ACM SIGMETRICS (2014-07-01). "Награды SIGMETRICS". SIGMETRICS . Получено 2014-07-01 .
  9. ^ SM Blackburn; KS McKinley (2008). "Immix". Труды 29-й конференции ACM SIGPLAN по проектированию и реализации языков программирования . стр. 22–32. doi :10.1145/1375581.1375586. ISBN 9781595938602. S2CID  1569045.
  10. ^ sigplan.org (07.01.2014). "SIGPLAN 2008: вручены две награды". sigplan . Получено 07.01.2014 .
  11. ^ «Письменные показания доктора Кэтрин С. МакКинли – слушания по теме «Приложения для исследований и разработок в области информационных технологий»» (PDF) . Палата представителей США. 14 февраля 2013 г.
  12. ↑ Норман, Стэйси (15 января 2009 г.). «Кэтрин МакКинли стала членом ACM». Техасский университет в Остине.
  13. ^ "Новые члены". Американская академия искусств и наук. 2023. Получено 21 апреля 2023 г.
  14. ^ "Третья ежегодная конференция SPLASH, проведенная в Тусоне, штат Аризона". SplashCon. Архивировано из оригинала 8 июля 2013 года . Получено 21 июня 2013 года .
  15. ^ "Fellow Class of 2011". IEEE. Архивировано из оригинала 30 апреля 2013 г. Получено 21 июня 2013 г.
  16. ^ "2012: Jikes Research Virtual Machine (RVM)". Sigplan. Архивировано из оригинала 3 июля 2013 г. Получено 21 июня 2013 г.
  17. ^ "Премия за выдающиеся заслуги". Sigplan . Получено 21 июня 2013 г.
  18. ^ "ACM Distinguished Member". Ассоциация вычислительной техники . Получено 21 июня 2013 г.

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