, стверджує, що розробляє прототип нової мови програмування.){kind=link}
จำเป็นต้องใช้การประมวลผลประสิทธิภาพสูงเพื่อแก้ปัญหาต่างๆ มากขึ้นเรื่อยๆ เช่น การประมวลผลภาพหรือแอปพลิเคชันการเรียนรู้เชิงลึกต่างๆ บนเครือข่ายประสาทเทียม ซึ่งคุณต้องประมวลผลข้อมูลจำนวนมาก และดำเนินการอย่างรวดเร็วเพียงพอ ไม่เช่นนั้น อาจต้องใช้ปริมาณมหาศาลอย่างไม่น่าเชื่อ เวลา. เป็นที่เชื่อกันอย่างกว้างขวางว่าเมื่อดำเนินการดังกล่าว การประนีประนอมระหว่างความเร็วและความน่าเชื่อถือเป็นสิ่งที่หลีกเลี่ยงไม่ได้ ตามความคิดนี้ หากความเร็วเป็นสิ่งสำคัญ ความน่าเชื่อถือก็มีแนวโน้มที่จะได้รับผลกระทบ และในทางกลับกัน
อย่างไรก็ตาม กลุ่มนักวิจัยที่มีพื้นฐานอยู่ที่สถาบันเทคโนโลยีแมสซาชูเซตส์ (MIT) ได้ท้าทายแนวคิดนี้ โดยอ้างว่าคุณสามารถมีได้ทั้งหมด Amanda Liu นักศึกษาระดับบัณฑิตศึกษาชั้นปีที่ XNUMX จาก Computer Science and Artificial Intelligence Laboratory (CSAIL) ของ MIT ด้วยภาษาการเขียนโปรแกรมใหม่ที่พวกเขาเขียนขึ้นโดยเฉพาะสำหรับการประมวลผลประสิทธิภาพสูง "ความเร็วและความถูกต้องไม่จำเป็นต้องแข่งขันกัน ตรงกันข้าม พวกเขาไปด้วยกันได้ ในโปรแกรมที่เราเขียน" Liu และทีมของเธอพูดถึงศักยภาพของ A Tensor Language (ATL) ที่สร้างขึ้นใหม่เมื่อเดือนที่แล้วที่การประชุม Principles of Programming Languages ในฟิลาเดลเฟีย
"ทุกอย่างในภาษาของเรา" Liu กล่าว "มีจุดมุ่งหมายเพื่อให้ได้ตัวเลขเดียวหรือเทนเซอร์" ในทางกลับกัน เทนเซอร์เป็นลักษณะทั่วไปของเวกเตอร์และเมทริกซ์ ในขณะที่เวกเตอร์เป็นวัตถุหนึ่งมิติ (มักแสดงด้วยลูกศรแต่ละตัว) และเมทริกซ์เป็นอาร์เรย์ตัวเลขสองมิติที่คุ้นเคย เทนเซอร์เป็นอาร์เรย์ n มิติที่สามารถอยู่ในรูปแบบอาร์เรย์ 3 × 3 × 3 หรือแม้แต่ มิติที่สูงขึ้น (หรือต่ำ)
สาระสำคัญของอัลกอริธึมคอมพิวเตอร์หรือโปรแกรมคือการเริ่มการคำนวณบางอย่าง แต่อาจมีหลายวิธีในการเขียนโปรแกรมนี้ -- "ความหลากหลายของการใช้งานโค้ดที่แตกต่างกันอย่างน่าประหลาดใจ" ตามที่ Liu และผู้เขียนร่วมเขียนไว้ในรายงานของพวกเขา ซึ่งบางวิธีเร็วกว่าวิธีอื่นๆ อย่างมาก เธออธิบายว่าเหตุผลหลักที่อยู่เบื้องหลัง ATL คือ: “เนื่องจากการประมวลผลประสิทธิภาพสูงนั้นใช้ทรัพยากรมาก คุณจึงต้องการแก้ไขหรือเขียนโปรแกรมใหม่ในรูปแบบที่เหมาะสมที่สุดเพื่อเพิ่มความเร็ว บ่อยครั้งที่คุณเริ่มต้นด้วยโปรแกรมที่เขียนง่ายที่สุด แต่นั่นอาจไม่ใช่วิธีที่เร็วที่สุดในการรัน ดังนั้นคุณยังต้องทำการปรับเปลี่ยนเพิ่มเติม"
ภาษาคำสั่งใหม่จะขึ้นอยู่กับภาษา Coq ที่มีอยู่ ซึ่งรวมถึงตัวช่วยการพิสูจน์ ในทางกลับกัน ผู้ช่วยพิสูจน์อักษรก็มีความสามารถในการพิสูจน์ข้อความทางคณิตศาสตร์ได้อย่างแม่นยำ Coq มีคุณสมบัติอื่นที่ทำให้กลุ่ม MIT น่าสนใจ: โปรแกรมที่เขียนด้วยภาษานั้น หรือการปรับตัวของมัน จะยุติลงเสมอและไม่สามารถรันอย่างไม่มีกำหนดในลูปที่ไม่มีที่สิ้นสุด
ตอนนี้เป็นภาษาเทนเซอร์ภาษาแรกและภาษาเดียวที่มีการเพิ่มประสิทธิภาพที่ผ่านการตรวจสอบอย่างเป็นทางการแล้ว อย่างไรก็ตาม ทีม MIT เตือนว่า ATL ยังคงเป็นเพียงต้นแบบ แม้ว่าจะมีแนวโน้มสูงก็ตาม ซึ่งได้รับการทดสอบกับโปรแกรมขนาดเล็กจำนวนหนึ่งแล้ว
อ่าน: