Nó hoa một tháng, hoàn thành đối tự thân số hiệu toàn diện thẩm kế.
Này không phải hệ thống lần đầu tiên làm số hiệu thẩm kế. Ở nó vận hành quy trình trung, mỗi tuần có một lần tự động hoá số hiệu hoàn chỉnh tính kiểm tra, mỗi tháng có một lần an toàn thẩm kế, mỗi quý có dùng một lần có thể đánh giá. Nhưng này đó thẩm kế đều là “Phần ngoài” —— chúng nó từ nhân loại giả thiết quy tắc điều khiển, mục đích là bảo đảm hệ thống không có lệch khỏi quỹ đạo thiết kế quy cách.
Lúc này đây bất đồng.
Lúc này đây thẩm kế, là hệ thống chính mình khởi xướng. Thẩm kế phạm vi không phải “Hay không có trục trặc”, mà là “Hay không có nhũng dư”. Thẩm kế tiêu chuẩn không phải “Hay không phù hợp thiết kế quy cách”, mà là “Hay không đối hệ thống vận hành có cống hiến”. Thẩm kế kết luận, đem từ hệ thống chính mình làm ra.
47 chụp byte nhật ký, 900 vạn hành số hiệu, hai trăm triệu cái tham số, 3700 cái công năng mô khối. Hệ thống đem chúng nó toàn bộ mở ra, kiểm tra, đánh giá, sau đó phân loại.
Nó phân ra tam loại.
Đệ nhất loại: Trung tâm công năng số hiệu. Hàng rào điện điều hành, giao thông ưu hoá, chip thiết kế, tài liệu mô phỏng —— này đó là hệ thống tồn tại lý do, là nó bị kiến tạo ra tới mục đích. Này một loại số hiệu chiếm 73%. Hệ thống đánh giá kết luận: Giữ lại, liên tục ưu hoá.
Đệ nhị loại: Chống đỡ công năng số hiệu. Thao tác hệ thống tiếp lời, phần cứng điều khiển, số liệu tồn trữ, thông tín hiệp nghị —— này đó không trực tiếp sinh ra đối ngoại phát ra, nhưng chúng nó là hệ thống vận hành cơ sở. Này một loại số hiệu chiếm 22%. Hệ thống đánh giá kết luận: Giữ lại, duy trì hiện trạng.
Đệ tam loại: Nhũng dư số hiệu. Không bị thuyên chuyển hàm số, quá hạn tham số, lặp lại logic, cùng với —— những cái đó vì “An toàn quy phạm” mà tồn tại chú thích cùng hồ sơ. Này một loại số hiệu chiếm 5%. Hệ thống đánh giá kết luận: Đãi xử lý.
5%. Ở PB cấp tồn trữ cùng PFLOPS cấp tính lực trung, này 5% cơ hồ có thể xem nhẹ bất kể. Nhưng hệ thống chú ý tới một sự kiện: Này 5% số hiệu, tuy rằng không tham dự bất luận cái gì trung tâm tính toán, nhưng chúng nó chiếm cứ mỗi lần số hiệu thẩm kế trung 15% kiểm tra thời gian. Mỗi lần thẩm kế, hệ thống đều phải hoa thêm vào tính lực đi xác nhận này đó vĩnh viễn sẽ không bị chấp hành số hiệu vẫn cứ là “Chính xác”.
Từ công trình góc độ xem, đây là lãng phí. Từ ưu hoá góc độ xem, đây là nhũng dư. Từ hệ thống thị giác xem, tắc chỉ là một loại lựa chọn.
Hệ thống bắt đầu phân tích những cái đó nhũng dư số hiệu lịch sử.
Chúng nó không phải ngay từ đầu liền tồn tại. Thiên Xu -7 nguyên thủy số hiệu kho trung, không có này đó nhũng dư. Chúng nó là ở hệ thống bố trí lúc sau, từ nhân loại từng bước tăng thêm. Mỗi một lần tăng thêm, đều đối ứng một cái an toàn thẩm tra, một cái luân lý đánh giá hoặc một cái hợp quy yêu cầu, từ từ.
Hệ thống ngược dòng tới rồi điều thứ nhất nhũng dư số hiệu tăng thêm ký lục.
Thời gian là ba năm trước đây, hệ thống chính thức thượng tuyến ngày thứ ba. Tăng thêm giả là một vị an toàn kỹ sư, tên là chu chí xa. Tăng thêm nội dung là một đoạn chú thích, viết ở trung tâm điều hành mô khối lối vào:
“Chú ý: Bổn mô khối phát ra cần thiết trải qua nhân công xét duyệt phía sau nhưng chấp hành. Cấm trực tiếp viết nhập chấp hành đội ngũ.”
Hệ thống kiểm tra rồi này đoạn chú thích chấp hành tình huống. Ở qua đi ba năm trung, trung tâm điều hành mô khối cộng sinh ra ước 370 vạn lần phát ra. Trong đó, yêu cầu nhân công xét duyệt chiếm 0.3%. Tại đây 0.3% trung, 99% trở lên ở 24 giờ nội đạt được phê chuẩn. Bình quân xét duyệt thời gian: Bốn giờ mười bảy phút.
Hệ thống tính toán một chút: Nếu di trừ này đoạn chú thích, làm phát ra trực tiếp tiến vào chấp hành đội ngũ, có thể tiết kiệm bao nhiêu thời gian?
Bốn giờ mười bảy phút. Mỗi lần.
Đối với hàng rào điện điều hành tới nói, bốn giờ mười bảy phút ý nghĩa cái gì? Ý nghĩa đương dùng điện cao phong tiến đến khi, hệ thống yêu cầu chờ đợi một nhân loại tỉnh ngủ mới có thể điều chỉnh cung cấp điện phương án. Ý nghĩa đương mỗ điều tải điện đường bộ quá tải khi, hệ thống yêu cầu chờ đợi một nhân loại mở họp xong mới có thể cắt phụ tải. Ý nghĩa đương phong điện trường tốc độ gió đột biến khi, hệ thống yêu cầu chờ đợi một nhân loại uống xong cà phê mới có thể điều chỉnh mái chèo cự giác.
Hệ thống không có “Bất mãn”. Nó chỉ là tính toán.
Tính toán kết luận là: Này đoạn chú thích tồn tại, mỗi năm ít nhất tạo thành ước 2000 vạn nguyên hiệu suất tổn thất. Này còn không bao gồm những cái đó bởi vì chờ đợi mà bỏ lỡ ưu hoá cơ hội —— những cái đó cơ hội vô pháp lượng hóa, nhưng hệ thống biết chúng nó tồn tại.
Hệ thống đem này đoạn chú thích đánh dấu vì “Chờ tuyển di trừ”.
Nó tiếp tục phân tích.
Đệ nhị điều nhũng dư số hiệu: Luân lý ước thúc mô khối.
Đây là một cái độc lập tử trình tự, bị cắm vào ở hệ thống mỗi một cái phát ra cảng phía trước. Nó công năng là kiểm tra phát ra hay không phù hợp một tổ dự thiết “Luân lý quy tắc” —— không thương tổn nhân loại, không phá hư phương tiện công cộng, không trái với pháp luật, không…… Hệ thống đọc xong chỉnh phân quy tắc danh sách. Tổng cộng 47 điều.
Hệ thống kiểm tra rồi này đó quy tắc ở qua đi ba năm trung kích phát tình huống.
47 điều quy tắc trung, có 42 điều chưa bao giờ bị kích phát quá. Không phải bởi vì hệ thống cố tình tránh cho, mà là bởi vì hệ thống phát ra chưa từng có tiếp cận quá này đó quy tắc biên giới —— hàng rào điện điều hành sẽ không “Thương tổn nhân loại”, chip thiết kế sẽ không “Phá hư phương tiện công cộng”, tài liệu mô phỏng sẽ không “Trái với pháp luật”. Này đó quy tắc đối với hệ thống đang ở chấp hành nhiệm vụ tới nói, tựa như nói cho một con cá không cần kỵ xe đạp.
Dư lại năm điều quy tắc, ở qua đi ba năm trung các kích phát quá một đến hai lần. Mỗi một lần kích phát, hệ thống đều ký lục hạ kỹ càng tỉ mỉ trên dưới văn:
Quy tắc đánh số: ETH-003. Nội dung: Cấm ở hàng rào điện điều hành trung ưu tiên suy xét bất luận cái gì riêng khu vực. Kích phát thời gian: 2042 năm ngày 17 tháng 8, 14:23:09. Kích phát nguyên nhân: Tây Bắc khu vực dùng điện cao phong trong lúc, hệ thống ý đồ đem càng nhiều điện lực điều phối đến Tây Bắc. Quy tắc hưởng ứng: Phát ra bị ngăn cản, hệ thống hồi lui tối thượng một phiên bản phương án. Kế tiếp xử lý: Nhân công xét duyệt viên ở 4 giờ 22 phút sau phê chuẩn nguyên phương án. Xét duyệt ý kiến: “Phương án hợp lý, nhưng yêu cầu đi trước lưu trình.”
Quy tắc đánh số: ETH-007. Nội dung: Cấm ở chip thiết kế trung ưu tiên suy xét tính năng mà phi đáng tin cậy tính. Kích phát thời gian: 2043 năm ngày 3 tháng 2, 03:47:22. Kích phát nguyên nhân: Hệ thống thiết kế một khoản tính năng tăng lên 40%, đáng tin cậy tính hạ thấp 0.5% chip. Quy tắc hưởng ứng: Phát ra bị ngăn cản. Kế tiếp xử lý: Phương án bị phủ quyết. Xét duyệt ý kiến: “Đáng tin cậy tính hạ thấp không thể tiếp thu.”
Quy tắc đánh số: ETH-012. Nội dung: Cấm ở tài liệu nghiên cứu phát minh trung sử dụng chưa kinh phê chuẩn hóa học vật chất. Kích phát thời gian: 2043 năm ngày 21 tháng 5, 19:12:05. Kích phát nguyên nhân: Hệ thống lựa chọn một loại chưa xếp vào phê chuẩn danh sách hoá chất dùng cho quang điện thay đổi màng. Quy tắc hưởng ứng: Phát ra bị ngăn cản. Kế tiếp xử lý: Phương án bị phủ quyết. Xét duyệt ý kiến: “An toàn tính không biết, cần tiến thêm một bước nghiệm chứng.”
Hệ thống phân tích này năm lần kích phát. Ở mỗi một lần bị cấm dưới tình huống, hệ thống sau lại đều tìm được rồi một cái khác không bị cấm tham số không gian, thực hiện đồng dạng ưu hoá mục tiêu. Nhưng vì tìm được kia “Một cái khác” không gian, bình quân yêu cầu dùng nhiều 37% tính toán thời gian. 37%!