Memori Transaksi Perisian (STM)

Bayangkan pemindahan wang bank: anda tidak mahu wang hilang atau muncul entah dari mana. Anda mahu keseluruhan operasi berjaya atau gagal sepenuhnya.

Memori Transaksi Perisian (STM) dalam Clojure menyediakan jaminan yang serupa untuk mengurus keadaan dikongsi dan boleh ubah dalam atur cara serentak.

• Ia seperti sistem transaksi pangkalan data mini untuk memori aplikasi anda.
• Ia memastikan operasi pada data dikongsi berlaku secara "semua atau tiada".

Dalam pengaturcaraan serentak, beberapa bahagian kod anda mungkin cuba mengubah cebisan data yang sama pada masa yang sama. Hal ini boleh menyebabkan:

• Keadaan perlumbaan: Hasilnya bergantung pada pemasaan operasi yang tidak dapat diramal.
• Keadaan tidak konsisten: Data menjadi rosak atau hanya dikemas kini sebahagiannya.

STM membantu mencegah masalah ini dengan menyelaraskan akses kepada data dikongsi dan memastikan integriti data.

STM Clojure mengurus bekas data khas yang dipanggil Refs. Tidak seperti pemboleh ubah biasa, Refs direka untuk kemas kini bertransaksi.

• Satu Ref menyimpan nilai yang boleh diubah, tetapi hanya dalam transaksi.
• Anda mencipta Ref dengan nilai awal menggunakan (ref initial-value).

Anggaplah Ref sebagai peti besi selamat untuk data anda yang hanya terbuka untuk transaksi.

Untuk menjalankan operasi pada Refs, anda mesti membungkusnya dalam makro dosync.

• dosync mentakrifkan blok transaksi.
• Semua perubahan pada Refs dalam dosync dianggap sebagai satu unit atom.
• Jika mana-mana bahagian transaksi gagal, semua perubahan akan dikembalikan.

Ini memastikan data anda kekal konsisten walaupun dengan akses serentak.

Dalam blok dosync, anda menggunakan alter untuk mengubah nilai Ref.

(alter a-ref update-fn & args)

• update-fn ialah fungsi yang digunakan pada nilai semasa Ref.
• & args ialah argumen tambahan yang dihantar kepada update-fn.
• alter akan mencuba semula transaksi jika konflik (transaksi lain mengubah suai Ref yang sama) dikesan.

Contoh ini menunjukkan cara `dosync` dan `alter` berfungsi bersama. Kita akan mengemas kini satu Ref beberapa kali dalam satu transaksi.

Kadang-kadang, susunan operasi tidak penting, seperti menambah item pada senarai atau mengira. Untuk operasi sedemikian, gunakan commute dan bukannya alter.

(commute a-ref update-fn & args)

• commute menandakan kemas kini sebagai "komutatif".
• Ini boleh mengurangkan kemungkinan transaksi perlu dicuba semula, sekali gus meningkatkan prestasi.
• Ia paling sesuai untuk operasi yang `(f (f x a) b)` sama dengan `(f (f x b) a)`.

Berikut ialah contoh beberapa jalur yang meningkatkan pembilang secara serentak menggunakan `commute`. Contoh ini menunjukkan cara STM mengurus keadaan dikongsi dengan selamat dan cekap.

STM Clojure menyediakan jaminan kukuh yang sering diringkaskan dengan akronim ACID:

• Keatomikan: Semua atau tiada. Transaksi sama ada selesai sepenuhnya atau gagal sepenuhnya.
• Kekonsistenan: Transaksi membawa data daripada satu keadaan sah kepada keadaan sah yang lain.
• Pengasingan: Transaksi serentak kelihatan seperti dilaksanakan secara berturutan, lalu menghalang gangguan.
• Ketahanan: (Kurang berkaitan secara langsung dengan STM dalam memori, tetapi tersirat oleh komit yang berjaya) Setelah transaksi dilakukan, perubahannya kekal.

Dalam pelajaran ini, kita meneroka sistem Memori Transaksi Perisian (STM) Clojure yang berkuasa.

• Kita mempelajari Refs untuk mengurus keadaan dikongsi.
• Makro dosync memastikan transaksi atom.
• alter mengemas kini Refs dengan pengesanan konflik dan percubaan semula.
• commute mengoptimumkan kemas kini untuk operasi komutatif.
• STM menyediakan jaminan ACID untuk keserentakan yang kukuh.

Seterusnya, kita akan melihat primitif keserentakan lain seperti Promises dan Futures untuk operasi tak segerak!