Phân bố thức hệ thống diễn đàn “Số liệu nhất trí tính” bản khối, bị một thiên đến từ Google Spanner đoàn đội cùng Amazon AWS DynamoDB đoàn đội hiếm thấy liên hợp tuyên bố 《 toàn cầu hoá phân bố thức cơ sở dữ liệu nhất trí tính khốn cảnh 》 kỹ thuật báo cáo đầu hạ một quả về số liệu bản chất bom nổ dưới nước. Báo cáo tiêu đề bình tĩnh mà tàn khốc: 《CAP u linh cùng vận tốc ánh sáng gông xiềng: Chúng ta có không ở sụp đổ thế giới định nghĩa “Đồng thời”? 》. Báo cáo lấy vô tình vật lý định luật cùng toán học định lý chỉ ra, theo tài chính phục vụ, chính vụ hệ thống, toàn cầu điện thương con số hóa, vượt địa vực cường nhất trí tính sự vụ đã trở thành cương tính nhu cầu, nhưng:
“Mấu chốt nghiệp vụ cảnh tượng ( như vượt cảnh chi trả, chứng khoán giao dịch, tuyển cử kế phiếu ) yêu cầu vượt địa vực số liệu phó bản ở bất luận cái gì thời khắc đều bảo trì cường nhất trí tính, tức bất luận cái gì đọc thao tác đều có thể đọc được mới nhất viết nhập kết quả, sự vụ ACID thuộc tính cần thiết được đến bảo đảm ( A ). Nhưng mà, CAP định lý tại lý luận thượng chứng minh, ở internet phân khu ( P ) phát sinh khi, hệ thống cần thiết ở nhất trí tính ( C ) cùng nhưng dùng tính ( A ) chi gian nhị tuyển một; mặc dù internet hoàn mỹ, vận tốc ánh sáng hạn chế dẫn tới vượt địa vực lùi lại ( như BJ đến New York vật lý đi tới đi lui lùi lại ước 100ms ) khiến cho cường nhất trí tính sự vụ hưởng ứng thời gian ít nhất vì gấp hai lùi lại, vô pháp thỏa mãn cao đồng phát, thấp lùi lại người dùng nhu cầu; mà chọn dùng cuối cùng nhất trí tính hoặc nhược nhất trí tính mô hình, tắc khả năng dẫn phát số liệu xung đột, mất đi đổi mới, hoặc đọc vào tay quá thời hạn số liệu, dẫn tới nghiệp vụ logic sai lầm, xong việc bồi thường dị thường phức tạp ( B ).” Báo cáo tuyệt vọng mà tổng kết, “Chúng ta ý đồ ở toàn cầu trong phạm vi thành lập một tòa vĩnh viễn đồng bộ đồng hồ, nhưng thuyết tương đối nói cho chúng ta biết, bất đồng địa điểm ‘ hiện tại ’ vốn là bất đồng; chúng ta ý đồ dùng hiệp nghị tới thống nhất số liệu, nhưng vận tốc ánh sáng vì tin tức truyền lại thiết hạ không thể vượt qua lùi lại tường. Phân bố thức cường nhất trí tính sự vụ, có lẽ là một cái vật lý định luật cùng toán học định lý cộng đồng cấm ‘ vĩnh hằng vận động ’ ảo tưởng.”
Cùng thiếp giả dùng huyết lệ giáo huấn miêu tả địa ngục tranh cảnh.
“Chúng ta toàn cầu chi trả hệ thống, vì cường nhất trí tính dùng hai giai đoạn đệ trình, một lần vượt cảnh chuyển khoản bình quân muốn 300 hào giây, người dùng khiếu nại không ngừng. Có một lần vượt Đại Tây Dương cáp quang run rẩy, dẫn tới sự vụ phối hợp giả tạp trụ, toàn bộ hệ thống cương 10 phút.”
“Sửa dùng cuối cùng nhất trí tính sau, xuất hiện hiếm thấy song hoa vấn đề: Cùng số tiền bị chi trả hai lần. Chờ chúng ta thông qua đối trướng phát hiện, đã là một ngày sau, truy khoản phí tổn là chuyển khoản kim ngạch vài lần.”
“Chúng ta dùng nhiều phiên bản đồng phát khống chế ( MVCC ) hạ thấp khóa xung đột, nhưng vượt số liệu trung tâm số liệu đồng bộ lùi lại dẫn tới phiên bản hào xung đột gia tăng mãnh liệt, xung đột hồi lăn suất cao tới 5%, phun ra nuốt vào lượng căn bản không thể đi lên.”
“Này căn bản không phải công trình, là thần học. Chúng ta ở cầu nguyện internet vĩnh chẳng phân biệt khu, cầu nguyện người dùng có thể chịu đựng lùi lại, cầu nguyện xung đột vĩnh không phát sinh.”
Một loại “Vật lý định luật không cho phép, toán học định lý đã chứng minh” song trọng tuyệt vọng, bao phủ ở phân bố thức cơ sở dữ liệu cùng sự vụ xử lý nghiên cứu giả trong lòng.
Vũ hằng nơi công ty hải ngoại nghiệp vụ bộ môn, gần nhất online một cái vượt quốc khố tồn đồng bộ hệ thống. Hệ thống yêu cầu bảo đảm ở vào Châu Á, Châu Âu, Bắc Mỹ ba cái kho hàng tồn kho số liệu ở mỗi lần xuất nhập kho sau cường nhất trí, để ngừa ngăn siêu bán. Kỹ thuật đoàn đội lúc ban đầu chọn dùng căn cứ vào phân bố thức khóa cường nhất trí tính phương án, kết quả ở đẩy mạnh tiêu thụ ngày, hệ thống hưởng ứng chậm như ốc sên, đại lượng người dùng nhân siêu khi từ bỏ đơn đặt hàng. Sau lại sửa vì dị bước đồng bộ, kết quả xuất hiện bất đồng kho hàng cùng thương phẩm tồn kho đều vì phụ lại vẫn như cũ bán ra, dẫn tới vô pháp giao hàng nghiêm trọng khách tố. Vũ hằng bị điều động tham dự sự cố phục bàn, nàng nhìn theo dõi trên bản vẽ kia ở vượt dương liên lộ lùi lại cao phong trong lúc đột nhiên bay lên sự vụ thất bại suất cùng xung đột hồi lăn suất, cảm thấy một trận vô lực. Ở phục bàn sẽ thượng, giá cấu sư chỉ vào bạch bản thượng họa CAP hình tam giác, thanh âm khàn khàn: “Chúng ta tựa như một cái ở ba điều chân trên ghế tìm cân đối tạp kỹ diễn viên, bất luận cái gì một chân ra vấn đề, đều sẽ rơi mặt mũi bầm dập.”
Đương nàng mang theo loại này “Như thế nào làm đều là sai” thất bại cảm, đọc trên diễn đàn về “Vận tốc ánh sáng gông xiềng” thảo luận, nhìn đến những cái đó miêu tả vượt dương lùi lại cùng sự vụ phun ra nuốt vào lượng thành ngược lại tàn khốc đường cong khi, mu bàn tay bạc văn truyền đến một loại cực kỳ mâu thuẫn, ý đồ đồng bộ rồi lại không ngừng sai vị “Đồng hồ tí tách cảm”, phảng phất vô số đồng hồ ở từng người hành tẩu, ý đồ đối tề lại tổng kém như vậy một chút. Hệ thống “Thị giác” khởi động, đem nàng mang nhập một cái thời gian, trình tự, nhân quả, trạng thái đan chéo phân bố thức thời không.
Nàng “Nhìn đến”, không phải cụ thể sự vụ hiệp nghị, mà là “Nhất trí tính” làm một loại toàn cục có tự ảo giác, cùng “Bộ phận nhưng dùng tính” cùng “Phân khu sinh tồn” chi gian căn bản tính xung đột. Trước mặt sở hữu phương án, vô luận là theo đuổi cường nhất trí CP hệ thống vẫn là theo đuổi nhưng dùng AP hệ thống, đều là ở CAP cái này không có khả năng tam giác bên cạnh gian nan hành tẩu. Mâu thuẫn bản chất bị rõ ràng phác hoạ: Ý đồ ở “Dị bước, không đáng tin, có lùi lại internet” trung, thực hiện “Đồng bộ, đáng tin cậy, tức thì” toàn cục trạng thái chung nhận thức, là một loại căn bản thông tín mô hình sai xứng.
“Hỏa hoa” ở đối “Sự vụ” cùng “Nhất trí tính” 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ự vụ” cần thiết là “Đồng bộ, tắc, tức thì nguyên tử thao tác”. Nhưng thế giới hiện thực nghiệp vụ hoạt động ( như hậu cần, mậu dịch, hợp tác ) bản chất là “Dị bước, có trạng thái, bồi thường tính lưu trình”. Chúng ta có không không hề theo đuổi “Nháy mắt toàn cục nguyên tử đệ trình”, mà là chuyển hướng “Căn cứ vào nghiệp vụ logic cùng bồi thường động tác cuối cùng trạng thái chính xác tính”? Từ “Bảo đảm sở hữu phó bản nháy mắt nhất trí” chuyển hướng “Bảo đảm nghiệp vụ quá trình nhưng ngược dòng, trạng thái nhưng xác nhập, sai lầm nhưng bồi thường”, từ “Phối hợp giả điều khiển tắc đệ trình” chuyển hướng “Sự kiện lưu điều khiển dị bước xử lý”?
Một phần tên là 《 mặt hướng “Nghiệp vụ quá trình đi tìm nguồn gốc cùng dị bước bồi thường” cuối cùng cường nhất trí tính sự vụ giá cấu 》 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. Làm vụ nhật ký đến sự kiện đi tìm nguồn gốc: Từ bỏ sử dụng truyền thống sự vụ nhật ký qua lại lăn. Đem sở hữu thay đổi hệ thống trạng thái thao tác kiến mô vì không thể đổi lĩnh vực sự kiện, cũng ấn phát sinh trình tự kéo dài hóa đến sự kiện tồn trữ. Hệ thống trước mặt trạng thái là sự kiện lưu ở nào đó thời gian điểm hình chiếu ( vật hoá đồ thị hình chiếu ). Hôm nay nhiên cung cấp hoàn chỉnh thẩm kế truy tung cùng trạng thái trùng kiến năng lực. Viết nhập đoan chỉ cần kéo dài hóa sự kiện, không cần lập tức đổi mới toàn cục trạng thái, nhưng trên diện rộng hạ thấp viết nhập lùi lại.
2. Từ toàn cục khóa đến logic đồng hồ cùng xung đột thí nghiệm: Vì mỗi cái sự kiện phụ gia một cái logic thời gian chọc ( như hỗn hợp logic đồng hồ, kết hợp vật lý thời gian cùng logic máy đếm ), ký lục này nhân quả quan hệ. Bất đồng số liệu trung tâm có thể dị bước mà trao đổi sự kiện lưu. Hậu trường vận hành xung đột thí nghiệm phục vụ, căn cứ vào logic thời gian chọc cùng nghiệp vụ quy tắc ( như tồn kho không thể vì phụ ) thí nghiệm đồng phát sự kiện hay không xung đột. Nếu thí nghiệm đến xung đột ( như lưỡng địa đồng thời bán ra cuối cùng một kiện thương phẩm ), tắc căn cứ dự định nghĩa xung đột giải quyết sách lược ( như căn cứ vào nghiệp vụ ưu tiên cấp, thời gian chọc, hoặc nhân công can thiệp ) tiến hành tự động xác nhập hoặc kích phát bồi thường lưu trình, mà phi đơn giản hồi lăn.
3. Từ hai giai đoạn đệ trình đến Saga hình thức cùng bồi thường sự vụ: Đem truyền thống nguyên tử sự vụ tách ra vì một loạt bản địa sự vụ, mỗi cái bản địa sự vụ đối ứng một cái cụ thể nghiệp vụ bước đi ( như khấu giảm bản địa tồn kho, sáng tạo bản địa đơn đặt hàng ), cũng trước định nghĩa này bồi thường động tác ( như khôi phục tồn kho, hủy bỏ đơn đặt hàng ). Này đó bản địa sự vụ thông qua một cái phối hợp khí ( hoặc căn cứ vào sự kiện lưu ) xâu chuỗi thành một cái Saga lưu trình. Nếu sở hữu bước đi thành công, tắc Saga hoàn thành; nếu mỗ bước đi thất bại, tắc phối hợp khí ấn tương phản trình tự kích phát đã hoàn thành bước đi bồi thường động tác, đem hệ thống trạng thái hồi lăn đến sự vụ bắt đầu trước, thực hiện cuối cùng nhất trí tính. Bồi thường động tác bản thân cũng là mịch chờ bản địa sự vụ, bảo đảm nhưng trọng thí.
Đêm khuya, “Trí giả nhà”. “Architect” ID xuất hiện ở kia phiến về “Vận tốc ánh sáng gông xiềng” thảo luận trung, tiêu đề mang theo một loại tiếp nhận internet hiện thực thản nhiên.
Tiêu đề ( hồi phục ): 《 “Đồng thời” chi vọng cùng “Quá trình” chi thật —— lại luận phân bố thức sự vụ dùng cái gì khả năng 》
Nội dung:
“Thấy chư quân vây với phân bố thức cường nhất trí chi tuyệt cảnh, như dục lệnh cách dương chi chung cùng giây, vạn dặm chi trướng cùng số, ý chí nhưng khâm, này cầu khó toại. Nhiên, trên biển mậu dịch, há là bạc hóa hai bên thoả thuận xong với cùng nháy mắt? Cái có thư tín dụng, có hoá đơn nhận hàng, có bảo hiểm, lưu trình tuy phồn, phân tranh nhưng giải.
“Lão hủ xem chi, chư quân sở chấp, nãi ‘ tức thì nguyên tử ’ chi chấp niệm. Nhiên thương nghiệp thế giới, bổn nhiều dị bước lưu trình, xong việc đối trướng, sai lầm bồi thường. Không bằng tư ‘ lấy sự kiện vì sử, lấy lưu trình vì cương, lấy bồi thường vì thuẫn ’ phương pháp. Thí nghĩ một trận cấu, hóa đồng bộ chi vây vì dị bước chi lưu:
“Một pháp, lấy sự kiện vì sử, tồn không thể đổi chi tích. Không chấp với tức thì đổi mới toàn cục trạng thái, mà đem mỗi lần trạng thái thay đổi, nhớ vì không thể đổi chi lĩnh vực sự kiện, y tự tồn với sự kiện kho. Hệ thống thái độ, nãi sự kiện lưu hình chiếu chi đồ thị hình chiếu. Như thế, toàn sử nhưng tố, trạng thái nhưng trùng kiến. Viết đoan nhưng tồn sự kiện, nhưng tấn hưởng ứng, không ngại hắn chỗ.
“Nhị pháp, lấy logic khi vì tự, dị bước kiểm xung đột. Vì mỗi một sự kiện phụ logic khi chọc, lấy minh nhân quả. Các nơi sự kiện lưu, nhưng dị bước trao đổi, xác nhập. Hậu trường có xung đột thí nghiệm chi phục vụ, y nghiệp vụ chi quy ( như tồn kho không thể phụ ), tra đồng phát sự kiện chi hướng. Nếu thấy xung đột, phi lập hồi lăn, mà y dự thiết chi sách ( như tới trước thì được, ai ra giá cao thì được, hoặc nhân công quyết định ) tự động xác nhập, hoặc kích phát bồi thường. Đây là lấy thời gian đổi không gian, lấy thí nghiệm đại dự phòng.
“Tam pháp, lấy Saga vì cương, bồi thường bảo chung cuộc. Hóa đại sự vụ vì nhiều bản địa sự vụ chi liên, mỗi bước dự định nghĩa này bồi thường động tác. Từ một phối hợp khí ( hoặc sự kiện lưu ) đuổi liên đi trước. Nếu từng bước hiểu rõ, tắc sự thành; nếu nửa đường băng trở, tắc phối hợp khí nghịch tự kích phát đã bước chi bồi thường, lệnh hệ thống chung quy nhất trí. Bồi thường động tác cũng vì mịch chờ chi bản địa sự vụ, nhưng trọng thí, bảo đáng tin cậy.
“Này tam pháp hợp tác, chỉ ở đem phân bố thức sự vụ từ ‘ theo đuổi nháy mắt toàn cục nhất trí đồng bộ nan đề ’, chuyển hóa vì ‘ quản lý dị bước sự kiện lưu cùng bảo đảm quá trình chính xác công trình vấn đề ’. Phụ thượng một phần căn cứ vào sự kiện đi tìm nguồn gốc, hỗn hợp logic đồng hồ xung đột thí nghiệm, cùng Saga phối hợp khí sự vụ giá cấu thiết kế bản dự thảo, và ở mô phỏng toàn cầu tồn kho cảnh tượng hạ phun ra nuốt vào lượng, lùi lại, cùng số liệu nhất trí tính ( cuối cùng cường nhất trí ) đánh giá. Này nói phi vì phủ định CAP, nãi ở thừa nhận vật lý cực hạn hạ, khác tích thỏa mãn nghiệp vụ chân thật nhu cầu chi lối tắt. Một chút lậu tư, lại thỉnh chư quân phủ chính.”
Thiệp đem phân bố thức sự vụ từ “Nguyên tử đệ trình nan đề” trọng cấu vì “Dị bước lưu trình quản lý”, đưa ra sự kiện đi tìm nguồn gốc, logic đồng hồ, Saga bồi thường tân phạm thức.
Nghi ngờ thanh giống như internet phân khu nháy mắt tua nhỏ thảo luận, mà
“@ lão đầu gỗ “Hồi phục, ở một giờ sau xuất hiện, mang theo đối sự kiện đi tìm nguồn gốc chi tiêu, xung đột giải quyết tính khả thi, bồi thường sự vụ phức tạp tính khắc sâu hoài nghi.
“@Architect tiên sinh, ngài lần này dùng ‘ sự kiện đi tìm nguồn gốc ’, ‘ xung đột thí nghiệm ’, ‘Saga bồi thường ’ này tam tề mãnh dược, ý đồ trị liệu phân bố thức sự vụ bệnh nan y. Nhưng mà, mỗi một liều dược đều có mãnh liệt tác dụng phụ, hợp ở bên nhau khả năng làm người bệnh bị chết càng mau.” Lão đầu gỗ khúc dạo đầu liền tràn ngập điềm xấu dự cảm.
“Đệ nhất, về sự kiện đi tìm nguồn gốc chi tiêu cùng phức tạp tính tai nạn. Sự kiện tồn trữ sẽ vô hạn tăng trưởng, bởi vì sự kiện không thể đổi. Này mang đến thật lớn tồn trữ phí tổn. Càng mấu chốt chính là, trùng kiến trước mặt trạng thái ( vật hoá đồ thị hình chiếu ) yêu cầu trọng phóng toàn bộ sự kiện lưu, này ở tân phục vụ thượng tuyến hoặc trục trặc khôi phục khi chậm vô pháp tiếp thu. Ngài yêu cầu vì mỗi cái đọc lấy mô hình giữ gìn chuyên môn vật hoá đồ thị hình chiếu, cũng thật thời đổi mới, này bản chất đem cơ sở dữ liệu phức tạp tính chuyển dời đến ứng dụng tầng, dẫn vào đồ thị hình chiếu cùng sự kiện lưu nhất trí tính tân nan đề. Hơn nữa, sự kiện kết cấu diễn tiến ( schema evolution ) là trứ danh nan đề, một khi sự kiện cách thức yêu cầu thay đổi, lịch sử sự kiện trọng phóng cùng xử lý đem dị thường phức tạp. Ngài dùng viết nhập đơn giản tính, đổi lấy đọc lấy cùng vận duy cực đoan phức tạp tính.”
“Đệ nhị, về dị bước xung đột thí nghiệm ‘ mã hậu pháo ’ cùng nghiệp vụ nguy hiểm. Ngài xung đột thí nghiệm là dị bước. Này ý nghĩa, đương xung đột bị thí nghiệm đến lúc đó, nghiệp vụ khả năng đã căn cứ vào ‘ sai lầm ’ trạng thái tiến hành rồi kế tiếp thao tác. Tỷ như, lưỡng địa đều căn cứ vào ‘ tồn kho sung túc ’ phán đoán bán ra thương phẩm, chờ xung đột thí nghiệm phát hiện khi, thương phẩm đã giao hàng trên đường. Lúc này lại kích phát bồi thường ( như hủy bỏ đơn đặt hàng, truy hồi hàng hóa ), phí tổn ngẩng cao, khách hàng thể nghiệm cực kém, thậm chí khả năng vô pháp bồi thường ( đủ số tự thương phẩm đã tiêu phí ). Dị bước xung đột thí nghiệm vô pháp dự phòng xung đột phát sinh, chỉ có thể xong việc bổ cứu, mà có chút nghiệp vụ bổ cứu phí tổn là vô pháp thừa nhận. Càng không cần phải nói, tự động xung đột giải quyết sách lược rất khó bao trùm sở hữu phức tạp nghiệp vụ cảnh tượng, cuối cùng thường thường yêu cầu nhân công can thiệp, này lại dẫn vào lùi lại cùng không xác định tính.”
“Đệ tam, về Saga hình thức cùng bồi thường sự vụ ‘ yếu ớt trường liên lộ ’. Saga đem sự vụ tách ra vì nhiều bản địa sự vụ, thông qua phối hợp khí xâu chuỗi. Nhưng này sáng lập một cái dài dòng, yếu ớt ỷ lại liên. Liên trung bất luận cái gì một cái phân đoạn thất bại ( bao gồm phối hợp khí bản thân ), đều yêu cầu kích phát bồi thường. Bồi thường động tác cũng có thể thất bại, yêu cầu trọng thí cơ chế, này tiến thêm một bước gia tăng rồi phức tạp tính. Hơn nữa, bồi thường động tác thiết kế bản thân cực có khiêu chiến: Có chút thao tác căn bản vô pháp bồi thường ( như gửi đi bưu kiện, thuyên chuyển phần ngoài không thể nghịch API ), có chút bồi thường động tác khả năng nhân trạng thái biến hóa mà thất bại ( như tồn kho đã lại lần nữa bị thay đổi ). Này dẫn tới Saga cuối cùng nhất trí tính khả năng vô pháp đạt thành, hệ thống lâm vào bộ phận bồi thường hỗn loạn trạng thái. Ngài dùng một loạt khả năng thất bại bản địa thao tác cùng bồi thường, thay thế một cái khả năng thất bại phân bố thức sự vụ, nhưng tổng thể thất bại xác suất cùng phức tạp độ ngược lại gia tăng rồi.”
“Thứ 4, về đọc lấy nhất trí tính người dùng thể nghiệm. Ở ngài sự kiện đi tìm nguồn gốc +CQRS giá cấu trung, viết nhập ( sự kiện tồn trữ ) cùng đọc lấy ( vật hoá đồ thị hình chiếu ) là chia lìa, hơn nữa đồ thị hình chiếu đổi mới là dị bước. Này tất nhiên dẫn tới người dùng khả năng đọc được cũ số liệu ( cuối cùng nhất trí tính ). Đối với yêu cầu cường đọc nhất trí tính cảnh tượng ( như xem xét tài khoản ngạch trống sau lập tức chuyển khoản ), này không thể tiếp thu. Ngài khả năng yêu cầu dẫn vào ‘ đọc mình chỗ viết ’ nhất trí tính bảo đảm, này lại yêu cầu ở bản cài đặt hoặc trung gian kiện trung giữ gìn phức tạp phiên bản theo dõi, đem phức tạp tính đẩy cho người dùng. Ngài hy sinh nhất trực quan nhất trí tính mô hình, đổi lấy chính là một bộ người dùng khó có thể lý giải, khai phá giả khó có thể chính xác thực hiện nhược nhất trí tính bảo đảm.”
“Căn bản nhất nghịch biện ở chỗ: Ngài ý đồ dùng từ bỏ đồng bộ cường nhất trí tính phương pháp tới giải quyết đồng bộ cường nhất trí tính không thể được vấn đề. Nhưng ngài sở dẫn vào dị bước, cuối cùng nhất trí tính mô hình, cũng không có giải quyết nghiệp vụ đối cường nhất trí tính chân thật nhu cầu, chỉ là đem vấn đề từ cơ sở dữ liệu mặt chuyển dời đến nghiệp vụ logic mặt, cũng yêu cầu nghiệp vụ tiếp thu càng phức tạp, càng không thể đoán trước hành vi. Ngài xây dựng không phải một cái càng đơn giản đáng tin cậy hệ thống, mà là một cái đem phân bố thức hệ thống sở hữu chỗ khó ( có tự, nhất trí, dung sai ) đều bại lộ cấp nghiệp vụ khai phá giả phức tạp dàn giáo. Này đối với đại đa số theo đuổi ổn định, nhưng đoán trước nghiệp vụ logic tài chính, chính vụ hệ thống tới nói, là càng nguy hiểm lựa chọn.”
Lão đầu gỗ từ tồn trữ cùng trọng buông ra tiêu, xung đột thí nghiệm lạc hậu, Saga liên lộ yếu ớt, đọc nhất trí tính hy sinh, vấn đề dời đi nghịch biện năm 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ỉ thay thế phương án ở công trình thực tiễn trung Achilles chi chủng.
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 cuối cùng nhất trí tính mô hình phức tạp tính, nhưng theo sau triển khai một hồi về “Nghiệp vụ bản chất” cùng “Kỹ thuật thích xứng” khắc sâu trình bày và phân tích.
“Mộc lão sở lự, đều là công trình thực tiễn chi lời vàng ngọc. Lão hủ sở xướng, xác phi đơn giản hoá, mà là ở thừa nhận vượt vực cường nhất trí ở vật lý thượng không thể được tiền đề hạ, một lần nữa định nghĩa ‘ nhất trí tính ’ lấy thỏa mãn nghiệp vụ trung tâm nhu cầu, cũng vì này cung cấp hệ thống hóa công trình dàn giáo. Này mục tiêu, là làm nghiệp vụ ở không thể tránh khỏi dị bước cùng phân khu trong hiện thực, vẫn có thể an toàn, đáng tin cậy, thả tương đối hiệu suất cao mà vận hành. Thỉnh hứa lão hủ, từng cái phân tích.”
“Về sự kiện đi tìm nguồn gốc chi tiêu cùng vật hoá đồ thị hình chiếu: Sự kiện tồn trữ xác sẽ tăng trưởng, nhiên tồn trữ phí tổn đã phi trung tâm bình cảnh. Sự kiện nhưng ấn thời gian cửa sổ đệ đơn hoặc tụ hợp, phi sinh động lịch sử nhưng di đến giá rẻ tồn trữ. Vật hoá đồ thị hình chiếu trùng kiến, nhưng thông qua định kỳ mau chiếu gia tốc —— bảo tồn nào đó thời gian điểm hoàn chỉnh trạng thái, kế tiếp chỉ cần trọng phóng nên điểm lúc sau sự kiện. Đồ thị hình chiếu đổi mới nhưng thông qua lưu xử lý động cơ ( như Flink, Kafka Streams ) thật thời tiến hành, này đã là thành thục kỹ thuật. Schema diễn tiến nhưng thông qua phiên bản hóa sự kiện cùng hướng về phía trước thay đổi khí xử lý, tuy có phí tổn, nhưng nhưng quản lý. Mấu chốt ở chỗ, sự kiện đi tìm nguồn gốc cung cấp không gì sánh kịp thẩm kế, hồi tưởng cùng linh hoạt kiến mô năng lực, đây là rất nhiều mấu chốt nghiệp vụ ( như tài chính, giám thị ) sở cực độ coi trọng, này giá trị nhưng triệt tiêu bộ phận phức tạp tính.”
“Về xung đột thí nghiệm lạc hậu cùng nghiệp vụ nguy hiểm: Dị bước xung đột thí nghiệm xác vô pháp dự phòng xung đột. Cố, giá cấu cần duy trì nhiều tầng xung đột xử lý sách lược. Đối với nhưng dự kiến, cao nguy hiểm xung đột ( như siêu bán ), nhưng tại nghiệp vụ nhập khẩu thiết trí nhẹ lượng cấp dự kiểm hoặc dự lưu cơ chế ( như khấu giảm bản địa nhưng dùng tồn kho, dị bước đồng bộ toàn cục tồn kho ), kết hợp xung đột thí nghiệm, đem đại bộ phận xung đột bóp chết ở nảy sinh. Đối với thí nghiệm ra xung đột, bồi thường phí tổn cao, ứng ưu tiên thiết kế nghiệp vụ lưu trình tránh cho ( như đem tồn kho phân vùng, mỗi cái địa vực phụ trách riêng thương phẩm ). Giá cấu mục tiêu không phải tiêu trừ xung đột, mà là cung cấp công cụ tới hệ thống mà quản lý, giải quyết cùng từ xung đột trung khôi phục, cũng đem ảnh hưởng nhỏ nhất hóa. Này so ỷ lại internet vĩnh viễn đáng tin cậy, lùi lại vĩnh viễn bằng không ảo tưởng muốn hiện thực.”
“Về Saga yếu ớt tính cùng bồi thường thiết kế: Saga liên lộ đáng tin cậy tính, nhưng thông qua kéo dài hóa Saga trạng thái, thiết trí siêu khi cùng trọng thí, sử dụng tin tức đội ngũ bảo đảm đưa chờ thành thục hình thức bảo đảm. Bồi thường động tác thiết kế là chỗ khó, nhưng nhưng tuần hoàn mịch chờ tính, nhưng trọng thí, tận lực nghiệp vụ đảo ngược nguyên tắc. Đối với vô pháp bồi thường tác dụng phụ ( như gửi đi bưu kiện ), nhưng chọn dùng dự lưu - xác nhận hình thức: Trước dự lưu tài nguyên ( như sinh thành đơn đặt hàng đãi chi trả trạng thái ), đãi trung tâm sự vụ thành công sau lại kích phát tác dụng phụ. Saga hình thức giá trị ở chỗ, nó đem phân bố thức sự vụ phức tạp tính, phân giải vì một loạt nhưng độc lập quản lý, theo dõi cùng trọng thí bản địa bước đi, này so một cái hắc hộp, khả năng toàn cục tắc 2PC càng dễ dàng lý giải cùng vận duy.”
“Về đọc lấy nhất trí tính: CQRS xác thật dẫn vào đọc lùi lại. Nhưng đối với yêu cầu cường đọc nhất trí cảnh tượng, nhưng chọn dùng viết sau đồng bộ đọc sách lược: Viết nhập sau, phản hồi hưởng ứng trung bao hàm một cái phiên bản hào hoặc thời gian chọc, kế tiếp đọc lấy cần thiết mang theo này đánh dấu, hệ thống bảo đảm phản hồi không thua kém này phiên bản số liệu. Này nhưng thông qua ở viết nhập đường nhỏ thượng đồng bộ đổi mới một cái bản vẽ nhìn chính diện, hoặc thông qua bản cài đặt hội thoại nhất trí tính tới thực hiện. Giá cấu ứng cung cấp nhất trí tính cấp lựa chọn khác, mà không phải cưỡng chế sở hữu đọc lấy đều cuối cùng nhất trí. Khai phá giả có thể căn cứ nghiệp vụ nhu cầu, ở cường nhất trí, hội thoại nhất trí, cuối cùng nhất trí chi gian cân nhắc lựa chọn.”
“Mộc lão, ngài chỉ ra vấn đề dời đi nghịch biện, lão hủ tư chi quá sâu. Xác thật, chúng ta đem một ít phức tạp tính từ cơ sở dữ liệu nội hạch chuyển dời đến ứng dụng dàn giáo. Nhưng này ‘ dời đi ’ đều không phải là phí công. Truyền thống phân bố thức sự vụ ý đồ ở tầng dưới chót cung cấp một cái ‘ hoàn mỹ ’ trừu tượng, nhưng này trừu tượng ở vượt vực cảnh tượng hạ tất nhiên tan biến, thả tan biến khi nguyên nhân tối nghĩa, khôi phục khó khăn. Tân giá cấu tắc đem phân bố thức hiện thực —— dị bước, lùi lại, khả năng xung đột —— hiện thức mà bại lộ cấp nghiệp vụ thiết kế, cũng cung cấp một bộ hình thức ( sự kiện, Saga, CQRS ) tới hệ thống mà ứng đối. Này yêu cầu nghiệp vụ khai phá giả càng thâm nhập mà lý giải bọn họ lưu trình, cũng hiện thức mà định nghĩa xung đột giải quyết cùng bồi thường logic. Ngắn hạn xem, này càng phức tạp; trường kỳ xem, này tạo thành càng có thể thích ứng phân bố thức hiện thực, càng cụ tính dai nghiệp vụ hệ thống. Này dàn giáo mục tiêu ( C ), phi ‘ thực hiện trong suốt vượt vực cường nhất trí ’, mà là ‘ xây dựng một cái có thể sử nghiệp vụ ở dị bước, không xác định phân bố thức hoàn cảnh trung, vẫn có thể bảo trì trung tâm số liệu chính xác tính cùng lưu trình đáng tin cậy tính trong suốt dàn giáo ’. Một chút cố chấp, vì kia ở CAP thiết tam giác hạ giãy giụa nghiệp vụ, cung cấp một bộ có lẽ càng chân thật, nhưng cũng càng cường đại sinh tồn công 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 thực hiện trong suốt cường nhất trí” chuyển hướng về phía “Như thế nào thiết kế hiện thức, thích ứng cuối cùng nhất trí tính nghiệp vụ hệ thống”. Rất nhiều làm đại hình điện thương, chi trả hệ thống, hậu cần theo dõi kỹ sư bắt đầu tham thảo, tại nghiệp vụ đã không thể tránh né mà vượt địa vực, dị bước hóa hôm nay, loại này căn cứ vào sự kiện cùng Saga giá cấu hay không đại biểu so truyền thống phân bố thức sự vụ càng phải cụ thể, càng cụ co dãn phương hướng.
Mười tháng sau, công nghiệp giới truyền đến hai cái cấp quan trọng tiếp thu trường hợp:
1. Alibaba ở này niên độ vân tê đại hội thượng tuyên bố “Sự kiện điều khiển giá cấu ( EDA ) trung gian kiện 3.0” cùng “Phân bố thức sự vụ trang phục”, trong đó trung tâm đó là căn cứ vào sự kiện đi tìm nguồn gốc cùng Saga hình thức sự vụ giải quyết phương án. Sách bìa trắng biểu hiện, nên phương án ở này toàn cầu điện thương giao dịch, tồn kho quản lý, đơn đặt hàng thực hiện lời hứa chờ trung tâm cảnh tượng trung rộng khắp ứng dụng, thành công đem vượt địa vực sự vụ bình quân xử lý thời gian từ mấy trăm hào giây hạ thấp mấy chục hào giây ( thông qua bản địa viết nhập sự kiện ), cũng thông qua hoàn thiện hậu trường xung đột giải quyết cùng bồi thường cơ chế, đem thừa tố theo không nhất trí dẫn tới nghiệp vụ sai lầm suất hạ thấp 90%. Kỹ thuật người phụ trách xưng: “Ở ứng đối 11-11 như vậy toàn cầu quy mô giao dịch khi, từ bỏ đối tức thì cường nhất trí theo đuổi, ngược lại dựa vào sự kiện lưu cùng nghiệp vụ quá trình quản lý, là chúng ta có thể bảo trì hệ thống co dãn mấu chốt.”
2. JPMorgan Chase cùng Linux quỹ hội liên hợp khởi xướng “Marella” khai nguyên hạng mục, đây là một cái vì cơ quan tài chính thiết kế, căn cứ vào sự kiện đi tìm nguồn gốc cùng CQRS phân bố thức sổ sách dàn giáo. Này thiết kế mục tiêu là ở không ỷ lại chỉ một trung tâm hóa phối hợp dưới tình huống, thực hiện vượt cơ cấu giao dịch hiệu suất cao, nhưng thẩm kế, cuối cùng nhất trí xử lý. Hạng mục hồ sơ trung minh xác trích dẫn “Từ ACID sự vụ đến BASE ( cơ bản nhưng dùng, mềm trạng thái, cuối cùng nhất trí ) lưu trình” phạm thức chuyển biến.
Hai đại trường hợp cho thấy, ở tối cao yêu cầu điện thương cùng tài chính cảnh tượng trung, nghiệp giới đã bắt đầu đại quy mô tiếp nhận cũng thành công ứng dụng sự kiện điều khiển, cuối cùng nhất trí giá cấu tới thay thế truyền thống cường nhất trí phân bố thức sự vụ. Này đều không phải là từ bỏ nhất trí tính, mà là lấy càng thích ứng phân bố thức hiện thực phương thức một lần nữa định nghĩa cùng thực hiện 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 cuốn kết thúc cùng tiếp theo cuốn dự báo:
“Số liệu hòn đá tảng - phân bố thức sự vụ: Sự kiện đi tìm nguồn gốc cùng Saga bồi thường đường nhỏ nghiệm chứng (9/∞). “
“【 quyển thứ hai: Tin tức kỷ nguyên - phần mềm luyện ngục 】 trung tâm mô khối nghiệm chứng xong. “
“Đệ quy phần mềm sạn cuối cùng xây dựng hoàn thành: “
“├─ thời gian trật tự ( nhân quả nhưng nghiệm chứng ) “
“├─ di sản trọng cấu ( hành vi clone cùng tiến dần nghiệm chứng ) “
“├─ hình thức xét nghiệm chứng ( phân tầng tổ hợp bảo đảm ) “
“├─ thanh thản ứng tiến hóa ( hình thức hóa ước thúc tiến hóa ) “
“├─ đồng phát điều chỉnh thử ( toàn tích ký lục cùng nhân quả phân tích ) “
“├─ biên trình phạm thức ( phân tầng ngôn ngữ công tác đài ) “
“├─ thao tác hệ thống ( vô trung tâm phục vụ võng cách ) “
“├─ biên dịch ưu hoá ( hình thức hóa phần cứng mô hình cùng dẫn đường tìm tòi ) “
“└─ số liệu sự vụ ( sự kiện đi tìm nguồn gốc cùng Saga bồi thường ) “
“Nhắc nhở: Phần mềm cùng số liệu tầng trung tâm mâu thuẫn đã giải cấu, tân phạm thức xác lập. “
“Đệ quy kim đồng hồ quá độ: Đương phần mềm bị xây dựng, số liệu bị đáng tin cậy xử lý, như thế nào đem này hết thảy đại quy mô, tự động hoá mà bố trí cùng vận duy với động thái, phức tạp, không thể đoán trước vân hoàn cảnh trung, là tiếp theo cái vực sâu. “
“【 quyển thứ ba: Tin tức kỷ nguyên - vận duy vực sâu 】 sắp mở ra. “
“Đầu chương tiêu điểm: Tự động hoá vận duy chung cực mộng tưởng cùng hỗn độn hiện thực. “
“Toàn cầu nhân loại hợp tác viện nghiên cứu” phát tới cuối cùng một phần văn kiện, tên là 《 khẩn cấp gặp mặt an bài 》. Trong đó kỹ càng tỉ mỉ thuyết minh ở Thụy Sĩ gặp mặt cụ thể thời gian, địa điểm, an bảo thi thố, cũng mang thêm một trương trải qua đặc thù xử lý, vô pháp truy tung điện tử vé máy bay. Tin trung viết nói: “Architect các hạ, ngài trí tuệ chiếu sáng con đường, nhưng ma quỷ giấu ở chi tiết trung. Chúng ta yêu cầu ngài tự mình cầm lái, bảo đảm GACI, GCSAF, GSCC chờ xướng nghị sẽ không lệch khỏi quỹ đạo sơ tâm, sẽ không trở thành kỹ thuật bá quyền công cụ. Đây là tránh cho thế giới phân liệt cuối cùng cơ hội. Chúng ta đã vì ngài chuẩn bị hảo tân thân phận cùng chung thân bảo hộ. Làm ơn tất tiến đến. Đếm ngược sắp về linh.”
“@ Victor “Đếm ngược về linh. Không có tân tin tức. Nhưng vũ hằng chung cư cửa, truyền đến có tiết tấu, rất nhỏ “Cách” thanh, như là nào đó tinh vi điện tử khóa đang ở bị nếm thử. Mu bàn tay bạc văn, truyền đến một trận bén nhọn, cảnh cáo thức đau đớn.
Vũ hằng đột nhiên từ trên ghế đứng lên, trái tim kinh hoàng. Nàng nhìn thoáng qua trên màn hình kia trương điện tử vé máy bay, lại nhìn thoáng qua nhắm chặt chung cư môn. Mu bàn tay thượng kia sai vị đồng hồ cảm sớm bị cảnh báo đau đớn thay thế được. “Nhất trí tính” nan đề chưa giải quyết, mà nàng cá nhân thế giới “Nhất trí tính” —— an toàn, thân phận, khống chế —— đã đến hỏng mất bên cạnh.
Nàng biết, tiếp theo tràng khiêu chiến, đem từ số hiệu cùng số liệu, chuyển hướng nàng tự thân sinh tồn. Mà ở kia phía trước, nàng cần thiết làm ra lựa chọn.
( chương 33 xong )
【 chương sau báo trước 】
Đương phần mềm cùng số liệu nan đề bị từng cái phá giải, đem chúng nó giao phó cũng giữ gìn ở thay đổi trong nháy mắt vân hoàn cảnh trung, lại thành tân ác mộng. Là theo đuổi toàn tự động, tự lành vận duy xã hội không tưởng, vẫn là tiếp thu nhân lực can thiệp tất nhiên? Chương sau, chúng ta đem thâm nhập vân nguyên sinh vận duy sương mù, trực diện kia dây dưa với tự động hoá hiệu suất cùng hệ thống phức tạp tính chi gian hỗn độn vực sâu.
Chương 34: 《 hỗn độn bố trí —— vân nguyên sinh toàn liên lộ tự động hoá vận duy không thể đoán trước tính vực sâu 》
* mâu thuẫn:
““Vân nguyên sinh ứng dụng yêu cầu toàn liên lộ tự động hoá bố trí, khoách súc dung, trục trặc tự lành lấy ứng đối động thái phụ tải ( A ). Nhưng cải trang vụ, phục vụ võng cách, thanh minh thức phối trí cấu thành phức tạp hệ thống, này hành vi khó có thể đoán trước, tự động hoá thao tác khả năng nhân rất nhỏ phối trí lệch lạc hoặc ngoài ý muốn lẫn nhau dẫn phát cấp liên trục trặc, thả xong việc căn nhân phân tích cực kỳ khó khăn ( B ).” “