Savepoint SQLite: Transaksi Bersarang, ROLLBACK TO

Savepoint Adalah Penanda Bernama di Dalam Transaksi

Transaksi biasa bersifat semua atau tidak sama sekali: semua yang ada di antara BEGIN dan COMMIT diterapkan bersama-sama atau dibuang bersama-sama. Biasanya itulah yang kamu mau, tapi terkadang kamu ingin kontrol yang lebih halus. "Coba kelompok perubahan ini; kalau gagal, batalkan kelompok itu saja dan biarkan sisa transaksinya tetap berjalan."

Itulah savepoint. Kamu memasang penanda bernama, mengerjakan sesuatu, lalu memilih untuk mempertahankan pekerjaan itu (RELEASE) atau memutar balik ke penanda tersebut (ROLLBACK TO).

CREATE TABLE accounts (name TEXT, balance INTEGER);
INSERT INTO accounts VALUES ('Ada', 100), ('Boris', 100);

BEGIN;
  UPDATE accounts SET balance = balance - 30 WHERE name = 'Ada';

  SAVEPOINT risky;
    UPDATE accounts SET balance = balance + 30 WHERE name = 'Nobody';
  ROLLBACK TO risky;

  UPDATE accounts SET balance = balance + 30 WHERE name = 'Boris';
COMMIT;

SELECT * FROM accounts;

Pengurangan saldo Ada dan penambahan saldo Boris sama-sama tetap tersimpan. Update yang keliru ke Nobody dibatalkan tanpa kehilangan sisa transaksinya.

Tiga Perintahnya

Seluruh API-nya hanya tiga pernyataan:

• SAVEPOINT name: memasang penanda.
• RELEASE SAVEPOINT name: mempertahankan pekerjaan sejak penanda itu dipasang, lalu menghapus penandanya.
• ROLLBACK TO SAVEPOINT name: membatalkan semua sejak penanda itu; penandanya tetap di tempat sehingga kamu bisa mencoba lagi.

Kata SAVEPOINT setelah RELEASE dan ROLLBACK TO itu opsional: RELEASE risky dan ROLLBACK TO risky sama-sama berfungsi.

CREATE TABLE log (msg TEXT);

BEGIN;
  INSERT INTO log VALUES ('start');

  SAVEPOINT step1;
    INSERT INTO log VALUES ('step 1 done');
  RELEASE step1;

  SAVEPOINT step2;
    INSERT INTO log VALUES ('step 2 attempt');
  ROLLBACK TO step2;
    INSERT INTO log VALUES ('step 2 retry');
  RELEASE step2;
COMMIT;

SELECT * FROM log;

Baris step 2 attempt tidak pernah ada sejauh menyangkut database akhirnya. Semua yang lain tersimpan.

Savepoint Tanpa Transaksi Luar

Ada sedikit kejutan: kamu bisa menjalankan SAVEPOINT tanpa BEGIN lebih dulu. SQLite diam-diam membuka transaksi untukmu, dan savepoint terluar berperan sebagai transaksinya. RELEASE pada savepoint itu melakukan commit, sedangkan ROLLBACK TO memutar balik tanpa commit.

CREATE TABLE notes (text TEXT);

SAVEPOINT outer;
  INSERT INTO notes VALUES ('hello');
RELEASE outer;

SELECT * FROM notes;

Itulah sebabnya savepoint kadang disebut "transaksi bernama." Tapi mencampur kedua gaya ini di kode sungguhan jadi membingungkan, jadi pilih salah satu. Kebanyakan orang memakai BEGIN ... COMMIT yang eksplisit untuk batas luarnya, dan savepoint hanya untuk titik-titik pembatalan sebagian di dalamnya.

Savepoint Bersarang

Savepoint bisa ditumpuk. Kamu bisa memasang satu savepoint di dalam savepoint lain, lalu membatalkan yang di dalam tanpa menyentuh yang di luar:

CREATE TABLE items (name TEXT);

BEGIN;
  INSERT INTO items VALUES ('a');

  SAVEPOINT outer;
    INSERT INTO items VALUES ('b');

    SAVEPOINT inner;
      INSERT INTO items VALUES ('c');
    ROLLBACK TO inner;
    -- 'c' is gone; 'a' and 'b' still here

    INSERT INTO items VALUES ('d');
  RELEASE outer;
COMMIT;

SELECT * FROM items;

Isi akhirnya: a, b, d. Kembali ke inner menghapus c, tapi pekerjaan yang dilakukan sebelum inner (insert b) tetap utuh, dan transaksinya terus berjalan.

Kembali ke savepoint luar juga membuang apa pun yang dilakukan di level dalam: seluruh tumpukan di atas nama itu terurai sekaligus:

CREATE TABLE items (name TEXT);

BEGIN;
  SAVEPOINT outer;
    INSERT INTO items VALUES ('b');
    SAVEPOINT inner;
      INSERT INTO items VALUES ('c');
  ROLLBACK TO outer;
COMMIT;

SELECT * FROM items;

b dan c sama-sama hilang. ROLLBACK TO outer memutar balik semua sejak outer dipasang, termasuk inner dan insert c.

Kenapa Memakai Savepoint?

Kasus klasiknya adalah memproses sekelompok data di mana item tertentu boleh gagal tanpa membatalkan seluruh kelompok. Bungkus setiap item dengan savepoint; jika gagal, kembali ke savepoint itu lalu lanjutkan:

CREATE TABLE imports (id INTEGER PRIMARY KEY, value INTEGER CHECK(value > 0));

BEGIN;
  SAVEPOINT row1;
    INSERT INTO imports(value) VALUES (10);
  RELEASE row1;

  SAVEPOINT row2;
    INSERT INTO imports(value) VALUES (-5);  -- would fail the CHECK
  ROLLBACK TO row2;

  SAVEPOINT row3;
    INSERT INTO imports(value) VALUES (20);
  RELEASE row3;
COMMIT;

SELECT * FROM imports;

Di kode aplikasi sungguhan, insert yang salah memunculkan error, lalu aplikasi menangkapnya, menjalankan ROLLBACK TO, dan melanjutkan. Dua baris yang benar tersimpan; baris yang salah tidak merusak seluruh kelompok.

Pola ini juga cara ORM dan tool migrasi mengimplementasikan transaksi bersarang. Mereka tidak benar-benar menyarangkan blok BEGIN (SQLite tidak mengizinkannya), melainkan memetakan panggilan bersarang ke savepoint.

Beberapa Hal yang Perlu Diwaspadai

Beberapa detail yang sering menjebak orang yang baru memakai savepoint:

• COMMIT selalu melakukan commit seluruh transaksi. Tidak peduli berapa banyak savepoint yang masih terbuka, COMMIT (atau aliasnya END) menutup seluruh transaksi luar. Jangan anggap RELEASE sebagai commit sebagian; tidak ada yang tersimpan permanen sampai transaksi di sekitarnya di-commit.
• ROLLBACK (tanpa TO) membatalkan semuanya. Perintah ini mengakhiri transaksi dan membuang semua savepoint yang terbuka. Pakai ROLLBACK TO name jika kamu ingin transaksinya tetap berjalan.
• Savepoint tetap terbuka sampai di-release atau dilewati oleh rollback. Lupa melakukan RELEASE tidak membuat data hilang, tapi penandanya akan tetap ada sampai transaksinya berakhir.
• Nama tidak wajib unik. Jika kamu memasang SAVEPOINT s dua kali, ROLLBACK TO s menemukan yang paling baru. Berguna untuk rekursi, tapi membingungkan jika tidak disengaja.

Selanjutnya: View

Savepoint memberimu kontrol yang lebih halus atas penulisan. Langkah berikutnya adalah membentuk cara kamu membaca: menyimpan sebuah query sebagai objek bernama yang bisa dipakai ulang dan bisa kamu SELECT seperti tabel. Itulah view, dan topik itu dibahas berikutnya.