Đọc cam kếtlà mức cách ly mặc định trongPostgreSQL. Khi một kèo bóng đá euro sử dụng cấp độ cô lập này, mộtChọnTruy vấn (không cóđể cập nhật/chia sẻmệnh đề) chỉ thấy dữ liệu được cam kết trước khi truy vấn bắt đầu; Nó không bao giờ thấy dữ liệu không được cam kết hoặc các thay đổi được thực hiện bởi các kèo bóng đá euro đồng thời trong quá trình thực hiện truy vấn.ChọnTruy vấn thấy một ảnh chụp nhanh cơ sở dữ liệu kể từ khi truy vấn bắt đầu chạy. Tuy nhiên,ChọnKhông thấy các tác động của các bản cập nhật trước đó được thực hiện trong kèo bóng đá euro của chính nó, mặc dù chúng chưa được cam kết. Cũng lưu ý rằng hai liên tiếpChọnCác lệnh có thể xem dữ liệu khác nhau, mặc dù chúng nằm trong một kèo bóng đá euro duy nhất, nếu các kèo bóng đá euro khác thực hiện thay đổi sau lần đầu tiênChọnbắt đầu và trước lần thứ haiChọnbắt đầu.

Cập nhật, Xóa, Chọn để cập nhậtvàChọn chia sẻkèo bóng đá euro lệnh hoạt động giống nhưChọnVề mặt tìm kiếm các hàng mục tiêu: Họ sẽ chỉ tìm thấy các hàng mục tiêu được cam kết theo thời gian bắt đầu lệnh. Tuy nhiên, một hàng mục tiêu như vậy có thể đã được cập nhật (hoặc bị xóa hoặc bị khóa) bởi một kèo bóng đá euro đồng thời khác vào thời điểm nó được tìm thấy.WHEREmệnh đề) được đánh giá lại để xem phiên bản cập nhật của hàng có phù hợp với điều kiện tìm kiếm hay không. Nếu vậy, trình cập nhật thứ hai tiến hành hoạt động của nó bằng phiên bản cập nhật của hàng.Chọn để cập nhậtvàChọn để chia sẻ, Điều này có nghĩa là phiên bản cập nhật của hàng bị khóa và trả lại cho máy khách.

Chènvớitrên xung đột do cập nhậtmệnh đề hoạt động tương tự. Trong chế độ đọc cam kết, mỗi hàng được đề xuất để chèn sẽ chèn hoặc cập nhật.Chèn, TheCập nhậtmệnh đề sẽ ảnh hưởng đến hàng đó, mặc dù có thểKhôngPhiên bản của hàng đó có thể hiển thị theo lệnh.

Chènvớitrên xung đột không làm gìmệnh đề có thể đã chèn không tiến hành một hàng do kết quả của một kèo bóng đá euro khác mà các hiệu ứng không hiển thị đối vớiChènẢnh chụp nhanh. Một lần nữa, đây chỉ là trường hợp trong chế độ đã cam kết.

Hợp nhấtCho phép người dùng chỉ định kèo bóng đá euro kết hợp khác nhau củaChèn, Cập nhậtvàXóatiểu ban. MỘThợp nhấtlệnh với cả haiChènvàCập nhậtkèo bóng đá euro tiểu ban trông giống nhưChènvớitrên xung đột do cập nhậtmệnh đề nhưng không đảm bảo rằngChènhoặcCập nhậtsẽ xảy ra. Nếu nhưHợp nhấtcố gắngCập nhậthoặcXóaVà hàng được cập nhật đồng thời nhưng điều kiện tham gia vẫn được chuyển cho mục tiêu hiện tại và bộ nguồn nguồn hiện tại, sau đóHợp nhấtsẽ hành xử giống nhưCập nhậthoặcXóakèo bóng đá euro lệnh và thực hiện hành động của nó trên phiên bản cập nhật của hàng. Tuy nhiên, vìHợp nhấtCó thể chỉ định một số hành động và chúng có thể có điều kiện, kèo bóng đá euro điều kiện cho mỗi hành động được đánh giá lại trên phiên bản cập nhật của hàng, bắt đầu từ hành động đầu tiên, ngay cả khi hành động ban đầu phù hợp xuất hiện sau đó trong danh sách kèo bóng đá euro hành động. Mặt khác, nếu hàng được cập nhật đồng thời để điều kiện tham gia không thành công, thìHợp nhấtsẽ đánh giá lệnh của lệnhkhông được khớp bởi nguồnvàkhông khớp [theo đích]Hành động tiếp theo và thực hiện một loại đầu tiên trong mỗi loại thành công. Nếu hàng bị xóa đồng thời, thìHợp nhấtsẽ đánh giá lệnh của lệnhkhông khớp [theo đích]hành động và thực hiện lần đầu tiên thành công. Nếu nhưHợp nhấtcố gắngChènvà có một chỉ mục duy nhất có mặt và một hàng trùng lặp được chèn đồng thời, sau đó một lỗi vi phạm duy nhất được nêu ra;Hợp nhấtKhông cố gắng tránh kèo bóng đá euro lỗi như vậy bằng cách khởi động lại đánh giáphù hợpĐiều kiện.

Vì kèo bóng đá euro quy tắc trên, có thể một lệnh cập nhật để xem một ảnh chụp nhanh không nhất quán: Nó có thể thấy kèo bóng đá euro hiệu ứng của kèo bóng đá euro lệnh cập nhật đồng thời trên cùng một hàng mà nó đang cố gắng cập nhật, nhưng nó không thấy hiệu ứng của kèo bóng đá euro lệnh đó trên kèo bóng đá euro hàng khác trong cơ sở dữ liệu. Hành vi này làm cho chế độ cam kết không phù hợp với kèo bóng đá euro lệnh liên quan đến kèo bóng đá euro điều kiện tìm kiếm phức tạp;

Bắt đầu;

Nếu hai kèo bóng đá euro như vậy đồng thời cố gắng thay đổi số dư của tài khoản 12345, chúng tôi rõ ràng muốn kèo bóng đá euro thứ hai bắt đầu với phiên bản cập nhật của hàng tài khoản. Bởi vì mỗi lệnh chỉ ảnh hưởng đến một hàng được xác định trước, cho phép nó xem phiên bản cập nhật của hàng không tạo ra bất kỳ sự không nhất quán rắc rối nào.

Cách sử dụng phức tạp hơn có thể tạo ra kết quả không mong muốn trong chế độ đã cam kết đọc. Ví dụ: xem xét mộtXóalệnh hoạt động trên dữ liệu đang được thêm và xóa khỏi tiêu chí hạn chế của nó bởi một lệnh khác, ví dụ: giả sửTrang weblà bảng hai hàng vớitrang web.hitsbằng9và10:

Bắt đầu;

TheXóasẽ không có hiệu lực mặc dù cótrang web.hits = 10hàng trước và sauCập nhật. Điều này xảy ra do giá trị hàng trước ngày9bị bỏ qua và khiCập nhậtHoàn thành vàXóacó được khóa, giá trị hàng mới không còn10nhưng11, không còn khớp với kèo bóng đá euro tiêu chí.

Vì chế độ đã cam kết bắt đầu mỗi lệnh với một ảnh chụp nhanh mới bao gồm tất cả các kèo bóng đá euro được thực hiện cho đến ngay lập tức, các lệnh tiếp theo trong cùng một kèo bóng đá euro sẽ thấy các tác động của kèo bóng đá euro đồng thời đã cam kết trong mọi trường hợp. Điểm tại vấn đề ở trên là liệu có hay khôngđơnLệnh thấy một cái nhìn hoàn toàn nhất quán của cơ sở dữ liệu.

Sự cô kèo bóng đá euro một phần được cung cấp bởi Chế độ đã cam kết là đủ cho nhiều ứng dụng và chế độ này nhanh chóng và đơn giản để sử dụng; Tuy nhiên, nó không đủ cho tất cả các trường hợp.

TheĐọc lặp lạiMức cách ly chỉ thấy dữ liệu được cam kết trước khi kèo bóng đá euro bắt đầu; Nó không bao giờ thấy dữ liệu không được cam kết hoặc các thay đổi được thực hiện bởi các kèo bóng đá euro đồng thời trong quá trình thực hiện kèo bóng đá euro.SQLTiêu chuẩn cho mức độ cô kèo bóng đá euro này và ngăn chặn tất cả các hiện tượng được mô tả trongBảng 13.1Ngoại trừ kèo bóng đá euro dị thường tuần tự hóa. Như đã đề cập ở trên, điều này được cho phép cụ thể bởi tiêu chuẩn, chỉ mô tảTối thiểuBảo vệ mỗi cấp độ cô kèo bóng đá euro phải cung cấp.

27615_27796kèo bóng đá euro, không phải là bắt đầu câu lệnh hiện tại trong kèo bóng đá euro. Do đó, liên tiếpChọnlệnh trong mộtđơnkèo bóng đá euro xem cùng một dữ liệu, tức là họ không thấy các thay đổi được thực hiện bởi các kèo bóng đá euro khác đã thực hiện sau khi kèo bóng đá euro của chính họ bắt đầu.

Các ứng dụng sử dụng cấp độ này phải được chuẩn bị để thử lại các kèo bóng đá euro do lỗi tuần tự hóa.

Cập nhật, Xóa, Hợp nhất, Chọn để cập nhậtvàChọn chia sẻkèo bóng đá euro lệnh hoạt động giống nhưChọnVề mặt tìm kiếm các hàng mục tiêu: Họ sẽ chỉ tìm thấy các hàng mục tiêu được thực hiện kể từ thời gian bắt đầu kèo bóng đá euro. Tuy nhiên, một hàng mục tiêu như vậy có thể đã được cập nhật (hoặc bị xóa hoặc bị khóa) bởi một kèo bóng đá euro đồng thời khác vào thời điểm nó được tìm thấy.

Lỗi: Không thể tuần tự hóa quyền truy cập do cập nhật đồng thời

Vì kèo bóng đá euro đọc lặp lại không thể sửa đổi hoặc khóa các hàng thay đổi bởi các kèo bóng đá euro khác sau khi kèo bóng đá euro đọc lặp lại bắt đầu.

Khi một ứng dụng nhận được thông báo lỗi này, nó sẽ hủy bỏ kèo bóng đá euro hiện tại và thử lại toàn bộ kèo bóng đá euro ngay từ đầu. Lần thứ hai qua, kèo bóng đá euro sẽ thấy sự thay đổi được cam kết trước đó là một phần của quan điểm ban đầu về cơ sở dữ liệu, do đó không có xung đột logic trong việc sử dụng phiên bản mới của hàng làm điểm bắt đầu cho bản cập nhật của kèo bóng đá euro mới.

Lưu ý rằng chỉ cập nhật các kèo bóng đá euro có thể cần phải được thử lại; Các kèo bóng đá euro chỉ đọc sẽ không bao giờ có xung đột tuần tự hóa.

Chế độ đọc lặp lại cung cấp một đảm bảo nghiêm ngặt mà mỗi kèo bóng đá euro thấy một cái nhìn hoàn toàn ổn định của cơ sở dữ liệu. Tuy nhiên, quan điểm này sẽ không nhất thiết luôn luôn phù hợp với một số lần thực hiện nối tiếp (một lần) các kèo bóng đá euro đồng thời cùng cấp.khôngXem một trong các bản ghi chi tiết là một phần logic của lô vì nó đọc bản sửa đổi trước đó của bản ghi điều khiển. Nỗ lực thực thi các quy tắc kinh doanh bằng các kèo bóng đá euro đang chạy ở cấp độ cô lập này không có khả năng hoạt động chính xác mà không sử dụng cẩn thận các khóa rõ ràng để chặn các kèo bóng đá euro xung đột.

Mức cách cô kèo bóng đá euro lặp lại được triển khai bằng cách sử dụng một kỹ thuật được biết đến trong tài liệu cơ sở dữ liệu học thuật và trong một số sản phẩm cơ sở dữ liệu khác làBắn hiệu cô kèo bóng đá euro. Sự khác biệt về hành vi và hiệu suất có thể được quan sát khi so sánh với kèo bóng đá euro hệ thống sử dụng kỹ thuật khóa truyền thống làm giảm sự đồng thời.[Berenson95].

TheserializableMức cách ly cung cấp sự cô lập kèo bóng đá euro nghiêm ngặt nhất. Cấp độ này mô phỏng việc thực hiện kèo bóng đá euro nối tiếp cho tất cả các kèo bóng đá euro đã cam kết;Sự bất thường của tuần tự hóasẽ kích hoạt AThất bại nối tiếp.

làm ví dụ, hãy xem xét một bảngMyTab, ban đầu chứa:

Lớp | giá trị

Giả sử rằng kèo bóng đá euro có thể nối tiếp A Tính toán:

Chọn tổng (giá trị) từ mytab trong đó lớp = 1;

và sau đó chèn kết quả (30) làValueTrong một hàng mới vớiclass = 2. Đồng thời, kèo bóng đá euro có thể nối tiếp B Tính toán:

Chọn tổng (giá trị) từ mytab trong đó lớp = 2;

và thu được kết quả 300, nó chèn vào một hàng mới vớiclass = 1. Sau đó, cả hai kèo bóng đá euro cố gắng cam kết.

Lỗi: Không thể tuần tự hóa quyền truy cập do các phụ thuộc đọc/ghi giữa các kèo bóng đá euro

34842_35015

Khi dựa vào các kèo bóng đá euro có thể nối tiếp để ngăn chặn sự bất thường, điều quan trọng là bất kỳ dữ liệu nào được đọc từ bảng người dùng vĩnh viễn không được coi là hợp lệ cho đến khi kèo bóng đá euro đọc nó đã cam kết thành công. Điều này đúng ngay cả đối với các kèo bóng đá euro chỉ đọc, ngoại trừ dữ liệu đó được đọc trong mộtCó thể bảo vệkèo bóng đá euro chỉ đọc được biết là có hiệu lực ngay khi đọc, bởi vì một kèo bóng đá euro đó chờ đợi cho đến khi nó có thể có được một ảnh chụp nhanh được đảm bảo là không có vấn đề như vậy trước khi bắt đầu đọc bất kỳ dữ liệu nào. Trong tất cả các trường hợp khác, các ứng dụng không được phụ thuộc vào kết quả đọc trong một kèo bóng đá euro sau đó bị hủy bỏ;

Để đảm bảo khả năng nối tiếp thực sựPOSTGRESQLsử dụngKhóa vị ngữ, có nghĩa là nó giữ các khóa cho phép nó xác định khi nào một bản ghi sẽ có tác động đến kết quả của việc đọc trước đó từ một kèo bóng đá euro đồng thời, nó đã chạy trước. TRONGPostgreSQLNhững khóa này không gây ra bất kỳ chặn nào và do đó có thểkhôngChơi bất kỳ phần nào trong việc gây bế tắc. Chúng được sử dụng để xác định và gắn cờ các phụ thuộc giữa các kèo bóng đá euro nối tiếp đồng thời mà trong một số kết hợp nhất định có thể dẫn đến các bất thường tuần tự hóa.Chọn để cập nhậthoặcChọn chia sẻĐiều này không chỉ có thể chặn các kèo bóng đá euro khác mà còn gây ra truy cập đĩa.

Khóa vị ngữ trongPostgreSQL, giống như trong hầu hết các hệ thống cơ sở dữ liệu khác, dựa trên dữ liệu thực sự được truy cập bởi một kèo bóng đá euro. Chúng sẽ xuất hiện trongpg_locksChế độ xem hệ thống với AModecủaSUREADLOCK. Các khóa cụ thể có được trong quá trình thực hiện truy vấn sẽ phụ thuộc vào kế hoạch được sử dụng bởi truy vấn và nhiều khóa hạt mịn hơn (ví dụ: khóa tuple) có thể được kết hợp thành ít khóa hạt hơn (ví dụ: khóa trang) trong quá trình kèo bóng đá euro để ngăn chặn sự cạn kiệt của bộ nhớ được sử dụng để theo dõi khóa.Chỉ đọckèo bóng đá euro có thể có thể phát hành khóa Siread trước khi hoàn thành, nếu phát hiện rằng không có xung đột nào vẫn có thể xảy ra có thể dẫn đến sự bất thường của tuần tự hóa. Trong thực tế,Chỉ đọckèo bóng đá euro thường có thể thiết lập thực tế đó khi khởi động và tránh thực hiện bất kỳ khóa dự đoán nào. Nếu bạn yêu cầu rõ ràngSerializable Chỉ đọc Bảo trìkèo bóng đá euro, nó sẽ chặn cho đến khi nó có thể thiết lập thực tế này. (Đây làchỉtrường hợp khối kèo bóng đá euro có thể nối tiếp nhưng các kèo bóng đá euro đọc lặp lại không.) Mặt khác, khóa Sriead thường cần được giữ quá trình kèo bóng đá euro trong quá khứ, cho đến khi kết thúc kèo bóng đá euro ghi kết thúc.

Sử dụng nhất quán các kèo bóng đá euro có thể nối tiếp có thể đơn giản hóa sự phát triển. Đảm bảo rằng bất kỳ bộ kèo bóng đá euro hàng loạt có thể thực hiện đồng thời có thể thực hiện thành công sẽ có tác dụng tương tự như khi chúng được chạy tại một thời điểm có nghĩa là nếu bạn có thể chứng minh rằng một kèo bóng đá euro duy nhất, như đã viết, sẽ làm đúng khi tự mình thực hiện, bạn có thể tự tin rằng nó sẽ không thành công.Chọn để cập nhậthoặcChọn chia sẻ, kèo bóng đá euro có thể nối tiếp là lựa chọn hiệu suất tốt nhất cho một số môi trường.

trong khiPOSTGRESQLMức cách ly kèo bóng đá euro có thể nối tiếp chỉ cho phép các kèo bóng đá euro đồng thời thực hiện nếu nó có thể chứng minh rằng có một thứ tự thực hiện nối tiếp sẽ tạo ra hiệu ứng tương tự, nó không phải lúc nào cũng ngăn chặn các lỗi không xảy ra trong việc thực hiện nối tiếp thực sự. Cụ thể, có thể thấy các vi phạm ràng buộc độc đáo gây ra bởi xung đột với các kèo bóng đá euro có thể nối tiếp chồng chéo ngay cả sau khi kiểm tra rõ ràng rằng khóa không có trước khi cố gắng chèn nó.tất cảCác kèo bóng đá euro có thể nối tiếp chèn các khóa có khả năng mâu thuẫn kiểm tra rõ ràng xem chúng có thể làm như vậy trước không. Ví dụ: hãy tưởng tượng một ứng dụng yêu cầu người dùng cho một khóa mới và sau đó kiểm tra xem nó chưa tồn tại bằng cách cố gắng chọn nó trước hoặc tạo khóa mới bằng cách chọn khóa tối đa hiện có và thêm một khóa.

Để có hiệu suất tối ưu khi dựa vào các kèo bóng đá euro có thể nối tiếp để kiểm soát đồng thời, các vấn đề này sẽ được xem xét:

Mức cách cô kèo bóng đá euro có thể nối tiếp được thực hiện bằng cách sử dụng một kỹ thuật được biết đến trong tài liệu cơ sở dữ liệu học thuật là cách ly ảnh chụp nhanh có thể nối tiếp, xây dựng dựa trên sự cô kèo bóng đá euro bằng cách thêm kiểm tra các bất thường. Một số khác biệt về hành vi và hiệu suất có thể được quan sát khi so sánh với các hệ thống khác sử dụng kỹ thuật khóa truyền thống.[Ports12]Để biết thông tin chi tiết.