Meta ใช้ OCaml GC แก้ปัญหาประสิทธิภาพ Soteria Rust ได้ 10 เท่าภายใน 40 บรรทัดโค้ด

Meta ทีมพัฒนา Soteria Rust พบว่า Tree Borrows ซึ่งเป็นโมเดลการจัดการการอ้างอิงล่าสุดใน Rust ใช้เวลาประมวลผลแบบกำลังสอง (quadratic time) จนช้าลง จึงเปลี่ยนมาใช้ OCaml Garbage Collector แทนการพัฒนาของตัวเอง ทำให้ปรับปรุงประสิทธิภาพได้ 10 เท่าภายใน 40 บรรทัดโค้ด ภายในเดือนเมษายน 2568 การเปลี่ยนแปลงนี้เกิดจากการวิเคราะห์ symbolic execution ที่ต้องการ garbage collection แบบมีประสิทธิภาพสูง โดย OCaml GC ช่วยลดการใช้ทรัพยากรและเพิ่มความเร็วในการประมวลผลอย่างมีนัยสำคัญ ขณะที่ Tree Borrows ยังคงทำงานได้ตามเป้าหมายเดิม ทีม Meta ระบุว่าการใช้ OCaml GC ช่วยลดความซับซ้อนของโค้ดและเพิ่มความเสถียรของระบบ ซึ่งเป็นแนวทางใหม่ในการปรับปรุงเครื่องมือวิเคราะห์โค้ดใน Rust

สรุปด้วย MAF Local AI · เนื้อหาต้นฉบับเป็นของแหล่งข่าว