Bagaimana Banyak Thread Dapat Memodifikasi Data yang Sama Tanpa Lock Sama Sekali? Sains Pemrograman Lock-Free dan Masalah ABA