ปัญหาเปิดปัจจุบันในทฤษฎีคอมไพเลอร์คืออะไร

ทฤษฎีคอมไพเลอร์ดูเหมือนว่าจะเป็นวิชาที่ค่อนข้างถูกตรวจสอบ มีปัญหาแบบเปิดหรือการวิจัยปัจจุบันที่เกิดขึ้นในสาขาใดบ้าง

จากประสบการณ์ของฉันฉันได้เห็นการพัฒนาคอมไพเลอร์ใหม่ดังต่อไปนี้:

• ทำงานโดยอัตโนมัติข้อมูลขนาน (หรืออย่างน้อยลดจำนวนงานที่ชัดเจนโดยโปรแกรมเมอร์) โดยทั่วไปต้องใช้ส่วนขยายในภาษาเช่นกัน
• ทำงานกับกลยุทธ์การปรับให้เหมาะสมสุดขั้วเช่นการคอมไพล์พิเศษหรือการประเมินผลบางส่วน (โดยที่โปรแกรมถูกยุบผ่านการประเมินผลจนกว่าจะถูกลดขนาดให้อยู่ในรูปแบบ "ที่เล็กที่สุด" และคอมไพล์แล้ว)

ฉันได้เห็นงานที่หลากหลายเกี่ยวกับสิ่งต่าง ๆ เช่นตัวตรวจสอบชนิดและอื่น ๆ แต่ฉันคิดว่าคุณกำลังพูดถึงสิ่งที่คอมไพเลอร์เฉพาะเจาะจงมากขึ้น

ตั้งแต่เมื่อฉันจากไป (แต่อาจจะยังมีความเกี่ยวข้อง):

• การประมวลผลแบบกระจาย:
  • รวบรวมแอปพลิเคชันเพื่อทำงานบนคลัสเตอร์แบบกระจายของโปรเซสเซอร์
    สิ่งนี้ต้องคำนึงถึงการแม็พหน่วยความจำ (การกระจายข้อมูลปัญหา) ของข้อมูลไปยังตัวประมวลผลและเพิ่มรหัสที่ชัดเจนเพื่อขอหน้าหน่วยความจำสำหรับการอ่าน / เขียนก่อนที่พวกเขาจะต้องป้องกันตัวประมวลผล
• การประมวลผลแบบขนาน:
  • คอมไพเลอร์สร้างรหัสเธรด
    การลบความต้องการสำหรับนักพัฒนาเพื่อสร้างรหัสเธรดอย่างชัดเจน (เพราะโดยทั่วไปแล้วพวกเขาจะไม่ดีมากที่มัน)