27.2. Đánh giá kèo bóng đá pháp

27.2.1. Sự kèo bóng đá pháp biệt về thông báo lỗi

Một số bài kèo bóng đá pháp hồi quy liên quan đến cố ý không hợp lệ Giá trị đầu vào. Thông báo lỗi có thể đến từPostgreSQLmã hoặc từ kèo bóng đá pháp thói quen hệ thống nền tảng chủ nhà. Trong trường hợp sau, kèo bóng đá pháp tin nhắn có thể khác nhau giữa kèo bóng đá pháp nền tảng, nhưng sẽ phản ánh tương tự thông tin. Những khác biệt trong tin nhắn sẽ dẫn đến"Fail"kèo bóng đá pháp hồi quy có thể được xác nhận bằng cách kèo bóng đá pháp.

27.2.2. Sự kèo bóng đá pháp biệt địa phương

Nếu bạn chạy các bài kèo bóng đá pháp đối với máy chủ đã được cài đặt điều đó đã được khởi tạo với một địa phương theo thứ tự đối chiếu khác với C, sau đó có thể có sự khác biệt do thứ tự sắp xếp và Thất bại theo dõi. Bộ kèo bóng đá pháp hồi quy được thiết lập xử lý vấn đề này bằng cách cung cấp các tệp kết quả thay thế cùng nhau được biết là xử lý một số lượng lớn các địa phương.

27.2.3. Ngày và sự kèo bóng đá pháp biệt về thời gian

Hầu hết kèo bóng đá pháp kết quả ngày và giờ phụ thuộc vào thời gian môi trường khu vực. kèo bóng đá pháp tệp tham chiếu được tạo theo thời gian vùngPST8PDT(Berkeley, California), Và sẽ có những thất bại rõ ràng nếu các bài kèo bóng đá pháp không chạy Với cài đặt múi giờ đó. Bộ điều khiển kèo bóng đá pháp hồi quy Biến môi trườngPGTZđếnPST8PDT, thường đảm bảo đúng kết quả.

27.2.4. Sự kèo bóng đá pháp biệt về điểm nổi

Một số bài kèo bóng đá pháp liên quan đến việc tính toán điểm nổi 64 bit số (Double Precision) từ bảng cột. Sự kèo bóng đá pháp biệt về kết quả liên quan đến toán học Chức năng củaDouble PrecisionCột đã được quan sát. Thefloat8vàHình họcBài kèo bóng đá pháp đặc biệt dễ bị đến những khác biệt nhỏ giữa các nền tảng, hoặc thậm chí với các khác nhau Tùy chọn tối ưu hóa trình biên dịch. So sánh nhãn cầu của con người là cần thiết để xác định tầm quan trọng thực sự của những khác biệt này thường là 10 vị trí ở bên phải của số thập phân điểm.

Một số hệ thống hiển thị trừ số 0 là-0, trong khi những người kèo bóng đá pháp chỉ hiển thị0.

Một số lỗi tín hiệu hệ thống từpow ()vàexp ()kèo bóng đá pháp với cơ chế dự kiến ​​bởi hiện tạiPostgreSQL15238_15246

27.2.5. Hàng ngang Đặt hàng sự kèo bóng đá pháp biệt

Bạn có thể thấy sự khác biệt trong đó cùng một hàng theo một thứ tự khác với những gì xuất hiện trong tệp dự kiến. TRONG Hầu hết các trường hợp điều này không phải là, nói đúng, một lỗi. Hầu hết các Các tập lệnh kèo bóng đá pháp hồi quy không quá tầm thường khi sử dụngĐặt hàng bởi15682_15702Chọn, và do đó, thứ tự hàng kết quả của chúng là không được xác định rõ theo thư của SQL đặc điểm kỹ thuật. Trong thực tế, vì chúng ta đang nhìn giống nhau kèo bóng đá pháp truy vấn được thực thi trên cùng một dữ liệu bởi cùng một phần mềm, Chúng tôi thường nhận được cùng một đặt hàng kết quả trên tất cả kèo bóng đá pháp nền tảng và Vì vậy, việc thiếuĐặt hàng bởikhông phải là a vấn đề. Một số truy vấn thể hiện đặt hàng đa nền tảng Sự kèo bóng đá pháp biệt, tuy nhiên. Khi thử nghiệm chống lại một máy chủ, sự kèo bóng đá pháp biệt đặt hàng cũng có thể được gây ra bởi không phải là địa phương Cài đặt hoặc cài đặt tham số không mặc định, chẳng hạn như tùy chỉnh giá trị củawork_memHoặc chi phí kế hoạch tham số.

Do đó, nếu bạn thấy sự kèo bóng đá pháp biệt đặt hàng, thì không điều gì đó đáng lo ngại, trừ khi truy vấn cóĐặt hàng bởikết quả của bạn là vi phạm. Nhưng xin vui lòng báo cáo nó bằng mọi cách, để chúng tôi có thể thêm mộtĐặt hàng bởiđến truy vấn cụ thể đó và do đó loại bỏ không có thật"Thất bại"Trong kèo bóng đá pháp bản phát hành trong tương lai.

Bạn có thể tự hỏi tại sao chúng tôi không đặt hàng tất cả các bài kèo bóng đá pháp hồi quy Truy vấn rõ ràng để thoát khỏi vấn đề này một lần và mãi mãi. Lý do là điều đó sẽ làm cho các bài kèo bóng đá pháp hồi quy ít hơn hữu ích, không nhiều hơn, vì họ có xu hướng thực hiện kế hoạch truy vấn Các loại tạo ra kết quả đã đặt hàng để loại trừ các loại không.

27.2.6. Độ sâu ngăn xếp không đủ

NếulỗiKết quả kèo bóng đá pháp trong A Máy chủ bị hỏng tạiChọn infinite_recurse ()lệnh, nó có nghĩa là nền tảng của giới hạn kích thước ngăn xếp quy trình nhỏ hơnMAX_STACK_DEPTHtham số chỉ ra. Điều này có thể được sửa bằng cách chạy Bưu điện dưới giới hạn kích thước ngăn xếp cao hơn (4MB được khuyến nghị với giá trị mặc định củaMAX_STACK_DEPTH17848_17928MAX_STACK_DEPTH.

27.2.7. The"ngẫu nhiên"Test

Thengẫu nhiênTập lệnh kèo bóng đá pháp được dự định để tạo ra kết quả ngẫu nhiên. Trong những trường hợp hiếm hoi, điều này gây ra kèo bóng đá pháp hồi quy ngẫu nhiên để thất bại. Gõ

Diff kết quả/ngẫu nhiên.out dự kiến/ngẫu nhiên.out

chỉ nên tạo ra một hoặc một vài dòng khác biệt. Bạn không cần lo lắng trừ khi bài kèo bóng đá pháp ngẫu nhiên không liên tục.