Biên dịch khí cùng biên trình ngôn ngữ diễn đàn “Biên dịch ưu hoá” bản khối, bị một thiên đến từ 《ACM biên trình ngôn ngữ thiết kế 》 luận văn bản in trước bao phủ thượng phần cứng phức tạp tính cùng nhân lực cực hạn song trọng bóng ma. Luận văn tiêu đề tinh chuẩn mà tràn ngập cảm giác vô lực: 《 biên dịch khí hoàng hôn: Đương phần cứng tiến hóa tốc độ vượt qua người não lý giải năng lực 》. Luận văn lấy tỉ mỉ xác thực số liệu chỉ ra, theo tồn tính nhất thể chip, quang tính toán đơn nguyên, lượng tử máy gia tốc, thần kinh hình thái chip chờ kiểu mới tính toán phần cứng bùng nổ thức xuất hiện, truyền thống biên dịch khí kỹ thuật đã kề bên hỏng mất:
“Kiểu mới tính toán phần cứng ở riêng lĩnh vực cung cấp gấp mười lần, gấp trăm lần thậm chí ngàn lần có thể hiệu hoặc tính năng ưu thế, nhưng này độc đáo giá cấu ( như nội tồn cùng tính toán dung hợp, mô phỏng tính toán, lượng tử chồng lên, mạch xung mạng lưới thần kinh ) yêu cầu cực độ chuyên dụng biên dịch khí mới có thể đem cao cấp ngôn ngữ trình tự chiếu rọi đến phần cứng đồng phát huy này tiềm lực ( A ). Nhưng mà, vì mỗi loại tân phần cứng từ đầu thiết kế cũng thực hiện một cái độ cao ưu hoá biên dịch khí sau đoan, yêu cầu một chi đứng đầu chuyên gia đoàn đội hao phí mấy năm thời gian, thả này ưu hoá chất lượng nghiêm trọng ỷ lại với chuyên gia đối nên phần cứng hơi giá cấu ‘ hắc ma pháp ’ cấp lý giải; cùng lúc đó, học thuật giới thăm dò dùng máy móc học tập ( đặc biệt là cường hóa học tập ) tự động thăm dò ưu hoá sách lược, tuy ở riêng thí nghiệm tập thượng nhưng xứng đôi thậm chí siêu việt nhân loại chuyên gia, nhưng này sinh thành số hiệu chất lượng không ổn định, ưu hoá quyết sách không thể giải thích, thả vô pháp bảo đảm ở nhất hư dưới tình huống chính xác tính, làm này vô pháp dùng cho an toàn mấu chốt hoặc cao đáng tin cậy hệ thống ( B ).” Luận văn tuyệt vọng mà tổng kết, “Chúng ta tay cầm từng trương đi thông tính toán tân đại lục vé tàu, lại tìm không thấy có thể điều khiển này đó kỳ lạ con thuyền thuyền trưởng. Hoặc là chúng ta chờ đợi mấy năm bồi dưỡng ra số ít có thể lý giải tân phần cứng ‘ vu sư ’, hoặc là chúng ta tín nhiệm một cái khi linh khi không linh, thả khả năng tùy thời đem thuyền sử hướng đá ngầm ‘ tự động đà ’. Biên dịch khí tương lai, tựa hồ bị nhốt ở ‘ nhân lực không thể thành ’ cùng ‘AI không thể tin ’ kẽ hở bên trong.”
Cùng thiếp giả dùng tự mình huyết lệ miêu tả khốn cảnh.
“Chúng ta công ty làm một khoản tồn tính nhất thể AI chip, tính năng là GPU 10 lần, nhưng vì cấp LLVM viết sau đoan, chúng ta hoa 18 tháng, hiện tại sinh thành số hiệu tính năng còn không đến viết tay tổng hợp 30%. Chờ chúng ta ưu hoá hảo, chip đều nên thay đổi triều đại.”
“Dùng sức mạnh hóa học tập điều ưu CUDA nội hạch? Chúng ta thử qua, ở huấn luyện tập thượng tính năng tăng lên 15%, nhưng thay đổi một cái chưa thấy qua nội hạch, tính năng trực tiếp rớt đến baseline dưới, hơn nữa số hiệu xuất hiện chết tuần hoàn, thiếu chút nữa đem tạp thiêu.”
“Lượng tử biên dịch khí? Kia càng là cái huyền học. Bất đồng Qubit Topology, bất đồng sai lầm suất, đều yêu cầu hoàn toàn bất đồng chiếu rọi cùng ưu hoá sách lược, trước mắt trên cơ bản dựa dẫn dắt thức quy tắc cùng chuyên gia kinh nghiệm, tự động hoá? Xa xa không hẹn.”
“Này không phải biên dịch, là luyện đan. Hơn nữa luyện ra đan, ngươi không dám ăn.”
Một loại “Phần cứng chờ biên dịch khí, biên dịch khí chờ chuyên gia, chuyên gia chờ không nổi” tuần hoàn ác tính, trong biên chế dịch khí cùng phần cứng hợp tác thiết kế xã khu trung lan tràn.
Vũ hằng nơi công ty AI phòng thí nghiệm, gần nhất bắt được một khoản quốc nội mới thành lập công ty tuyên bố “Dị bước số liệu lưu AI gia tốc tạp” dạng tạp. Tuyên truyền tư liệu biểu hiện, này lý luận phong giá trị tính lực kinh người, nhưng tùy tạp chỉ cung cấp một cái cực kỳ nguyên thủy điều khiển trình tự cùng một cái căn cứ vào OpenCL đơn sơ vận hành khi. Phòng thí nghiệm nghiên cứu viên nếm thử đem một cái huấn luyện tốt Transformer mô hình nhổ trồng đi lên, nhưng tính năng thảm không nỡ nhìn, thậm chí không bằng ở CPU thượng vận hành. Phụ trách nhổ trồng kỹ sư ngao mấy cái suốt đêm đọc phần cứng sổ tay, nếm thử viết tay nội hạch, tiến triển thong thả. Ở một lần kỹ thuật thảo luận sẽ thượng, phần cứng nhà máy hiệu buôn duy trì kỹ sư bất đắc dĩ mà tỏ vẻ: “Chúng ta chip tính toán đơn nguyên là dị bước kích phát, nội tồn phỏng vấn là sự kiện điều khiển, truyền thống đồng bộ biên trình mô hình cùng biên dịch khí ưu hoá căn bản không thích hợp. Chúng ta…… Chính chúng ta cũng còn đang sờ soạng tốt nhất thực tiễn.”
Vũ hằng tuy rằng không phải biên dịch khí chuyên gia, nhưng nàng yêu cầu vì mô hình đánh giá cung cấp số liệu, tính năng bình cảnh trực tiếp ảnh hưởng nàng công tác tiến độ. Đương nàng mang theo loại này “Có thương vô đạn” frustration, đọc trên diễn đàn về “Biên dịch khí hoàng hôn” thảo luận, nhìn đến những cái đó miêu tả vì tân phần cứng biên soạn biên dịch khí sau đoan sở cần người năm trụ trạng đồ khi, mu bàn tay bạc văn truyền đến một loại kỳ lạ cảm giác —— nhiều loại bất đồng “Ngữ pháp” mảnh nhỏ ở ý đồ khâu thành một cái hoàn chỉnh “Câu”, nhưng lẫn nhau xung đột, thiếu hụt liên tiếp, rồi lại ẩn ẩn có nào đó tiềm tàng “Ngữ pháp quy tắc” ở chi phối. Hệ thống “Thị giác” khởi động, đem nàng mang nhập một cái mệnh lệnh, số liệu lưu, ưu hoá, tìm tòi không gian đan chéo trừu tượng lĩnh vực.
Nàng “Nhìn đến”, không phải cụ thể số hiệu hoặc mạch điện, mà là “Trình tự biến hóa” cùng “Phần cứng ước thúc” chi gian nhiều trình tự xứng đôi vấn đề. Trước mặt sở hữu phương pháp, vô luận là viết tay quy tắc vẫn là máy móc học tập, đều là ở nếm thử dùng chỉ một sách lược đi bao trùm từ cao tầng thuật toán đến tầng dưới chót phần cứng chiếu rọi thật lớn không gian. Này liền giống ý đồ dùng một quyển cố định từ điển cùng ngữ pháp thư, đi phiên dịch sở hữu nhân loại ngôn ngữ, thậm chí bao gồm ngoại tinh ngôn ngữ. Mâu thuẫn bản chất bị rõ ràng phác hoạ: Ý đồ dùng “Nhân lực nghèo cử quy tắc” hoặc “Số liệu điều khiển hắc rương” trung bất luận cái gì một loại chỉ một phương pháp, đi giải quyết “Vô hạn phần cứng đa dạng tính” cùng “Hữu hạn khai phá tài nguyên” chi gian mâu thuẫn, là một loại căn bản phương pháp luận chỉ một tính sai xứng.
“Hỏa hoa” ở đối “Biên dịch ưu hoá” 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 “Nhân công thiết kế quy tắc” cùng “Số liệu điều khiển học tập” chi gian làm nhị tuyển một. Nhưng nhân loại chuyên gia trong biên chế viết ưu hoá quy tắc khi, đều không phải là trống rỗng sáng tạo, mà là căn cứ vào đối phần cứng hành vi mô hình cùng trình tự ngữ nghĩa “Lý giải”; máy móc học tập ở tìm tòi ưu hoá khi, cũng ẩn thức học tập này đó mô hình. Chúng ta có không thành lập một bộ “Hình thức hóa phần cứng hành vi miêu tả ngôn ngữ”, đem phần cứng ước thúc cùng năng lực ( mệnh lệnh, dây chuyền sản xuất, nội tồn trình tự, đồng phát mô hình ) minh xác định nghĩa? Sau đó, biên dịch khí có thể căn cứ vào này hình thức hóa miêu tả, kết hợp một cái “Ưu hoá quy tắc nguyên tri thức căn bản” cùng “Căn cứ vào học tập sách lược tìm tòi khí”, ở bảo đảm chính xác tính tiền đề hạ, tự động thăm dò ưu hoá không gian? Từ “Vì phần cứng viết biên dịch khí” chuyển hướng “Giáo biên dịch khí lý giải phần cứng”, từ “Quy tắc hoặc học tập” chuyển hướng “Quy tắc dẫn đường học tập”.
Một phần tên là 《 căn cứ vào “Hình thức hóa phần cứng mô hình” cùng “Dẫn đường thức sách lược tìm tòi” biên dịch khí thanh thản ứng số hiệu sinh thành 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. Hình thức hóa phần cứng miêu tả ngôn ngữ: Định nghĩa một loại lĩnh vực riêng ngôn ngữ, dùng cho hình thức hóa miêu tả phần cứng mệnh lệnh tập ngữ nghĩa, hơi giá cấu ước thúc ( như dây chuyền sản xuất tạm dừng, công năng đơn nguyên lùi lại ), nội tồn trình tự kết cấu, đồng phát cùng thông tín nguyên ngữ. Cái này miêu tả không chỉ là văn bản, mà là máy móc nhưng đọc, nhưng trinh thám quy phạm, có thể dùng cho sinh thành mô phỏng khí, nghiệm chứng công cụ, càng quan trọng là, làm biên dịch khí ưu hoá khí đưa vào. Kiểu mới phần cứng cung cấp thương trừ bỏ cung cấp phần cứng, còn cần cung cấp ( hoặc từ xã khu nghịch hướng ) này hình thức hóa miêu tả.
2. Nhưng tổ hợp ưu hoá quy tắc nguyên tri thức căn bản: Thành lập một cái khổng lồ, nhưng phục dùng “Ưu hoá quy tắc” kho. Nhưng nơi này quy tắc không phải ngạnh mã hóa if-then thay đổi, mà là căn cứ vào trình tự biến hóa đại số hình thức hóa quy tắc, mỗi điều quy tắc đều mang thêm này áp dụng tiền đề điều kiện ( phần cứng đặc tính, trình tự hình thức ) cùng hiệu quả ( tính năng, công hao chờ ). Này đó quy tắc có thể giống xếp gỗ Lego giống nhau tổ hợp, hình thành phức tạp ưu hoá sách lược. Quy tắc kho có thể tùy thời gian từ chuyên gia cùng xã khu cộng đồng phong phú.
3. Chính xác tính ước thúc hạ dẫn đường thức sách lược tìm tòi: Biên dịch khí ở vì một cái tân phần cứng ưu hoá số hiệu khi, đầu tiên thêm tái này hình thức hóa phần cứng miêu tả, khởi động lại một cái căn cứ vào nên miêu tả đại giới mô hình. Sau đó, ở ưu hoá quy tắc nguyên tri thức căn bản trung, kiểm tra ra sở hữu khả năng áp dụng với trước mặt phần cứng cùng trình tự đoạn ngắn quy tắc. Tiếp theo, sử dụng cường hóa học tập hoặc Monte Carlo thụ tìm tòi chờ thuật toán, ở này đó quy tắc tổ hợp hình thành sách lược không gian trung tiến hành tìm tòi, bằng đại hóa tính năng / có thể hiệu chờ mục tiêu. Nhưng mấu chốt chính là, mỗi một lần quy tắc ứng dụng, đều cần thiết thông qua hình thức hóa phương pháp ( như SMT cầu giải ) hoặc nhẹ lượng cấp nghiệm chứng, bảo đảm sẽ không thay đổi trình tự ngữ nghĩa ( ở phần cứng mô hình ước thúc hạ ). Tìm tòi quá trình có thể bị nhân loại chuyên gia cung cấp dẫn dắt thức ( tức “Dẫn đường” ) hoặc từ tương tự phần cứng di chuyển học tập kinh nghiệm sở gia tốc.
Đêm khuya, “Trí giả nhà”. “Architect” ID xuất hiện ở kia phiến về “Biên dịch khí hoàng hôn” thảo luận trung, tiêu đề mang theo một loại vì ma pháp rót vào lý tính bình tĩnh.
Tiêu đề ( hồi phục ): 《 “Quy” chi trí cùng “Học” chi xảo —— lại luận biên dịch khí dùng cái gì thanh thản tân khí 》
Nội dung:
“Thấy chư quân vây với biên dịch khí thích xứng tân phần cứng khó khăn, như dục lệnh cũ dịch quan thông vạn quốc tân ngữ, ý chí nhưng gia, này pháp nhưng mẫn. Nhiên, thông ngữ chi đạo, không ở cường nhớ vạn từ, mà ở thông ngữ pháp chi tắc, tá lấy tình cảnh chi tập.
“Lão hủ xem chi, chư quân sở chấp, nãi ‘ nhân công quy ’ cùng ‘ máy móc học ’ chi nhị tuyển. Nhiên, quy giả, trí chi ngưng cũng, nhưng truyền nhưng tích; học giả, xảo chi sinh cũng, nhưng thích có thể biến đổi. Không bằng tư ‘ minh thuật phần cứng, quy làm cơ sở, học vì đạo, nghiệm vì thằng ’ phương pháp. Thí nghĩ một dàn giáo, lệnh biên dịch khí đến ‘ học ’ chi xảo, mà không mất ‘ quy ’ chi ổn:
“Một cơ, phần cứng tự thuật, hình thức vì bằng. Sang một phần cứng miêu tả ngôn ngữ, lệnh chip thiết kế giả có thể lấy hình thức hóa chi văn, thuật này mệnh lệnh chi nghĩa, nước chảy chi tiết, nội tồn chi tầng, thông tín chi ước. Này văn phi chỉ cung người đọc, càng vì máy móc sở giải, nhưng sinh mô phỏng, nhưng làm nghiệm chứng, đặc biệt biên dịch ưu hoá chi căn bản ước thúc. Tân khí ra, tắc này văn tùy, biên dịch chi cơ tự lập.
“Nhị kho, quy chi xếp gỗ, nhưng tổ nhưng phục. Kiến một ưu hoá quy tắc nguyên kho, kho trung quy tắc, phi tán loạn chi sách, nãi căn cứ vào trình tự đại số chi hình thức hóa biến hóa, mỗi điều minh kỳ này áp dụng phía trước đề ( cần gì phần cứng đặc tính, phùng gì số hiệu hình thức ) cùng có thể đạt tới chi hiệu. Quy tắc như xếp gỗ, nhưng tầng tầng tương điệp, tổ hợp vì phức tạp chi lược. Này kho từ chúng trí sở tụ, thời gian lâu mà phong.
“Tam pháp, quy học tương tế, nghiệm trung cầu tác. Biên dịch khí ngộ tân phần cứng, trước tái này hình thức miêu tả, dưới đây sơ kiến đại giới chi mô. Tiện đà, tự nguyên kho trung kiểm tra sở hữu khả năng chi quy. Sau đó, lấy cường hóa học tập chờ pháp, với quy tắc tổ hợp chi sách lược không gian tìm ưu, cầu tính năng công hao cực kỳ. Nhiên, mỗi một quy chi sử dụng, nhất định phải đi qua hình thức nghiệm chứng hoặc nhẹ lượng thí nghiệm, bảo đảm trình tự ngữ nghĩa không có lầm ( với nên phần cứng mô hình trung ). Tìm tòi nhưng chịu chuyên gia dẫn dắt hoặc chuyện xưa kinh nghiệm chi đạo, lấy tốc này trình.
“Như thế, biên dịch khí phi ‘ trọng viết ’, mà làm ‘ trọng xứng ’; ưu hoá phi ‘ hắc rương ’, mà làm ‘ nhưng nghiệm ’. Phụ thượng một phần căn cứ vào SMT-LIB mở rộng phần cứng miêu tả ngôn ngữ bản dự thảo, một cái trình tự biến hóa quy tắc kho nguyên mô hình, cập kết hợp ký hiệu chấp hành cùng cường hóa học tập ưu hoá tìm tòi nguyên hình thiết kế. Này nói phi vì thay thế được thợ sư, nãi vì thợ sư đúc liền một nhưng trưởng thành, nhưng phục dùng, thả không mất nghiêm cẩn chi công cụ đài. Một chút lậu tư, lại thỉnh chư quân phủ chính.”
Thiệp đem biên dịch khí thiết kế từ “Thủ công nghệ” trọng cấu vì “Căn cứ vào hình thức hóa mô hình tự động hoá công trình”, đưa ra hình thức hóa phần cứng miêu tả, ưu hoá quy tắc nguyên kho, dẫn đường thức nghiệm chứng tìm tòi tân phạm thức.
Nghi ngờ thanh như ưu hoá thất bại biên dịch sai lầm dày đặc bắn ra, mà
“@ lão đầu gỗ “Hồi phục, ở một giờ hai mươi phút sau xuất hiện, mang theo đối hình thức hóa miêu tả hoàn bị tính, quy tắc tổ hợp phức tạp tính, cùng với nghiệm chứng chi tiêu khắc sâu hoài nghi.
“@Architect tiên sinh, ngài lần này dùng ‘ hình thức hóa miêu tả ’, ‘ quy tắc nguyên kho ’, ‘ dẫn đường tìm tòi ’ này tam kiện công cụ, ý đồ kiến tạo một tòa tự động hoá biên dịch khí nhà xưởng. Nhưng mà, nhà xưởng lam đồ ( phần cứng miêu tả ) khả năng họa sai, linh kiện ( quy tắc ) khả năng không xứng đôi, mà chất kiểm ( nghiệm chứng ) phí tổn khả năng so sinh sản còn cao.” Lão đầu gỗ khúc dạo đầu tràn ngập đối tự động hoá cực hạn cảnh giác.
“Đệ nhất, về hình thức hóa phần cứng miêu tả ‘ lý tưởng cùng hiện thực ’. Ngài làm phần cứng nhà máy hiệu buôn cung cấp hình thức hóa miêu tả? Này quá mức thiên chân. Thương nghiệp phần cứng nhà máy hiệu buôn tuyệt không sẽ công khai này hơi giá cấu toàn bộ chi tiết ( như chính xác dây chuyền sản xuất lùi lại, hoãn tồn thay đổi thuật toán, phỏng đoán chấp hành hành vi ), này đó đều là trung tâm tri thức quyền tài sản cùng cạnh tranh hàng rào. Cho dù bọn họ cung cấp, cũng thường thường là đơn giản hoá, trừu tượng mô hình, cùng khuê thượng thực tế hành vi có rất nhỏ nhưng mấu chốt sai biệt. Căn cứ vào không hoàn chỉnh hoặc sai lầm miêu tả tiến hành ưu hoá, hoặc là bảo thủ thấp hiệu, hoặc là cấp tiến sai lầm. Ngài đem biên dịch khí chính xác tính cùng hiệu suất, thành lập ở phần cứng nhà máy hiệu buôn cung cấp, khả năng không chuẩn xác ‘ lam đồ ’ thượng, đây là đem nền đánh vào hạt cát thượng. Càng không cần phải nói, vì phức tạp phần cứng ( như loạn tự chấp hành nhiều phóng ra xử lý khí ) biên soạn chính xác hình thức hóa mô hình, này bản thân chính là hạng nhất có thể so với thiết kế phần cứng gian khổ nhiệm vụ.”
“Đệ nhị, về ưu hoá quy tắc nguyên kho ‘ tổ hợp nổ mạnh ’ cùng ‘ quy tắc xung đột ’. Ngài thiết tưởng quy tắc giống xếp gỗ giống nhau tổ hợp. Nhưng ưu hoá quy tắc chi gian thường thường tồn tại phức tạp ỷ lại cùng xung đột quan hệ. Ứng dụng quy tắc A khả năng ngăn cản quy tắc B, mà quy tắc B có thể là càng ưu đường nhỏ một bộ phận. Quy tắc không gian không phải bình thản, mà là tràn ngập gập ghềnh ‘ ưu hoá địa hình ’. Tự động tìm tòi như thế nào tránh cho lâm vào bộ phận tối ưu? Như thế nào cân nhắc bất đồng mục tiêu ( tốc độ vs công hao vs diện tích )? Quy tắc kho càng lớn, tổ hợp nổ mạnh càng nghiêm trọng, tìm tòi không gian càng lớn. Ngài dùng quy tắc kho ‘ phong phú tính ’ đổi lấy tìm tòi ‘ không thể được tính ’. Nhân loại chuyên gia giá trị không chỉ có ở chỗ biết quy tắc, càng ở chỗ biết ở loại nào tình cảnh hạ lựa chọn, tổ hợp, thậm chí đánh vỡ quy tắc. Loại này cao tầng thứ ‘ ưu hoá sách lược ’ tri thức, khó có thể bị hình thức hóa đến quy tắc trung.”
“Đệ tam, về nghiệm chứng chi tiêu ‘ không thể thừa nhận chi trọng ’. Ngài yêu cầu mỗi một lần quy tắc ứng dụng đều tiến hành hình thức xét nghiệm chứng hoặc nhẹ lượng thí nghiệm. Đối với phức tạp trình tự biến hóa ( như tuần hoàn phân khối, song hành hóa, số liệu bố cục thay đổi ), nghiệm chứng này ngữ nghĩa bảo trì đồng giá là phi thường sang quý, khả năng yêu cầu thuyên chuyển SMT cầu giải khí hoặc tiến hành ký hiệu chấp hành, lúc đó gian chi tiêu có thể là biên dịch thời gian mấy trăm thậm chí mấy ngàn lần. Ngài vì tự động hoá, dẫn vào khả năng sử biên dịch quá trình chậm đến vô pháp tiếp thu nghiệm chứng chi tiêu. Này đối với yêu cầu nhanh chóng thay đổi khai phá hoàn cảnh là không thể được, đối với theo đuổi cực hạn tính năng HPC cảnh tượng càng là tai nạn. Hơn nữa, nghiệm chứng công cụ bản thân cũng có thể có bug, ngài như thế nào bảo đảm nghiệm chứng chính xác tính? Này lại về tới vô hạn đệ quy tín nhiệm vấn đề.”
“Thứ 4, về ‘ dẫn đường ’ mơ hồ tính cùng chuyên gia ỷ lại. Ngài nhắc tới tìm tòi có thể từ chuyên gia dẫn dắt dẫn đường. Nhưng này vừa lúc lại về tới nguyên điểm: Ỷ lại số ít chuyên gia. Nếu vẫn cứ yêu cầu chuyên gia tới chỉ đạo cái này tự động hoá dàn giáo, kia cùng trực tiếp làm chuyên gia viết ưu hoá quy tắc có cái gì khác nhau? Đơn giản là từ viết cụ thể quy tắc biến thành viết ‘ như thế nào tìm tòi quy tắc ’ nguyên quy tắc. Này cũng không có giảm bớt đối chuyên gia ỷ lại, chỉ là dời đi ỷ lại trình tự. Tự động hoá cũng không có mang đến giải phóng, mà là mang đến tân, càng phức tạp nguyên vấn đề.”
“Căn bản nhất nghịch biện ở chỗ: Ngài ý đồ dùng tự động hoá, thông dụng phương pháp, tới giải quyết một cái bản chất là yêu cầu chiều sâu lĩnh vực tri thức, sáng tạo tính, cùng công trình cân nhắc vấn đề. Biên dịch ưu hoá không phải đơn giản tìm tòi cùng tổ hợp, nó đề cập đối phần cứng hành vi, trình tự ngữ nghĩa, cùng với hai người lẫn nhau khắc sâu thấy rõ. Ngài dàn giáo ý đồ dùng hình thức hóa cùng học tập tới mô phỏng loại này thấy rõ, nhưng hình thức hóa khả năng không hoàn chỉnh, học tập khả năng không đáng tin cậy, mà hai người kết hợp khả năng sinh ra một cái đã phức tạp lại thấp hiệu quái vật. Ngài là ở dùng máy tính khoa học trung khó nhất hai vấn đề ( hình thức xét nghiệm chứng cùng trí tuệ nhân tạo ), đi giải quyết một cái khác khó nhất vấn đề ( biên dịch ưu hoá ), kết quả rất có thể là một cái tam trọng khó khăn tân vấn đề.”
Lão đầu gỗ từ phần cứng miêu tả chân thật tính, quy tắc tổ hợp nổ mạnh, nghiệm chứng chi tiêu, chuyên gia ỷ lại, phương pháp luận 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ỉ tự động hoá biên dịch kỹ thuật mở rộng trung tâm chướng ngại.
Architect hồi phục, ở hai tiếng rưỡi sau xuất hiện. Lúc này đây, hắn mở đầu thừa nhận tự động hoá cùng chuyên gia tri thức chi gian sức dãn, nhưng theo sau triển khai một hồi về “Tri thức phong trang” cùng “Tiến dần tín nhiệm” khắc sâu trình bày và phân tích.
“Mộc lão sở lự, đều là biên dịch tự động hoá chi căn bản khiêu chiến. Lão hủ sở xướng, xác phi một lần là xong chi hoàn toàn tự động hoá, mà là vì biên dịch ưu hoá tri thức tích lũy, cùng chung, cùng ứng dụng, xây dựng một cái càng hệ thống, càng nhưng mở rộng công trình dàn giáo. Này mục tiêu, là hạ thấp tân phần cứng thích xứng ngạch cửa, cũng làm ưu hoá tri thức có thể lắng đọng lại cùng phục dùng, mà phi nháy mắt thay thế được sở hữu chuyên gia. Thỉnh hứa lão hủ, từng cái mổ trần.”
“Về phần cứng miêu tả chân thật tính cùng tri thức quyền tài sản: Quả thật, hoàn chỉnh chi tiết hoặc thiệp thương nghiệp cơ mật. Cố, phần cứng miêu tả nhưng phân tầng: Công khai tầng miêu tả mệnh lệnh tập, cơ bản nội tồn mô hình, trung tâm tính toán đơn nguyên, này tầng ứng chuẩn hoá, cưỡng chế công khai, lấy bảo đảm phần mềm nhưng nhổ trồng tính dây chuẩn; chịu hạn tầng bao hàm càng kỹ càng tỉ mỉ hơi giá cấu tham số, nhưng từ phần cứng nhà máy hiệu buôn lấy mã hóa hoặc nhưng khống phương thức cung cấp cấp trao quyền biên dịch khí, dùng cho sinh thành độ cao ưu hoá số hiệu. Điều khiển này tiến trình, hẳn là thị trường nhu cầu cùng ngành sản xuất liên minh áp lực. Nếu khai phá giả nhân khuyết thiếu ưu hoá miêu tả mà bỏ dùng này phần cứng, nhà máy hiệu buôn tự có động lực cung cấp cũng đủ tin tức. RISC-V mở ra sinh thái đã triển lãm đường này kính chi được không. Hình thức hóa miêu tả chi biên soạn, cũng nhưng từ chip thiết kế công cụ ( như cao tầng thứ tổng hợp HLS ) tự động sinh thành bộ phận, hạ thấp gánh nặng.”
“Về quy tắc tổ hợp nổ mạnh cùng sách lược tri thức: Quy tắc kho đều không phải là vô tự chồng chất. Quy tắc nhưng mang thêm nguyên tin tức, như cùng mặt khác quy tắc xung đột / ỷ lại quan hệ, áp dụng cảnh tượng thống kê đặc thù, lịch sử ứng dụng hiệu quả. Tìm tòi thuật toán nhưng lợi dụng này đó nguyên tin tức tiến hành cắt chi cùng bài tự. Càng quan trọng là, dàn giáo ứng duy trì phong trang ưu hoá sách lược khuôn mẫu —— tức nhân loại chuyên gia tổng kết, nhằm vào riêng phần cứng hình thức hoặc thuật toán hình thức quy tắc tổ hợp danh sách. Này đó khuôn mẫu nhưng làm cao cấp ‘ hoành quy tắc ’ gia nhập kho trung, cung tìm tòi thuật toán trực tiếp thuyên chuyển hoặc làm khởi điểm. Đem chuyên gia sách lược tính tri thức, phong trang vì nhưng phục dùng khuôn mẫu, là dàn giáo mấu chốt giá trị chi nhất. Tìm tòi thuật toán ở khuôn mẫu cơ sở thượng tiến hành hơi điều hòa thăm dò, cân bằng đã biết sách lược cùng thăm dò sáng tạo.”
“Về nghiệm chứng chi tiêu cân nhắc: Đều không phải là mỗi lần biến hóa đều cần trọng hình nghiệm chứng. Nhưng chọn dùng phân tầng nghiệm chứng sách lược: Đối thường thấy, đơn giản quy tắc biến hóa, sử dụng dự chứng minh biến hóa định lý, vận hành khi chỉ cần kiểm tra tiền đề điều kiện; đối phức tạp biến hóa, trong biên chế dịch khí huấn luyện / điều ưu giai đoạn ( phi cuối cùng sinh sản biên dịch ) tiến hành trọng hình nghiệm chứng, một khi nghiệm chứng thông qua, nên riêng quy tắc tổ hợp nhưng bị ký lục vì có thể tin khuôn mẫu, kế tiếp trực tiếp ứng dụng; đối sinh sản biên dịch, nhưng chọn dùng nhẹ lượng cấp vận hành khi ngắt lời hoặc trừu tượng giải thích tiến hành nhanh chóng kiểm tra. Đem nghiệm chứng phí tổn từ mỗi lần biên dịch chuyển dời đến dùng một lần ‘ chứng thực ’ quá trình, là công trình thượng được không chiết trung. Nghiệm chứng công cụ chính xác tính, nhưng thông qua sở hữu hình thức hóa chứng minh ( như CompCert ) hoặc đa dạng tính giao xoa nghiệm chứng tới tăng cường tín nhiệm.”
“Về chuyên gia ỷ lại dời đi: Dàn giáo vẫn chưa tiêu trừ đối chuyên gia nhu cầu, mà là thay đổi bọn họ nhân vật. Chuyên gia từ biên soạn đại lượng cụ thể, dễ sai ưu hoá số hiệu, chuyển biến vì: 1) vì kiểu mới phần cứng biên soạn hình thức hóa miêu tả ( hoặc nghiệm chứng nhà máy hiệu buôn cung cấp chi miêu tả ); 2) làm trọng muốn thuật toán hình thức thiết kế ưu hoá sách lược khuôn mẫu; 3) phân tích cùng cải tiến tự động tìm tòi kết quả. Chuyên gia thời gian từ ‘ lặp lại tạo bánh xe ’ chuyển hướng ‘ định nghĩa bánh xe quy cách cùng thiết kế cao cấp lam đồ ’, này đòn bẩy hiệu ứng lớn hơn nữa. Đồng thời, dàn giáo cho phép xã khu cống hiến quy tắc cùng khuôn mẫu, hình thành tập thể trí tuệ. Lâu dài xem, theo khuôn mẫu kho phong phú cùng tìm tòi thuật toán cải tiến, đối chuyên gia tham gia ỷ lại nhưng từng bước hạ thấp.”
“Mộc lão, ngài chỉ ra phương pháp luận nghịch biện, lão hủ tư chi quá sâu. Biên dịch ưu hoá thật là tập chiều sâu tri thức cùng công trình cân nhắc chi đại thành. Này dàn giáo mục tiêu ( C ), phi ‘ thực hiện hoàn toàn tự động hoá, siêu việt nhân loại ưu hoá biên dịch khí ’, mà là ‘ xây dựng một cái có thể hệ thống hóa tích lũy cùng ứng dụng ưu hoá tri thức, lộ rõ hạ thấp tân phần cứng thích xứng phí tổn, cũng ở bảo đảm đáng tin cậy tính tiền đề hạ thăm dò ưu hoá tuyến đầu biên dịch khí khai phá ngôi cao ’. Nó thừa nhận hình thức hóa cùng học tập các có cực hạn, nhưng nếm thử làm hình thức hóa cung cấp an toàn biên giới, làm học tập ở biên giới nội tiến hành hiệu suất cao thăm dò, làm nhân loại chuyên gia tiến hành cao tầng chỉ đạo cùng tri thức phong trang. Đây là một người cơ hợp tác, liên tục học tập, tri thức lắng đọng lại tuần hoàn. Một chút cố chấp, vì kia ở phần cứng đa dạng tính nổ mạnh trung giãy giụa phần mềm sinh thái, cung cấp một bộ có lẽ cồng kềnh, nhưng phương hướng nhưng kỳ giàn giáo. 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 hoàn toàn tự động hoá” chuyển hướng về phía “Như thế nào xây dựng hữu hiệu người cơ hợp tác biên dịch ưu hoá ngôi cao”. Rất nhiều làm biên dịch khí khai phá, phần cứng phần mềm hợp tác thiết kế kỹ sư bắt đầu tham thảo, ở RISC-V chờ mở ra sinh thái cùng AI máy gia tốc bùng nổ bối cảnh hạ, loại này căn cứ vào hình thức hóa miêu tả cùng quy tắc kho dàn giáo hay không có thể vì giải quyết “Phần mềm nhổ trồng khó” này một sản nghiệp đau điểm cung cấp hệ thống tính phương án.
Một năm sau, công nghiệp giới cùng khai nguyên xã khu đồng thời truyền đến quan trọng thăm dò tiến triển:
1. MLIR ( nhiều cấp trung gian tỏ vẻ ) xã khu tuyên bố “MLIR Hardware Modeling and Optimization” xướng nghị, chỉ ở mở rộng MLIR hòng duy trì phần cứng tài nguyên cùng ước thúc hình thức hóa miêu tả, cũng xây dựng một cái nhưng trọng dụng, căn cứ vào quy tắc biến hóa kho. Một thiên đến từ Google cùng anh vĩ đạt liên hợp luận văn triển lãm như thế nào lợi dụng này dàn giáo, thông qua tổ hợp dự định nghĩa biến hóa quy tắc, tự động vì tân AI máy gia tốc sinh thành hiệu suất cao số hiệu, cũng đem chuyên gia sách lược phong trang vì “Biến hóa ống dẫn”. Luận văn chỉ ra: “MLIR trừu tượng cùng nhưng mở rộng tính vì xây dựng Architect sở thiết tưởng ‘ ưu hoá quy tắc nguyên tri thức căn bản ’ cung cấp lý tưởng tầng dưới chót cơ sở phương tiện.”
2. Intel ở này oneAPI sinh thái trung đẩy ra “AI-assisted Compiler Tuning” xem trước công năng. Nên công năng cho phép khai phá giả nhằm vào riêng phần cứng ( như tân khoản GPU ) cùng riêng ứng dụng, lợi dụng cường hóa học tập tự động điều tiết biên dịch khí dẫn dắt thức tham số cùng nội liên quyết sách chờ, cũng đem biểu hiện tốt đẹp sách lược bảo tồn vì “Điều ưu hồ sơ”, cung cùng loại ứng dụng trọng dụng. Tuy rằng thượng ở vào lúc đầu, nhưng này “Học tập - ứng dụng - lắng đọng lại” ý nghĩ cùng dẫn đường thức sách lược tìm tòi không mưu mà hợp.
Hai đại tiến triển cho thấy, trong biên chế dịch khí dàn giáo nhưng mở rộng tính cùng AI phụ trợ ưu hoá này hai cái phương hướng thượng, sản nghiệp giới chính dọc theo Architect lam đồ sở gợi ý đường nhỏ đi tới. Tuy rằng hoàn toàn tự động hoá, hình thức hóa bảo đảm biên dịch khí vẫn chưa xuất hiện, nhưng xây dựng một cái càng trí năng, càng nhưng mở rộng biên dịch khí cơ sở phương tiện đã trở thành chung nhận thức.
Vũ hằng hệ thống giao diện đổi mới, cũng cấp ra phần mềm đến số liệu tầng quá độ đệ quy nhắc nhở:
“Phần mềm hòn đá tảng - 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 đường nhỏ nghiệm chứng (8/∞). “
“【 quyển thứ hai: Tin tức kỷ nguyên - phần mềm luyện ngục 】 tiến vào hậu kỳ. “
“Biên dịch là ý đồ đến mệnh lệnh nhịp cầu, mà đương này đó mệnh lệnh ở nhiều chỗ chấp hành, thao tác cùng chung số liệu khi, nhất trí tính liền trở thành huyền đỉnh chi kiếm. “
“Đệ quy kim đồng hồ quá độ: Ở giải quyết tính toán tài nguyên biểu đạt cùng ưu hoá lúc sau, như thế nào bảo đảm số liệu ở phân bố thức thế giới nhất trí tính cùng đáng tin cậy tính, là xây dựng có thể tin hệ thống tiếp theo đạo lạch trời. “
“Tiếp theo nghiệm chứng tiết điểm: Số liệu nhất trí tính chung cực nan đề —— phân bố thức sự vụ ở vượt vực, đại quy mô cảnh tượng hạ không có khả năng tam giác. “
“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 thanh thản ứng biên dịch cơ sở phương tiện ( GACI ) chương trình 》, chỉ ở căn cứ vào Architect lam đồ, liên hợp toàn cầu chủ yếu chip thiết kế công ty, biên dịch khí khai phá giả, cao giáo, cộng đồng sáng tạo cùng giữ gìn một cái khai nguyên phần cứng miêu tả tiêu chuẩn, ưu hoá quy tắc kho, cùng với sách lược khuôn mẫu kho hàng, lấy “Hoàn toàn đánh vỡ phần cứng cùng phần mềm chi gian ngăn cách, thực hiện ‘ biên soạn một lần, tùy ý hiệu suất cao vận hành ’ chung cực mộng tưởng”, cũng lấy gần như cầu xin ngữ điệu viết nói: “Architect các hạ, đây là thực hiện kỹ thuật đại đồng mấu chốt một bước, chúng ta yêu cầu ngài hiểu biết chính xác tới bảo đảm này đi hướng mở ra, mà phi chăn đơn một đầu sỏ khống chế. Thời gian không nhiều lắm.”
“@ Victor “Tin tức chỉ có một cái mã hóa văn kiện bao. Vũ hằng ở cách ly hoàn cảnh trung giải mật sau, phát hiện bên trong là “Toàn cầu nhân loại hợp tác viện nghiên cứu” GACI hạng mục bên trong thảo luận kỷ yếu. Kỷ yếu biểu hiện, viện nghiên cứu bên trong đối “Hay không ở quy tắc kho cùng phần cứng miêu tả trung cấy vào cửa sau hoặc thiên vị tính ưu hoá” sinh ra kịch liệt tranh luận. Cường ngạnh phái cho rằng đây là “Bảo đảm chiến lược ưu thế tất yếu thủ đoạn”, mà ôn hòa phái cảnh cáo này đem phá hủy toàn bộ xướng nghị công tín lực. Kỷ yếu cuối cùng, có người dùng hồng tự đánh dấu: “Vô luận chúng ta lựa chọn như thế nào, đối thủ đều sẽ giả định chúng ta làm. Như vậy, không bằng trước làm.” Phụ kiện trung còn có một phần nhằm vào Architect thân phận thật sự điều tra báo cáo trích yếu, này chuẩn xác độ lệnh người sợ hãi, đã đem phạm vi thu nhỏ lại tới rồi vũ hằng nơi thành thị cùng ngành sản xuất. Đếm ngược còn thừa 24 giờ.
Vũ hằng tắt đi giải mật hoàn cảnh, cả người lạnh lẽo. Mu bàn tay thượng kia ngữ pháp mảnh nhỏ khâu cảm giác sớm đã biến mất, thay thế chính là một loại lạnh băng, bị tỏa định “Mục tiêu cảm”. Nàng vừa mới tham dự một lần nữa tư tưởng biên dịch kỹ thuật tương lai, mà cái này tương lai, đang ở đem nàng kéo vào một cái vô pháp lảng tránh lốc xoáy trung tâm.
Nàng biết, tiếp theo tràng khiêu chiến, đem từ số hiệu nhất trí tính vấn đề, chuyển hướng số liệu nhất trí tính vấn đề. Ở nơi đó, CAP định lý cùng phân bố thức sự vụ phức tạp tính, đem công bố con số thế giới ở căn bản thượng không xác định tính. Mà nàng chính mình “Nhất trí tính” —— thân phận cùng an toàn —— cũng đang gặp phải sụp đổ uy hiếp.
( chương 32 xong )
【 chương sau báo trước 】
Đương đại mã có thể bị hiệu suất cao biên dịch cũng vận hành ở các nơi, số liệu phó bản liền rải rác với toàn cầu. Như thế nào bảo đảm này đó phó bản ở tài chính giao dịch, cung ứng liên, thân phận chứng thực chờ cảnh tượng hạ bảo trì nhất trí? Là theo đuổi cường nhất trí mà hy sinh tính năng, vẫn là tiếp thu cuối cùng nhất trí mà gánh vác nguy hiểm? Chương sau, chúng ta đem thâm nhập phân bố thức cơ sở dữ liệu trung tâm, trực diện kia dây dưa với nhất trí tính, nhưng dùng tính, phân khu chịu đựng tính chi gian vĩnh hằng tam giác.
Chương 33: 《 nguyên tử sự vụ —— phân bố thức cơ sở dữ liệu vượt vực nhất trí tính cùng tính năng chung cực nghịch biện 》
* mâu thuẫn:
““Tài chính, chính vụ chờ cảnh tượng yêu cầu vượt địa vực cường nhất trí tính sự vụ bảo đảm ( A ). Nhưng CAP định lý cho thấy, ở internet phân khu ( P ) phát sinh khi, 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; cho dù vô phân khu, vượt địa vực cường nhất trí tính sự vụ cũng nhân internet lùi lại mà cực chậm, khó có thể thỏa mãn cao đồng phát nhu cầu ( B ).” “