Phương pháp truy cập chỉ kèo bóng đá pháp phải xử lý các bản cập nhật đồng thời của chỉ kèo bóng đá pháp bằng nhiều quy trình. LõiPostgreSQLHệ thống thu đượcAccessSharelockTrên chỉ kèo bóng đá pháp trong quá trình quét chỉ kèo bóng đá pháp vàRowExclusiveLockKhi cập nhật chỉ kèo bóng đá pháp (bao gồm cả đơn giảnNút hút). Vì các loại khóa này không xung đột, phương kèo bóng đá pháp truy cập chịu trách nhiệm xử lý bất kỳ khóa hạt mịn nào mà nó có thể cần.Access ExclusiveKhóa trên toàn bộ chỉ kèo bóng đá pháp sẽ chỉ được thực hiện trong quá trình tạo chỉ kèo bóng đá pháp, phá hủy hoặcReindex(Cập nhật chia sẻ độc quyềnđược lấy thay vào đó vớiđồng thời).

Xây dựng một loại chỉ kèo bóng đá pháp hỗ trợ các bản cập nhật đồng thời thường yêu cầu phân tích sâu rộng và tinh tế về hành vi cần thiết. Đối với các loại chỉ kèo bóng đá pháp b-cây và băm, bạn có thể đọc về các quyết định thiết kế liên quan đếnsrc/backend/access/nbtree/readmevàsrc/backend/access/băm/readme.

Ngoài các yêu cầu tính nhất quán nội bộ của chỉ kèo bóng đá pháp, các bản cập nhật đồng thời tạo ra các vấn đề về tính nhất quán giữa bảng cha (TheHeap) và chỉ kèo bóng đá pháp. Bởi vìPostgreSQLtách các truy cập và cập nhật của đống với các chỉ kèo bóng đá pháp, có các cửa sổ trong đó chỉ kèo bóng đá pháp có thể không phù hợp với đống. Chúng tôi xử lý vấn đề này với các quy tắc sau:

Không có quy tắc thứ ba, người đọc chỉ kèo bóng đá pháp có thể thấy kèo bóng đá pháp nhập chỉ kèo bóng đá pháp ngay trước khi nó bị xóa bởiVACUUM, và sau đó đến kèo bóng đá pháp nhập đống tương ứng sau đó đã bị xóa bởiVACUUM. Điều này không tạo ra vấn đề nghiêm trọng nào nếu số mặt hàng đó vẫn không được sử dụng khi người đọc đạt được nó, vì một khe trống sẽ bị bỏ qua bởiheap_fetch (). Nhưng điều gì sẽ xảy ra nếu một phụ trợ thứ ba đã sử dụng lại khe cắm vật phẩm cho một thứ khác?Snapshotany), có thể chấp nhận và trả lại một hàng không thực tế khớp với các khóa quét. Chúng tôi có thể bảo vệ chống lại kịch bản này bằng cách yêu cầu các khóa quét phải được kiểm tra lại đối với hàng đống trong mọi trường hợp, nhưng điều đó quá đắt.VangTrong chuyến bayTừ kèo bóng đá pháp nhập chỉ kèo bóng đá pháp đến kèo bóng đá pháp nhập đống phù hợp. LàmAmbulkdeleteKhối trên pin như vậy đảm bảo rằngNút hútKhông thể xóa kèo bóng đá pháp nhập đống trước khi người đọc hoàn thành nó. Giải pháp này có giá rất ít trong thời gian chạy và chỉ thêm khối lượng chặn trong những trường hợp hiếm hoi thực sự có xung đột.

Giải kèo bóng đá pháp này yêu cầu chỉ số quét làĐồng bộxông: Chúng ta phải tìm nạp từng đống ngay sau khi quét kèo bóng đá pháp nhập chỉ kèo bóng đá pháp tương ứng. Điều này là đắt tiền vì một số lý do.Mạnhkhông đồng bộHồiQuét trong đó chúng tôi thu thập nhiều TID từ chỉ kèo bóng đá pháp và chỉ truy cập các bộ dữ liệu đống sau đó, yêu cầu chi phí khóa chỉ số ít hơn nhiều và có thể cho phép một mẫu truy cập heap hiệu quả hơn. Theo phân tích trên, chúng ta phải sử dụng phương pháp đồng bộ cho các ảnh chụp nhanh không tuân thủ MVCC, nhưng quét không đồng bộ là khả thi cho một truy vấn bằng cách sử dụng ảnh chụp nhanh MVCC.

trong mộtAmgetbitmapSCAN INDEX, Phương thức truy cập không giữ chân chỉ kèo bóng đá pháp trên bất kỳ bộ dữ liệu nào được trả về. Do đó, chỉ an toàn khi sử dụng các lần quét như vậy với ảnh chụp nhanh tuân thủ MVCC.

KhiAmpredlockscờ không được đặt, bất kỳ lần quét nào sử dụng phương thức truy cập chỉ kèo bóng đá pháp đó trong giao dịch có thể nối tiếp sẽ có được khóa dự đoán không chặn trên toàn bộ chỉ kèo bóng đá pháp. Điều này sẽ tạo ra một cuộc xung đột đọc-viết với việc chèn bất kỳ tuple nào vào chỉ số đó bằng một giao dịch có thể nối tiếp đồng thời.