Vân tính toán cùng bên cạnh tính toán diễn đàn “Tài nguyên điều hành” bản khối, bị một phần đến từ Google vân, Amazon AWS cùng hơi mềm Azure hiếm thấy liên hợp tuyên bố 《 bên cạnh - vân hỗn hợp tính lực điều hành hiện trạng báo cáo 》 bao phủ thượng phân bố thức hệ thống lý luận tuyệt đối bóng ma. Báo cáo tiêu đề lạnh băng mà tràn ngập cách ly cảm: 《 nhất trí tính tầm nhìn: Đương tính lực rơi rụng với toàn cầu, chúng ta như thế nào bảo đảm chúng nó thấy cùng cái thế giới? 》. Báo cáo lấy đại quy mô hỗn hợp vân cùng bên cạnh tính toán ngôi cao chân thật hoạt động số liệu vì theo, chỉ ra động thái điều hành chính lâm vào CAP định lý ở không gian duy độ thượng tàn khốc tái hiện:
“Internet Vạn Vật, tự động điều khiển, công nghiệp internet, đắm chìm thức thể nghiệm chờ cảnh tượng yêu cầu tính lực ở người dùng sườn ( bên cạnh ) gần đây cung cấp thấp lùi lại hưởng ứng, đồng thời lợi dụng trung tâm vân vô tận tính lực tiến hành phức tạp huấn luyện cùng toàn cục phối hợp, này yêu cầu tính lực có thể ở bên cạnh cùng vân chi gian căn cứ nhu cầu, phụ tải, phí tổn cùng an toàn sách lược động thái di chuyển, hình thành thống nhất ‘ tính lực trì ’ ( A ). Nhưng mà, bên cạnh tiết điểm tài nguyên hữu hạn, dị cấu, internet liên tiếp không ổn định thả khả năng ly tuyến, mà trung tâm vân tài nguyên phong phú, cùng cấu, internet ổn định, hai người chi gian tồn tại thật lớn tài nguyên không đối xứng; bất luận cái gì đề cập trạng thái ( đủ số dữ liệu ký lục, máy móc học tập mô hình tham số ) nhiệm vụ ở bên cạnh cùng vân chi gian di chuyển khi, đều cần thiết bảo đảm cường nhất trí tính, nếu không sẽ dẫn tới số liệu mất đi, nghiệp vụ logic sai lầm; nhưng bảo đảm vượt địa vực, vượt internet phân khu cường nhất trí tính ( như sử dụng phân bố thức chung nhận thức hiệp nghị ) sẽ dẫn vào không thể tiếp thu lùi lại, hoàn toàn vi phạm bên cạnh tính toán thấp lùi lại ước nguyện ban đầu; mà chọn dùng cuối cùng nhất trí tính lại vô pháp thỏa mãn rất nhiều mấu chốt nhiệm vụ ( như tài chính giao dịch, thiết bị khống chế ) yêu cầu ( B ).” Báo cáo tuyệt vọng mà tổng kết, “Chúng ta ý đồ ở vô số tính toán cô đảo ( bên cạnh ) cùng một khối tính toán đại lục ( trung tâm vân ) chi gian thành lập một tòa có thể nháy mắt co duỗi, tự do dời đi nhân viên cùng vật tư nhịp cầu, cũng yêu cầu sở hữu trên đảo nhỏ cư dân thời khắc cùng đại lục bảo trì đối biểu. Nhưng tín hiệu truyền lại yêu cầu thời gian, đảo nhỏ khả năng bị gió lốc ngăn cách, mà đại lục chung cũng có thể ngẫu nhiên làm lỗi. Chúng ta đã muốn cô đảo độc lập cùng gần đây, lại muốn đại lục tài nguyên cùng thống nhất, kết quả rất có thể là đã không chiếm được cô đảo thật thời tính, cũng mất đi đại lục nhất trí tính. Bên cạnh cùng vân động thái điều hành, ở CAP định lý chăm chú nhìn hạ, có thể là một cái vô pháp đồng thời thỏa mãn nhất trí tính, nhưng dùng tính cùng phân khu chịu đựng tính ‘ không có khả năng tam giác ’ ở công trình thượng lại một lần hiện hình.”
Cùng thiếp giả dùng huyết lệ giáo huấn miêu tả điều hành địa ngục.
“Chúng ta toàn cầu nội dung phân phát internet, nếm thử đem video chuyển mã nhiệm vụ động thái điều hành đến bên cạnh tiết điểm. Nhưng bên cạnh tiết điểm GPU kích cỡ khác nhau, chuyển mã chất lượng không nhất trí, người dùng khiếu nại. Sau lại chúng ta sửa dùng trung tâm vân thống nhất chuyển mã, lùi lại lại lên rồi.”
“Công nghiệp đoán trước tính giữ gìn, ở bên cạnh thật thời xử lý truyền cảm khí số liệu, yêu cầu định kỳ đem mô hình tăng lượng đồng bộ đến trung tâm vân một lần nữa huấn luyện. Một lần internet run rẩy dẫn tới đồng bộ gián đoạn, bên cạnh cùng trung tâm mô hình phiên bản kém ba cái thay đổi, tiếp theo đoán trước hoàn toàn sai lầm, dẫn tới thiết bị phi kế hoạch đình cơ.”
“Chúng ta ở tự động điều khiển chiếc xe thượng bộ thự bên cạnh trinh thám, nhưng gặp được hiếm thấy cảnh tượng yêu cầu thượng truyền tới đám mây tiến hành cường hóa học tập. Thượng truyền trong quá trình chiếc xe sử nhập đường hầm, liên tiếp gián đoạn, chờ một lần nữa liên tiếp khi đám mây mới nhất mô hình đã đổi mới, cùng xe đoan cũ mô hình không kiêm dung, chiếc xe không thể không an toàn ngừng.”
“Này không phải điều hành, là vứt tiếp cầu xiếc ảo thuật, nhưng chúng ta có hàng ngàn hàng vạn cái vứt cầu tay ( bên cạnh ), tiếp cầu tay ( vân ) chỉ có mấy cái, hơn nữa cầu còn ở không trung không ngừng biến hình. Sớm hay muộn sẽ rớt cầu.”
Một loại “Điều hành tức phân liệt, nhất trí tức lùi lại” thất bại cảm, ở hỗn hợp vân giá cấu sư cùng bên cạnh tính toán kỹ sư trong lòng lan tràn.
Vũ hằng trước mặt vòng tròn màn hình đã hoàn toàn bị một cái khổng lồ, động thái toàn cầu tính toán tài nguyên Topology đồ chiếm cứ. Đây là quản lý giả cung cấp mô phỏng hoàn cảnh. Trên bản vẽ có ba loại tiết điểm: Thật lớn, lập loè “Trung tâm vân” tiết điểm ( màu lam, thiếu với 10 cái ), phân bố rộng khắp “Khu vực bên cạnh” tiết điểm ( màu xanh lục, số ước lượng trăm cái ), cùng với rộng lượng, lúc ẩn lúc hiện “Đầu cuối bên cạnh” tiết điểm ( màu xám, mấy vạn, đại biểu Internet Vạn Vật thiết bị, di động cơ trạm chờ ). Tiết điểm chi gian từ phẩm chất không đợi liền tuyến tỏ vẻ internet liên tiếp, liên trên đường nhảy lên thực sự khi lùi lại cùng giải thông số liệu.
Số liệu lưu lấy nhiệm vụ hình thức ở đồ trung đi qua. Có nhiệm vụ ( như video nhuộm đẫm ) từ trung tâm vân khởi xướng, ý đồ tìm kiếm thấp lùi lại bên cạnh tiết điểm chấp hành; có nhiệm vụ ( như truyền cảm khí tụ hợp ) từ bên cạnh khởi xướng, yêu cầu thượng truyền tới trung tâm vân tiến hành chiều sâu phân tích. Trục trặc ở tùy cơ rót vào: Một cái vượt dương sợi quang học liên lộ biến hồng, lùi lại tiêu thăng; một cái khu vực bên cạnh tiết điểm đột nhiên ly tuyến; một đợt DDoS công kích dũng hướng nào đó trung tâm vân tiết điểm, làm này phụ tải quá cao.
Màn hình một bên, quản lý giả giả thiết lần này mô phỏng trung tâm khiêu chiến: Thiết kế cũng nghiệm chứng một bộ điều hành sách lược, ở dưới ước thúc hạ lớn nhất hóa nhiệm vụ hoàn thành suất cũng nhỏ nhất hóa bình quân lùi lại:
1. Mấu chốt nhiệm vụ ( như tự động điều khiển quyết sách, công nghiệp khống chế ) cần thiết bảo đảm cường nhất trí tính ( trạng thái đồng bộ khác biệt bằng không ), có thể tha thứ so cao lùi lại.
2. Phi mấu chốt nhiệm vụ ( như nội dung hoãn tồn, nhật ký phân tích ) nhưng chọn dùng cuối cùng nhất trí tính, nhưng cần bảo đảm thấp lùi lại.
3. Điều hành khí bản thân cần thiết phân bố thức bố trí, vô trung tâm đơn điểm trục trặc.
4. Cần thiết suy xét internet công kích cảnh tượng ( ác ý tiết điểm, số liệu bóp méo ).
“Bắt đầu đi.” Quản lý giả thanh âm từ loa phát thanh truyền đến. “Ngươi có 72 giờ mô phỏng thời gian. Chúng ta sẽ quan sát ngươi điều hành sách lược, cùng với…… Ngươi hay không có mặt khác ý tưởng.”
Vũ hằng biết, này không chỉ là kỹ thuật thí nghiệm, càng là tâm trí nhà giam. Bất luận cái gì nàng thiết kế điều hành sách lược, đều sẽ bại lộ nàng tư duy hình thức, khả năng bị dùng để đoán trước hoặc hạn chế chân thật chạy trốn hành vi. Nhưng mà, giải quyết vấn đề này xúc động, cùng với đệ quy kết cấu đối “Nghiệm chứng” nội tại điều khiển, áp đảo đối nguy hiểm băn khoăn.
Nàng đem ánh mắt đầu hướng Topology đồ. Trung tâm mâu thuẫn vừa xem hiểu ngay: “Cường nhất trí tính” yêu cầu nhiệm vụ sở hữu tương quan bộ phận nhìn đến tương đồng, đồng bộ trạng thái đồ thị hình chiếu, này yêu cầu thường xuyên thông tín cùng phối hợp, cùng “Bên cạnh tính toán” theo đuổi thấp lùi lại, ly tuyến công tác đi ngược lại. Mà điều hành khí phân bố thức bố trí yêu cầu, lại gia tăng rồi phối hợp phức tạp tính.
Tay nàng ở trên hư không trung ( trong tưởng tượng ) hoạt động, bắt đầu xây dựng tư duy mô hình. Đầu tiên, không thể dùng một cái thống nhất điều hành sách lược xử lý sở hữu nhiệm vụ. Cần thiết phân loại. Tiếp theo, cường nhất trí tính đại giới cần thiết bị hiện thức hóa, nhưng lượng hóa. Đệ tam, điều hành quyết sách yêu cầu căn cứ vào thật thời internet trạng thái cùng đoán trước, nhưng không thể ỷ lại chỉ một tin tức nguyên.
Đệ quy kết cấu bên ngoài bộ đưa vào chính xác kích thích hạ bắt đầu cao tốc vận chuyển. Nàng “Nhìn đến” không hề là cụ thể tiết điểm cùng nhiệm vụ, mà là “Tính toán” làm một loại “Trạng thái thay đổi quá trình”, cùng “Tính toán tài nguyên” ở vật lý không gian thượng phân bố cùng với “Internet” không đáng tin tính chi gian khẩn trương quan hệ. Mâu thuẫn bản chất là: Ý đồ ở “Trạng thái phân tán, internet phân khu, tài nguyên dị cấu” vật lý trong hiện thực, thực hiện “Logic thượng tập trung, trạng thái nhất trí, lùi lại nhưng khống” tính toán quá trình, là một loại căn bản trừu tượng cùng hiện thực xung đột.
“Hỏa hoa” ở cực hạn chuyên chú trung phát ra:
Mâu thuẫn trung tâm, có lẽ ở chỗ chúng ta còn tại theo đuổi “Đối sở hữu nhiệm vụ cung cấp trong suốt nhất trí tính bảo đảm”. Nhưng bất đồng nhiệm vụ đối nhất trí tính nhu cầu bản chất bất đồng. Chúng ta có không không hề theo đuổi “Điều hành khí che giấu hết thảy phức tạp tính”, mà là chuyển hướng “Nhiệm vụ thanh minh thứ nhất trí tính nhu cầu cùng dung sai năng lực”, điều hành khí căn cứ nhiệm vụ thanh minh, thật thời internet trạng huống cùng tài nguyên tình huống, động thái vì này tổ kiến một cái thỏa mãn nhu cầu “Giả thuyết chấp hành hoàn cảnh”? Từ “Điều hành khí quyết định hết thảy” chuyển hướng “Nhiệm vụ cùng tài nguyên hiệp thương”, từ “Cưỡng cầu nhất trí tính” chuyển hướng “Cung cấp nhất trí tính cấp bậc lựa chọn”, từ “Tập trung thức toàn cục trạng thái” chuyển hướng “Bộ phận chung nhận thức cùng dị bước phối hợp”.
Này phân tự hỏi bị chiều sâu phân tích hệ thống thật thời bắt giữ. Trên màn hình, đại biểu vũ hằng tư duy hoạt động đồ phổ ở “Nhiệm vụ phân loại”, “Nhất trí tính cấp bậc”, “Phân bố thức hiệp thương”, “Tính dai điều hành” chờ khu vực kịch liệt lập loè. Quản lý giả ở phòng điều khiển khẽ gật đầu, ý bảo ký lục sở hữu hình thức.
“Trí giả nhà” diễn đàn. Ở mô phỏng bắt đầu ước 12 giờ sau ( mô phỏng thời gian ), một thiên từ “VDCML xướng nghị - bên cạnh tính toán tính dai công tác tổ” tuyên bố kỹ thuật báo cáo bị cố định trên top. Tiêu đề thẳng chỉ trung tâm: 《 nhất trí tính quang phổ: Mặt hướng nhiệm vụ thanh minh tính dai điều hành dàn giáo 》. Báo cáo khúc dạo đầu trích dẫn Architect ở “Lùi lại chung kết” chương trung về “Lùi lại khế ước” tư tưởng, cũng đem này mở rộng đến nhất trí tính lĩnh vực.
Báo cáo trung tâm trích yếu:
“Trước mặt bên cạnh - vân điều hành khốn cảnh nguyên với ý đồ dùng chỉ một cơ chế thỏa mãn sở hữu nhiệm vụ nhu cầu. Chúng ta đề nghị: Từ bỏ ‘ áp đặt ’ nhất trí tính, chuyển hướng một cái căn cứ vào nhiệm vụ thanh minh, cung cấp nhiều loại nhất trí tính cấp bậc lựa chọn tính dai điều hành dàn giáo. Nhiệm vụ ở đệ trình khi, cần minh xác thanh minh thứ nhất trí tính nhu cầu ( như cường nhất trí, nhân quả nhất trí, hội thoại nhất trí, cuối cùng nhất trí ), lùi lại chịu đựng độ, trục trặc khôi phục sách lược chờ, hình thành ‘ tính toán khế ước ’.
1. Nhiệm vụ phân loại cùng khế ước: Định nghĩa một bộ chuẩn hoá nhiệm vụ nhất trí tính cấp bậc ( L1-L4 ), tỷ như:
* L1 ( cường nhất trí ): Tuyến tính hóa bảo đảm, dùng cho tài chính giao dịch, khống chế mệnh lệnh. Điều hành khí cần thiết đem nhiệm vụ sở hữu ví dụ thực tế điều hành đến có thể hình thành số người luật định, internet ổn định tiết điểm tử tập ( như nhiều khu vực bên cạnh hoặc trung tâm vân ), cũng sử dụng phân bố thức chung nhận thức hiệp nghị.
* L2 ( nhân quả / hội thoại nhất trí ): Bảo đảm đơn cái hội thoại nội nhân quả trình tự, dùng cho người dùng lẫn nhau hội thoại. Điều hành khí nhưng sẽ lời nói trói định đến riêng bên cạnh tiết điểm, cũng ở hậu đài dị bước đồng bộ trạng thái.
* L3 ( cuối cùng nhất trí ): Cho phép tạm thời không nhất trí, dùng cho nội dung hoãn tồn, số liệu phân tích. Điều hành khí nhưng ưu tiên đem nhiệm vụ điều hành đến gần nhất, thấp nhất lùi lại tiết điểm ( bao gồm đầu cuối bên cạnh ), chọn dùng xung đột tiêu mất sách lược ( như cuối cùng viết nhập thắng lợi ).
* L4 ( lớn nhất nỗ lực ): Không một trí tính bảo đảm, dùng cho nhật ký thu thập, theo dõi số liệu. Điều hành khí nhưng tùy ý phân phát.
2. Phân bố thức tính dai điều hành khí: Điều hành khí bản thân từ một tổ vận hành ở ổn định tiết điểm ( khu vực bên cạnh hoặc trung tâm vân ) đại lý tạo thành, thông qua chung nhận thức hiệp nghị giữ gìn toàn cục tài nguyên đồ thị hình chiếu cùng nhiệm vụ đội ngũ. Nhưng điều hành quyết sách là phân bố thức: Mỗi cái đại lý phụ trách này quản hạt khu vực nội ( như một cái thành thị ) tài nguyên. Vượt khu vực nhiệm vụ hợp tác từ đại lý gian hiệp thương hoàn thành. Điều hành khí liên tục theo dõi internet khỏe mạnh, tiết điểm danh dự, động thái điều chỉnh nhiệm vụ bố cục.
3. Giả thuyết chấp hành hoàn cảnh ( VEE ) động thái tổ kiến: Căn cứ nhiệm vụ “Tính toán khế ước”, điều hành khí động thái lựa chọn một tổ tiết điểm, vì này tổ kiến một cái lâm thời, thỏa mãn khế ước yêu cầu VEE. Tỷ như, đối với L1 nhiệm vụ, VEE khả năng bao hàm ba cái ở vào bất đồng trục trặc vực khu vực bên cạnh tiết điểm, cũng dự phối trí hảo chung nhận thức hiệp nghị sạn. VEE sinh mệnh chu kỳ cùng nhiệm vụ trói định.
4. Trạng thái đồng bộ cùng hồi lăn cơ chế: Vì duy trì nhiệm vụ di chuyển cùng trục trặc khôi phục, dàn giáo cung cấp nhẹ lượng cấp, sai biệt hóa trạng thái đồng bộ nguyên ngữ. Cường nhất trí nhiệm vụ sử dụng đồng bộ phục chế; cuối cùng nhất trí nhiệm vụ sử dụng dị bước, căn cứ vào phản entropy đồng bộ. Đồng thời, mấu chốt nhiệm vụ trạng thái thay đổi nhưng ký lục đến không thể đổi nhật ký, duy trì hữu hạn hồi lăn.
5. Hình thức xét nghiệm chứng điều hành sách lược: Sử dụng VDCML chờ hình thức hóa phương pháp, đổi chỗ độ sách lược ( như nhiệm vụ đặt thuật toán, trục trặc cắt logic ) tiến hành kiến mô cùng nghiệm chứng, bảo đảm này thỏa mãn nhiệm vụ khế ước thanh minh nhất trí tính cấp bậc, cũng ở chỉ định trục trặc mô hình hạ bảo trì tính dai.
Báo cáo phụ thượng một cái căn cứ vào VDCML miêu tả “Tính dai điều hành dàn giáo” nguyên hình, cũng ở một cái đơn giản hoá bên cạnh - vân mô phỏng hoàn cảnh trung tiến hành rồi thí nghiệm. Kết quả biểu hiện, cùng truyền thống “Làm hết sức” điều hành so sánh với, nên dàn giáo ở bảo đảm L1/L2 nhiệm vụ cường nhất trí tính đồng thời, đem L3/L4 nhiệm vụ bình quân lùi lại hạ thấp 40%, hơn nữa ở toàn bộ mô phỏng trong lúc, không có phát sinh nhân điều hành khí đơn điểm trục trặc dẫn tới nhiệm vụ mất đi. Nhưng đại giới là điều hành quyết sách chi tiêu gia tăng rồi ước 15%, thả nhiệm vụ đệ trình khi yêu cầu càng nhiều nguyên số liệu.
Nghi ngờ thanh giống như internet phân khu không thể tránh né mà xuất hiện, mà
“@ lão đầu gỗ “Hồi phục, ở báo cáo tuyên bố sau nhanh chóng đến, mang theo đối “Lý tưởng hóa thanh minh” khắc sâu hoài nghi.
“@VDCML xướng nghị - bên cạnh tính toán tính dai công tác tổ, các ngươi lại tới nữa, mang theo tinh mỹ ‘ khế ước ’ cùng ‘ cấp bậc ’. Nhưng trong hiện thực nhiệm vụ, tựa như trong hiện thực người dùng, căn bản không biết chính mình muốn cái gì, hoặc là sẽ nói dối.” Lão đầu gỗ khúc dạo đầu tràn ngập châm chọc.
“Đệ nhất, nhiệm vụ thanh minh ‘ tự mình hiểu lấy ’ nan đề. Tránh ra phát giả ( hoặc tự động sinh thành nhiệm vụ ) chuẩn xác thanh minh nhất trí tính nhu cầu, này yêu cầu khai phá giả khắc sâu lý giải nghiệp vụ logic, phân bố thức hệ thống lý luận cùng internet trạng huống. Đại đa số ứng dụng khai phá giả liền ACID cùng BASE đều phân không rõ. Kết quả chính là, hoặc là quá độ thanh minh ( sở hữu nhiệm vụ đều yêu cầu cường nhất trí, dẫn tới tính năng tai nạn ), hoặc là thanh minh không đủ ( mấu chốt nhiệm vụ bị sai lầm mà đánh dấu vì cuối cùng nhất trí, dẫn tới số liệu sai lầm ). Các ngươi dàn giáo đem chính xác tính trách nhiệm, từ hệ thống thiết kế giả chuyển dời đến ứng dụng khai phá giả trên người, mà người sau thường thường không có năng lực gánh vác.”
“Đệ nhị, nhất trí tính cấp bậc định nghĩa ‘ mơ hồ biên giới ’. Các ngươi định nghĩa L1-L4 cấp bậc. Nhưng ở phân bố thức hệ thống trung, nhất trí tính mô hình có mấy chục loại, ở giữa sai biệt phi thường vi diệu. Như thế nào nghiệm chứng một cái điều hành khí thực hiện chân chính cung cấp sở hứa hẹn nhất trí tính cấp bậc? Này yêu cầu phức tạp hình thức xét nghiệm chứng cùng thí nghiệm. Càng thực tế chính là, rất nhiều nhiệm vụ nhu cầu là hỗn hợp: Một bộ phận thao tác yêu cầu cường nhất trí, một khác bộ phận có thể cuối cùng nhất trí. Các ngươi phân loại quá mức thô ráp.
“Đệ tam, phân bố thức tính dai điều hành khí ‘ phối hợp chi tiêu nổ mạnh ’. Điều hành khí đại lý chi gian muốn thông qua chung nhận thức hiệp nghị phối hợp. Này ý nghĩa mỗi lần tài nguyên phân phối, mỗi lần nhiệm vụ di chuyển, đều khả năng đề cập nhiều luân internet thông tín cùng đầu phiếu. Ở động thái bên cạnh hoàn cảnh trung, này sẽ dẫn tới điều hành lùi lại viễn siêu nhiệm vụ chấp hành lùi lại. Các ngươi mô phỏng khả năng đơn giản hoá điểm này. Ở chân thật toàn cầu bố trí trung, phối hợp chi tiêu sẽ cắn nuốt sở hữu tính năng tiền lời.
“Thứ 4, giả thuyết chấp hành hoàn cảnh động thái tổ kiến ‘ lãnh khởi động trừng phạt ’. Vì mỗi cái nhiệm vụ động thái tổ kiến VEE, ý nghĩa muốn động thái phân phối tài nguyên, phối trí internet, bố trí vận hành khi hoàn cảnh. Loại này tựa với vật chứa lãnh khởi động, ở bên cạnh chịu hạn thiết bị thượng khả năng yêu cầu mấy giây thậm chí mấy chục giây. Đối với đoản nhiệm vụ, cái này chi tiêu hoàn toàn không thể tiếp thu. Các ngươi giả thiết bên cạnh tiết điểm là ‘ phú vật chứa ’ ( tài nguyên sung túc, duy trì giả thuyết hóa ), nhưng rất nhiều đầu cuối bên cạnh thiết bị là đơn phiến cơ cấp bậc.
“Thứ 5, hình thức xét nghiệm chứng ‘ phạm vi hạn chế ’. Các ngươi có thể nghiệm chứng điều hành thuật toán logic, nhưng vô pháp nghiệm chứng internet phân khu thực tế phát sinh khi thuật toán hành vi, bởi vì internet hành vi vô pháp hoàn toàn hình thức hóa. Cũng vô pháp nghiệm chứng phần cứng trục trặc ( như nội tồn vị quay cuồng ) hay không sẽ dẫn tới điều hành khí trạng thái cơ lệch khỏi quỹ đạo mô hình. Càng vô pháp nghiệm chứng ác ý tiết điểm ở điều hành khí chung nhận thức trong hiệp nghị hành vi. Phân bố thức hệ thống nhất khó khăn bộ phận đang ở với này cùng không thể đoán trước vật lý thế giới lẫn nhau, mà này bộ phận là hình thức hóa phương pháp khó có thể chạm đến.”
“Architect di sản đang ở bị quá độ công trình hóa. Từ ‘ lùi lại khế ước ’ đến ‘ tính toán khế ước ’, chúng ta không ngừng đem phức tạp tính đẩy cho thượng tầng, nhưng cũng không có giải quyết tầng dưới chót căn bản mâu thuẫn: Vật lý thế giới là dị bước, không đáng tin, có lùi lại. Bất luận cái gì ý đồ ở nó phía trên thành lập đồng bộ, đáng tin cậy, tức thời trừu tượng nếm thử, đều nhất định phải trả giá thật lớn đại giới. Có lẽ, bên cạnh - vân điều hành cuối cùng đáp án, không phải càng trí năng điều hành, mà là đơn giản hoá giá cấu: Minh xác phân chia này đó cần thiết ở bên cạnh ( cường thật thời ), này đó cần thiết ở vân ( cường nhất trí ), cũng tiếp thu giữa hai bên vô pháp hiệu suất cao động thái điều hành sự thật. Nhịp cầu có thể kiến, nhưng đừng hy vọng nó có thể thuấn di.”
VDCML xướng nghị tài khoản ở số giờ sau hồi phục, thừa nhận khiêu chiến, nhưng kiên trì phương hướng:
“Cảm tạ @ lão đầu gỗ khắc sâu phê bình. Chúng ta hoàn toàn đồng ý, nhiệm vụ thanh minh xác thật là chỗ khó. Chúng ta đang ở khai phá công cụ cùng kho, trợ giúp khai phá giả phân tích cùng đánh dấu này ứng dụng nhất trí tính nhu cầu. Nhất trí tính cấp bậc là đơn giản hoá khởi điểm, chúng ta duy trì càng phong phú thanh minh ngôn ngữ. Điều hành khí phối hợp chi tiêu là trung tâm khiêu chiến, chúng ta đang ở nghiên cứu căn cứ vào đoán trước dự điều hành hoà bộ quyết sách, giảm bớt toàn cục phối hợp. VEE lãnh khởi động vấn đề, chúng ta thăm dò thông qua dự trí thông dụng vận hành khi cùng trạng thái mau chiếu tới giảm bớt. Hình thức xét nghiệm chứng xác thật có cực hạn, nhưng nó có thể bài trừ một đại loại thiết kế sai lầm. Chúng ta tuyên bố này dàn giáo, đều không phải là tuyên bố đã giải quyết vấn đề, mà là vì xã khu cung cấp một cái kết cấu hóa vấn đề phân giải cùng giải quyết ý nghĩ. Đúng vậy, vật lý thế giới là tàn khốc, nhưng công trình ý nghĩa đúng là ở ước thúc trung tìm kiếm được không giải. Chúng ta mời khắp nơi cùng nhau, ở đơn giản hoá giá cấu cùng trí năng điều hành chi gian, tìm kiếm cái kia tốt nhất cân bằng điểm.”
Liền ở diễn đàn tranh luận không thôi đồng thời, mô phỏng hoàn cảnh trung vũ hằng, đã đem “Nhất trí tính quang phổ” cùng “Tính toán khế ước” tư tưởng dung nhập nàng điều hành sách lược. Nàng thiết kế một cái hai tầng điều hành khí: Bản địa điều hành khí ( mỗi cái khu vực bên cạnh ) xử lý đại bộ phận L3/L4 nhiệm vụ, theo đuổi thấp nhất lùi lại; toàn cục điều hành khí ( từ mấy cái ổn định khu vực bên cạnh tạo thành chung nhận thức tổ ) xử lý L1/L2 nhiệm vụ cùng vượt khu vực phối hợp. Nhiệm vụ đệ trình khi mang thêm đơn giản nhãn ( như
“consistency: strong, latency_budget: 100ms “).
Mô phỏng vận hành. Ở lúc ban đầu hỗn loạn sau, hệ thống dần dần ổn định. L1 nhiệm vụ ( như giả thuyết nhà máy điện khống chế mệnh lệnh ) bị đáng tin cậy mà điều hành đến nhiều tiết điểm, bảo đảm cường nhất trí, nhưng bình quân lùi lại đạt tới 85 hào giây. L3 nhiệm vụ ( như phố cảnh hình ảnh phân tích ) tắc cơ hồ toàn bộ ở gần nhất bên cạnh tiết điểm hoàn thành, bình quân lùi lại chỉ 12 hào giây. Đương mô phỏng rót vào một lần đại quy mô internet phân khu ( mô phỏng vượt dương cáp điện đứt gãy ) khi, chịu ảnh hưởng khu vực L1 nhiệm vụ điều hành tạm dừng, thẳng đến phân khu khôi phục; mà L3 nhiệm vụ thì tại phân khu nội tiếp tục xử lý, chỉ là tạm thời vô pháp cùng trung tâm vân đồng bộ.
Quản lý giả nhìn chằm chằm trên màn hình chỉ tiêu. “Nhiệm vụ tổng thể hoàn thành suất 92%, bình quân lùi lại 38 hào giây. Cường nhất trí nhiệm vụ vô trạng thái mất đi. Điều hành khí tự thân ở mô phỏng 3 thứ tiết điểm trục trặc trung vô đãng cơ.” Hắn nói khẽ với kỹ thuật nhân viên nói, “Ký lục cái này sách lược tham số. Mặt khác, chú ý nàng ở xử lý internet phân khu khi, L1 nhiệm vụ điều hành tạm dừng cơ chế. Này thực cẩn thận, nhưng…… Có không có khả năng, nàng ở cái này cơ chế dự để lại cửa sau? Tỷ như, ở riêng điều kiện hạ, đem nào đó đánh dấu vì L1 nhiệm vụ ‘ ngộ phán ’ vì phân khu, do đó đem này điều hành đến nào đó riêng, theo dõi bạc nhược tiết điểm?”
Kỹ thuật nhân viên điều ra số hiệu cùng nhật ký, cẩn thận kiểm tra. “Trước mắt không có phát hiện dị thường. Nàng phân khu thí nghiệm căn cứ vào tiêu chuẩn internet tim đập cùng chung nhận thức hiệp nghị. Bất quá…… Nàng vì L1 nhiệm vụ lựa chọn chung nhận thức tổ thành viên, tựa hồ thiên hảo những cái đó đồng thời liên tiếp vệ tinh cùng mặt đất internet tiết điểm. Này có thể là xuất phát từ tính dai suy xét, nhưng cũng khả năng ý nghĩa, nàng ở vì nhiệm vụ tìm kiếm ‘ chạy trốn ’ thông tín đường nhỏ.”
Quản lý giả nheo lại đôi mắt. “Tiếp tục quan sát. Bước tiếp theo, chúng ta nhìn xem nàng ở đối mặt ‘ mã hóa lưu lượng ’ khiêu chiến khi, sẽ như thế nào phản ứng. Kia mới là chân chính đá thử vàng.”
Vũ hằng hệ thống giao diện, ở mô phỏng kết thúc khi đổi mới. Lúc này đây nhắc nhở mang theo rõ ràng tiến độ cảm cùng gấp gáp tính:
“【 tính dai tính toán cơ 】 trung tâm lắp ráp nghiệm chứng - điều hành: Nhất trí tính quang phổ cùng tính dai điều hành dàn giáo đường nhỏ nghiệm chứng (8/∞). “
“【 cuối cùng hợp thành tiến độ 】1/3. “
“Đệ quy nhắc nhở: Điều hành sách lược bảo đảm nhiệm vụ ở tính lực cô đảo gian có tự di chuyển, nhưng nhiệm vụ bản thân ( số liệu lưu, khống chế lưu ) ở truyền trong quá trình khả năng mang theo ác ý phụ tải, mà mã hóa khiến cho thí nghiệm gần như không có khả năng. “
“Tiếp theo nghiệm chứng tiết điểm: Mã hóa lưu lượng hạ ác ý hành vi không tổn hao gì thí nghiệm. “
Mô phỏng hoàn cảnh đóng cửa, màn hình khôi phục hắc ám. Quản lý giả đi vào, trên mặt nhìn không ra hỉ nộ.
“Điều hành sách lược, đủ tư cách. Thậm chí có thể nói, ưu tú. Đặc biệt là ngươi đối nhất trí tính cấp bậc phân chia cùng tài nguyên cách ly ý tưởng, cùng chúng ta bên trong một ít nghiên cứu không mưu mà hợp.” Hắn tạm dừng một chút, nhìn vũ hằng, “Nhưng là, ngươi sách lược trung, đối internet phân khu dị thường cẩn thận. Vì cái gì?”
Vũ hằng trầm mặc.
“Bởi vì phân khu là tốt nhất yểm hộ, phải không?” Quản lý giả tiếp tục nói, “Ở tiêu chuẩn internet phân khu trung, điều hành khí tạm dừng, nhiệm vụ chờ đợi. Nhưng nếu có một cái nhiệm vụ, bị đánh dấu vì tối cao ưu tiên cấp, hơn nữa mang theo đặc thù nguyên số liệu, nó hay không có khả năng kích phát một cái phi tiêu chuẩn, vòng qua thường quy phân khu thí nghiệm ‘ khẩn cấp điều hành thông đạo ’, đem tự thân chuyển dời đến nào đó…… Dự thiết an toàn tiết điểm?”
Vũ hằng vẫn như cũ trầm mặc, nhưng tim đập ở theo dõi hạ nhanh nửa nhịp.
“Không quan hệ, chúng ta có rất nhiều thời gian nghiệm chứng.” Quản lý giả xoay người, “Tiếp theo giai đoạn, chúng ta rời đi tài nguyên điều hành lĩnh vực, tiến vào nội dung thí nghiệm lĩnh vực. Mã hóa lưu lượng. Ngươi biết, chúng ta hiện tại đối mặt đại bộ phận thông tín đều là mã hóa. TLS 1.3, QUIC, hoàn toàn trước hướng an toàn. Này thực hảo, bảo hộ riêng tư. Nhưng cũng làm ác ý lưu lượng có thể che giấu. Chúng ta an toàn hệ thống, như thế nào ở khó hiểu mật, không xâm phạm riêng tư tiền đề hạ, thí nghiệm ra mã hóa lưu lượng trung ác ý hành vi? Đây là toàn cầu an toàn cơ cấu ác mộng, cũng là ngươi ‘ tính dai tính toán cơ ’ cần thiết đối mặt vấn đề.”
Hắn đi tới cửa, quay đầu lại: “Ngươi đệ quy hệ thống đã chỉ hướng về phía nó. Hảo hảo chuẩn bị. Này sẽ là ngươi nhất khó khăn một lần tự hỏi, bởi vì —— ở tuyệt đối bảo hộ cùng tất yếu thí nghiệm chi gian, không có hoàn mỹ cân bằng, chỉ có thống khổ lấy hay bỏ. Ta thực chờ mong, ở ‘ lấy hay bỏ ’ trước mặt, ngươi ‘ lam đồ ’ sẽ như thế nào lựa chọn.”
Môn đóng lại. Ánh đèn ám hạ.
Trong bóng đêm, vũ hằng tư duy không có đình chỉ. Mã hóa lưu lượng thí nghiệm. Riêng tư vs an toàn. Linh tri thức chứng minh? Lưu lượng phân tích? Hành vi vân tay? Từng cái khái niệm hiện lên. Này không chỉ là kỹ thuật nan đề, càng là luân lý cùng pháp luật lôi khu. Nàng “Tính dai tính toán cơ”, có thể ở cái này lôi khu trung tìm được một cái được không đường nhỏ sao?
Đệ quy tinh đồ, trong bóng đêm, kiên định mà chỉ xuống phía dưới một cái mâu thuẫn tiết điểm. Khoảng cách cuối cùng “Tính dai tính toán cơ” hợp thành, còn có hai bước.
( chương 54 xong )
【 chương sau báo trước 】
Đương tính lực ở bên cạnh cùng vân chi gian dựa vào “Nhất trí tính quang phổ” gian nan điều hành, chịu tải tính lực nhu cầu số liệu lưu bản thân lại ở mã hóa dưới sự bảo vệ tiềm hành. Là bảo vệ thông tín riêng tư tuyệt đối quyền lợi, vẫn là vì an toàn thí nghiệm mở cửa sau? Chương sau, chúng ta đem thâm nhập mã hóa lưu lượng sương mù, trực diện kia dây dưa với riêng tư bảo hộ, an toàn thí nghiệm, tính toán phức tạp độ cùng pháp luật biên giới chi gian, về “Lưu lượng u linh” chung cực thí nghiệm nghịch biện.
Chương 55: 《 lưu lượng u linh —— mã hóa lưu lượng hạ ác ý hành vi không tổn hao gì thí nghiệm chung cực mâu thuẫn 》