เข้าใจระบบการจัดการหน่วยความจำสำหรับนักพัฒนาซอฟต์แวร์

แอปพลิเคชันทุกตัวตั้งแต่โปรแกรมพื้นฐานอย่าง Hello, World ไปจนถึงแพลตฟอร์มระดับโลกอย่าง Netflix ล้วนพึ่งพาทรัพยากรที่มองไม่เห็นชิ้นเดียวกันนั่นคือหน่วยความจำ โดยทั่วไปนักพัฒนามักเรียนรู้เรื่องตัวแปร ลูป และฟังก์ชันก่อนที่จะคำนึงถึงหน่วยความจำ แต่การเข้าใจกลไกการทำงานเบื้องหลังนี้จะช่วยให้คุณเป็นโปรแกรมเมอร์ที่ดีขึ้น เขียนแอปพลิเคชันได้รวดเร็วขึ้น และหลีกเลี่ยงข้อผิดพลาดที่น่าหงุดหงิด

หน่วยความจำหรือที่เรียกกันทั่วไปว่า RAM (Random Access Memory) คือพื้นที่ทำงานชั่วคราวของคอมพิวเตอร์ เมื่อแอปพลิเคชันเริ่มต้นทำงาน มันจะร้องขอพื้นที่ส่วนหนึ่งจาก RAM เพื่อจัดเก็บข้อมูลต่างๆ ต่างจากฮาร์ดดิสก์หรือ SSD ตรงที่ RAM ทำงานได้อย่างรวดเร็วเหลือเชื่อแต่ก็เป็นแบบชั่วคราวเช่นกัน เมื่อโปรแกรมสิ้นสุดการทำงาน ระบบปฏิบัติการจะเรียกคืนหน่วยความจำนั้นกลับไปทันที

ภาพประกอบจากคลังภาพสต็อก ไม่ใช่ภาพจากเหตุการณ์จริง

หน่วยความจำโดยทั่วไปจะถูกแบ่งออกเป็นสองส่วนหลัก ได้แก่ Stack และ Heap โดย Stack มีความเร็วสูงมากเนื่องจากมีการเพิ่มและลบข้อมูลตามลำดับเข้าก่อนออกทีหลัง (LIFO) อย่างเคร่งครัด ในขณะที่ Heap ทำหน้าที่จัดเก็บข้อมูลที่ถูกจัดสรรแบบไดนามิก ซึ่งข้อมูลใน Heap จะยังคงถูกจัดสรรไว้จนกว่าจะไม่มีความจำเป็นต้องใช้อีกลงไป

ในส่วนของการจัดการหน่วยความจำอัตโนมัติ ภาษาโปรแกรมอย่าง JavaScript, Python, Java, C#, และ Go จะทำการคืนหน่วยความจำที่ไม่ได้ใช้งานให้โดยอัตโนมัติ ช่วยให้นักพัฒนาไม่ต้องจัดสรรและปลดปล่อยหน่วยความจำด้วยตนเอง วัตถุจะยังคงอยู่ในหน่วยความจำจนกว่าจะไม่มีสิ่งใดอ้างถึงมันอีก จากนั้นเอนจิ้นของภาษาจะทำการลบออกผ่านกระบวนการที่เรียกว่า Garbage Collection

ปัญหา Memory Leak จะเกิดขึ้นเมื่อหน่วยความจำที่ไม่มีประโยชน์แล้วยังคงถูกจัดสรรไว้อยู่เนื่องจากยังมีบางสิ่งอ้างถึงมัน ตัวอย่างเช่น Closures ที่เก็บตัวแปรให้คงอยู่แม้ว่าฟังก์ชันจะทำงานเสร็จสิ้นไปแล้ว ซึ่งหากไม่ระมัดระวังก็อาจเก็บวัตถุขนาดใหญ่ไว้นานเกินความจำเป็น และหน่วยความจำจะยังไม่สามารถกู้คืนได้จนกว่าจะไม่มีการอ้างอิงใดๆหลงเหลืออยู่

ที่มา: Dev.to