Charles E. Leiserson ปรมาจารย์ด้านการคำนวณแบบขนานและผู้เขียนตำราอัลกอริทึมระดับโลก
ในโลกของวิทยาการคอมพิวเตอร์ ชื่อของ Charles E. Leiserson เป็นที่รู้จักในฐานะผู้บุกเบิกแนวคิดการประมวลผลประสิทธิภาพสูง เขาเป็นศาสตราจารย์ประจำสถาบันเทคโนโลยีแมสซาชูเซตส์ (MIT) ผู้มีความเชี่ยวชาญระดับสูงในด้าน ทฤษฎีการคำนวณแบบขนาน (Parallel Computing) และ การคำนวณแบบกระจาย (Distributed Computing) ซึ่งเป็นรากฐานสำคัญของระบบซูเปอร์คอมพิวเตอร์และซอฟต์แวร์สมัยใหม่
เส้นทางการศึกษาและจุดเริ่มต้นทางวิชาการ
Leiserson เริ่มต้นเส้นทางสายวิชาการด้วยการคว้าปริญญาตรีด้านวิทยาการคอมพิวเตอร์และคณิตศาสตร์จากมหาวิทยาลัยเยล (Yale University) ในปี 1975 ก่อนจะศึกษาต่อในระดับปริญญาเอกที่มหาวิทยาลัยคาร์เนกีเมลลอน (Carnegie Mellon University) โดยสำเร็จการศึกษาในปี 1981 ภายใต้การดูแลของ Jon Bentley และ H. T. Kung
ผลงานวิทยานิพนธ์ระดับปริญญาเอกของเขาในหัวข้อ Area-Efficient VLSI Computation (การคำนวณ VLSI ที่ใช้พื้นที่อย่างมีประสิทธิภาพ) ซึ่ง VLSI หรือ Very Large Scale Integration คือเทคโนโลยีการรวมวงจรรวมจำนวนมหาศาลลงบนชิปตัวเดียว ได้สร้างชื่อเสียงให้เขาอย่างมาก โดยได้รับรางวัล ACM Doctoral Dissertation Award เป็นคนแรกในปี 1982
บทบาทที่ MIT และนวัตกรรมเปลี่ยนโลก
หลังจากจบการศึกษา Leiserson ได้เข้าร่วมเป็นคณาจารย์ที่ MIT ในปี 1981 และก้าวขึ้นสู่ตำแหน่งศาสตราจารย์ Edwin Sibley Webster ในภาควิชาวิศวกรรมไฟฟ้าและวิทยาการคอมพิวเตอร์ นอกจากนี้เขายังเคยดำรงตำแหน่งผู้อำนวยการฝ่ายปฏิบัติการของห้องปฏิบัติการ CSAIL (Computer Science and Artificial Intelligence Laboratory) และปัจจุบันเป็นผู้อำนวยการของ MIT-Air Force AI Accelerator เพื่อพัฒนาปัญญาประดิษฐ์สำหรับกองทัพอากาศสหรัฐฯ และประโยชน์ทางสังคม
การปฏิวัติฮาร์ดแวร์และซอฟต์แวร์
ในช่วงทศวรรษ 1980 เขาได้นำความรู้ไปประยุกต์ใช้ที่ Thinking Machines Corporation โดยเป็นสถาปนิกผู้ออกแบบ fat-tree interconnection network ซึ่งเป็นโครงข่ายการเชื่อมต่อที่ใช้ในซูเปอร์คอมพิวเตอร์หลายรุ่น รวมถึง Connection Machine CM5
ในด้านทฤษฎี เขาได้ร่วมบุกเบิกทฤษฎี VLSI เช่น วิธีการ retiming เพื่อเพิ่มประสิทธิภาพดิจิทัล และการสร้าง systolic arrays นอกจากนี้เขายังเป็นผู้คิดค้น cache-oblivious algorithms ซึ่งเป็นอัลกอริทึมที่ทำงานได้อย่างมีประสิทธิภาพสูงสุดกับหน่วยความจำแคช (Cache) โดยไม่ต้องทราบขนาดหรือรายละเอียดของแคชนั้นๆ
ภาษา Cilk และการประมวลผลแบบมัลติเธรด
Leiserson ได้พัฒนา ภาษา Cilk เพื่อใช้ในการเขียนโปรแกรมแบบมัลติเธรด (Multithreaded Programming) โดยใช้ work-stealing algorithm ซึ่งเป็นกลไกการจัดตารางงานที่พิสูจน์แล้วว่ามีประสิทธิภาพสูง ความสำเร็จนี้ทำให้เขาตั้งบริษัท Cilk Arts, Inc. ซึ่งต่อมาถูก Intel ซื้อกิจการในปี 2009 และนำไปสู่การสร้าง OpenCilk เพื่อให้เป็นโอเพนซอร์ส
มรดกทางวิชาการและตำรามาตรฐานโลก
หากกล่าวถึงการเรียนรู้อัลกอริทึม สิ่งที่ขาดไม่ได้คือหนังสือ Introduction to Algorithms ซึ่ง Leiserson ร่วมเขียนกับ Thomas H. Cormen, Ronald L. Rivest และ Clifford Stein ตำราเล่มนี้ได้รับการยอมรับว่าเป็นหนังสือวิชาการด้านวิทยาการคอมพิวเตอร์ที่ดีที่สุดในปี 1990 โดยสมาคมผู้จัดพิมพ์แห่งอเมริกา (Association of American Publishers)
| หัวข้อ | รายละเอียด |
|---|---|
| ความเชี่ยวชาญหลัก | การคำนวณแบบขนาน, การคำนวณแบบกระจาย, ทฤษฎีอัลกอริทึม |
| ผลงานเด่น | ภาษา Cilk, โครงข่าย fat-tree, ตำรา Introduction to Algorithms |
| สถาบันหลัก | Massachusetts Institute of Technology (MIT) |
| รางวัลสำคัญ | ACM Doctoral Dissertation Award, Paris Kanellakis Award, Ken Kennedy Award |
ข้อเท็จจริงสำคัญ
- ผู้บุกเบิก Cilk: พัฒนาภาษาสำหรับโปรแกรมมิ่งที่ใช้ระบบ work-stealing เพื่อจัดการงานใน CPU หลายคอร์
- สถาปนิกซูเปอร์คอมพิวเตอร์: ออกแบบเครือข่ายเชื่อมต่อแบบ fat-tree ที่เป็นมาตรฐานในเครื่องประมวลผลประสิทธิภาพสูง
- ผู้เขียนตำราเล่มดัง: ร่วมเขียนหนังสือ Introduction to Algorithms ซึ่งเป็นคัมภีร์หลักของนักคอมพิวเตอร์ทั่วโลก
- ความสำเร็จทางวิชาการ: ได้รับเลือกเป็น Fellow ของสถาบันชั้นนำอย่าง ACM, AAAS, IEEE และ SIAM
คำถามที่พบบ่อย
Charles E. Leiserson มีบทบาทสำคัญอย่างไรในด้านการคำนวณแบบขนาน?
เขามีบทบาททั้งในด้านทฤษฎีและปฏิบัติ โดยการคิดค้นโครงสร้างเครือข่าย fat-tree สำหรับฮาร์ดแวร์ และพัฒนาภาษา Cilk พร้อมอัลกอริทึม work-stealing เพื่อให้การประมวลผลแบบหลายเธรดมีประสิทธิภาพสูงสุด
ภาษา Cilk คืออะไรและมีความสำคัญอย่างไร?
Cilk เป็นภาษาโปรแกรมที่ออกแบบมาเพื่อการคำนวณแบบมัลติเธรด ช่วยให้การเขียนโปรแกรมสำหรับระบบ multicore ทำได้ง่ายขึ้นและมีประสิทธิภาพในการจัดสรรทรัพยากรผ่านระบบการ "ขโมยงาน" (work-stealing) เพื่อไม่ให้มีคอร์ใดว่างงาน
Cache-oblivious algorithms ที่เขาคิดค้นคืออะไร?
คืออัลกอริทึมที่ถูกออกแบบมาให้ทำงานได้อย่างมีประสิทธิภาพกับหน่วยความจำแคชในทุกระดับ โดยที่ตัวอัลกอริทึมเองไม่จำเป็นต้องรู้ขนาดของแคชหรือความยาวของแคชไลน์ (cache-line length) ของเครื่องที่นำไปรัน
หนังสือ Introduction to Algorithms มีความสำคัญอย่างไรในวงการคอมพิวเตอร์?
เป็นตำรามาตรฐานที่ใช้สอนในมหาวิทยาลัยทั่วโลก ครอบคลุมเนื้อหาพื้นฐานและขั้นสูงของอัลกอริทึมอย่างครบถ้วน จนได้รับการยกย่องว่าเป็นหนังสือวิชาการด้านวิทยาการคอมพิวเตอร์ที่ดีที่สุดเล่มหนึ่ง
รางวัล Ken Kennedy Award ที่เขาได้รับมีความหมายอย่างไร?
เป็นรางวัลที่มอบให้เพื่อเชิดชูเกียรติผู้ที่มีอิทธิพลอย่างยั่งยืนต่อระบบการคำนวณแบบขนาน และการผลักดันให้เทคโนโลยีดังกล่าวถูกนำมาใช้ในกระแสหลักผ่านการวิจัยและการพัฒนา