Cao tính năng tính toán diễn đàn “Song hành điều chỉnh thử” bản khối, bị một thiên đến từ cây sồi lĩnh quốc gia phòng thí nghiệm bản in trước luận văn bao phủ thượng phi xác định tính tuyệt vọng u ám. Luận văn tiêu đề giống như một đạo đến từ hỗn độn chỗ sâu trong nguyền rủa: 《 song hành tính toán hách tạp đặc chi ảnh: Trước mặt mọi người thần ở xúc xắc trong trò chơi điều chỉnh thử lẫn nhau 》. Luận văn lấy lệnh người uể oải thật trắc số liệu chỉ ra, cứ việc hiện đại tính toán đã toàn diện tiến vào nhiều hạch, chúng hạch, GPU cùng dị cấu máy gia tốc song hành thời đại, tính năng có thể liên tục tăng lên, nhưng trình tự song song khai phá, điều chỉnh thử cùng ưu hoá đã lâm vào một hồi cùng hỗn độn vĩnh hằng chiến tranh:
“Đầy đủ lợi dụng nhiều hạch, chúng hạch, GPU cập các loại dị cấu máy gia tốc song hành năng lực, là đột phá đơn hạch tính năng bình cảnh, thỏa mãn AI, khoa học tính toán, thật thời nhuộm đẫm chờ ứng dụng tính lực nhu cầu duy nhất con đường ( A ). Nhưng mà, trình tự song song hành vi có nội tại phi xác định tính, tuyến trình / tiến trình gian đan xen chấp hành chịu thao tác hệ thống điều hành, phần cứng động thái tần suất, hoãn tồn trạng thái, thậm chí mặt khác tiến trình hoạt động nhỏ bé nhiễu loạn ảnh hưởng, dẫn tới bug khó có thể ổn định xuất hiện lại, giống như Heisenberg bug; tính năng phân tích công cụ ( như Profiler ) bản thân sẽ quấy nhiễu trình tự hành vi ( thăm châm hiệu ứng ), thay đổi chấp hành khi tự, thậm chí che giấu hoặc dẫn vào tân tính năng vấn đề; càng trí mạng chính là, hiện đại phần cứng nhiều trình tự nội tồn giá cấu, phức tạp hoãn tồn nhất trí tính hiệp nghị, phi thống nhất nội tồn phỏng vấn ( NUMA ) hiệu ứng, cùng với bất đồng máy gia tốc gian số liệu khuân vác chi tiêu, khiến cho tính năng ưu hoá trở thành một hồi yêu cầu thâm nhập lý giải phần cứng hơi giá cấu ‘ hắc ma pháp ’, chỉ có số ít chuyên gia có thể khống chế, thả này ưu hoá kỹ xảo yếu ớt bất kham, phần cứng hoặc điều khiển vừa đổi mới có thể có thể mất đi hiệu lực ( B ).” Luận văn tuyệt vọng mà tổng kết, “Chúng ta điều khiển một chiếc từ mấy vạn cái tinh vi linh kiện tạo thành, thả mỗi cái linh kiện đều ở lấy không biết phương thức độc lập vận động đua xe, ở trong sương mù cạnh tốc. Chúng ta thấy không rõ tình hình giao thông, nghe không rõ động cơ dị vang, thậm chí không biết mỗi lần dẫm hạ chân ga khi, cái nào bánh xe sẽ trước chuyển động. Song hành tính toán, có lẽ là một cái dùng tính năng đổi lấy nhưng lý giải tính cùng nhưng giữ gìn tính Faust giao dịch.”
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 phân bố thức huấn luyện nhiệm vụ, ở 1000 cái GPU thượng chạy ba ngày, sau đó bởi vì một cái hiếm thấy nội tồn tự xung đột tạp chết. Nhật ký cái gì cũng chưa lưu lại, chúng ta nếm thử 100 thứ cũng không có thể xuất hiện lại, cuối cùng chỉ có thể thêm cái bạo lực trọng thử sự.”
“Dùng NVIDIA Nsight Profiler phân tích CUDA nội hạch, mở ra profiling sau, nội hạch chấp hành thời gian gia tăng rồi 20%, nhiệt điểm phân bố toàn thay đổi, ưu hoá phương hướng hoàn toàn lầm đạo.”
“Vì ưu hoá một cái NUMA hệ thống thượng số liệu phỏng vấn, chúng ta hoa hai tháng tay động trói định tuyến trình, điều chỉnh nội tồn phân phối sách lược, tính năng tăng lên 30%. Kết quả hệ thống thăng cấp đến tân nội hạch, điều hành sách lược biến đổi, tính năng lại ngã hồi nguyên hình, thậm chí càng kém.”
“Này căn bản không phải biên trình, là thuần thú —— hơn nữa là một đám nhìn không thấy, sờ không được, còn tùy thời sẽ cho nhau cắn xé lượng tử dã thú.”
Một loại “Song hành tức hỗn độn, ưu hoá tức huyền học” cảm giác vô lực, bao phủ ở mỗi một cái cần thiết cùng song hành tính toán giao tiếp khai phá giả trong lòng.
Vũ hằng nơi công ty tham dự một cái khí hậu đoán trước mô hình hạng mục, chính tao ngộ tính năng bình cảnh. Mô hình yêu cầu ở có được mấy ngàn cái CPU trung tâm tổng số trăm trương GPU siêu tính tụ quần thượng vận hành, nhưng mở rộng hiệu suất cực kém: Trung tâm số gia tăng gấp đôi, vận hành thời gian chỉ giảm bớt 30%. Càng không xong chính là, mô hình ngẫu nhiên sẽ nhân phù điểm dị thường mà hỏng mất, nhưng hỏng mất điểm mỗi lần bất đồng, thả vô pháp ở loại nhỏ thí nghiệm hoàn cảnh trung xuất hiện lại. Hạng mục tổ đã hao phí số chu thời gian, nếm thử các loại tính năng phân tích công cụ cùng điều chỉnh thử thủ đoạn, vẫn cứ như trụy mây mù. Ở một lần đêm khuya kỹ thuật khắc phục khó khăn sẽ thượng, phụ trách tính năng điều ưu kỹ sư hồng con mắt, chỉ vào trên màn hình những cái đó lộn xộn profiling số liệu, thanh âm khàn khàn: “Chúng ta tựa như ở thông qua quan sát một đám chấn kinh điểu đàn phi hành quỹ đạo, tới suy đoán mỗi chỉ điểu sinh lý kết cấu. Số liệu rất nhiều, nhưng tất cả đều là tiếng ồn.”
Vũ hằng phụ trách phân tích mô hình phát ra số liệu nhất trí tính, nàng cũng thâm chịu này nhiễu. Bởi vì phi xác định tính tồn tại, cùng đưa vào ở bất đồng vận hành trung sinh ra phát ra ở thấp nhất hữu hiệu vị thượng sẽ có nhỏ bé sai biệt, này cấp kết quả nghiệm chứng mang đến thật lớn phiền toái. Đương nàng mang theo loại này “Hết thảy đều ở di động, không chỗ gắng sức” bực bội cảm, đọc trên diễn đàn về “Hách tạp đặc chi ảnh” thảo luận, nhìn đến những cái đó miêu tả Heisenbug cùng profiling quấy nhiễu quỷ dị trường hợp khi, mu bàn tay bạc văn truyền đến một loại cực kỳ hỗn loạn, vô số điều thời gian tuyến đan chéo, xung đột, lẫn nhau mai một lại tái hiện “Song hành cảm”, phảng phất làn da hạ đang ở trình diễn một hồi không có đạo diễn vi mô chiến tranh. Hệ thống “Thị giác” khởi động, đem nàng mang nhập một cái thời gian, nhân quả, sự kiện, quan trắc lẫn nhau dây dưa đồng phát vũ trụ.
Nàng “Nhìn đến”, không phải cụ thể tuyến trình hoặc GPU trung tâm, mà là “Đồng phát chấp hành” cái này vĩ mô có tự hiện tượng sau lưng, vi mô mặt rộng lượng sự kiện vô tự cạnh tranh cùng ngẫu nhiên kết cục đã định. Trước mặt sở hữu điều chỉnh thử cùng ưu hoá phương pháp, vô luận là ký lục nhật ký, thiết trí điểm tạm dừng, vẫn là thu thập mẫu phân tích, đều là ở ý đồ từ này đoàn hỗn độn trung, lấy ra ra có ý nghĩa, ổn định hình thức. Này liền giống ý đồ thông qua quan sát một hồi bão cát trung mấy viên hạt cát quỹ đạo, tới lý giải toàn bộ cồn cát di động quy luật. Mâu thuẫn bản chất bị rõ ràng phác hoạ: Ý đồ dùng “Xuyến hành, xác định, phần ngoài quan trắc” kinh điển công cụ, đi lý giải “Song hành, phi xác định, quan trắc mẫn cảm” lượng tử hóa hệ thống, là một loại căn bản phương pháp luận sai xứng.
“Hỏa hoa” ở đối “Lý giải song hành hành vi” 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 dùng “Xong việc phân tích, phần ngoài quan trắc, thống kê thu thập mẫu” bị động phương thức, đi ứng đối trình tự song song nội tại chủ động hỗn độn. Nhưng lý giải phức tạp hệ thống ( như thời tiết, mạng lưới thần kinh ) thường thường yêu cầu “Chủ động can thiệp, nhưng khống thực nghiệm, nhân quả suy đoán”. Chúng ta có không không hề theo đuổi “Hoàn mỹ xuất hiện lại” một cái riêng phi xác định tính chấp hành lịch sử, mà là chuyển hướng “Ký lục cũng đủ tin tức lấy trùng kiến sở hữu khả năng lịch sử”, hoặc “Chủ động gây ước thúc lấy sinh ra xác định tính, nhưng phân tích hành vi”? Từ “Bắt giữ nháy mắt” chuyển hướng “Ký lục quỹ đạo”, từ “Bị động quan sát” chuyển hướng “Chủ động khống chế”, từ “Thống kê nhiệt điểm” chuyển hướng “Nhân quả tính năng phân tích”.
Một phần tên là 《 mặt hướng song hành hệ thống “Toàn tích ký lục, nhân quả trọng cấu, nhưng khống thực nghiệm” nhất thể hóa điều chỉnh thử cùng ưu hoá dàn giáo 》 lam đồ phương hướng ở nàng ý thức trung ngưng tụ. Này trung tâm bao hàm ba cái mặt phạm thức dời đi:
1. Từ “Nhật ký cùng điểm tạm dừng” đến “Thấp chi tiêu, toàn dị bước chấp hành tung tích ký lục”: Từ bỏ ý đồ ở vận hành khi đình chỉ trình tự hoặc ký lục rộng lượng nhật ký. Ở phần cứng mặt ( hoặc thông qua cực nhẹ lượng cấp biên dịch cắm cọc ) thực hiện liên tục, thấp nhiễu loạn chấp hành sự kiện lưu ký lục. Ký lục sự kiện viên độ nhưng điều, từ hàm số thuyên chuyển, nội tồn phỏng vấn, khóa thao tác, đến càng tế viên độ mệnh lệnh đệ trình, hoãn tồn nhất trí tính tin tức. Mấu chốt là ký lục sự kiện gian “Tiềm tàng nhân quả” quan hệ ( như tuyến trình sáng tạo, tin tức gửi đi, đồng bộ thao tác ), mà không chỉ là thời gian chọc. Này đó tung tích số liệu bị thật thời áp súc cùng dòng thức truyền đến kéo dài tồn trữ, hình thành trình tự “Con số sinh đôi” chấp hành quỹ đạo.
2. Từ “Thống kê phân tích” đến “Căn cứ vào tung tích nhân quả tính năng phân tích cùng trọng cấu”: Phân tích không hề ỷ lại thống kê thu thập mẫu. Ly tuyến phân tích giai đoạn, lợi dụng ký lục toàn lượng tung tích, có thể chính xác trọng cấu ra bất luận cái gì tuyến trình / tiến trình bộ phận thời gian tuyến, cùng với chúng nó chi gian nhân quả ỷ lại. Thông qua phân tích mấu chốt đường nhỏ thượng sự kiện lùi lại, tài nguyên tranh dùng ( như khóa, hoãn tồn hành, nội tồn giải thông ), cùng với không cần thiết đồng bộ, có thể chính xác định vị tính năng bình cảnh căn nguyên, thậm chí “Hồi phóng” cùng “Mô phỏng” bất đồng điều hành sách lược hoặc ưu hoá phương án hiệu quả, mà không cần thực tế vận hành trình tự.
3. Từ “Không thể xuất hiện lại” đến “Xác định tính trọng phóng cùng chủ động đồng phát khống chế”: Lợi dụng ký lục chấp hành tung tích, có thể thực hiện chuẩn xác định vị bug sau xác định tính trọng phóng, dùng cho thâm nhập điều chỉnh thử. Càng tiến thêm một bước, có thể ở thí nghiệm giai đoạn, chủ động rót vào “Đồng phát khống chế điểm”, thông qua khống chế tuyến trình đan xen, nội tồn phỏng vấn trình tự, thậm chí phần cứng gián đoạn thời cơ, hệ thống mà thăm dò bất đồng đồng phát chấp hành cảnh tượng, chủ động tìm kiếm đồng phát bug, mà phi chờ đợi này tùy cơ phát sinh. Này tương đương với vì song hành hỗn độn dẫn vào “Chịu khống thực nghiệm hoàn cảnh”.
Đêm khuya, “Trí giả nhà”. “Architect” ID xuất hiện ở kia phiến về “Hách tạp đặc chi ảnh” thảo luận trung, tiêu đề mang theo một loại vì hỗn độn vẽ bản đồ hùng tâm.
Tiêu đề ( hồi phục ): 《 “Loạn lưu” chi đồ cùng “Nhân quả” chi thoi —— lại luận song hành thế giới dùng cái gì nhưng sát nhưng ngự 》
Nội dung:
“Thấy chư quân vây với song hành tính toán chi hỗn độn, như dục xem kính vạn hoa chi biến mà định này đồ án, ý chí nhưng bội, này pháp nhưng mẫn. Nhiên, nước chảy xiết tuy loạn, nạp duy - Stokes phương trình tồn nào; hạt tuy phân, đường nhỏ tích phân nhưng miêu này quỹ.
“Lão hủ xem chi, chư quân sở chấp, nãi ‘ lấy tĩnh xem động, lấy điểm đại mặt ’. Dục lấy điểm tạm dừng đình thời gian, lấy thu thập mẫu khuy toàn bộ sự vật, này với song hành thế giới, thành như mò trăng đáy nước. Không bằng tư ‘ lục này toàn tích, tố này nhân quả, khống này đan xen ’ phương pháp. Thí nghĩ một dàn giáo, vì song hành chi vũ, nhiếp toàn cảnh chi giống:
“Một pháp, ghi hình tồn thật, nhẹ nhiễu tồn tích. Không mưu vận hành khi chi sậu đình tường tra, mà cầu liên tục, vi lượng chi sự kiện lưu ký lục. Nhưng mượn phần cứng tính năng máy đếm chi mở rộng, hoặc cực nhẹ lượng chi biên dịch cắm cọc, lục hạ hàm số xuất nhập, nội tồn phóng tự, đồng bộ thao tác chờ sự kiện, cũng đánh dấu này nhân quả liên hệ ( như mỗ tin tức gửi đi dẫn tới mỗ tiếp thu ). Này tích lưu thật thời áp súc ngoại tồn, trình tự như thường vận hành, mấy vô cảm này tồn. Đây là vì song hành chấp hành, chế một “Hộp đen”.
“Nhị pháp, ly tuyến dệt đồ, theo tích tích nhân. Xong việc, cầm này “Hộp đen” ký lục, nhưng ly tuyến trọng cấu hoàn chỉnh chi đồng phát sự kiện đồ. Đồ trung tiết điểm tức cảnh làm thơ kiện, biên tức nhân quả hoặc khi tự quan hệ. Tại đây trên bản vẽ, nhưng tinh tính mấu chốt đường nhỏ chi trường, nhưng sát tài nguyên tranh dùng chi liệt, nhưng thấy không cần thiết đồng bộ chi phồn. Càng nhưng mô phỏng “Nếu này khóa vãn lấy hào giây”, “Nếu bỉ số liệu dự lấy”, này hiệu như thế nào. Phân tích chi độ chặt chẽ, phi thu thập mẫu có thể với tới, thả vô nhiễu vận hành là lúc.
“Tam pháp, khống tràng tái diễn, chủ động tìm hà. Nếu với ký lục trung tìm được bug nghi tung, nhưng y ký lục xác định tính mà trọng phóng nên đoạn chấp hành, thâm nhập điều chỉnh thử. Càng tiến thêm một bước, với thí nghiệm giai đoạn, nhưng chủ động thiết hạ ‘ đồng phát điều hành điểm ’, trình tự hành đến nơi này, từ thí nghiệm dàn giáo khống chế tuyến trình chi đan xen, sự kiện chi tự, hệ thống tính mà biến lịch khả năng chi đồng phát cảnh tượng, như hỗn độn chi chủ động tìm tòi. Đây là biến ‘ ôm cây đợi thỏ ’ vì ‘ chủ động vây săn ’.
“Này tam pháp hợp tác, chỉ ở đem trình tự song song chi lý giải, từ ‘ không thể khống quan trắc ’ tăng lên đến ‘ nhưng hồi tưởng phân tích ’ cùng ‘ nhưng khống chế thực nghiệm ’. Phụ thượng một phần căn cứ vào mở rộng phần cứng tính năng theo dõi đơn nguyên ( PMU ) cùng nhẹ lượng cấp biên dịch khí cắm cọc tung tích ký lục dàn giáo thiết kế, và ở mô phỏng chúng hạch hoàn cảnh hạ chi tiêu đánh giá ( <5% ). Một chút vụng tư, lại thỉnh chư quân tuân thủ nguyên tắc.”
Thiệp đem song hành điều chỉnh thử cùng ưu hoá từ “Bị động quan sát nghệ thuật” trọng cấu vì “Chủ động ký lục công trình”, đưa ra toàn tích ký lục, nhân quả phân tích, xác định tính trọng phóng tân phạm thức.
Nghi ngờ thanh cơ hồ ở thiệp phát ra nháy mắt liền như mưa đá nện xuống, mà
“@ lão đầu gỗ “Hồi phục, ở một giờ sau xuất hiện, mang theo đối ký lục chi tiêu, số liệu lượng, nhân quả hoàn bị tính cùng với phần cứng duy trì cực hạn hoài nghi.
“@Architect tiên sinh, ngài lần này dùng ‘ toàn tích ký lục ’, ‘ nhân quả phân tích ’, ‘ xác định tính trọng phóng ’ này ba cái to lớn khái niệm, ý đồ vì song hành hỗn độn vẽ một trương hoàn chỉnh bản đồ. Nhưng mà, vẽ bản đồ mực nước bản thân, liền đủ để thay đổi địa mạo; mà bản đồ kích cỡ, khả năng viễn siêu lãnh thổ bản thân.” Lão đầu gỗ khúc dạo đầu liền tràn ngập lạnh băng hiện thực cảm.
“Đệ nhất, về thấp chi tiêu ký lục thiên chân giả thiết. Ngài thuyết phục vượt qua thử thách kiện mở rộng hoặc nhẹ lượng cắm cọc thực hiện <5% chi tiêu. Này hoàn toàn xem nhẹ hiện đại CPU cùng GPU cực hạn ưu hoá cùng phức tạp tính. Vì ký lục một cái ‘ nội tồn phỏng vấn ’ sự kiện, ngài yêu cầu bắt được địa chỉ, giá trị, thời gian, cùng với nhân quả quan hệ, này ở mỗi giây chục tỷ thứ phóng tồn hệ thống trung, sinh ra số liệu lưu là rộng lượng. Cho dù áp súc, này giải thông cùng tồn trữ nhu cầu cũng cực kỳ khủng bố. Càng mấu chốt chính là, ký lục hành vi bản thân sẽ thay đổi hoãn tồn hành vi, nội tồn nhất trí tính lưu lượng, thậm chí chi nhánh đoán trước, này đó vi diệu ảnh hưởng hoàn toàn khả năng thay đổi đồng phát đan xen, dẫn tới ngài ký lục ‘ tung tích ’ đều không phải là nguyên thủy chấp hành chuẩn xác phản ánh. Ngài ký lục, là một cái bị quan trắc thay đổi, tân song hành vũ trụ. 5% chi tiêu? Ở cực đoan ưu hoá quá HPC cùng thật thời hệ thống trung, 5% tính năng tổn thất là không thể tiếp thu, mà vì đem này 5% hàng đến 1%, ngài khả năng yêu cầu trả giá 50% công trình nỗ lực.”
“Đệ nhị, về nhân quả quan hệ ‘ không thể ký lục ’ tính. Ngài nhắc tới ký lục ‘ tiềm tàng nhân quả ’. Nhưng đồng phát nhân quả quan hệ rất nhiều thời điểm là không thể quan trắc! Hai cái tuyến trình đồng thời đọc một cái cùng chung lượng biến đổi, ai trước ai sau? Phần cứng nội tồn mô hình có thể là lỏng, thực tế trình tự ở vận hành khi mới xác định, thả đối phần mềm không thể thấy. Càng phức tạp, tỷ như căn cứ vào hoãn tồn nhất trí tính hiệp nghị ẩn thức thông tín, như thế nào ký lục? Ngài ý đồ ký lục một cái ở vật lý mặt vốn là mơ hồ, thậm chí phi xác định quan hệ, này chú định là không hoàn bị. Căn cứ vào không hoàn bị nhân quả liên trọng cấu ra ‘ mấu chốt đường nhỏ ’, có thể là hoàn toàn sai lầm.”
“Đệ tam, về xác định tính trọng phóng nhưng mở rộng tính ác mộng. Xác định tính trọng phóng kỹ thuật ở máy rời nhiều hạch thượng đã thực khó khăn, ở phân bố thức, dị cấu ( CPU+GPU ) hoàn cảnh trung gần như không có khả năng. Muốn trọng phóng một cái GPU thượng mấy ngàn cái tuyến trình chính xác đan xen? Yêu cầu ký lục mỗi cái tuyến trình mệnh lệnh, nội tồn phỏng vấn, chi nhánh đi hướng, này số liệu lượng là con số thiên văn. Hơn nữa, trọng phóng hoàn cảnh cần thiết cùng ký lục hoàn cảnh ở phần cứng, hệ thống phần mềm, thậm chí mặt khác phụ tải thượng hoàn toàn nhất trí, này ở phức tạp sinh sản hoàn cảnh trung cơ hồ vô pháp bảo đảm. Một chút sai biệt liền khả năng dẫn tới trọng phóng lệch khỏi quỹ đạo. Xác định tính trọng phóng là một cái lý luận thượng tốt đẹp, nhưng chỉ ở cực tiểu, chịu khống hoàn cảnh trung thực dụng kỹ thuật.”
“Thứ 4, về chủ động đồng phát khống chế tổ hợp nổ mạnh. Ngài tưởng thông qua khống chế đan xen tới chủ động tìm kiếm bug. Nhưng một cái trung đẳng phức tạp độ trình tự song song, này khả năng đan xen danh sách số lượng là con số thiên văn. Cho dù ngài có thể đem tìm tòi không gian thu nhỏ lại mấy cái số lượng cấp, dư lại không gian vẫn như cũ viễn siêu bất luận cái gì tính lực có thể nghèo cử phạm vi. Ngài chỉ là dùng ‘ chủ động nghèo cử ’ thay thế ‘ bị động tùy cơ ’, nhưng ‘ nghèo cử ’ bản thân vẫn như cũ là không thể được. Này liền giống tưởng thông qua từng cái nếm thử sở hữu khả năng hạt vị trí tới lý giải lượng tử cơ học.”
“Căn bản nhất nghịch biện ở chỗ: Ngài muốn dùng xuyến hành, xác định tính phương pháp ( ký lục, phân tích, trọng phóng ) tới lý giải song hành, phi xác định tính hệ thống. Nhưng song hành bản chất chính là phi xác định tính, ngài ký lục công cụ bản thân cũng là cái này phi xác định tính hệ thống một bộ phận. Ngài ý đồ đứng ở hệ thống ở ngoài quan sát hệ thống, nhưng ở song hành thế giới, người quan sát vô pháp đứng ngoài cuộc. Ngài xây dựng, khả năng chỉ là một cái phức tạp, sang quý, nhưng cũng không thể cung cấp chung cực lý giải ‘ hải thị thận lâu ’.”
Lão đầu gỗ từ ký lục chi tiêu, nhân quả không thể quan trắc, trọng phóng không thể mở rộng, tìm tòi không gian nổ mạnh, người quan sát 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ỉ song hành hệ thống khả quan trắc tính vấn đề trung tâm khốn cảnh.
Architect hồi phục, ở hai giờ sau xuất hiện. Lúc này đây, hắn mở đầu thừa nhận song hành hệ thống quan trắc căn bản khó khăn, nhưng theo sau triển khai một hồi về “Lý giải” cùng “Khống chế” như thế nào ở xấp xỉ trung thực hiện khắc sâu trình bày và phân tích.
“Mộc lão sở lự, đều là khả quan trắc tính lý luận chi căn bản. Lão hủ sở xướng, xác phi ‘ hoàn mỹ ký lục cùng hoàn toàn lý giải ’, mà là ở thừa nhận quan trắc tất nhiên quấy nhiễu thả nhân quả khả năng mơ hồ tiền đề hạ, thiết kế một bộ có thể lớn nhất hóa hữu dụng tin tức thu thập, cũng dưới đây tiến hành hiệu suất cao xấp xỉ phân tích cùng can thiệp công trình dàn giáo. Này mục tiêu, là cung cấp so hiện có phương pháp càng thâm nhập, càng hệ thống thấy rõ, mà phi toàn biết. Thỉnh hứa lão hủ, từng cái phân tích.”
“Về ký lục chi tiêu cùng nhiễu loạn: Quả thật, hoàn mỹ vô nhiễu ký lục không có khả năng. Cố, ký lục dàn giáo cần thiết là nhưng phối trí, nhưng phân tầng, nhưng cân nhắc. Ở tính năng mẫn cảm sinh sản hoàn cảnh, nhưng chỉ ký lục cao tầng thứ đồng bộ sự kiện, dị thường, cập mấu chốt hàm số biên giới, chi tiêu nhưng khống chế ở 1% dưới. Ở điều chỉnh thử hoặc tính năng phân tích giai đoạn, nhưng bắt đầu dùng càng tế viên độ ký lục ( như nội tồn phỏng vấn xung đột, hoãn tồn chưa mệnh trung ), tiếp thu so cao chi tiêu ( như 10-20% ). Phần cứng duy trì xác vì mấu chốt, nhiên tân một thế hệ xử lý khí ( như Intel PT, AMD Branch Trace ) đã cung cấp phần cứng mệnh lệnh truy tung, này chi tiêu cực thấp. Chúng ta nhưng thúc đẩy phần cứng gia tăng đối số liệu ỷ lại cùng đồng bộ sự kiện truy tung duy trì. Nhiễu loạn tồn tại, nhưng thông qua ở ký lục trúng thầu nhớ quan trắc điểm bản thân, cũng ở phân tích khi suy xét này khả năng ảnh hưởng, nhưng bộ phận chỉnh lý. Chúng ta theo đuổi chính là ‘ cũng đủ hảo ’ xấp xỉ, mà phi hoàn mỹ cảnh trong gương.”
“Về nhân quả mơ hồ tính cùng không thể quan trắc tính: Xác thật, bộ phận nhân quả không thể trực tiếp quan trắc. Nhưng chúng ta nhưng ký lục sở hữu khả quan trắc ‘ tiềm tàng nhân ’ ( như khóa thu hoạch, tin tức gửi đi, cùng chung lượng biến đổi viết ), cũng lợi dụng Lamport logic đồng hồ hoặc vector đồng hồ ở phần mềm tầng xây dựng một cái nhất trí nhân quả tự xấp xỉ. Đối với phần cứng nội tồn mô hình lỏng tính, nhưng thông qua ký lục nội tồn cái chắn thao tác cùng lợi dụng phần cứng cung cấp nhất trí tính sự kiện tung tích tới tăng cường. Phân tích khi, chúng ta thừa nhận nhân quả đồ khả năng không hoàn chỉnh, nhưng nhưng tiến hành mẫn cảm tính phân tích: Nếu nào đó tính năng bình cảnh hoặc bug kết luận nghiêm trọng ỷ lại với đồ trung nào đó mơ hồ nhân quả biên, tắc này kết luận không xác định, cần tiến thêm một bước thực nghiệm. Đem ‘ nhân quả mơ hồ ’ bản thân, chuyển hóa vì phân tích kết quả một cái tin tưởng độ chỉ tiêu.”
“Về xác định tính trọng phóng nhưng mở rộng tính: Toàn hệ thống, toàn chi tiết xác định tính trọng phóng xác không hiện thực. Nhưng chúng ta có thể theo đuổi bộ phận trọng phóng cùng xấp xỉ trọng phóng. Tỷ như, chỉ trọng phóng dẫn tới bug số ít mấy cái tương quan tuyến trình, cũng cố định chúng nó đan xen, mà làm mặt khác tuyến trình tự do vận hành. Hoặc là, lợi dụng ký lục logic thời gian chọc, ở mô phỏng khí trung trọng phóng mấu chốt đường nhỏ. Trọng phóng mục tiêu không phải xuất hiện lại mỗi một nạp giây, mà là xuất hiện lại dẫn tới riêng bug hoặc bình cảnh ‘ đồng phát cảnh tượng ’ bản chất. Theo phần cứng giả thuyết hóa cùng mô phỏng kỹ thuật tiến bộ, sáng tạo cùng ký lục hoàn cảnh độ cao nhất trí xuất hiện lại hoàn cảnh cũng càng vì được không.”
“Về chủ động tìm tòi tổ hợp nổ mạnh: Chúng ta đều không phải là muốn nghèo cử sở hữu đan xen. Mà là lợi dụng ký lục cùng phân tích được đến tri thức, trí năng mà dẫn đường tìm tòi. Tỷ như, thông qua phân tích thường thấy bug hình thức ( đủ số theo cạnh tranh, chết khóa, nguyên tử tính trái với ), sinh thành có nhằm vào đan xen thí nghiệm. Hoặc là, lợi dụng ký hiệu chấp hành cùng ước thúc cầu giải, chỉ thăm dò những cái đó khả năng trái với riêng thuộc tính đường nhỏ. Càng tiến thêm một bước, có thể ở trình tự mấu chốt khu vực cắm vào chút ít phi xác định tính lựa chọn điểm, từ thí nghiệm dàn giáo khống chế, do đó đem thật lớn đan xen không gian áp súc đến khả khống, có đại biểu tính tử tập. Đây là ‘ thông minh tìm tòi ’, mà phi sức trâu.”
“Mộc lão, ngài chỉ ra người quan sát nghịch biện, lão hủ tư chi quá sâu. Ở lượng tử lĩnh vực, quan trắc ảnh hưởng hệ thống; ở song hành lĩnh vực, quan trắc cũng như thế. Nhưng công trình thực tiễn nói cho chúng ta biết, cho dù không hoàn mỹ quan trắc, chỉ cần này ảnh hưởng nhưng bị nhận tri cùng chỉnh lý, là có thể cung cấp viễn siêu vô quan trắc thấy rõ. Này dàn giáo mục tiêu ( C ), phi ‘ đạt được song hành chấp hành duy nhất chân lý ’, mà là ‘ thành lập một cái đa phần biện suất, nhiều sự chính xác song hành chấp hành quan trắc cùng thực nghiệm ngôi cao, khiến cho khai phá giả có thể lấy khả khống phí tổn, thu hoạch cũng đủ thâm nhập lý giải, do đó hữu hiệu mà điều chỉnh thử cùng ưu hoá ’. Nó đem ký lục, phân tích, trọng phóng, chủ động thí nghiệm hòa hợp nhất thể, hình thành một cái từ sinh sản hoàn cảnh nhẹ lượng theo dõi, đến thí nghiệm hoàn cảnh chiều sâu phân tích, lại đến điều chỉnh thử hoàn cảnh chính xác xuất hiện lại hoàn chỉnh công cụ liên. Một chút cố chấp, vì ở song hành hỗn độn trung, bậc lửa mấy cái trong gió chi đèn. 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 mỹ quan trắc” chuyển hướng về phía “Như thế nào xây dựng thực dụng, xấp xỉ quan trắc công cụ liên”. Rất nhiều làm đại quy mô phân bố thức hệ thống, cao tính năng tính toán khai phá giả bắt đầu tham thảo, ở hiện có phần cứng cùng công cụ hạn chế hạ, loại này nhiều trình tự, nhưng phối trí tung tích ký lục cùng phân tích dàn giáo, hay không đại biểu đời sau tính năng cùng điều chỉnh thử công cụ phát triển phương hướng.
Chín nguyệt sau, công nghiệp giới cùng khai nguyên xã khu truyền đến quan trọng tiến triển:
1. Intel tuyên bố này “Dị bước song hành truy tung dàn giáo ( Asynchronous Parallel Trace, APT )” phần cứng mở rộng đề án cùng phần mềm nguyên hình. Nên đề án ở hiện có Intel PT ( xử lý khí truy tung ) cơ sở thượng, gia tăng rồi đối nguyên tử thao tác, nội tồn bài tự sự kiện, cùng với tuyến trình gian tin tức truyền lại phần cứng cấp ký lục duy trì, cũng cung cấp nguyên bộ ly tuyến phân tích công cụ, có thể trọng cấu ra có chứa khi tự cùng nhân quả quan hệ đồng phát sự kiện đồ. Sách bìa trắng xưng, nên kỹ thuật chỉ ở “Vì hiện đại song hành phần mềm cung cấp có thể so với xuyến hành trình tự điều chỉnh thử thể nghiệm khả quan trắc tính”. Luận văn trích dẫn bộ phận nhắc tới “Toàn tích ký lục cùng nhân quả phân tích” khái niệm.
2. Linux nội hạch xã khu xác nhập một cái tên là “resctrl trace” trọng đại mụn vá hệ liệt, nên công năng cho phép đối CPU hoãn tồn, nội tồn giải thông chờ cùng chung tài nguyên sử dụng tiến hành tế viên độ, thấp chi tiêu theo dõi cùng truy tung, cũng có thể cùng perf chờ hiện có công cụ tổng thể. Này vì định vị “Tính năng quấy nhiễu” cùng “Tài nguyên tranh dùng” loại bình cảnh cung cấp cường đại công cụ. Mụn vá đệ trình giả đang nói minh trung viết nói: “Này sử chúng ta có thể càng rõ ràng mà nhìn đến song hành công tác phụ tải gian lẫn nhau ảnh hưởng, là mại hướng hệ thống tính đồng phát tính năng phân tích một bước.”
Hai đại tiến triển, một ở phần cứng mặt thúc đẩy càng phong phú đồng phát sự kiện ký lục, một ở thao tác hệ thống mặt cung cấp mấu chốt tài nguyên tranh dùng quan trắc năng lực, tuy rằng khoảng cách Architect hoàn chỉnh lam đồ thượng xa, nhưng không thể nghi ngờ là ở chính xác phương hướng thượng bán ra kiên cố nện bước. Song hành tính toán khả quan trắc tính, đang ở từ “Thống kê thu thập mẫu” cùng “Xong việc suy đoán” hướng “Sự kiện truy tung” cùng “Nhân quả phân tích” diễn tiế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 đệ quy nhắc nhở:
“Phần mềm hòn đá tảng - đồng phát điều chỉnh thử: Toàn tích ký lục cùng nhân quả phân tích đường nhỏ nghiệm chứng (5/∞). “
“【 quyển thứ hai: Tin tức kỷ nguyên - phần mềm luyện ngục 】 thâm nhập. “
“Chúng ta bắt đầu có thể nhìn thấy song hành hỗn độn một góc, nhưng biểu đạt song hành ý đồ ngôn ngữ bản thân, hay không đã trở thành tân bình cảnh? “
“Đệ quy nhắc nhở: Công cụ ở tiến bộ, nhưng biên trình ngôn ngữ bản thân thiết kế, vẫn cứ hãm sâu ở biểu đạt lực, tính năng cùng dễ dùng tính cổ xưa tam giác trung. Tiếp theo tiết điểm đem thăm dò ngôn ngữ thiết kế căn bản mâu thuẫn. “
“Tiếp theo nghiệm chứng tiết điểm: Ngôn ngữ dã tâm —— đời sau biên trình ngôn ngữ ở “Biểu đạt lực”, “Tính năng” cùng “Dễ dùng tính” gian lấy hay bỏ. “
“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 song hành tính toán khả quan trắc tính tiêu chuẩn ( GPCOS ) bản kiến nghị 》, chỉ ở căn cứ vào Architect lam đồ, liên hợp chủ yếu phần cứng nhà máy hiệu buôn, thao tác hệ thống khai phá giả, biên trình ngôn ngữ xã khu, định nghĩa một bộ thống nhất song hành chấp hành sự kiện ký lục, tồn trữ cùng phân tích số liệu mô hình cùng tiếp lời tiêu chuẩn, lấy “Kết thúc trước mặt các nhà máy hiệu buôn công cụ liên lẫn nhau không kiêm dung, số liệu cô đảo san sát cục diện, xây dựng mở ra, thống nhất song hành khả quan trắc tính sinh thái”, cũng lại lần nữa khẩn cầu Architect chủ đạo kỹ thuật ủy ban.
“@ Victor “Tin tức chỉ có một trương chụp hình, biểu hiện nào đó tổ chức tình báo bên trong đánh giá báo cáo đoạn ngắn, trong đó đem “Toàn hệ thống chấp hành tung tích ký lục” kỹ thuật đánh giá vì “Cấp bậc cao nhất thẩm thấu cùng trinh sát công cụ”, cũng cảnh cáo “Đối thủ khả năng lợi dụng này loại kỹ thuật, đối mấu chốt cơ sở phương tiện phần mềm tiến hành không gián đoạn, vô góc chết theo dõi cùng hành vi phân tích, do đó phát hiện Lỗ hổng zero-day hoặc đánh cắp trung tâm thuật toán”. Chụp hình phía dưới, Victor bỏ thêm một hàng tự: “Ngươi vì điều chỉnh thử mở ra này phiến cửa sổ, cũng sẽ trở thành nhìn trộm hết thảy đôi mắt. Đương này đôi mắt không thuộc về ngươi khi, ngươi sẽ cảm thấy thoải mái sao?” Vũ hằng cảm thấy sống lưng lạnh cả người. Tiên tiến nhất công cụ, luôn là nhất thể hai mặt.
Vũ hằng tắt đi màn hình, mu bàn tay thượng kia hỗn loạn song hành cảm sớm đã bình ổn, nhưng “Quan trắc” sở ẩn chứa “Lý giải” cùng “Bại lộ” song trọng tính, lại làm nàng nỗi lòng khó bình. Nàng vừa mới tham dự một lần nữa tự hỏi như thế nào “Thấy” song hành thế giới.
Nàng biết, tiếp theo tràng khiêu chiến, đem từ lý giải vận hành khi hỗn độn, chuyển hướng đắp nặn sáng tạo khi ý đồ. Ở nơi đó, biên trình ngôn ngữ —— nhân loại tư duy đến máy móc mệnh lệnh nhịp cầu —— sở hữu cực hạn, sẽ trở thành trở ngại tư tưởng tự do chảy xuôi cuối cùng một trọng gông xiềng.
( chương 29 xong )
【 chương sau báo trước 】
Khi chúng ta có được quan trắc song hành hỗn độn công cụ, lại vẫn như cũ chịu giới hạn trong vụng về biểu đạt phương thức. Là tiếp tục ở hiện có ngôn ngữ gông cùm xiềng xích trung giãy giụa, vẫn là một lần nữa phát minh một loại có thể đồng thời khống chế tính năng, an toàn cùng nhân loại tư duy ngôn ngữ? Chương sau, chúng ta đem bước vào biên trình ngôn ngữ thiết kế cổ xưa chiến trường, trực diện kia dây dưa với “Cường đại”, “Nhanh chóng”, “Hữu hảo” chi gian không có khả năng tam giác.
Chương 30: 《 ngôn ngữ dã tâm —— đời sau biên trình ngôn ngữ ở “Biểu đạt lực”, “Tính năng” cùng “Dễ dùng tính” gian lấy hay bỏ 》
* mâu thuẫn:
““Lý tưởng biên trình ngôn ngữ ứng biểu đạt lực cường ( ngắn gọn, trừu tượng ), tính năng cao ( gần sát phần cứng ), thả dễ học dễ dùng ( an toàn, hữu hảo ) ( A ). Nhưng hiện có ngôn ngữ thường thường chỉ có thể chiếu cố hai người: C/C++ tính năng cao nhưng nguy hiểm phức tạp; Python dễ dùng nhưng tính năng kém; Rust an toàn thả tính năng hảo nhưng học tập đường cong đẩu tiễu. Ý đồ ba người chiếu cố ngôn ngữ thường thường cuối cùng mập mạp, phức tạp hoặc ở nào đó lĩnh vực thỏa hiệp ( B ).” “