الرئيسيةعريقبحث

كاثرين ماكينلي

☰ جدول المحتويات

كاثرين س. ماكينلي هي عالمة كمبيوتر أمريكية اشتهرت في أبحاثها حول المجمعين وأنظمة التشغيل وهندسة الكمبيوتر. وهي معروفة أيضًا بقيادتها في توسيع المشاركة في الحوسبة. كان ماكينيلي رئيسًا مشاركًا لـ CRA-W من 2011 إلى 2014.

سيرة شخصية

تلقى ماكينلي بكالوريوس في علوم وهندسة الكمبيوتر من جامعة رايس في عام 1985. وذهبت للحصول على ماجستير حصل على درجة الدكتوراه في علوم الكمبيوتر من جامعة رايس عام 1990 ثم حصل على الدكتوراه في علوم الكمبيوتر من جامعة رايس عام 1992.

التحقت بقسم علوم الكمبيوتر بجامعة ماساتشوستس أمهيرست كأستاذ مساعد في عام 1993. بينما تمت ترقيتها إلى أستاذ مشارك في عام 1999. وفي عام 2001 ، انتقلت إلى جامعة تكساس في أوستن كأستاذة مشاركة. في عام 2005 ، تمت ترقيتها إلى أستاذ وفي عام 2010 حصلت على درجة أستاذ في علوم الكمبيوتر. في عام 2011 ، انتقلت إلى شركة Microsoft Research كباحث رئيسي. وهي حاليًا باحث أقدم في Google.[1]

ماكينلي متزوج من سكوتي ستراهان. لديهم ثلاثة أولاد: كوبر، ديلان، وويت ستراهان.

المهنة

قدمت هي وزملاؤها أول نموذج للأغراض العامة وإطار التحسين استنادًا إلى التبعيات وإعادة استخدام خط ذاكرة التخزين المؤقت لتحسين موضع ذاكرة التخزين المؤقت لخوارزميات المصفوفة الكثيفة باستخدام التقليب الحلقي وانعكاس الحلقة والانصهار والتوزيع. [2] أوضحت ماكينلي ومستشارها كين كينيدي كيفية استخدام هذا النموذج لتقديم التوازي مع المكان والقضاء على المشاركة الخاطئة. [2] تم اختيار هذا العمل في عام 2014 لمجلد الذكرى السنوية الخامسة والعشرين لـ ICS.

قدمت ماكينلي وطالب الدكتوراه إيمري دي بيرغر وزملاؤها Hoc C / C ++ Memory Allocator ، والذي يستخدم على نطاق واسع من قبل التطبيقات وفي نظام التشغيل OS X الخاص بـ Apple. حدود التعارض التي تحدث عند تخصيص عدة مؤشرات ترابط أو ذاكرة خالية في نفس الوقت، ويتجنب المشاركة الخاطئة بسبب تخصيص الذاكرة. في الوقت نفسه، يفرض Hoard حدودًا ثابتة على إجمالي كمية التفتت. [3]

كان ماكينلي قائدًا لمجموعة أبحاث DaCapo ، التي امتدت على تسع مؤسسات وتم تمويلها من قبل NSF ITR ع (2000-2006). أنتج هذا المشروع عددًا من تقنيات الأجهزة الافتراضية المبتكرة، وأدوات المصادر المفتوحة، ومقاييس المصدر المفتوح، ومنهجيات جديدة لتقييم أوقات التشغيل المدارة. وقاد الجهود المبذولة في مجال القياس والمنهجيات ستيفن م. بلاكبيرن. تُستخدم مجموعة معايير ومقاييس التقييم DaCapo Java على نطاق واسع في الأوساط الأكاديمية والصناعة لتقييم تقنيات التحليل والتحسين واختبار Java. [4] كانت بلاكبيرن وتشنغ وماكينلي أول من أجرى مقارنة بين التفاح والخوارزميات الخاصة بخوارزميات جمع القمامة التي أظهرت أن متخصصي القائمة المجانية يتخلون عن كميات كبيرة من المواقع المحلية على الرغم من أنهم يحتاجون إلى ذاكرة أقل مقارنة بنسخ الخوارزميات، التي تخصص كائنات معاصرة . [5] [6]فاز هذا العمل بجائزة SIGMETRICS 2014 لاختبار الزمن. [7]

بناءً على هذه الرؤية، قام Blackburn و McKinley بتصميم فئة جديدة من جامعي القمامة، أطلقوا عليها اسم المنطقة. يقوم جامع علامة منطقة Immix بإدارة الذاكرة بشكل هرمي باستخدام كتل ثابتة الحجم تتكون من خطوط. تخصيص الكائنات المتجاورة قد يتقاطع مع الأسطر، لكن نوبلس. تجمع مجموعة Immix علامات الخط ونسخ الكائنات في مسار واحد. يوفر هذا التصميم فوائد كبيرة للأداء نظرًا لصغر حجم الكومة والتحسينات في المنطقة.[8]

حصل طالب الدكتوراه مايكل بوند على جائزة أطروحة الدكتوراه المتميزة من ACM SIGPLAN في عام 2008. [9]

في 14 فبراير 2013 ، أدلى ماكينلي بشهادته أمام لجنة مجلس النواب للعلوم والفضاء والتكنولوجيا، في اللجنة الفرعية للبحوث. تحدثت عن النظام البيئي لبحوث الحوسبة الأكاديمية والحكومية الذي يدفع الابتكار والتقدم الاقتصادي في جميع المجالات تقريبًا. [10]

جوائز

في عام 2008 ، حصلت على لقب زميل ACM. [11]

تشمل جوائزها البارزة الأخرى:

  • جائزة ACM SIGMETRICS لاختبار الزمن في عام 2014
  • جائزة OOPSLA الورقية الأكثر نفوذاً من عام 2002 ، مُنحت في عام 2012. [13] Berger، E. D. زورن، ب.ج. ماكينلي، ك. س. (نوفمبر 2002). "إعادة النظر في تخصيص ذاكرة مخصصة" (PDF). وقائع المؤتمر السابع عشر لـ ACM SIGPLAN حول البرمجة الموجهة للكائنات والأنظمة واللغات والتطبيقات. ص 1-12. CiteSeerX 10.1.1.119.5298. دوى: 10.1145 / 582٬419,582421. .
  • زميل IEEE (2011)
  • جائزة برنامج لغات البرمجة ACM SIGPLAN ، عن Jikes RVM (2012)
  • جائزة ACM SIGPLAN للخدمات المتميزة (2011)
  • ACM المتميز عالم (2006)

المراجع

  1. "Kathryn S McKinley Homepage". www.cs.utexas.edu. مؤرشف من الأصل في 11 أبريل 201911 أبريل 2019.
  2. K. S. McKinley; S. Carr; C. Tseng (1996). "Improving Data Locality with Loop Transformations". ACM Transactions on Programming Languages and Systems. 18 (4): 424–453.
  3. E. D. Berger; K. S. McKinley; R. D. Blumofe; P. R. Wilson (2000). "Hoard: a scalable memory allocator for multithreaded applications". ASPLOS IX Proceedings of the Ninth International Conference on Architectural Support for Programming Languages and Operating Systems
  4. S. M. Blackburn; R. Garner; C. Hoffman; A. M. Khan; K. S. McKinley; R. Bentzur A. Diwan; D. Feinberg; D. Frampton; S. Z. Guyer; M. Hirzel; A. Hosking; M. Jump; H. Lee; J. E. B. Moss; A. Phansalkar; D. Stefanovic; T. VanDrunen; D. von Dincklage; B. Wiedermann (2006). "The DaCapo benchmarks: java benchmarking development and analysis". Proceedings of the 21st Annual ACM SIGPLAN Conference on Object-oriented Programming Systems, Languages, and Applications: 169–190
  5. S. M. Blackburn; P. Cheng; K. S. McKinley (2004). "Myths and realities: the performance impact of garbage collection". SIGMETRICS '04/Performance '04 Proceedings of the Joint International Conference on Measurement and Modeling of Computer Systems: 25–36
  6. S. M. Blackburn; P. Cheng; K. S. McKinley (2004). "Oil and Water? High Performance Garbage Collection in Java with MMTk". ICSE '04 Proceedings of the 26th International Conference on Software Engineering: 137–146
  7. "ACM SIGMETRICS". sigmetrics.org. مؤرشف من الأصل في 9 أكتوبر 201811 أبريل 2019.
  8. S. M. Blackburn; K. S. McKinley (2008). "Immix: a mark-region garbage collector with space efficiency, fast collection, and mutator performance". PLDI '08 Proceedings of the 2008 ACM SIGPLAN Conference on Programming Language Design and Implementation: 22–32
  9. "John C. Reynolds Doctoral Dissertation Award". www.sigplan.org. مؤرشف من الأصل في 27 سبتمبر 201811 أبريل 2019.
  11. "Kathryn McKinley Named ACM Fellow | Department of Computer Science". www.cs.utexas.edu. مؤرشف من الأصل في 11 أبريل 201911 أبريل 2019.

موسوعات ذات صلة :