Thao tác hệ thống cùng khai nguyên diễn đàn “Lẫn nhau thao tác tính cùng tiêu chuẩn” bản khối, bị một thiên đến từ Linux quỹ hội, IEEE tiêu chuẩn hiệp hội cùng vạn duy võng liên minh ( W3C ) liên hợp tuyên bố 《 con số hệ thống sinh thái lẫn nhau thao tác tính hiện trạng báo cáo 》 bao phủ thượng Tháp Babel cổ xưa bóng ma. Báo cáo tiêu đề giống như đến từ kỹ thuật nguyên tội phán quyết: 《 tiêu chuẩn nguyền rủa: Ở mở ra hoa viên cùng phong bế thành lũy chi gian, không có nhịp cầu 》. Báo cáo lấy tường tận sản nghiệp phân tích chỉ ra, con số thế giới chính lâm vào một hồi từ thương nghiệp cạnh tranh cùng kỹ thuật phân hoá dẫn tới phân liệt nguy cơ:
“Ứng dụng khai phá giả hy vọng một lần biên soạn, là có thể ở bất đồng nhà máy hiệu buôn phần cứng, thao tác hệ thống, vân ngôi cao, trung gian kiện thượng vô phùng vận hành, thực hiện chân chính vượt ngôi cao, vượt sinh thái lẫn nhau thao tác, lấy hạ thấp khai phá phí tổn, tránh cho cung ứng thương tỏa định, cũng xúc tiến sáng tạo ( A ). Nhưng mà, các đại khoa học kỹ thuật đầu sỏ vì xây dựng cạnh tranh hàng rào cùng theo đuổi cực hạn ưu hoá, không ngừng đẩy ra tư hữu API, chuyên chúc phần cứng gia tốc mệnh lệnh, định chế thao tác hệ thống đặc tính cùng phong bế vân phục vụ, dẫn tới ứng dụng chiều sâu trói định riêng sinh thái; mà từ chuẩn hoá tổ chức chế định mở ra tiêu chuẩn ( như POSIX, HTTP, SQL ) thường thường lạc hậu với kỹ thuật phát triển, trở thành ‘ thấp nhất công cộng mẫu số ’, vô pháp lợi dụng mới nhất phần cứng đặc tính, thả bất đồng tiêu chuẩn gian khả năng tồn tại trùng điệp hoặc xung đột, dẫn tới khai phá giả ở ‘ tiêu chuẩn mê cung ’ trung mệt mỏi bôn tẩu ( B ).” Báo cáo tuyệt vọng mà tổng kết, “Chúng ta mộng tưởng kiến tạo một tòa thông thiên tháp, làm sở hữu ngôn ngữ người đều có thể hợp tác công tác. Nhưng mỗi khi chúng ta bắt đầu kiến tạo, sẽ có người phát minh một loại càng cao hiệu gạch, cũng tuyên bố chỉ có dùng bọn họ đặc chế vôi vữa mới có thể dính hợp. Những người khác tắc đưa ra dùng một loại khác hình dạng gạch. Cuối cùng, chúng ta được đến vô số tòa lẫn nhau vô pháp liên tiếp tiểu tháp, mỗi tòa trong tháp mọi người đều ở dùng chỉ có người một nhà có thể hiểu ngôn ngữ kêu gọi. Mở ra tiêu chuẩn cùng phong bế sinh thái chiến tranh, đang ở đem con số thế giới xé rách thành từng cái vô pháp câu thông cô đảo.”
Cùng thiếp giả dùng huyết lệ giáo huấn miêu tả phân liệt tranh cảnh.
“Chúng ta vì một cái AI trinh thám ứng dụng ưu hoá, dùng NVIDIA CUDA cùng TensorRT, tính năng thật tốt. Kết quả khách hàng tưởng ở AMD GPU thượng chạy, chúng ta đến trọng viết một nửa số hiệu dùng ROCm, tính năng còn kém một đoạn. Muốn dùng OpenCL? Về điểm này tính năng căn bản không thể dùng.”
“Chúng ta căn cứ vào Kubernetes cùng vật chứa xây dựng vân nguyên sinh ứng dụng, cho rằng có thể vượt vân nhổ trồng. Kết quả AWS phụ tải cân đối khí, Google lưu trữ đám mây, Azure chứng thực phục vụ, từng người có độc đáo chú giải cùng API, nhổ trồng khi thích xứng tầng số hiệu so nghiệp vụ logic còn nhiều.”
“W3C tiêu chuẩn? Mỗi cái trình duyệt đều có chính mình một bộ tiền tố cùng chưa hồ sơ hóa hành vi. Chúng ta hoa 30% thời gian ở kiêm dung tính thí nghiệm cùng hack thượng.”
“Này không phải khai phá, là đứng thành hàng. Ngươi tuyển quả táo sinh thái, liền vào ưu nhã ngục giam; tuyển Google sinh thái, liền ở mảnh nhỏ hóa hải dương bơi lội; tuyển hơi mềm sinh thái, liền ở di sản trong mê cung đảo quanh. Mà mở ra tiêu chuẩn? Đó là một cái vĩnh viễn ở xây dựng trung, không người chân chính tuân thủ không trung lầu các.”
Một loại “Mở ra tức vô lực, phong bế tức tỏa định” tuyệt vọng cảm, ở vượt ngôi cao khai phá giả cùng hệ thống giá cấu sư trong lòng lan tràn.
Vũ hằng đến vận chuyển hàng hóa bến tàu 3 hào kho hàng khi, đã là chạng vạng. Thật lớn thùng đựng hàng rừng cây ở hoàng hôn hạ đầu hạ thật dài bóng ma. Nàng dựa theo chỉ thị tìm được rồi đánh số vì CX-771 thùng đựng hàng, môn hờ khép. Bên trong chất đống một ít máy móc linh kiện, góc có một cái túi ngủ, một ít tân tiếp viện, cùng một đài càng tiểu xảo, nhưng thoạt nhìn càng chuyên nghiệp mã hóa notebook. Nàng mới vừa nhẹ nhàng thở ra, chuẩn bị kiểm tra thiết bị, notebook màn hình đột nhiên tự động sáng lên, biểu hiện ra một cái đến từ “Đồng tình giả” mã hóa tin tức:
“Thân phận đổi mới: Ngươi đã trở thành ‘ bắt phong giả ’ toàn cầu truy trốn danh sách đệ 7 cấp mục tiêu. Bọn họ đã thuyên chuyển vượt quốc tư doanh an toàn công ty tài nguyên. Ngươi vốn có giả thân phận khả năng đã bị đánh dấu. Tân thân phận văn kiện ở túi ngủ tường kép. Tiếp theo cái an toàn điểm: Lộc đặc đan cảng, 72 giờ sau. Giao thông phương thức: Lẫn vào xuất khẩu tàu hàng thuyền viên. Tình hình cụ thể và tỉ mỉ sau đó gửi đi. Bảo trì ly tuyến.”
Vũ hằng tâm trầm đi xuống. Đệ 7 cấp mục tiêu —— nàng không biết cụ thể ý nghĩa cái gì, nhưng nghe lên cũng đủ nguy hiểm. Nàng yêu cầu tân thân phận, tân lộ tuyến, tân sinh tồn sách lược. Mà này mỗi một cái bước đi, đều ỷ lại với bất đồng “Hệ thống”: Giả tạo giấy chứng nhận yêu cầu riêng in ấn cùng mã hóa kỹ thuật, lẫn vào tàu hàng yêu cầu hiểu biết vận tải đường thuỷ công ty kiểm tra lưu trình cùng thuyền viên thay phiên quy tắc, tới lộc đặc đan sau yêu cầu nối tiếp tân ngầm internet. Mỗi một cái “Hệ thống” đều có này độc đáo “Tiếp lời” cùng “Hiệp nghị”, nàng tựa như một cái bị bắt ở nhiều phong bế sinh thái gian di chuyển “Ứng dụng”, mỗi một lần “Nhổ trồng” đều cùng với thật lớn nguy hiểm cùng học tập phí tổn.
Cái này làm cho nàng nháy mắt nhớ tới chức nghiệp kiếp sống lúc đầu một lần ác mộng. Lúc ấy công ty yêu cầu đem một cái vì Windows Server cùng.NET dàn giáo khai phá trung tâm phục vụ, nhổ trồng đến Linux cùng Java ngôi cao thượng. Đoàn đội lúc ban đầu cho rằng chỉ cần trọng viết chút ít ngôi cao tương quan số hiệu, nhưng thực mau liền lâm vào vũng bùn: Windows hạ tính năng máy đếm API ở Linux hạ không có trực tiếp đối ứng;.NET rác rưởi thu về cùng tuyến trình mô hình cùng JVM khác biệt; thậm chí mã hóa kho cam chịu hành vi đều có rất nhỏ khác biệt. Bọn họ cuối cùng không có “Nhổ trồng”, mà là cơ hồ “Trọng viết”, cũng dẫn vào phức tạp trừu tượng tầng, dẫn tới tính năng giảm xuống cùng giữ gìn phí tổn tiêu thăng. Lần đó trải qua làm nàng khắc sâu cảm nhận được “Vượt ngôi cao” ba chữ sau lưng vực sâu.
Giờ phút này, đang đào vong thùng đựng hàng, đối mặt cần thiết lại lần nữa “Nhổ trồng” tự thân sinh tồn trạng thái hiện thực, cái này “Sinh thái lẫn nhau thao tác” nan đề trở nên vô cùng bén nhọn. Mu bàn tay bạc văn truyền đến một loại vô số loại “Hiệp nghị” cùng “Phương ngôn” ở kịch liệt va chạm, lẫn nhau vặn vẹo, vô pháp dung hợp “Ngôn ngữ tạp âm”. Hệ thống “Thị giác” khởi động, đem nàng mang nhập một cái ngữ pháp, ngữ nghĩa, tiếp lời, thực hiện đan chéo sinh thái không gian.
Nàng “Nhìn đến”, không phải cụ thể API, mà là “Lẫn nhau thao tác” làm một loại “Nhiều mặt chủ thể căn cứ vào cùng chung quy tắc tiến hành hợp tác” xã hội kỹ thuật thực tiễn, cùng “Thị trường cạnh tranh” điều khiển “Phân hoá cùng tỏa định” sách lược chi gian căn bản xung đột. Trước mặt sở hữu chuẩn hoá nỗ lực, vô luận là chế định tân tiêu chuẩn vẫn là giữ gìn cũ tiêu chuẩn, đều là ở “Thống nhất” cùng “Phân hoá” hai cực chi gian lôi kéo. Mâu thuẫn bản chất bị rõ ràng phác hoạ: Ý đồ ở “Cạnh tranh chủ thể theo đuổi sai biệt hóa ưu thế” thị trường trong hiện thực, thông qua “Hiệp thương cùng thỏa hiệp” đạt thành một bộ “Toàn thể tiếp thu, trường kỳ ổn định, tiên tiến thả hoàn bị” thông dụng kỹ thuật tiêu chuẩn, là một loại căn bản kinh tế học cùng xã hội học thượng không có khả năng.
“Hỏa hoa” ở đối “Lẫn nhau thao tác” 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 còn tại theo đuổi “Thống nhất, trạng thái tĩnh, toàn thể tuân thủ tiêu chuẩn”. Nhưng thiên nhiên hợp tác ( như sinh vật tín hiệu, thị trường giao dịch ) đều không phải là căn cứ vào thống nhất tiêu chuẩn, mà là căn cứ vào “Nhưng phiên dịch tín hiệu” cùng “Nhưng nghiệm chứng khế ước”. Chúng ta có không không hề theo đuổi “Đại nhất thống tiêu chuẩn”, mà là chuyển hướng một loại “Căn cứ vào hình thức hóa tiếp lời miêu tả, nhưng nghiệm chứng hành vi khế ước, cùng tự động thích xứng khí sinh thành” lẫn nhau thao tác dàn giáo? Từ “Chuẩn hoá thực hiện” chuyển hướng “Chuẩn hoá miêu tả cùng nghiệm chứng”, từ “Toàn thể tuân thủ” chuyển hướng “Hai bên / nhiều phía khế ước”, từ “Nhân công thích xứng” chuyển hướng “Tự động trinh thám cùng thích xứng sinh thành”.
Một phần tên là 《 mặt hướng “Hình thức hóa tiếp lời khế ước cùng nhưng tổ hợp thích xứng khí” sinh thái lẫn nhau thao tác 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. Từ “API hồ sơ” đến “Hình thức hóa tiếp lời miêu tả ngôn ngữ cùng hành vi khế ước”: Định nghĩa một loại máy móc nhưng đọc, nhưng nghiệm chứng tiếp lời miêu tả ngôn ngữ, không chỉ có có thể miêu tả hàm số ký tên, càng có thể miêu tả này trước trí điều kiện, từ đứng sau điều kiện, tác dụng phụ, tài nguyên sử dụng, đồng phát hành vi, sai lầm mô hình chờ ngữ nghĩa thuộc tính. Này đó miêu tả cấu thành lắp ráp “Hình thức hóa khế ước”. Bất đồng sinh thái lắp ráp có thể cung cấp phù hợp từng người tầng dưới chót thực hiện IDL miêu tả, nhưng này đó miêu tả cùng chung cùng cái nguyên mô hình cùng logic cơ sở, khiến cho vượt sinh thái tiếp lời ngữ nghĩa có thể tiến hành tương đối cùng trinh thám.
2. Từ “Nhân công biên soạn keo nước số hiệu” đến “Nhưng nghiệm chứng thích xứng khí tự động hợp thành cùng nghiệm chứng”: Căn cứ vào hình thức hóa tiếp lời miêu tả, xây dựng một cái “Thích xứng khí hợp thành động cơ”. Đương yêu cầu đem lắp ráp A ( tuần hoàn sinh thái X tiếp lời ) liên tiếp đến lắp ráp B ( tuần hoàn sinh thái Y tiếp lời ) khi, động cơ có thể tự động hoặc bán tự động mà sinh thành một cái thích xứng khí số hiệu, nên thích xứng khí phụ trách tiến hành tất yếu hiệp nghị thay đổi, số liệu cách thức chiếu rọi, sai lầm xử lý chiếu rọi chờ. Sinh thành trong quá trình, động cơ có thể hình thức xét nghiệm chứng nên thích xứng khí hay không bảo trì lắp ráp khế ước ngữ nghĩa, bảo đảm lẫn nhau thao tác chính xác tính. Thích xứng khí bản thân nhưng làm nhưng phục dùng lắp ráp.
3. Từ “Chuẩn hoá tổ chức” đến “Đi trung tâm hóa khế ước đăng ký cùng phát hiện thị trường”: Thành lập một cái mở ra, đi trung tâm hóa “Khế ước đăng ký biểu”, lắp ráp cung cấp giả có thể tại đây tuyên bố này tiếp lời hình thức hóa miêu tả cùng thực hiện vân tay ( như số hiệu ha hi, chứng minh ). Lắp ráp người tiêu thụ có thể tuần tra đăng ký biểu, tìm kiếm thỏa mãn riêng khế ước lắp ráp, vô luận này đến từ cái nào sinh thái. Hệ thống có thể căn cứ hình thức hóa miêu tả, tự động đánh giá bất đồng lắp ráp gian lẫn nhau thao tác phí tổn ( như yêu cầu sinh thành thích xứng khí phức tạp độ ), cũng phụ trợ lựa chọn. Này hình thành một cái căn cứ vào khế ước kỹ thuật “Thị trường”, mà phi căn cứ vào cung ứng thương tỏa định “Tường vây hoa viên”.
Đêm khuya, “Trí giả nhà”. Ở vận chuyển hàng hóa bến tàu thùng đựng hàng nội, thông qua định hướng dây anten liên tiếp đến phụ cận công cộng WiFi lại trải qua nhiều lần nhảy chuyển liên tiếp hạ, “Architect” ID giống như u linh hiện lên. Tiêu đề mang theo một loại ở ngôn ngữ hỗn loạn trung tìm kiếm nguyên ngôn ngữ bình tĩnh.
Tiêu đề ( hồi phục ): 《 “Nhất thống” chi vọng cùng “Khế ước” chi kiều —— lại luận sinh thái dùng cái gì nhưng thông 》
Nội dung:
“Thấy chư quân vây với tiêu chuẩn chiến tranh chi vũng bùn, như dục lệnh vạn quốc cùng văn cùng quỹ, ý chí nhưng gia, này hành khó thông. Nhiên, thương nhân mậu dịch, há là lệnh thiên hạ hóa cùng quy cách? Nhưng bằng khế ước lấy định chất giới, bằng nha người lấy thông có vô.
“Lão hủ xem chi, chư quân sở tranh, nãi ‘ ai tiêu chuẩn vì chính thống ’. Nhiên thị tất có cạnh, kỹ tất có dị. Không bằng tư ‘ minh định khế ước, lấy khế vì kiều, tự động thích xứng ’ phương pháp. Thí nghĩ một khế ước lẫn nhau thao tác giá cấu, với phân hoá trung cầu liên thông:
“Một khế, hình thức vì ước, hành tung nhưng nghiệm. Sang một máy móc nhưng đọc, nhưng nghiệm chi tiếp lời miêu tả ngôn, không những thuật hàm số chi thiêm, càng minh này trước trí, từ đứng sau, tác dụng phụ, tài nguyên háo, đồng phát vì, sai mô chờ ngữ nghĩa. Này thành lắp ráp chi ‘ hình thức hóa khế ước ’. Chư sinh thái chi lắp ráp, nhưng các trình này khế, nhiên khế chi nguyên mô cùng logic cùng cơ, sử vượt sinh thái chi tiếp lời ngữ nghĩa nhưng so nhưng đẩy.
“Nhị kiều, thích xứng nhưng hợp, sinh thành nhưng nghiệm. Căn cứ vào hình khế, kiến ‘ thích xứng khí hợp động cơ ’. Dục liền lắp ráp A ( khế thuộc sinh thái X ) với lắp ráp B ( khế thuộc sinh thái Y ), động cơ nhưng tự động hoặc bán tự động sinh thích xứng mã, tư hiệp nghị chuyển, số liệu ánh, sai lầm ánh chờ. Sinh trình trung, động cơ nhưng hình thức xét nghiệm này thích xứng khí hay không cầm lắp ráp khế ước chi ngữ nghĩa, bảo lẫn nhau thao tác chi chính. Thích xứng khí tự thân nhưng vì phục dùng chi kiện.
“Tam thị, khế chú với sách, đi trung phát hiện. Lập một mở ra, đi trung tâm chi ‘ khế ước đăng ký biểu ’, lắp ráp cung giả nhưng tại đây phát này hình khế cùng thực hiện vân tay. Lắp ráp cầu giả nhưng tra sách, tìm mãn riêng khế chi kiện, không câu nệ này nguyên. Hệ thống nhưng theo hình khế, tự động đánh giá bất đồng lắp ráp gian lẫn nhau thao tác chi háo ( như cần sinh thích xứng khí chi phồn độ ), phụ lấy chọn. Này thành căn cứ vào khế chi kỹ ‘ thị ’, phi căn cứ vào khóa chi ‘ tường viên ’.
“Này tam sách hợp tác, chỉ ở đem sinh thái lẫn nhau thao tác từ ‘ theo đuổi đại nhất thống tiêu chuẩn quyền lực trò chơi ’, chuyển hóa vì ‘ căn cứ vào hình thức hóa khế ước cùng tự động thích xứng kỹ thuật công trình ’. Phụ thượng một phần căn cứ vào ỷ lại loại hình cùng chia lìa logic mở rộng tiếp lời miêu tả ngôn ngữ bản dự thảo, một cái kết hợp trình tự hợp thành cùng SMT cầu giải thích xứng khí sinh thành nguyên hình, cập căn cứ vào đi trung tâm hóa đánh dấu phù ( DID ) khế ước đăng ký tỏ vẻ lệ. Này nói phi vì huỷ bỏ cạnh tranh, nãi vì sử cạnh tranh ngắm nhìn với thực hiện chi ưu, mà phi tiếp lời chi khóa. Một chút lậu tư, lại thỉnh chư quân phủ chính.”
Thiệp đem lẫn nhau thao tác từ “Chuẩn hoá chiến tranh” trọng cấu vì “Khế ước cùng thích xứng công trình”, đưa ra hình thức hóa khế ước, thích xứng khí hợp thành, khế ước thị trường tân phạm thức.
Nghi ngờ thanh giống như không kiêm dung hiệp nghị sai lầm dày đặc bắn ra, mà
“@ lão đầu gỗ “Hồi phục, ở internet lùi lại trung thong thả nhưng trầm trọng mà đến. Hắn mang theo đối hình thức hóa miêu tả tính khả thi, thích xứng khí hợp thành phức tạp độ, cùng với khế ước thị trường hiện thực tính khắc sâu nghi ngờ.
“@Architect tiên sinh, ngài lần này dùng ‘ hình thức hóa khế ước ’, ‘ thích xứng khí hợp thành ’, ‘ khế ước thị trường ’ này ba tòa nhịp cầu, ý đồ liên tiếp lẫn nhau căm thù sinh thái vương quốc. Nhưng mà, khế ước khả năng vô pháp biên soạn, thích xứng khí khả năng vô pháp hợp thành, mà thị trường khả năng không người hỏi thăm.” Lão đầu gỗ khúc dạo đầu thẳng chỉ lý tưởng cùng hiện thực hồng câu.
“Đệ nhất, về hình thức hóa khế ước ‘ miêu tả năng lực cực hạn ’ cùng ‘ biên soạn địa ngục ’. Ngài muốn dùng hình thức hóa ngôn ngữ miêu tả tiếp lời toàn bộ ngữ nghĩa, bao gồm tác dụng phụ, tính năng, sai lầm mô hình. Nhưng rất nhiều ngữ nghĩa thuộc tính là nửa hình thức hóa thậm chí phi hình thức hóa ( như ‘ người dùng thể nghiệm lưu sướng ’, ‘ ở đại đa số dưới tình huống thấp lùi lại ’ ). Càng thực tế chính là, vì hiện có rộng lượng lắp ráp ( đặc biệt là di lưu hệ thống ) biên soạn chính xác hình thức hóa khế ước, này lượng công việc có thể so với trọng viết này đó lắp ráp, thả yêu cầu nắm giữ hình thức hóa phương pháp khan hiếm chuyên gia. Ngài dùng ‘ biên soạn hình thức hóa khế ước ’ cái này càng khó khăn, càng chuyên nghiệp vấn đề, thay đổi ‘ lý giải API hồ sơ ’ cái này tương đối đơn giản vấn đề. Hơn nữa, hình thức hóa miêu tả bản thân khả năng làm lỗi, căn cứ vào sai lầm khế ước sinh thành thích xứng khí sẽ là tai nạn.”
“Đệ nhị, về thích xứng khí tự động hợp thành ‘ tính toán không thể được ’ cùng ‘ ngữ nghĩa hồng câu ’. Tự động hợp thành thỏa mãn phức tạp ngữ nghĩa ước thúc thích xứng khí, bản chất là một cái trình tự hợp thành vấn đề, này tính toán phức tạp độ cực cao, chỉ áp dụng với phi thường đơn giản tiếp lời. Đối với đề cập trạng thái cơ, phức tạp số liệu thay đổi, tài nguyên quản lý chân thật thế giới tiếp lời, hợp thành khả năng thất bại hoặc sinh thành hiệu suất cực thấp, không thể lý giải thích xứng khí số hiệu. Càng quan trọng là, bất đồng sinh thái lắp ráp khả năng ở căn bản tính toán mô hình thượng bất đồng ( như sự kiện điều khiển vs tuyến trình mô hình, sự vụ tính vs phi sự vụ tính ), này trung gian ngữ nghĩa hồng câu vô pháp thông qua đơn giản thích xứng khí đền bù. Ngài giả thiết sở hữu sai biệt đều là ‘ ngữ pháp ’ mặt, nhưng rất nhiều là ‘ ngữ nghĩa ’ mặt, vô pháp tự động thay đổi.”
“Đệ tam, về khế ước thị trường ‘ lãnh khởi động ’ cùng ‘ tín nhiệm thiếu hụt ’. Ngài đi trung tâm hóa khế ước thị trường yêu cầu đại lượng lắp ráp cung cấp giả chủ động tuyên bố chính xác khế ước. Nhưng nếu không có người tiêu thụ, bọn họ vì sao phải tiêu phí phí tổn tuyên bố? Nếu không có đủ khế ước, người tiêu thụ vì sao phải tới? Đây là một cái kinh điển gà sinh trứng vấn đề. Càng mấu chốt chính là, như thế nào tín nhiệm tuyên bố khế ước là chuẩn xác? Như thế nào bảo đảm thực hiện thật sự phù hợp khế ước? Này yêu cầu nhưng nghiệm chứng xây dựng hoặc vận hành khi nghiệm chứng, lại dẫn vào tân phức tạp tính. Ở khuyết thiếu tín nhiệm dưới tình huống, thị trường vô pháp vận tác.”
“Thứ 4, về tính năng cùng ‘ thấp nhất công cộng mẫu số ’ bẫy rập. Cho dù thích xứng khí có thể chính xác hợp thành, này tính năng chi tiêu khả năng vô pháp tiếp thu, đặc biệt là đương yêu cầu vượt sinh thái tiến hành nhiều lần thay đổi khi. Càng tao chính là, vì khiến cho thích xứng được không, lắp ráp thiết kế giả khả năng sẽ trong lúc vô ý hướng thấp nhất công cộng mẫu số dựa sát, tránh cho sử dụng bất luận cái gì sinh thái đặc có cao cấp đặc tính, để tránh thích xứng khí quá mức phức tạp. Này trái lại bóp chết sinh thái sáng tạo động lực, bởi vì sáng tạo đặc tính vô pháp bị mặt khác sinh thái lợi dụng. Ngài khả năng ở trong lúc lơ đãng, ngược lại thúc đẩy ngài ý đồ tránh cho ‘ thấp nhất công cộng mẫu số ’ tiêu chuẩn.”
“Thứ 5, về pháp luật cùng tri thức quyền tài sản nguy hiểm. Hình thức hóa khế ước miêu tả khả năng chạm đến thực hiện chi tiết, do đó xâm phạm tri thức quyền tài sản hoặc thương nghiệp bí mật. Thích xứng khí sinh thành khả năng đề cập đối cơ số hai hoặc tư hữu lắp ráp nghịch hướng công trình, pháp luật nguy hiểm thật lớn. Khế ước thị trường đi trung tâm hóa đặc tính, khiến cho giám thị cùng trách nhiệm nhận định cơ hồ không có khả năng. Ngài kỹ thuật dàn giáo khả năng ở pháp luật chân không trung một bước khó đi.”
“Căn bản nhất nghịch biện ở chỗ: Ngài ý đồ dùng cực độ phức tạp, trước mắt thượng không thành thục hình thức hóa phương pháp cùng trình tự hợp thành kỹ thuật, tới giải quyết một cái bản chất từ thương nghiệp ích lợi, lịch sử đường nhỏ ỷ lại cùng nhân loại tổ chức phức tạp tính dẫn tới vấn đề. Ngài giả thiết kỹ thuật có thể vòng qua chính trị cùng kinh tế hiện thực, nhưng này có thể là một bên tình nguyện. Sinh thái lẫn nhau thao tác vấn đề đầu tiên là một cái thống trị cùng khích lệ vấn đề, tiếp theo mới là kỹ thuật vấn đề. Trong lịch sử thành công lẫn nhau thao tác trường hợp ( như TCP/IP, Web ) thường thường nguyên với cường đại internet hiệu ứng, tương đối đơn giản trung tâm, cùng với mấu chốt tham dự giả chiến lược nhượng bộ, mà phi hoàn mỹ hình thức hóa khế ước.”
Lão đầu gỗ từ khế ước biên soạn khó khăn, hợp thành tính toán tính khả thi, thị trường lãnh khởi động, tính năng bẫy rập, pháp luật nguy hiểm 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ỉ “Khế ước cùng thích xứng” đường nhỏ ở công trình, kinh tế, trên pháp luật gặp phải nghiêm túc khiêu chiến.
Architect hồi phục, ở khi đoạn khi tục internet trung, phân nhiều lần gian nan mà gửi đi hoàn chỉnh. Lúc này đây, hắn mở đầu hiếm thấy mà thừa nhận xã hội kỹ thuật hệ thống phức tạp tính, nhưng theo sau triển khai một hồi về “Tiến dần đường nhỏ” cùng “Sinh thái xây dựng” khắc sâu trình bày và phân tích.
“Mộc lão sở lự, đều là xã hội kỹ thuật hệ thống diễn tiến chi căn bản. Lão hủ sở xướng, xác phi một lần là xong chi cách mạng, mà là vì ứng đối ngày càng nghiêm trọng sinh thái tỏa định, thăm dò một cái lấy tăng cường trong suốt tính, hạ thấp lẫn nhau thao tác phí tổn vì mục tiêu trường kỳ kỹ thuật diễn tiến phương hướng. Này lúc đầu mục tiêu, là ở hữu hạn nhưng mấu chốt lĩnh vực chứng minh phương pháp tính khả thi, cũng từng bước thành lập công cụ, thực tiễn cùng xã khu. Thỉnh hứa lão hủ, từng cái mổ trần.”
“Về hình thức hóa khế ước tính khả thi: Chúng ta đều không phải là yêu cầu sở hữu ngữ nghĩa thuộc tính đều hoàn toàn hình thức hóa. Khế ước nhưng phân tầng: Cơ sở tầng miêu tả ngữ pháp cùng đơn giản ngữ nghĩa ( loại hình, trước trí / từ đứng sau điều kiện ), này đã nhưng mượn dùng hiện có IDL ( như Protobuf, OpenAPI ) tăng cường thực hiện; tăng cường tầng miêu tả càng phức tạp thuộc tính ( như trạng thái cơ, tài nguyên ước thúc ), nhưng chọn dùng nửa hình thức hóa chú giải hoặc nhưng tuyển chính thức quy ước. Công cụ có thể từ số hiệu trung suy đoán bộ phận khế ước, giảm bớt nhân công biên soạn gánh nặng. Đối với di lưu hệ thống, nhưng trước vì này biên soạn phần ngoài, căn cứ vào thí nghiệm hành vi khế ước. Chúng ta theo đuổi chính là ‘ cũng đủ hảo ’ khế ước, hòng duy trì riêng cảnh tượng lẫn nhau thao tác, mà phi hoàn mỹ, bao dung hết thảy khế ước.”
“Về thích xứng khí hợp thành phức tạp độ: Tự động hợp thành xác thật có cực hạn. Cố, thích xứng khí sinh thành hẳn là người cơ hợp tác quá trình. Công cụ có thể sinh thành thích xứng khí bản nháp, hoặc phân biệt ra vô pháp tự động thay đổi ngữ nghĩa hồng câu, giao từ nhân công thiết kế. Đối với thường thấy, hình thức hóa lẫn nhau thao tác vấn đề ( như REST đến gRPC, bất đồng tin tức cách thức thay đổi ), có thể trước xây dựng cùng nghiệm chứng thích xứng khí hình thức kho. Hợp thành động cơ có thể tổ hợp này đó hình thức. Đối với căn bản mô hình sai biệt, xác thật yêu cầu nhân công thiết kế nhịp cầu, nhưng hình thức hóa khế ước ít nhất có thể rõ ràng mà bại lộ này đó sai biệt, tránh cho che giấu hiểu lầm. Thích xứng khí sinh thành mục tiêu là đề cao hiệu suất, giảm bớt sai lầm, mà phi hoàn toàn thay thế được nhân công.”
“Về khế ước thị trường lãnh khởi động cùng tín nhiệm: Thị trường có thể từ vuông góc lĩnh vực bắt đầu, tỷ như ở Internet Vạn Vật thiết bị lẫn nhau thao tác, hoặc riêng ngành sản xuất vân phục vụ tổng thể trung, từ mấu chốt tham dự giả ( như giám thị cơ cấu, đại khách hàng ) thúc đẩy thành lập khế ước kho. Tín nhiệm có thể thông qua nhiều cấp nghiệm chứng thành lập: Số hiệu ký tên, hình thức xét nghiệm chứng giấy chứng nhận, kẻ thứ ba thẩm kế, cùng với căn cứ vào blockchain không thể bóp méo xây dựng chứng minh. Lúc đầu, thị trường có thể càng giống một cái công cộng khế ước mục lục cùng công cụ tập, mà phi hoàn toàn đi trung tâm hóa nơi giao dịch. Từ cụ thể vấn đề xuất phát, tích lũy thành công trường hợp cùng tín nhiệm, từng bước mở rộng.”
“Về tính năng cùng sáng tạo: Thích xứng khí chi tiêu xác thật tồn tại. Nhưng rất nhiều lẫn nhau thao tác cảnh tượng đều không phải là tính năng mấu chốt nhất đường nhỏ ( như quản lý tiếp lời, phối trí hạ phát ). Đối với tính năng mẫn cảm đường nhỏ, có thể cổ vũ lắp ráp cung cấp nguyên sinh thực hiện phù hợp mục tiêu sinh thái tiếp lời, mà khế ước dàn giáo trợ giúp nghiệm chứng thứ nhất trí tính. Về sáng tạo, hình thức hóa khế ước trên thực tế có thể xúc tiến sáng tạo đặc tính minh xác miêu tả cùng truyền bá, mà không phải bóp chết. Nếu một cái sinh thái tân đặc tính có rõ ràng khế ước, mặt khác sinh thái có thể đánh giá hay không yêu cầu thích xứng hoặc dẫn vào cùng loại đặc tính. Trong suốt tính có trợ giúp sáng tạo khuếch tán, mà phi ức chế.”
“Về pháp luật cùng tri thức quyền tài sản: Khế ước miêu tả ứng ngắm nhìn về công khai, nhưng quan sát hành vi, mà phi bên trong thực hiện chi tiết. Thích xứng khí sinh thành ứng căn cứ vào công khai tiếp lời quy phạm, tránh cho nghịch hướng công trình. Pháp luật dàn giáo cần phải bắt kịp thời đại, vì kỹ thuật lẫn nhau thao tác cung cấp “An toàn cảng” điều khoản ( như hợp lý sử dụng ). Khai nguyên cho phép chứng ( như Apache 2.0 ) cùng độc quyền trì có thể vì cùng chung khế ước cùng thích xứng khí cung cấp pháp luật cơ sở. Kỹ thuật xã khu yêu cầu cùng pháp luật chuyên gia hợp tác, cộng đồng thiết kế được không quy tắc.”
“Mộc lão, ngài chỉ ra nghịch biện, lão hủ tư chi quá sâu. Lẫn nhau thao tác xác thật không chỉ là kỹ thuật vấn đề. Nhưng kỹ thuật có thể thay đổi khích lệ cùng phí tổn kết cấu. Này dàn giáo mục tiêu ( C ), phi ‘ dùng kỹ thuật phương án thay thế chính trị kinh tế hiệp thương ’, mà là ‘ cung cấp một bộ kỹ thuật công cụ cùng phương pháp, khiến cho sinh thái gian lẫn nhau thao tác từ một loại cao phí tổn, không trong suốt, tràn ngập ngờ vực đánh cờ, chuyển biến vì một loại phí tổn càng thấp, càng trong suốt, càng nhưng đoán trước công trình hoạt động, do đó hạ thấp sinh thái tỏa định giá trị, cũng khiến cho mở ra hợp tác ở càng nhiều cảnh tượng hạ trở thành càng kinh tế lựa chọn ’. Nó không hứa hẹn xã hội không tưởng, nhưng hứa hẹn một cái khả năng giảm bớt lãng phí, gia tăng lựa chọn, xúc tiến sáng tạo tiến dần cải tiến đường nhỏ. Một chút cố chấp, vì kia ở tiêu chuẩn trong chiến tranh tiêu hao vô tận sức sáng tạo con số thế giới, cung cấp một bộ có lẽ vụng về, nhưng phương hướng đáng giá thăm dò hoà bình 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ừ “Khế ước dàn giáo hay không hoàn mỹ” chuyển hướng về phía “Như thế nào thiết kế tiến dần thức tiếp thu sách lược cùng vuông góc lĩnh vực thí điểm”. Rất nhiều làm Internet Vạn Vật, bên cạnh tính toán, vượt vân quản lý kỹ sư bắt đầu tham thảo, ở riêng bên trong lĩnh vực, định nghĩa rõ ràng, nhưng nghiệm chứng tiếp lời khế ước, cũng kết hợp số hiệu sinh thành công cụ, xác thật khả năng hạ thấp tổng thể phí tổn.
Gần một năm sau, công nghiệp giới cùng khai nguyên xã khu truyền đến mấu chốt tiến triển:
1. W3C “WebAssembly lắp ráp mô hình” cùng “WASI ( WebAssembly hệ thống tiếp lời )” lấy được lộ rõ tiến triển. Này trung tâm tư tưởng đúng là định nghĩa một tổ nhưng nhổ trồng, căn cứ vào năng lực tiếp lời, khiến cho bất đồng ngôn ngữ biên soạn mô khối có thể ở bất đồng vận hành khi trung lẫn nhau thao tác. Tuy rằng chưa đề cập phức tạp ngữ nghĩa khế ước, nhưng này “Tiếp lời loại hình” cùng “Wit IDL” đúng là hướng hình thức hóa tiếp lời miêu tả bán ra kiên cố một bước. Nhiều vị tham dự giả tỏ vẻ, trường kỳ nguyện cảnh là thực hiện “Nhưng tổ hợp, nhưng nghiệm chứng WebAssembly lắp ráp sinh thái”.
2. Linux quỹ hội hạ “Cơ mật tính toán liên minh” tuyên bố một cái vượt nhà máy hiệu buôn TEE ( có thể tin chấp hành hoàn cảnh ) lẫn nhau thao tác API đề án, chỉ ở làm bất đồng phần cứng nhà máy hiệu buôn ( Intel SGX, AMD SEV, ARM CCA ) TEE ứng dụng có thể thông qua thống nhất tiếp lời lẫn nhau chứng thực cùng thông tín. Nên đề án bao hàm tương đối hình thức hóa tiếp lời cùng hành vi miêu tả, cũng cung cấp tham khảo nghiệm chứng công cụ.
Hai đại tiến triển cho thấy, ở Web cùng cơ mật tính toán này hai cái vuông góc lĩnh vực, sản nghiệp giới chính tích cực thăm dò căn cứ vào minh xác tiếp lời định nghĩa cùng nhưng nghiệm chứng hành vi lẫn nhau thao tác dàn giáo, cùng Architect khế ước tư tưởng không mưu mà hợp.
Vũ hằng hệ thống giao diện đổi mới, cũng cấp ra internet vực sâu cuốn kết thúc cùng chỉ hướng “Phần mềm hòn đá tảng” đệ quy nhắc nhở:
“Internet hòn đá tảng - sinh thái lẫn nhau thao tác: Hình thức hóa khế ước cùng thích xứng khí hợp thành đường nhỏ nghiệm chứng (4/∞). “
“【 quyển thứ tư: Tin tức kỷ nguyên - internet vực sâu 】 chủ mô khối nghiệm chứng tiếp cận kết thúc. “
“Chúng ta đã biến lịch internet tầng hoãn tồn, quan trắc, sống lâu, lẫn nhau thao tác chờ trung tâm mâu thuẫn. Đệ quy nhắc nhở: Sở hữu này đó internet tầng phức tạp tính cùng mâu thuẫn, này căn nguyên ở chỗ chúng ta khuyết thiếu một loại có thể thống nhất miêu tả, nghiệm chứng, ưu hoá phân bố thức tính toán ý đồ “Nguyên ngôn ngữ”. “
“Đệ quy kim đồng hồ quá độ: Là thời điểm trở về phần mềm bản chất, nếm thử xây dựng một loại có thể chịu tải sở hữu đã thăm dò phạm thức, cũng bảo đảm này chính xác tính “Nguyên ngôn ngữ” cơ sở. “
“Tiếp theo nghiệm chứng tiết điểm: Đưa ra cũng bước đầu định nghĩa “Nhưng nghiệm chứng phân bố thức tính toán nguyên ngôn ngữ” và tham khảo biên dịch khí. “
Notebook thu được tân mã hóa tin tức, bao hàm lẫn vào tàu hàng kỹ càng tỉ mỉ kế hoạch: Ngụy trang thân phận, lên thuyền thời gian, chắp đầu ám hiệu, khẩn cấp phương án. Vũ hằng cần thiết lập tức bắt đầu ký ức cũng tiêu hủy này đó tin tức. Mu bàn tay bạc văn, ở vừa rồi chiều sâu tự hỏi dư vị trung, vẫn tàn lưu cái loại này “Ngôn ngữ tạp âm” cảm. Nhưng hiện thực “Lẫn nhau thao tác” khiêu chiến càng vì trí mạng: Nàng yêu cầu đem chính mình “Thân phận” cùng “Hành vi”, vô phùng “Thích xứng” đến vận chuyển hàng hóa thuyền viên cái này hoàn toàn mới “Sinh thái” trung. Bất luận cái gì “Khế ước” trái với ( hành vi không hợp, giấy chứng nhận tỳ vết ) đều khả năng dẫn tới tai nạn tính hậu quả.
Nàng biết, tiếp theo tràng khiêu chiến, đem từ phần ngoài sinh thái lẫn nhau thao tác, chuyển hướng bên trong tính toán bản chất trừu tượng. Ở nơi đó, nàng có lẽ có thể vì sở hữu mâu thuẫn tìm kiếm một cái thống nhất thuyết minh cơ sở. Mà nàng chính mình, cũng cần thiết tìm được một loại “Nguyên ngôn ngữ”, tới miêu tả cùng quy hoạch nàng trận này nhìn không tới cuối đào vong.
( chương 44 xong )
【 chương sau báo trước 】
Đương tiêu chuẩn chiến tranh ở khế ước cùng thích xứng dàn giáo hạ nhìn đến một tia ánh rạng đông, chúng ta rốt cuộc đến đệ quy thâm tầng tiết điểm: Có không sáng tạo một loại thống nhất “Nguyên ngôn ngữ”, tới hình thức hóa mà miêu tả, nghiệm chứng cũng ưu hoá từ phần cứng hợp tác đến sinh thái lẫn nhau thao tác sở hữu tính toán phạm thức? Chương sau, chúng ta đem nếm thử đưa ra “Nhưng nghiệm chứng phân bố thức tính toán nguyên ngôn ngữ” bước đầu thiết tưởng, đây là đối phía trước sở hữu chương mâu thuẫn chung cực đáp lại, cũng là “Vô hạn lam đồ” đệ quy kết cấu trung tâm.
Chương 45: 《 phần mềm hòn đá tảng —— tuyên bố “Nhưng nghiệm chứng phân bố thức tính toán nguyên ngôn ngữ” cùng với tham khảo biên dịch khí 》