جيرنوت هايزر

📅 آخر تحديث: ٤ أغسطس ٢٠٢٦
✍️ نُشر في: ٤ أغسطس ٢٠٢٦
الموسوعة الحرة

جيرنوت هايزر (مواليد 1957) هو عالم حاسوب ألماني أسترالي. وهو أستاذ في برنامج ساينتيا ورئيس كرسي جون ليونز لأنظمة التشغيل في جامعة نيو ساوث ويلز في سيدني ، حيث يرأس مجموعة الأنظمة الموثوقة (TS).

حياة

حصل Heiser على Abitur في عام 1976 في Markgräfler Gymnasium Müllheim في Müllheim im Markgräflerland . [ 1 ]

في عام 1991، انضم هايزر إلى كلية علوم وهندسة الحاسوب بجامعة نيو ساوث ويلز في سيدني ، في البداية كمحاضر، ووصل إلى رتبة أستاذ كامل في عام 2002، وهو المنصب الذي لا يزال يحتفظ به حتى الآن.

في عام ٢٠٠٢، انضم أيضًا إلى منظمة الأبحاث المُنشأة حديثًا NICTA كأحد قادة البرامج الأوائل، مسؤولًا عن برنامج الأنظمة المُدمجة والأنظمة في الوقت الحقيقي وأنظمة التشغيل (ERTOS). بعد إعادة تنظيم في عام ٢٠١١، أصبح برنامج ERTOS يُعرف باسم مجموعة أبحاث أنظمة البرمجيات (SSRG) التي قادها. عندما تم دمج NICTA في CSIRO عام ٢٠١٦، تنحى هايزر عن إدارة المجموعة، التي كانت تُسمى آنذاك الأنظمة الجديرة بالثقة (TS). في عام ٢٠٢١، تخلت CSIRO عن TS، [ ٢ ] وعندها أعاد هايزر المجموعة إلى جامعة نيو ساوث ويلز (UNSW) وتولى قيادتها مجددًا.

يشغل هايزر منصب الرئيس المؤسس لمؤسسة seL4 منذ أبريل 2020 .

بحث

يركز بحث هايزر على النوى المصغرة والأنظمة القائمة على النوى المصغرة والآلات الافتراضية ، ويؤكد على الأداء والموثوقية.

أنتجت مجموعته نظام التشغيل Mungi ، وهو نظام تشغيل ذو مساحة عنوان واحدة ، [ 3 ] لمجموعات من الحواسيب ذات 64 بت ، بالإضافة إلى تطبيقات لنواة L4 المصغرة مع اتصال سريع للغاية بين العمليات . [ 4 ] وكان فريقه في مشروع Gelato@UNSW عضوًا مؤسسًا في اتحاد Gelato ، وركز على أداء وقابلية توسع نظام Linux على معالجات Itanium . وقد وضعوا حدودًا نظرية وعملية لأداء الاتصال بين العمليات (IPC) عبر تمرير الرسائل على معالجات Itanium. [ 5 ]

بعد انضمامه إلى NICTA عند تأسيسها عام 2002، تحوّل بحثه من منصات الحوسبة المتطورة إلى الأنظمة المدمجة، بهدف تحسين الأمن والسلامة والموثوقية باستخدام تقنية النواة المصغّرة. [ 6 ] وقد أدى ذلك إلى تطوير نواة مصغّرة جديدة، تُسمى seL4، والتحقق الرسمي منها، والذي يُزعم أنه أول برهان كامل على الإطلاق على صحة وظائف نواة نظام تشغيل للأغراض العامة . [ 7 ]

كان دافعه للعمل على المحاكاة الافتراضية هو الحاجة إلى توفير بيئة نظام تشغيل متكاملة على أنويته المصغرة. اتبع مشروع Wombat النهج المتبع في مشروع L4Linux في دريسدن ، ولكنه كان نظام لينكس شبه افتراضي متعدد البنى يعمل على معالجات x86 و ARM و MIPS . شكل عمل Wombat لاحقًا أساسًا لبرنامج OKL4 Hypervisor الخاص بشركته Open Kernel Labs (OK Labs). أدت الرغبة في تقليل الجهد الهندسي للمحاكاة الافتراضية إلى تطوير نهج الطبقات المرنة للمحاكاة الافتراضية الآلية، والذي تم عرضه على معالجات x86 و Itanium . [ 8 ] أظهر عمله على الوصول غير الموحد للذاكرة الافتراضية (vNUMA) برنامج Hypervisor يقدم نظامًا موزعًا كمعالج متعدد ذي ذاكرة مشتركة كنموذج محتمل للرقائق متعددة النوى ذات عدد كبير من أنوية المعالجة. [ 9 ]

تُعدّ برامج تشغيل الأجهزة محورًا آخر من محاور عمله، بما في ذلك أول عرض توضيحي لبرامج تشغيل وضع المستخدم مع زيادة في الأداء أقل من 10%، [ 10 ] ومنهجية لتطوير برامج التشغيل تُزيل معظم أخطاء برامج التشغيل الشائعة من خلال التصميم، [ 11 ] وبرامج تشغيل الأجهزة المُنتجة من منصات اختبار الأجهزة، [ 12 ] وإثبات جدوى توليد برامج تشغيل الأجهزة تلقائيًا من المواصفات الرسمية. [ 13 ] كما أجرى أبحاثًا حول إدارة الطاقة على مستوى نظام التشغيل. [ 14 ]

منذ مغادرته مختبرات OK Labs عام 2010، ركّز بشكل شبه كامل على نظام seL4 وأنظمة seL4 عالية الموثوقية، سواءً في مجال البحث أو نقل التكنولوجيا. ومن أبرز إنجازاته البحثية تحليلٌ دقيقٌ وشاملٌ لوقت التنفيذ في أسوأ الحالات (WCET) لنظام seL4، والذي يُزعم أنه أول تحليل من نوعه لنواة نظام تشغيل في الوضع المحمي . [ 15 ] [ 16 ] كما أدى عمله على توسيع وظائف seL4 لدعم أنظمة ذات مستوى حرج مختلط (MCS) إلى جعل الوقت مورداً أساسياً في نظام قدرات seL4 . [ 17 ]

بالتركيز على قنوات التوقيت في البنية الدقيقة ، أثبت في عام 2015 أول هجوم عملي على قناة التوقيت الجانبية عبر النوى. [ 18 ] وقد أدى ذلك إلى العمل على المنع المنهجي لتسرب التوقيت في القنوات، واقتراح مجموعة من الآليات لتحقيق ذلك، والتي يُشار إليها مجتمعةً باسم حماية التوقيت . [ 19 ]

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

الجوائز والتكريمات

مراجع

  1. ↑ جيرنوت هايزر، كبير المسؤولين العلميين في seL4 ، getprog.ai.
  2. ↑ شركة Data61 تستغني عن فريق أمن seL4 ذي المستوى العالمي ، 21 مايو 2021، InnovationAus.com
  3. ↑ هايزر، جيرنوت؛ إلفينستون، كيفن؛ فوكتيلو، جيري؛ ستيفن، راسل؛ يوشين، ليدتك (1998). "نظام التشغيل مونجي ذو مساحة العنوان الواحدة". البرمجيات: الممارسة والخبرة . 28 (9): 901-928 . CiteSeerX 10.1.1.146.4216 . doi : 10.1002/(SICI)1097-024X(19980725)28:9 < 901::AID-SPE181 > 3.0.CO ; 2-7 . S2CID 62189930 .  
  4. ↑ ليدتكه، يوشين ؛ إلفينستون، كيفن؛ شونبيرغ، سيباستيان؛ هارتيغ، هيرمان؛ هايزر، غيرنوت؛ إسلام، نعيم؛ ياغر، ترينت (مايو 1997). "تحقيق أداء IPC (لا يزال أساسًا للتوسع)" . ورشة العمل السادسة حول المواضيع الساخنة في أنظمة التشغيل . كيب كود، ماساتشوستس، الولايات المتحدة: IEEE. الصفحات 28-31 . مؤرشف من الأصل في 15 أبريل 2005. 
  5. ↑ غراي، تشارلز؛ تشابمان، ماثيو؛ تشاب، بيتر؛ موسبرغر-تانغ، ديفيد؛ هايزر، غيرنوت (أبريل 2005). "إيتانيوم: قصة مُنفِّذ نظام" (ملف PDF) . وقائع المؤتمر التقني السنوي لـ USENIX لعام 2005. أنهايم، كاليفورنيا، الولايات المتحدة الأمريكية.
  6. ↑ هايزر، جيرنوت؛ إلفينستون، كيفن؛ كوز، إيهور؛ كلاين، جيروين؛ بيترز، ستيفان م. (يوليو 2007). "نحو أنظمة حوسبة جديرة بالثقة: الارتقاء بالنوى المصغرة إلى مستوى جديد" . مجلة ACM لأنظمة التشغيل . 41 (4): 3-11 . doi : 10.1145/1278901.1278904 . hdl : 1959.4/39906 . S2CID 9036194 . 
  7. 1 2 كلاين، جيروين؛ إلفينستون، كيفن؛ هايزر، جيرنوت؛ أندرونيك، جون؛ كوك، ديفيد؛ ديرين، فيليب؛ إلكادوي، داميكا؛ إنجلهارت، كاي؛ كولانسكي، رافال؛ نورش، مايكل؛ سيويل، توماس؛ توش، هارفي؛ وينوود، سيمون (أكتوبر 2009). "seL4: التحقق الرسمي من نواة نظام التشغيل" (ملف PDF) . المؤتمر الثاني والعشرون لجمعية ACM حول مبادئ أنظمة التشغيل . بيج سكاي، مونتانا، الولايات المتحدة الأمريكية.
  8. ^ لوفاسور، جوشوا؛ أوليج، فولكمار؛ يانغ، ياوي؛ تشابمان، ماثيو. تشب، بيتر؛ ليزلي بن. هيزر ، جيرنوت (أغسطس 2008). "المحاكاة الافتراضية المسبقة: الطبقات الناعمة للأجهزة الافتراضية" (PDF) . المؤتمر الثالث عشر لهندسة أنظمة الكمبيوتر لآسيا والمحيط الهادئ IEEE . هسينشو، تايوان.
  9. ↑ تشابمان، ماثيو؛ هايزر، جيرنوت (يونيو 2009). "vNUMA: معالج متعدد افتراضي بذاكرة مشتركة" (ملف PDF) . المؤتمر التقني السنوي لـ USENIX . سان دييغو، كاليفورنيا، الولايات المتحدة الأمريكية.
  10. ↑ ليزلي، بن؛ تشاب، بيتر؛ فيتزروي-ديل، نيكولاس؛ غوتز، ستيفان؛ غراي، تشارلز؛ ماكفيرسون، لوك؛ بوتس، دانيال؛ شين، يوتينغ (ريتا)؛ إلفينستون، كيفن؛ هايزر، غيرنوت (سبتمبر 2005). "برامج تشغيل الأجهزة على مستوى المستخدم: الأداء المُحقق". مجلة علوم وتكنولوجيا الحاسوب . 20 (5): 654-664 . CiteSeerX 10.1.1.59.6766 . doi : 10.1007/s11390-005-0654-4 . S2CID 1121537 .  
  11. ↑ ريزيك، ليونيد؛ تشاب، بيتر؛ كوز، إيهور؛ هايزر، غيرنوت (أبريل 2009). "دينغو: ترويض برامج تشغيل الأجهزة" (ملف PDF) . المؤتمر الرابع لـ EuroSys . نورمبرغ، ألمانيا.
  12. ↑ ريزيك، ليونيد؛ كيز، جون؛ ميرلا، بالاشاندرا؛ راغوناث، أرون؛ فيج، مونا؛ هايزر، جيرنوت (مارس 2011). "تحسين موثوقية برامج تشغيل الأجهزة من خلال إعادة استخدام التحقق من الأجهزة" (ملف PDF) . المؤتمر الدولي السادس عشر حول الدعم المعماري للغات البرمجة وأنظمة التشغيل . نيوبورت بيتش، كاليفورنيا، الولايات المتحدة الأمريكية.
  13. ↑ ريزيك، ليونيد؛ تشاب، بيتر؛ كوز، إيهور؛ لو سوير، إتيان؛ هايزر، جيرنوت (أكتوبر 2009). "التوليف التلقائي لبرامج تشغيل الأجهزة باستخدام Termite" (ملف PDF) . المؤتمر الثاني والعشرون لجمعية ACM حول مبادئ أنظمة التشغيل . بيج سكاي، مونتانا، الولايات المتحدة الأمريكية.
  14. ↑ سنودون، ديفيد سي؛ لو سوير، إتيان؛ بيترز، ستيفان إم؛ هايزر، غيرنوت (أبريل 2009). "كوالا: منصة لإدارة الطاقة على مستوى نظام التشغيل" (ملف PDF) . المؤتمر الرابع لـ EuroSys . نورمبرغ، ألمانيا.
  15. ↑ بلاكهام، برنارد؛ هايزر، جيرنوت (أبريل 2013). "Sequoll: إطار عمل للتحقق من نماذج الملفات الثنائية" (ملف PDF) . ندوة IEEE حول تقنيات وتطبيقات الوقت الحقيقي والأنظمة المدمجة (RTAS) . فيلادلفيا، الولايات المتحدة الأمريكية.
  16. ↑ سيويل، توماس؛ كام، فيليكس؛ هايزر، جيرنوت (أبريل 2016). "تحديد كامل وعالي الموثوقية لحدود الحلقات والمسارات غير الممكنة لتحليل أسوأ وقت تنفيذ" (ملف PDF) . ندوة IEEE لتقنيات وتطبيقات الوقت الحقيقي والأنظمة المدمجة (RTAS) . فيينا، النمسا.
  17. ↑ ليونز، آنا؛ ماكلويد، كينت؛ ألماتاري، هشام؛ هايزر، جيرنوت (أبريل 2018). "إمكانيات سياق الجدولة: آلية نظام تشغيل مبدئية وخفيفة الوزن لإدارة الوقت" (ملف PDF) . مؤتمر يوروسيس . بورتو، البرتغال.
  18. ↑ ليو، فانغفي؛ ياروم، يوفال؛ جي، تشيان؛ هايزر، غيرنوت؛ لي، روبي ب (مايو 2015). "هجمات القناة الجانبية على ذاكرة التخزين المؤقت من المستوى الأخير عملية" (ملف PDF) . ندوة IEEE حول الأمن والخصوصية . سان خوسيه، كاليفورنيا، الولايات المتحدة الأمريكية.
  19. ↑ جي، تشيان؛ ياروم، يوفال؛ تشوثيا، توم؛ هايزر، غيرنوت (مارس 2019). "حماية الوقت: التجريد المفقود لنظام التشغيل" (ملف PDF) . مؤتمر يوروسيس . دريسدن، ألمانيا.
  20. ↑ أبيرلي، أرمين ج؛ ألترمان، بيترو ب؛ هايزر، جيرنوت؛ روبنسون، ستيفن ج؛ وانغ، أيهوا؛ تشاو، جيان هوا؛ كرومبين، أولريش؛ غرين، مارتن أ. (1995). "آليات الحد من الفقد في الخلايا الشمسية السيليكونية ذات كفاءة 23%". مجلة الفيزياء التطبيقية . 77 (7): 3491-3504 . doi : 10.1063/1.358643 . hdl : 1959.4/39895 .
  21. ↑ عضو في ليوبولدينا
  22. ↑ زملاء الجمعية الملكية في نيو ساوث ويلز
  23. ↑ قائمة المتحدثين المتميزين في جمعية آلات الحوسبة
  24. ↑ جائزة قاعة مشاهير ACM SIGOPS
  25. ↑ زميل في ATSE
  26. ↑ زميل معهد مهندسي الكهرباء والإلكترونيات
  27. ↑ باحث تكنولوجيا المعلومات والاتصالات للعام 2015 من جمعية الحاسبات الأسترالية
  28. ↑ زملاء جمعية آلات الحوسبة 2014
  29. ↑ جوائز رئيس وزراء ولاية نيو ساوث ويلز للعلوم والهندسة