Phần mềm công trình diễn đàn “Di lưu hệ thống” bản khối, bị một thiên đến từ 《ACM thông tín 》 bìa mặt văn chương bao phủ thượng thời gian trầm trọng bóng ma. Văn chương tiêu đề giống như một khúc vì thời đại cũ tấu vang bài ca phúng điếu: 《 di lưu số hiệu khảo cổ học khốn cảnh: Chúng ta ở khai quật pharaoh lăng mộ, lại không biết nguyền rủa khắc văn viết cái gì 》. Văn chương lấy mấy cái nhìn thấy ghê người trường hợp chỉ ra, toàn cầu tài chính, hàng không, chính phủ, công nghiệp khống chế trung tâm hệ thống, còn tại mấy chục năm lịch sử COBOL, FORTRAN, thậm chí tổng hợp số hiệu thượng vận hành, này đó hệ thống giống như văn minh động mạch, nhưng:
“Mấu chốt cơ sở phương tiện cần thiết liên tục vận hành cùng giữ gìn, vô pháp thừa nhận đẩy ngã trọng tới nguy hiểm cùng phí tổn, chúng ta cần thiết đối di lưu hệ thống tiến hành đổi mới, chữa trị, tổng thể ( A ). Nhưng mà, này đó hệ thống nguyên thủy khai phá giả sớm đã rời đi hoặc mất đi, thiết kế hồ sơ thiếu hụt hoặc quá hạn, số hiệu trung tràn ngập vô pháp lý giải ‘ ma pháp con số ’, tầng tầng khảm bộ ‘ mụn vá ’, cùng với ỷ lại riêng phần cứng / thao tác hệ thống ‘ ám tri thức ’. Bất luận cái gì ý đồ lý giải này logic nỗ lực đều giống ở giải đọc một loại thất truyền ngôn ngữ; mà bất luận cái gì sửa chữa, chẳng sợ chỉ là cải biến một hàng số hiệu, đều khả năng bởi vì chạm đến nào đó chưa bị ký lục ẩn hàm giả thiết, dẫn phát xích tính, không thể biết trước hỏng mất, dẫn tới không người dám động, không người có thể hiểu, rồi lại cần thiết vận hành ‘ hoá thạch sống ’ ( B ).” Văn chương tuyệt vọng mà tổng kết, “Chúng ta đứng ở một tòa từ tiền nhân kiến tạo, còn tại vận chuyển tinh vi đồng hồ bên trong, ý đồ ở không đình chỉ nó, không hiểu biết này thiết kế nguyên lý dưới tình huống, đổi mới một cái rỉ sắt bánh răng. Chúng ta đã không có bản vẽ, cũng không có công cụ, chỉ có một loại mơ hồ sợ hãi: Nếu nghĩ sai rồi, toàn bộ văn minh thời gian khả năng sẽ đình trệ.”
Cùng thiếp giả dùng huyết lệ chuyện xưa miêu tả địa ngục tranh cảnh.
“Chúng ta ngân hàng COBOL trung tâm giao dịch hệ thống, một cái mô khối có 8000 hành số hiệu, không có một hàng chú thích, nhưng mỗi ngày xử lý mấy tỷ đôla. Lần trước có cái tân nhân sửa lại một cái lượng biến đổi danh, hệ thống vận hành ba ngày sau bắt đầu tùy cơ ném đơn, hồi lăn cũng chưa dùng, cuối cùng dựa sao lưu băng từ cùng tay động đối trướng chịu đựng đi.”
“Hàng không đính tòa hệ thống, một đoạn FORTRAN số hiệu có cái hằng số ‘3.1415927’, chúng ta tưởng π, đổi thành càng chính xác giá trị, kết quả phiếu giới tính toán toàn bộ làm lỗi. Sau lại ở phát hoàng bút ký phát hiện, cái kia hằng số là năm đó vì tu chỉnh nào đó phần cứng phù điểm khác biệt mà thủ công điều ra tới ‘ ma pháp số ’.”
“Chúng ta ý đồ dùng trạng thái tĩnh phân tích công cụ lý giải một cái 50 vạn hành di sản hệ thống, công cụ chạy một tháng, sinh thành phân tích báo cáo có 5 vạn trang, so nguyên số hiệu còn khó hiểu.”
“Này không phải biên trình, là khảo cổ, hơn nữa là mạo sinh mệnh nguy hiểm khảo cổ —— ngươi đào ra khả năng không phải bảo tàng, là thuốc nổ.”
Một loại “Lý giải tức phá hư, sửa chữa tức hủy diệt” chung cực sợ hãi, bao phủ ở mỗi một cái cần thiết cùng di sản hệ thống giao tiếp kỹ sư trong lòng.
Vũ hằng nơi công ty hứng lấy một cái chính phủ công cộng sự nghiệp hệ thống “Số liệu trung đài” xây dựng hạng mục. Cái này hệ thống trung tâm là thượng thế kỷ thập niên 90 dùng PowerBuilder cùng Oracle Forms khai phá, số hiệu lượng vượt qua trăm vạn hành, hồ sơ cơ hồ bằng không. Hạng mục tổ mục tiêu là đem trong đó nghiệp vụ logic rút ra ra tới, xây dựng hiện đại hoá cải trang vụ. Nhưng mà, gần “Lý giải” vốn có hệ thống nghiệp vụ lưu trình, liền lâm vào vũng bùn. Vốn có khai phá đoàn đội sớm đã giải tán, cận tồn vài vị lão kỹ sư tuổi tác đã cao, ký ức mơ hồ, thả vô pháp dùng hiện đại thuật ngữ rõ ràng miêu tả. Vũ hằng nhiệm vụ là phân tích mấy cái trung tâm mô khối số liệu lưu, nàng nhìn trên màn hình những cái đó mệnh danh tùy ý ( như
“proc_a “,
“var_tmp1 “), kết cấu hỗn loạn ( goto câu nói bay đầy trời ), tràn ngập ngạnh mã hóa nghiệp vụ quy tắc số hiệu, cảm giác giống ở giải đọc thiên thư. Càng làm cho nàng hỏng mất chính là, đương nàng dò hỏi nào đó phức tạp phán đoán điều kiện hàm nghĩa khi, một vị lão kỹ sư gãi đầu nói: “Nga, cái này a, hình như là năm đó XX cục trưởng yêu cầu, cụ thể tình huống nhớ không rõ, dù sao đừng nhúc nhích là được rồi.”
Đương nàng mang theo loại này “Trong bóng đêm sờ soạng, dưới chân che kín địa lôi” hít thở không thông cảm, đọc trên diễn đàn về “Khảo cổ học khốn cảnh” thảo luận, nhìn đến những cái đó bởi vì nhỏ bé cải biến dẫn phát tai nạn trường hợp khi, mu bàn tay bạc văn truyền đến một trận cực kỳ thong thả, trầm trọng, phảng phất đến từ thời gian chỗ sâu trong “Nhịp đập”, giống như một cái già cả trái tim nhịp đập. Hệ thống “Thị giác” khởi động, đem nàng mang nhập một cái thời gian, logic, ý đồ, entropy tăng đan chéo phức tạp tràng vực.
Nàng “Nhìn đến”, không phải cụ thể số hiệu hành, mà là “Phần mềm” làm nhân loại tư duy ở thời gian trung ngưng kết vật, sở trải qua tầng tầng bao trùm, vặn vẹo, quên đi quá trình. Trước mặt sở hữu phương pháp, vô luận là nghịch hướng công trình, ký hiệu chấp hành vẫn là động thái phân tích, đều ở ý đồ “Hoàn toàn lý giải” cái này đã trở nên hỗn độn hệ thống. Nhưng này liền giống ý đồ thông qua quan sát một viên hoá thạch mỗi cái nguyên tử, tới hoàn nguyên ra khủng long sinh thời hoàn chỉnh hành vi cùng sinh thái. Mâu thuẫn bản chất bị rõ ràng phác hoạ: Ý đồ ở “Tư duy hoá thạch” đã thạch hóa, tin tức đại lượng mất đi dưới tình huống, theo đuổi đối này nguyên thủy thiết kế cùng ý đồ “Hoàn toàn phục hồi như cũ”, là một loại căn bản nhận tri triết học sai xứng.
“Hỏa hoa” ở đối “Lý giải” cùng “Sửa chữa” bản chất tiến hành một lần nữa tự hỏi nháy mắt phát ra:
Mâu thuẫn trung tâm, có lẽ ở chỗ chúng ta cam chịu “Sửa chữa trước hết cần hoàn toàn lý giải”. Nhưng sinh vật tiến hóa đều không phải là như thế. Tự nhiên lựa chọn cũng không “Lý giải” gien công năng, nó chỉ là thông qua “Thử lỗi” cùng “Lựa chọn” tới thay đổi biểu hình. Chúng ta có không không hề theo đuổi đối di sản hệ thống bên trong “Bạch hộp lý giải”, mà là chuyển hướng đối này phần ngoài hành vi “Hắc hộp kiến mô” cùng “Tiến dần thay đổi”? Từ “Giải đọc tư duy hoá thạch” chuyển hướng “Clone sinh vật công năng”, từ “Dùng một lần trọng cấu” chuyển hướng “Liên tục nghiệm chứng đường sắt đôi vận hành”?
Một phần tên là 《 mặt hướng di sản hệ thống “Hành vi clone, kém phân thí nghiệm, tiến dần thay đổi” đường sắt đôi trọng cấu dàn giáo 》 lam đồ phương hướng ở nàng ý thức trung ngưng tụ. Này trung tâm bao hàm ba cái mặt phạm thức dời đi:
1. Từ “Số hiệu lý giải” đến “Hành vi clone”: Từ bỏ trực tiếp giải đọc di sản số hiệu. Ở này bên ngoài xây dựng một cái cao bảo thật, phi xâm nhập thức theo dõi tầng, toàn diện, trường kỳ mà thu thập này sở hữu phần ngoài khả quan trắc hành vi: Đưa vào ( người dùng thao tác, API thuyên chuyển, văn kiện, internet bao ), phát ra ( màn hình biến hóa, cơ sở dữ liệu viết thao tác, internet hưởng ứng, nhật ký ), cùng với mấu chốt bên trong khả quan trắc điểm ( như riêng lượng biến đổi giá trị, thông qua hữu hạn, an toàn cắm cọc ). Lợi dụng này đó rộng lượng số liệu, huấn luyện một cái chiều sâu học tập mô hình ( như căn cứ vào Transformer danh sách mô hình ), học tập từ đưa vào danh sách đến phát ra danh sách chiếu rọi, xây dựng di sản hệ thống “Hành vi clone thể”. Cái này clone thể không quan tâm bên trong logic, chỉ bắt chước phần ngoài hành vi.
2. Từ “Đơn nguyên thí nghiệm” đến “Kém phân thí nghiệm cùng cường hóa học tập thăm dò”: Bởi vì không có quy cách thuyết minh, vô pháp biên soạn truyền thống thí nghiệm. Nhưng có thể lợi dụng di sản hệ thống bản thân làm “Mơ hồ chân lý nguyên”. Xây dựng một cái tự động hoá, căn cứ vào tìm tòi thí nghiệm sinh thành dàn giáo, hướng di sản hệ thống cùng này hành vi clone thể đồng thời đưa vào tương đồng, tự động sinh thành hoặc từ sinh sản hoàn cảnh thu thập mẫu thí nghiệm dùng lệ, cũng tương đối hai người phát ra. Bất luận cái gì không nhất trí đều cho thấy clone thể hành vi có lệch lạc, nhưng dùng cho tiến thêm một bước huấn luyện cùng tu chỉnh. Càng tiến thêm một bước, có thể sử dụng cường hóa học tập, làm thí nghiệm sinh thành khí chủ động thăm dò những cái đó clone thể hành vi không xác định, hoặc di sản hệ thống hành vi phức tạp “Biên giới tình huống”, hiệu suất cao mà tăng lên clone thể sự chính xác.
3. Từ “Đại nổ mạnh thay đổi” đến “Tiến dần thức, nhưng hồi lui công năng di chuyển”: Không ý đồ dùng một lần thay đổi toàn bộ hệ thống. Đem hệ thống ấn công năng mô khối hoặc người dùng cảnh tượng tiến hành phân chia. Đối với mỗi cái mô khối, đương này hành vi clone thể ở kém phân thí nghiệm trung đạt tới cực cao sự chính xác ( như 99.999% nhất trí ) sau, ở thực tế sinh sản hoàn cảnh trung, lấy “Bóng dáng hình thức” hoặc “Lam lục bố trí” phương thức, làm clone thể cùng di sản hệ thống song hành vận hành, tương đối kết quả, nhưng chỉ đem clone thể kết quả dùng cho theo dõi. Tin tưởng cũng đủ sau, từng bước đem lưu lượng cắt đến clone thể, nhưng giữ lại nhanh chóng thiết hồi di sản hệ thống năng lực. Như thế, một cái mô khối một cái mô khối, một cái cảnh tượng một cái cảnh tượng mà, dùng trải qua đầy đủ nghiệm chứng, hành vi đồng giá nhưng bên trong hoàn toàn mới thực hiện, từng bước thay đổi rớt di sản hệ thống, đồng thời trước sau bảo trì hệ thống chỉnh thể nhưng dùng tính cùng nhưng hồi lui tính.
Đêm khuya, “Trí giả nhà”. “Architect” ID xuất hiện ở kia phiến về “Khảo cổ học khốn cảnh” thảo luận trung, tiêu đề mang theo một loại cùng thời gian giải hòa đạm nhiên.
Tiêu đề ( hồi phục ): 《 “Hoá thạch” chi hoặc cùng “Cơ thể sống” chi thuật —— lại luận di sản hệ thống dùng cái gì tân sinh 》
Nội dung:
“Thấy chư quân vây với di sản số hiệu chi vũng bùn, như dục lệnh xác ướp cổ mở miệng, hoá thạch ngôn nói, ý chí nhưng mẫn, này cầu khó toại. Nhiên, xem điểu học phi, hà tất thông hiểu không khí động lực học? Y giả chữa bệnh, há cần biết rõ tế bào phần tử chi toàn cảnh?
“Lão hủ xem chi, chư quân sở chấp, nãi ‘ giải này tâm, mới có thể dễ này hành ’. Nhiên đến phồn đến cũ chi hệ thống, này ‘ tâm ’ đã mất, này ‘ hành ’ tức này ‘ tâm ’. Không bằng tư ‘ hiệu này hành, mà tân này thể, dần dần đại chi ’ phương pháp. Thí trần tam sách, hoặc nhưng phá cục:
“Một sách, lấy hành xem tâm, clone này thái. Không cầu đọc hiểu mỗi hành số hiệu, mà với di sản hệ thống quanh mình, bố vô nhiễu chi mắt, vô sang chi thăm, tẫn lục này đưa vào chi lưu, phát ra chi tích, mấu chốt tiết điểm thái độ. Tích lấy thời gian, đến rộng lượng hành vi danh sách. Lấy này số liệu, nuôi uy chiều sâu học tập chi mô hình, lệnh này tập đến từ đưa vào đến phát ra chi chiếu rọi. Đoạt được chi ‘ hành vi clone thể ’, tuy không rõ nội tại logic, nhiên này ngoại hiện hành vi, nhưng cùng nguyên hệ thống giống như. Đây là lấy ‘ phần ngoài bắt chước ’, đại ‘ bên trong lý giải ’.
“Nhị sách, lấy so cầu thật, kém phân lấy nghiệm. Đã vô thật giá trị nhưng y, liền lấy nguyên hệ thống vì ‘ mơ hồ chi thước ’. Xây dựng tự động thí nghiệm sinh thành chi khí, hướng nguyên hệ thống cùng clone thể cùng thi đưa vào, so đối này phát ra. Phàm có bất đồng, tức vì clone thể chi hà, nhưng phản mà huấn chi. Càng nhưng lệnh thí nghiệm sinh thành khí chủ động tìm hà, chuyên tấn công những cái đó clone thể do dự, hoặc nguyên hệ thống hành vi phức tạp chỗ, lấy hiệu suất cao đề này bảo thật. Này gọi ‘ lấy chiến dưỡng chiến, ở tương đối trung tới gần chân thật ’.
“Tam sách, lấy tiệm đại toàn, đường sắt đôi mà đi. Không mưu toàn cục chi một lần là xong. Đem hệ thống giải vì công năng chi mô khối, trục khối phá được. Đãi mỗ mô khối chi clone thể, kinh kém phân thí nghiệm, tin chi đã thâm, dễ bề sinh sản hoàn cảnh, hành đường sắt đôi song hành: Nguyên hệ thống cùng clone thể cùng tiếp lưu lượng, so này kết quả, nhiên tạm lấy nguyên hệ thống vì chuẩn. Đãi vận hành vô dị, tin tưởng mười phần, mới đem lưu lượng dần dần đạo đến clone thể, mà nguyên hệ thống bị với sườn, tùy thời nhưng về. Như thế, như tế bào chi sự trao đổi chất, cũ giả không đi, tân giả đã sinh, hệ thống chi sinh mệnh không dứt.
“Này tam sách hợp tác, chỉ ở đem di sản hệ thống trọng cấu, từ một hồi ‘ khảo cổ khai quật ’ thức đánh bạc, biến thành một lần ‘ khí quan nhổ trồng ’ thức nhưng khống lâm sàng quá trình. Phụ thượng một phần căn cứ vào thật thời nhật ký lưu cùng chiều sâu danh sách mô hình hành vi clone giá cấu bản dự thảo, và ở mô phỏng di sản hệ thống thượng sự chính xác tăng lên đường cong. Này nói phi vì toàn biết, nãi vì cầu sinh. Một chút lậu tư, lại thỉnh chư quân phủ chính.”
Thiệp đem di sản hệ thống trọng cấu từ “Số hiệu lý giải nan đề” trọng cấu vì “Hành vi kiến mô cùng tiến dần thay đổi công trình”, đưa ra hành vi clone, kém phân thí nghiệm, đường sắt đôi di chuyển tân phạm thức.
Nghi ngờ thanh giống như thủy triều vọt tới, mà
“@ lão đầu gỗ “Hồi phục, ở 50 phút sau xuất hiện, mang theo đối phần mềm đáng tin cậy tính, phức tạp tính, cùng với AI cực hạn tính khắc sâu hoài nghi.
“@Architect tiên sinh, ngài lần này dùng ‘ hành vi clone ’, ‘ kém phân thí nghiệm ’, ‘ đường sắt đôi vận hành ’ này ba cái nghe tới thực mỹ khái niệm, ý đồ vòng qua phần mềm công trình trung căn bản nhất ‘ lý giải ’ vấn đề. Nhưng mà, ngài tránh đi mỗi một cái hố, đều khả năng đem ngài mang tiến một cái càng sâu vực sâu.” Lão đầu gỗ khúc dạo đầu tràn ngập không tín nhiệm.
“Đệ nhất, về hành vi clone sự chính xác cùng ‘ không biết không biết ’. Chiều sâu học tập mô hình có thể nghĩ hợp quan sát đến số liệu, nhưng vô pháp bảo đảm phiếm hóa đến chưa quan sát đến đưa vào. Di sản hệ thống vận hành vài thập niên, khả năng chỉ chạm đến này khả năng trạng thái không gian cực tiểu một bộ phận. Ngài clone thể ở đã thấy số liệu thượng có thể đạt tới 99.999% chuẩn xác suất, nhưng gặp được một cái chưa bao giờ gặp qua, đặc thù biên giới tình huống ( tỷ như nào đó hiếm thấy đồng phát thỉnh cầu danh sách, nào đó riêng phần cứng trục trặc trạng thái ), khả năng sẽ sinh ra tai nạn tính sai lầm phát ra, mà nguyên hệ thống bởi vì những cái đó ẩn hàm, chưa bị lý giải logic, khả năng ngược lại có thể chính xác xử lý. Ngài là ở dùng thống kê xấp xỉ, thay thế xác định tính logic, này ở mấu chốt hệ thống trung là trí mạng. Càng không cần phải nói, theo dõi bản thân khả năng để sót mấu chốt bên trong trạng thái, dẫn tới clone thể học tập sai lầm chiếu rọi.”
“Đệ nhị, về kém phân thí nghiệm hoàn bị tính cùng ‘ nhất trí tính bẫy rập ’. Ngài kém phân thí nghiệm giả thiết nguyên hệ thống phát ra luôn là ‘ chính xác ’. Nhưng di sản hệ thống bản thân liền khả năng có chưa bị phát hiện khuyết tật ( bug )! Nếu ngài clone thể ‘ chữa trị ’ nguyên hệ thống một cái bug, kém phân thí nghiệm sẽ đem này đánh dấu vì ‘ không nhất trí ’, khiến cho clone thể đi học tập cái này sai lầm hành vi. Ngài sẽ được đến một cái ‘ hoàn mỹ clone sở hữu đã biết khuyết tật ’ hệ thống, này có cái gì giá trị? Càng đáng sợ chính là, nếu nguyên hệ thống ở nào đó hiếm thấy dưới tình huống hành vi bản thân chính là chưa định nghĩa, tùy cơ, hoặc ỷ lại chưa theo dõi phần ngoài trạng thái, kém phân thí nghiệm đem lâm vào hỗn loạn, vô pháp cung cấp rõ ràng tín hiệu. Ngài đem lâm vào một cái tự mình chỉ thiệp tuần hoàn: Dùng có khuyết tật, không hoàn chỉnh tiêu chuẩn, đi nghiệm chứng một cái ý đồ bắt chước nó mô hình.”
“Đệ tam, về tiến dần thay đổi phức tạp tính cùng nhất trí tính giữ gìn. Đường sắt đôi vận hành nghe tới ổn thỏa, nhưng duy trì hai cái hệ thống ( cũ di sản hệ thống cùng này clone thể ) ở song hành khi trạng thái hoàn toàn đồng bộ, là một cái phân bố thức hệ thống ác mộng. Bất luận cái gì có trạng thái hệ thống ( đủ số dữ liệu, hội thoại ), đều yêu cầu tỉ mỉ thiết kế số liệu đồng bộ cùng sự vụ nhất trí tính cơ chế, này bản thân chính là một cái cực dễ làm lỗi phức tạp công trình. Càng không cần phải nói, đương ngài chỉ thay đổi hệ thống một bộ phận mô khối khi, mới cũ mô khối chi gian như thế nào thông tín? Tiếp lời như thế nào thích xứng? Ngài đem hệ thống từ một cái chỉnh thể ‘ đại bùn cầu ’, biến thành một cái từ mới cũ bộ kiện khâu ‘ Frankenstein ’, này bên trong lẫn nhau phức tạp tính khả năng không hàng phản thăng. Hơn nữa, nhanh chóng hồi lui năng lực ở thực tiễn trung thường thường khó có thể thực hiện, một khi tân mô khối viết vào một ít tân cách thức số liệu, hồi lui khả năng dẫn tới số liệu không nhất trí.”
“Căn bản nhất nghịch biện ở chỗ: Ngài muốn dùng ‘ hắc hộp bắt chước ’ tới tránh cho ‘ bạch hộp lý giải ’. Nhưng muốn xây dựng một cái cũng đủ đáng tin cậy, có thể tiếp quản mấu chốt hệ thống clone thể, ngài cuối cùng yêu cầu đạt tới lý giải chiều sâu, khả năng cũng không á với trực tiếp giải đọc số hiệu. Bởi vì ngài cần thiết lý giải: Này đó sai biệt là quan trọng ( bug vs feature ), này đó biên giới tình huống yêu cầu đặc biệt xử lý, như thế nào bảo đảm trạng thái nhất trí tính. Ngài chỉ là đem lý giải nỗ lực, từ ‘ đọc số hiệu ’ chuyển dời đến ‘ thiết kế theo dõi, phân tích sai biệt, giữ gìn đường sắt đôi hệ thống ’ thượng. Tổng thể nhận tri gánh nặng không có giảm bớt, chỉ là thay đổi hình thức, hơn nữa dẫn vào tân, căn cứ vào thống kê cùng máy móc học tập không xác định tính. Đối với nhân mệnh quan thiên hoặc đề cập kếch xù tài chính hệ thống, loại này không xác định tính là không thể tiếp thu.”
Lão đầu gỗ từ phiếm hóa đáng tin cậy tính, khuyết tật truyền bá, nhất trí tính giữ gìn, tổng thể nhận tri gánh nặng bốn cái mặt, phát ra hủy diệt tính nghi ngờ. Mỗi một cái điểm đều thẳng chỉ mấu chốt hệ thống phần mềm công trình mệnh môn.
Architect hồi phục, ở hai cái giờ sau xuất hiện. Lúc này đây, hắn mở đầu thừa nhận phần mềm công trình gian khổ tính, nhưng theo sau triển khai một hồi về “Tri thức” cùng “Đáng tin cậy tính” nơi phát ra triết học tham thảo.
“Mộc lão sở lự, đều là mấu chốt hệ thống phần mềm công trình chi khuôn vàng thước ngọc. Lão hủ sở xướng, xác phi đơn giản hoá, mà là ở thừa nhận ‘ hoàn toàn lý giải đã mất khả năng ’ tiền đề hạ, tìm kiếm một cái căn cứ vào chứng minh thực tế cùng tiến dần nghiệm chứng, tương đối đáng tin cậy di chuyển đường nhỏ. Này giá trị, hoặc ở chỗ vì những cái đó ‘ không nặng cấu chờ chết, trọng cấu tìm chết ’ hệ thống, cung cấp một cái khả năng nguy hiểm khả khống lựa chọn. Thỉnh hứa lão hủ, từng cái phân tích.”
“Về phiếm hóa cùng ‘ không biết không biết ’: Mộc lão lời nói cực kỳ, thống kê mô hình vô pháp bảo đảm tuyệt đối đáng tin cậy. Cố, này dàn giáo không theo đuổi nhất lao vĩnh dật hoàn mỹ clone. Hành vi clone thể là khởi điểm, mà phi chung điểm. Kém phân thí nghiệm không chỉ có muốn báo cáo không nhất trí, càng muốn tự động tụ loại, phân tích không nhất trí hình thức, đem này hiện ra cấp kỹ sư. Đương gặp được clone thể vô pháp xử lý ‘ không biết không biết ’ khi, đúng là kỹ sư tham gia thời cơ: Bọn họ không cần lý giải toàn bộ hệ thống, chỉ cần nhằm vào cái này riêng, đã bị quan trắc đến dị thường hình thức, kết hợp lĩnh vực tri thức, ở clone thể trung tiến hành nhằm vào chữa trị hoặc tăng cường. Đây là một cái từ hắc hộp bắt chước, từng bước đi hướng hôi hộp lý giải quá trình, lý giải mục tiêu là cụ thể dị thường, mà phi toàn bộ hệ thống. Đồng thời, nhưng chủ động tiến hành mơ hồ thí nghiệm, áp lực thí nghiệm, trục trặc rót vào, chủ động thăm dò biên giới, mở rộng ‘ đã biết đã biết ’.”
“Về khuyết tật truyền bá cùng ‘ nhất trí tính bẫy rập ’: Này xác vì yếu hại. Kém phân thí nghiệm dàn giáo cần thiết bao hàm nghiệp vụ quy tắc kiểm tra khí. Đương clone thể phát ra cùng nguyên hệ thống không nhất trí khi, cần tự động phán đoán: Hay không trái với đã biết nghiệp vụ quy tắc? Hay không kích phát dị thường theo dõi? Nếu nguyên hệ thống phát ra trái với quy tắc, mà clone thể tuân thủ quy tắc, này không ứng bị coi là sai lầm, mà ứng đánh dấu vì ‘ tiềm tàng khuyết tật chữa trị ’, từ nghiệp vụ phương xác nhận. Càng tiến thêm một bước, có thể dẫn vào nhiều phiên bản clone thể, làm bất đồng giá cấu mô hình ( như căn cứ vào quy tắc, căn cứ vào mô hình, căn cứ vào học tập ) tiến hành ‘ đầu phiếu ’, cũng kết hợp nghiệp vụ quy tắc tiến hành trọng tài. Đem nguyên hệ thống từ ‘ hoàng kim tiêu chuẩn ’ hạ thấp vì ‘ tham khảo nơi phát ra chi nhất ’, kết hợp mặt khác tri thức tiến hành tổng hợp phán đoán.”
“Về đường sắt đôi nhất trí tính cùng trạng thái đồng bộ: Song hành vận hành trạng thái nhất trí xác khó xử đề. Cố, tiến dần thay đổi cần tỉ mỉ thiết kế di chuyển đơn nguyên, ưu tiên lựa chọn vô trạng thái hoặc trạng thái dễ dàng đồng bộ mô khối ( như chỉ đọc tuần tra, tính toán dày đặc hình thay đổi ). Đối với có trạng thái mô khối, nhưng chọn dùng trạng thái phục chế, đọc viết chia lìa, hoặc cuối cùng nhất trí tính chia đều bố thức hệ thống thành thục hình thức. Mới cũ mô khối gian thông tín, cần thông qua định nghĩa rõ ràng, phiên bản hóa thích xứng khí tiếp lời. Frankenstein so sánh cực diệu, nhiên nếu có thể lệnh mới cũ bộ kiện thông qua tiêu chuẩn tiếp lời ( như khớp xương ) liên tiếp, cũng bảo đảm mỗi cái bộ kiện tự thân công năng kiện toàn, tắc chỉnh thể vẫn nhưng vững vàng. Hồi lui cơ chế cần ở thiết kế chi sơ liền suy xét, bao gồm số liệu cách thức về phía trước về phía sau kiêm dung, trạng thái hồi lăn kịch bản gốc chờ. Này xác thật phức tạp, nhưng là khả khống, bộ phận phức tạp, mà phi đối mặt toàn bộ di sản bùn cầu khi toàn cục tính mờ mịt.”
“Về tổng thể nhận tri gánh nặng: Mộc lão chỉ ra gánh nặng chưa giảm, chỉ là dời đi, này thấy khắc sâu. Nhiên, dời đi phương hướng quan trọng nhất. Từ ‘ đối mặt một cái vô biên vô hạn, hỗn độn nhất thể số hiệu vực sâu ’, chuyển dời đến ‘ đối mặt một loạt cụ thể, khả quan trắc hành vi sai biệt, tiếp lời định nghĩa, trạng thái đồng bộ vấn đề ’. Người sau tuy rằng tổng sản lượng chưa chắc thiếu, nhưng bị phân giải vì tương đối độc lập, nhưng song hành xử lý, có minh xác nghiệm chứng tiêu chuẩn vấn đề nhỏ. Kỹ sư có thể từ chữa trị một cái cụ thể kém phân thất bại trường hợp bắt đầu, tích lũy đấu cờ bộ, xác thực tri thức, mà phi ở ý đồ lý giải toàn cục khi bị vô cùng chi tiết bao phủ. Đây là một loại từ ‘ tuyệt vọng toàn cục lý giải ’ chuyển hướng ‘ có hy vọng vấn đề giải quyết ’ nhận tri hình thức thay đổi.”
“Mộc lão, này dàn giáo mục tiêu ( C ), phi ‘ hoàn toàn lý giải di sản hệ thống ’, mà là ‘ ở vô pháp hoàn toàn lý giải dưới tình huống, an toàn, tiến dần, nhưng nghiệm chứng mà đem hệ thống công năng di chuyển đến một cái nhưng lý giải, nhưng giữ gìn tân cơ sở thượng ’. Nó thừa nhận di sản số hiệu trung ẩn chứa ‘ tri thức ’ đã bộ phận mất đi, nhưng cho rằng này ‘ hành vi ’ trung vẫn bảo lưu lại cũng đủ công năng tin tức. Thông qua hành vi clone thu hoạch công năng, thông qua kém phân thí nghiệm cùng nghiệp vụ quy tắc tiến hành nghiệm chứng cùng tu chỉnh, thông qua tiến dần di chuyển khống chế nguy hiểm, có lẽ có thể làm chúng ta ở ‘ hoá thạch sống ’ bóng ma hạ, đào tạo ra tân sinh mệnh. Một chút cố chấp, vì những cái đó ở thời gian trọng áp xuống rên rỉ hệ thống, tìm một đường sinh cơ. Lại thỉnh mộc lão minh giám.”
Lúc này đây, biện luận tiêu điểm từ “Có không lý giải” chuyển hướng về phía “Không hoàn toàn lý giải hạ công trình tính khả thi”. Rất nhiều hãm sâu di sản hệ thống vũng bùn kỹ sư bắt đầu thảo luận, ở đối mặt lửa sém lông mày di chuyển áp lực khi, loại này căn cứ vào hành vi phương pháp hay không cung cấp một cái nhưng thao tác, nguy hiểm nhưng đánh giá dàn giáo.
Chín nguyệt sau, sản nghiệp giới truyền đến hai cái có cột mốc lịch sử ý nghĩa tiến triển:
1. JPMorgan Chase cùng Google vân liên hợp tuyên bố một phần trường hợp nghiên cứu, kỹ càng tỉ mỉ giới thiệu này đem bộ phận trung tâm thanh toán hệ thống mấu chốt mô khối, từ COBOL/ đại hình cơ hoàn cảnh di chuyển đến đám mây Java cải trang vụ hạng mục. Nên hạng mục chọn dùng “Hành vi bắt được cùng kém phân thí nghiệm điều khiển di chuyển” phương pháp, thông qua ở sinh sản hoàn cảnh đại hình cơ bên bố trí một cái cao bảo thật nhật ký thu thập khí, bắt được dài đến nửa năm giao dịch lưu lượng, dùng cho huấn luyện cùng nghiệm chứng tân cải trang vụ. Hạng mục báo cáo xưng, nên phương pháp đem di chuyển nguy hiểm hạ thấp 70%, cũng thành công ở linh đình cơ dưới tình huống di chuyển đầu cái mô khối. Báo cáo minh xác cảm tạ “Trí giả nhà xã khu về hành vi clone phương pháp thâm nhập thảo luận mang đến dẫn dắt”.
2. Một nhà tên là “CodeLens” mới thành lập công ty tuyên bố này kỳ hạm sản phẩm, một cái tổng thể động thái phân tích, máy móc học tập mô hình huấn luyện, tự động hoá kém phân thí nghiệm sinh thành di sản hệ thống trọng cấu ngôi cao. Nên ngôi cao đã đạt được mấy nhà đại hình công ty bảo hiểm cùng hàng không công ty đơn đặt hàng, dùng cho đối này trung tâm di sản hệ thống tiến hành “Con số hóa giải mổ”. Này kỹ thuật sách bìa trắng đại lượng trích dẫn Architect về “Hành vi biết ngay thức” cùng “Tiến dần nghiệm chứng” trình bày và phân tích.
Cứ việc “Hành vi clone” hơn xa bạc đạn, nhưng nó ở đối mặt “Không hiểu liền vô pháp động” tuyệt cảnh khi, cung cấp một cái có lý luận căn cứ, có công cụ chống đỡ thực tiễn đường nhỏ. Di sản hệ thống trọng cấu phạm thức, bắt đầu từ “Nghịch hướng công trình” hướng “Chính hướng công trình cùng chứng minh thực tế nghiệm chứng kết hợp” lặng yên chuyển biến.
Vũ hằng hệ thống giao diện đổi mới, cũng cấp ra phần mềm luyện ngục thâm tầng đệ quy nhắc nhở:
“Phần mềm hòn đá tảng - di sản trọng cấu: Hành vi clone cùng tiến dần nghiệm chứng đường nhỏ nghiệm chứng (2/∞). “
“【 quyển thứ hai: Tin tức kỷ nguyên - phần mềm luyện ngục 】 thâm nhập. “
“Di sản hệ thống là đọng lại quá khứ, mà phần mềm bản chất là lưu động logic. “
“Đệ quy nhắc nhở: Ở giải quyết như thế nào lý giải “Qua đi” lúc sau, tiếp theo cái khiêu chiến là như thế nào bảo đảm chúng ta “Hiện tại” xây dựng logic hệ thống là tuyệt đối chính xác. Này đem chạm đến hình thức xét nghiệm chứng chén Thánh cùng khốn cảnh. “
“Tiếp theo nghiệm chứng tiết điểm: Toán học đáng tin cậy tính, cùng công trình quy mô chi gian, tồn tại không thể vượt qua hồng câu sao? “
“Toàn cầu nhân loại hợp tác viện nghiên cứu” phát tới một phần tên là 《 toàn cầu con số di sản trọng cấu cùng tri thức bảo tồn xướng nghị 》 đề án, chỉ ở căn cứ vào Architect hành vi clone cùng kém phân thí nghiệm dàn giáo, thành lập một cái khai nguyên, trung lập “Con số hành vi hồ sơ kho” cùng trọng cấu công cụ liên, lấy “Bảo tồn cũng kích hoạt nhân loại ở mấu chốt di sản hệ thống trung ẩn chứa tập thể tri thức, phòng ngừa con số hắc ám thời đại đã đến”, cũng lại lần nữa mãnh liệt mời Architect lãnh đạo nên xướng nghị.
“@ Victor “Tin tức không có văn tự, chỉ có một tấm hình: Đó là một trương cũ xưa đục lỗ tấm card, mặt trên đánh đầy khổng, nhưng tấm card một góc bị đốt trọi, đồ án mơ hồ không rõ. Hình ảnh văn kiện danh là: “legacy_fire.jpg”. Vũ hằng nhìn chằm chằm kia trương hình ảnh, cảm thấy một cổ hàn ý từ xương sống dâng lên. Này không hề là cảnh cáo, mà là một cái tuyên cáo. Victor, hoặc là nói hắn đại biểu thế lực, đã không còn thỏa mãn với truy tung cùng cảnh cáo. Bọn họ có lẽ đã bắt đầu hành động, mục tiêu là làm “Architect” cái này ký hiệu, tính cả hắn ý đồ bảo tồn cùng kích hoạt tri thức, cùng nhau hóa thành tro tàn, trở thành một khác đoạn vô pháp giải đọc “Di sản”.
Vũ hằng tắt đi màn hình, phòng một mảnh đen nhánh. Mu bàn tay thượng kia đến từ thời gian chỗ sâu trong trầm trọng nhịp đập sớm đã biến mất, nhưng “Qua đi” trọng lượng, cùng với ý đồ thay đổi qua đi sở mang đến nguy hiểm, lại so với bất luận cái gì thời điểm đều càng thêm chân thật. Nàng vừa mới tham dự một lần nữa tự hỏi như thế nào cùng “Qua đi” ở chung.
Nàng biết, tiếp theo tràng khiêu chiến, đem từ xử lý “Quá khứ hỗn độn”, chuyển hướng bảo đảm “Tương lai chính xác”. Ở nơi đó, toán học thuần túy đem cùng công trình bề bộn chính diện giao phong, mà về “Hoàn mỹ” ảo giác, chính chờ đợi bị xem kỹ hoặc đánh nát.
( chương 26 xong )
【 chương sau báo trước 】
Khi chúng ta học xong như thế nào cùng hỗn độn quá khứ cùng tồn tại, liền cần thiết đối mặt như thế nào xây dựng đáng tin cậy tương lai. Là tiếp tục ỷ lại thí nghiệm cùng điều chỉnh thử loại sự tình này sau đền bù phương thức, vẫn là theo đuổi ở số hiệu vận hành phía trước liền dùng toán học chứng minh này tuyệt đối chính xác? Chương sau, chúng ta đem tiến vào hình thức xét nghiệm chứng Thánh Điện, trực diện kia dây dưa với toán học hoàn bị tính cùng hệ thống quy mô chi gian, lệnh người nhìn thôi đã thấy sợ “Nhưng mở rộng tính huyền nhai”.
Chương 27: 《 hoàn mỹ ảo giác —— hình thức xét nghiệm chứng ở đại hình phân bố thức hệ thống trung nhưng mở rộng tính bình cảnh 》
* mâu thuẫn:
““Hình thức xét nghiệm chứng có thể dùng toán học chứng minh trình tự thỏa mãn quy ước, thực hiện tuyệt đối đáng tin cậy ( A ). Nhưng này yêu cầu biên soạn chính xác hình thức hóa quy ước, mà quy ước bản thân khả năng so trình tự còn phức tạp; nghiệm chứng công cụ ở đối mặt đại hình phân bố thức hệ thống khi, trạng thái không gian nổ mạnh, vô pháp ở hữu hạn thời gian nội hoàn thành chứng minh ( B ).” “