ภาควิชาวิทยาการคอมพิวเตอร์ KAIST พัฒนาเทคโนโลยีแปล C เป็น Rust อัตโนมัติ
(n.news.naver.com)KAIST เปิดเผยเมื่อวันที่ 13 ว่า ทีมวิจัยภาควิชาวิทยาการคอมพิวเตอร์ของศาสตราจารย์ Ryu Seok-young (Programming Language Lab) ได้พัฒนา 'เทคโนโลยีแปลโค้ด C เป็น Rust' ที่ช่วยป้องกันไม่ให้เกิดปัญหาหน่วยความจำในฟังก์ชันหลักของภาษา C ผลการวิจัยครั้งนี้ได้รับคัดเลือกให้นำเสนอในการประชุมวิชาการนานาชาติ 'ASE (International Conference on Automated Software Engineering)'
บทความวิจัยได้รับการตีพิมพ์ในวารสาร PACMPL (Proceedings of the ACM on Programming Languages) เมื่อวันที่ 21 มิถุนายนตามเวลาเกาหลี และได้นำเสนอในงานประชุมวิชาการ PLDI 2024 ซึ่งจัดขึ้นระหว่างวันที่ 25 ถึง 27 มิถุนายน
9 ความคิดเห็น
ฟังดูน่าสนใจดีนะ
ถ้าจะทำให้เป็นแบบแทนที่กันได้ด้วยการแปลง แบบนั้น Rust ยังมีความหมายอยู่ไหม?
ในแง่ของความปลอดภัยของหน่วยความจำ ก็น่าจะมีข้อดีมากพออยู่ไม่ใช่หรือครับ
แล้วในจุดที่ไม่สามารถแปลงโค้ด C เดิมให้ถูกจัดการแบบอิง ownership ได้โดยอัตโนมัติ ก็น่าจะช่วยให้ค้นพบประเด็นด้านความปลอดภัยได้ด้วยเหมือนกันครับ
จาก C ไปเป็น rust...เมาอยู่เหรอ?
แปล C เป็น rust ไม่ได้เหรอ..?
ถ้าแปลงได้แค่
unionอย่างเดียว ผมก็ไม่ค่อยเข้าใจเหมือนกันว่ามันมีความหมายหรือประโยชน์อะไรเหตุผลที่โฟกัสไปที่การแปลง
unionก็อาจเป็นเพราะการแปลคอมโพเนนต์อื่น ๆ นั้นค่อนข้างตรงไปตรงมาหรือเปล่าถ้าดูแค่พาดหัวข่าว ก็อาจเข้าใจผิดได้ง่ายว่ามันแปล C->Rust ได้ทั้งหมด แต่จากเนื้อหาข่าวข้างบนและในข่าวอื่น ๆ ดูเหมือนจะพูดถึงแค่การแปลง
unionเท่านั้น(ข่าวข้างบน)
"ทีมวิจัยได้พัฒนาเทคโนโลยีสำหรับแปล
unionของภาษา C เดิมให้เป็นโค้ด Rust""ทีมวิจัยมีแผนจะดำเนินงานวิจัยต่อเนื่องเพื่อไปให้ถึงขั้น 'การแปลอัตโนมัติเต็มรูปแบบ'"
(ข่าวอื่น)
"KAIST (อธิการบดี Lee Kwang-hyung) เปิดเผยเมื่อวันที่ 13 ว่า ทีมวิจัยของศาสตราจารย์ Ryu Seok-young แห่งภาควิชาวิทยาการคอมพิวเตอร์ (ห้องปฏิบัติการวิจัยภาษาโปรแกรม) ได้พัฒนาเทคโนโลยีสำหรับแปลง
unionของภาษา C ให้เป็นtagged unionของ Rust ได้เป็นครั้งแรกของโลก"https://www.lecturernews.com/news/articleView.html?idxno=158865
เมื่อไม่นานมานี้ก็มีข่าว TRACTOR เหมือนกันนะ..