FreeBSD 10 เปลี่ยนไปใช้ LLVM/Clang เป็นคอมไพเลอร์หลักแทน GCC

by mk
14 May 2012 - 14:26

ข่าวนี้เกี่ยวข้องกับซอฟต์แวร์ด้านคอมไพเลอร์ ศัพท์เทคนิคเฉพาะทางจะเยอะหน่อยนะครับ

เกริ่นก่อนว่าผู้อ่าน Blognone คงคุ้นเคยกับชื่อ GCC หรือ GNU Compiler Collection ซึ่งเป็นชุดซอฟต์แวร์ด้านคอมไพเลอร์สำหรับภาษาโปรแกรมต่างๆ มากมาย (ตอนแรกเน้น C/C++ เป็นหลัก) มันถูกสร้างขึ้นภายใต้โครงการ GNU และใช้สัญญาอนุญาตแบบ GPL ปัจจุบันมันเป็นคอมไพเลอร์มาตรฐานบนแพลตฟอร์มลินุกซ์และซอฟต์แวร์โอเพนซอร์สต่างๆ

แต่ GCC ไม่ใช่คอมไพเลอร์แบบโอเพนซอร์สเพียงโครงการเดียว เพราะมีโครงการคู่แข่งที่มาแรงในช่วงหลังคือ LLVM ซึ่งพัฒนามาจากโครงการวิจัยของมหาวิทยาลัย University of Illinois at Urbana–Champaign ในปี 2003

LLVM เป็นโอเพนซอร์สเหมือนกัน แต่ใช้สัญญาอนุญาตแบบ BSD ที่ให้อิสระมากกว่า GPL ทำให้ซอฟต์แวร์สาย BSD มีแนวโน้มจะใช้ LLVM มากกว่า GCC เพราะมีสัญญาอนุญาตแบบเดียวกัน

LLVM ใช้แนวคิดแบบเวอร์ชวลแมชีนกับการคอมไพล์โปรแกรม โดยมันจะแปลงภาษาโปรแกรมที่เราคุ้นกันดีมาอยู่ในรูป intermediate form หรือ IF (คล้ายกับ Bytecode ของ Java หรือ CIL ของ .NET) จากนั้นค่อยแปลง IF เป็นภาษาเครื่องอีกทีหนึ่ง

แนวทางของ LLVM ช่วยให้การรีดประสิทธิภาพทำได้ง่ายขึ้น เพราะนักพัฒนาของ LLVM สามารถเน้นไปที่การแปลง IF เป็นภาษาเครื่องเพียงขั้นตอนเดียว ส่วนการแปลงภาษาโปรแกรมเป็น IF จะใช้โค้ดอีกส่วนที่เรียกว่า front end ซึ่งรองรับภาษาที่แตกต่างกันไป (front end หลักของ LLVM สำหรับภาษา C/C++/Objective-C มีชื่อว่า Clang)

จุดเด่นของ LLVM อยู่ที่ประสิทธิภาพของการคอมไพล์ ทั้งในแง่เวลาที่ใช้คอมไพล์โปรแกรม และทรัพยากรของเครื่องที่ใช้คอมไพล์โปรแกรม (เช่น ซีพียู แรม ดิสก์) ผลทดสอบในบางกรณีแสดงให้เห็นว่า LLVM/Clang คอมไพล์ได้เร็วกว่า GCC ถึง 3 เท่าตัว อย่างไรก็ตาม LLVM ยังมีจุดอ่อนตรงที่โปรแกรมที่คอมไพล์แล้วยังมีประสิทธิภาพดีไม่เท่ากับโปรแกรมที่คอมไพล์ด้วย GCC (อธิบายง่ายๆ ว่า compile time ชนะแต่ run time ยังแพ้) และยังไม่รองรับซีพียูหลากหลายเท่ากับ GCC

กลับมาที่เนื้อข่าวครับ โครงการ FreeBSD มีแผนจะใช้ LLVM มานานแล้วด้วยเหตุผลที่กล่าวไปข้างต้นคือต้องการให้ซอฟต์แวร์ในดิสโทรของตัวเองใช้สัญญาอนุญาตแบบ BSD ให้มากที่สุด และในแผนการของ FreeBSD รุ่นหน้า 10.0 ทางนักพัฒนาก็มั่นใจแล้วว่า LLVM/Clang สามารถทดแทน GCC ได้แล้ว

FreeBSD 10.0 จะใช้ Clang 3.0 เป็นคอมไพเลอร์มาตรฐาน และเตรียมรองรับ Clang 3.1 ที่จะออกรุ่นจริงในวันนี้

LLVM/Clang ได้รับการสนับสนุนจากแอปเปิล (ซึ่งใช้ FreeBSD เป็นแกนกลางของ Mac OS X ด้วยเช่นกัน) โดยแอปเปิลได้จ้างทีมงานบางส่วนจาก Urbana–Champaign ไปนั่งพัฒนา LLVM เพื่อใช้ใน Mac OS X ด้วย (ปัจจุบันใช้งานเป็นบางส่วน)

ที่มา - Phoronix

Blognone Jobs Premium