Lỗi bản đồ động cơ trời mưa, 90 phút chờ đợi và cuộc trưng cầu về độ phức tạp của F1

Đèn báo trên vô lăng sáng lên, tay đua đạp ga, và chiếc xe nằm im. Trên tường pit, các kỹ sư nhìn màn hình dữ liệu rồi nhìn nhau. Không ai nói gì trong vài giây đầu tiên, vì có những khoảnh khắc mà im lặng là phản ứng duy nhất hợp lý. Trời mưa. Mặt đường ướt và lạnh. Và ở một thời điểm trong buổi chiều Chủ nhật vừa qua, cả đoàn xe của giải đua xe Công thức 1 đứng bất động như một dãy máy tính bị ai đó rút phích cắm cùng lúc. Vòng khởi động, vòng chạy chậm mà mọi tay đua phải hoàn thành trước khi xuất phát, lẽ ra chỉ là một thủ tục. Nó là lúc để làm nóng lốp, làm nóng phanh, kiểm tra nhiệt độ và áp suất, và để mỗi tay đua tìm lại nhịp thở. Nhưng lần này, nó biến thành một cuộc kiểm tra độ bền của hệ thống điện tử. Nhiều chiếc xe không thể tăng tốc sạch sẽ. Không phải một chiếc. Không phải hai chiếc của cùng một đội. Mà là một loạt xe, thuộc nhiều đội khác nhau, cùng chung một triệu chứng: động cơ không truyền lực ra bánh theo đúng lệnh. Ban tổ chức quyết định hủy xuất phát. Cuộc đua bị đẩy lùi. Khi cờ xanh được phất lại, đồng hồ đã trôi qua khoảng 90 phút. Một tiếng rưỡi mà hàng trăm kỹ sư, hàng nghìn nhân viên đường đua và hàng triệu khán giả ngồi chờ. Trong khoảng thời gian đó, một nhóm người ở đâu đó trên đường pit đã viết lại một đoạn mã, thử nó, và gửi nó lên toàn bộ dàn xe. Để hiểu chuyện gì đã xảy ra, cần nói về một thứ ít ai để ý trong một chiếc xe đua hiện đại: bản đồ động cơ cho thời tiết ướt. Trong điều kiện đường khô, động cơ được lập trình để truyền lực mạnh và dứt khoát. Trong điều kiện ướt, lốp mất độ bám, và nếu mô-men xoắn vẫn được đẩy ra như trên đường khô, bánh sau sẽ quay trượt, xe xoay, và tay đua mất kiểm soát trước cả khi anh ta kịp phản ứng. Vì vậy, mỗi đội, và ở tầng sâu hơn là các nhà sản xuất động cơ, xây dựng một bản đồ mưa: một bộ thông số điều chỉnh cách động cơ nhả lực, cách hệ thống kiểm soát lực kéo can thiệp, và cách hộp số chuyển số mượt hơn để bánh xe không phá vỡ độ bám. Đây là phần mềm. Nó không phải một cánh gió mới, không phải một bộ phận khí động học được mang đến đường đua trong một thùng gỗ. Nó là một lớp mã lệnh nằm giữa chân ga của tay đua và bánh xe, một tầng trung gian vô hình mà không khán giả nào nhìn thấy và hầu như không bình luận viên nào nhắc đến. Và trong buổi chiều Chủ nhật vừa qua, lớp mã lệnh đó thất bại. Điều đáng chú ý nhất nằm ở chữ "nhiều". Nếu chỉ một chiếc xe của một đội gặp lỗi, câu chuyện là chuyện nội bộ của đội đó: một sai sót hiệu chuẩn, một lần cập nhật hỏng, một kỹ sư mệt mỏi. Nhưng khi nhiều chiếc xe, vốn được trang bị những động cơ khác nhau từ những nhà sản xuất khác nhau, cùng đứng im trong cùng một khoảnh khắc, dấu vân tay kỹ thuật chỉ về một nơi khác hẳn: một tầng dùng chung. Bộ điều khiển điện tử tiêu chuẩn, cùng một bản phát hành phần mềm chung, được cài trên toàn bộ dàn xe. Đó là lý do một lỗi ở tầng này có thể hạ gục cả đoàn xe chỉ trong vài phút. Trong kỹ thuật, người ta gọi đó là điểm hỏng đơn lẻ, thứ mà mọi hệ thống phức tạp đều sợ, và thứ mà chính sự phức tạp tạo ra. Càng nhiều bộ phận chia sẻ một tầng chung, thì một lỗi nhỏ ở tầng đó càng có sức công phá lớn. Tôi từng tin vào bảng số, cho đến khi bảng số bị xé toạc bởi một pha phản công. Trong nhiều năm đọc dữ liệu đua xe, tôi học được một điều: những chỉ số đẹp nhất thường che giấu những lỗ hổng xấu nhất. Bảng thời gian vòng chạy không đo được một dòng mã bị lỗi. Đồ thị tốc độ tối đa không nhìn thấy một bản đồ mưa chưa từng được kiểm chứng trong đúng điều kiện kích hoạt. Dữ liệu chỉ trả lời những câu hỏi mà ta biết cách đặt ra; nó im lặng trước những câu hỏi ta chưa từng nghĩ tới. Và đây là điểm mấu chốt về mặt kỹ thuật, thứ mà tôi cho là quan trọng hơn cả sự cố: lỗi này không phải lỗi về hướng thiết kế. Nó là lỗi về độ phủ kiểm chứng. Câu chuyện nguyên nhân được đưa ra rất rõ ràng. Cả mùa giải năm nay có quá ít lần chạy trong điều kiện ướt. Những tình huống cụ thể kích hoạt lỗi chưa từng xuất hiện trước đó. Nói cách khác, bản đồ mưa tồn tại, được viết ra, được lưu trữ, nhưng nó chưa bao giờ được chạy thử trong đúng cái tổ hợp điều kiện đã đánh thức con bọ phần mềm. Nó là một giải pháp cho một bài toán mà không ai từng gặp, và vì không ai từng gặp, không ai kiểm tra. Trong kỹ thuật phần mềm, người ta gọi đó là lỗ hổng độ phủ kiểm thử. Bạn viết một đoạn mã, bạn thử nó trong mười tình huống, và nó chạy tốt trong mười tình huống đó. Nhưng tình huống thứ mười một, một tổ hợp của nhiệt độ, độ ẩm, độ bám mặt đường, áp suất lốp và tải động cơ chưa từng gặp, lại là nơi lỗi nằm chờ. Không ai kiểm tra, nên không ai biết. Cho đến khi mặt đường ướt, đèn báo sáng, và cả đoàn xe đứng im. Điều đáng nói là bản sửa được tung ra rất nhanh. Một mã phần mềm mới được phát hành, và cuộc đua tiếp tục. Tốc độ đó cho thấy lỗi không hề khó sửa về mặt kỹ thuật. Cái khó nằm ở chỗ khác: không ai biết trước được cái vỏ điều kiện nào sẽ kích hoạt nó, và trong một môn thể thao mà mọi chặng đua đều được lên lịch trước cả năm, không có chỗ cho sự ngẫu nhiên của thời tiết trong kế hoạch kiểm thử. Nhìn từ góc độ xã hội học, đây là một khoảnh khắc hiếm hoi mà cả một hệ thống cấu trúc lộ ra trước mắt. Thường thì đường đua che giấu sự phụ thuộc lẫn nhau: mỗi đội trông như một bộ tộc độc lập với ngôn ngữ riêng, nghi lễ riêng, lòng trung thành riêng. Nhưng khi một tầng phần mềm dùng chung thất bại, cái vỏ của sự độc lập bị bóc đi, và người ta thấy cả làng đua thực ra đang đứng trên cùng một nền móng. Một nền móng do tập thể xây, và do tập thể chịu trận khi nó nứt. Và đây là lúc câu chuyện rời khỏi đường đua để bước vào phòng họp. Trong hai ngày sau cuộc đua, một tay đua đã biến sự cố kỹ thuật này thành một cuộc trưng cầu về triết lý của môn thể thao. Carlos Sainz, người đang thi đấu cho Williams và quan trọng hơn là đang giữ vai trò giám đốc Hiệp hội Tay đua Công thức 1, lên tiếng với một câu hỏi nặng ký: ai đã quyết định cách đây năm năm rằng đây là hướng mà cả làng đua phải đi? Đó là một câu hỏi pháp lý hóa trang thành câu hỏi kỹ thuật. Sainz phàn nàn về nhiều thứ hơn một chiếc xe hỏng. Ông đang chất vấn chính kiến trúc quy định của môn đua xe, bộ luật kỹ thuật được thống nhất nhiều năm trước và sẽ định hình toàn bộ chu kỳ mới, vốn được thiết kế để bắt đầu vào năm 2026 với động cơ lai điện nhiều hơn, khí động học chủ động, và một triết lý cân bằng năng lượng hoàn toàn khác. Vị thế giám đốc hiệp hội tay đua khiến phát ngôn của ông không còn là lời càu nhàu của một cá nhân; nó là tiếng nói của một tập thể. Về phía đội đua, Laurent Mekies, giám đốc đội Red Bull, trả lời bằng một giọng ôn hòa đáng ngờ. Ông nói đây là một lời nhắc nhở tốt cho tất cả mọi người, rằng cần bảo đảm sự phức tạp không vượt khỏi tầm kiểm soát, và rằng cả làng đua cần bảo vệ chính mình trước những tình huống như vậy. Đọc hai phát ngôn cạnh nhau, tôi thấy một thỏa thuận ngầm. Một tay đua nói to điều mà một giám đốc đội chỉ dám nói nhỏ. Cả hai đều không buộc tội liên đoàn ô tô quốc tế. Cả hai đều hướng mũi dùi vào bộ luật, vào kiến trúc, vào quyết định tập thể của quá khứ, chứ không vào con người cụ thể nào. Và liên đoàn trả lời bằng động thái quen thuộc nhất của mọi tổ chức khi bị chất vấn: mở một cuộc rà soát toàn diện. Nhưng ở đây tôi phải cẩn thận, bởi đây là chỗ một người viết dễ sa vào cái bẫy đẹp nhất: biến một sự cố thành một biểu tượng. Một lỗi phần mềm duy nhất, dù nghiêm trọng, là một mẫu dữ liệu quá nhỏ để kết tội cả một kiến trúc quy định. Nếu tôi nói rằng giải đua này đã quá phức tạp, tôi đang nói một câu đúng nhưng vô nghĩa, bởi nó đã phức tạp từ lâu, và chính sự phức tạp đó tạo ra tốc độ mà chúng ta yêu. Vấn đề khó chịu nằm ở chỗ khác. Độ phức tạp không sai. Điều sai là độ phức tạp tăng nhanh hơn năng lực kiểm chứng. Bạn có thể xây dựng một hệ thống phức tạp đến đâu cũng được, miễn là bạn có đủ thời gian và đủ dữ liệu để thử nó trước khi ai đó phải sống với nó trên đường đua. Khi tốc độ phát triển vượt qua tốc độ kiểm thử, bạn không còn kiểm soát được hệ thống nữa. Hệ thống kiểm soát bạn. Và buổi chiều Chủ nhật vừa qua là khoảnh khắc hệ thống kiểm soát cả một đoàn xe. Nước Anh không tầm thường, chỉ là họ giấu sự vĩ đại dưới lớp áo hoài nghi. Giới truyền thông Anh, nơi tôi ngồi viết những dòng này từ London, đã dành nhiều ngày để chế giễu một nền đua xe hiện đại mà họ cho là quá mong manh. Nhưng đằng sau tiếng cười đó là một lo lắng thật, và tôi nghĩ nó chính đáng: một môn thể thao giao toàn bộ tốc độ của mình cho phần mềm thì cũng giao toàn bộ sự mong manh của mình cho phần mềm. Người Anh hoài nghi không phải vì họ ghét sự tiến bộ, mà vì họ đã sống đủ lâu để biết rằng mọi hệ thống phức tạp rồi cũng sẽ hỏng vào một ngày mưa. Cũng cần nói thêm về những người chịu thuế phức tạp nhiều nhất. Các đội nhỏ, các đội khách hàng, những đội có ít kỹ sư phần mềm hơn và ít thời gian kiểm chứng hơn, là những người phải chạy trên cùng một tầng phần mềm dùng chung nhưng có ít nguồn lực hơn để hiểu nó. Sự cố lần này không phân biệt giàu nghèo, nhưng năng lực phòng ngừa thì có. Đó là một bất công cấu trúc mà bảng xếp hạng không bao giờ cho thấy. Vậy điều gì sẽ xảy ra tiếp theo? Dự đoán của tôi có thể kiểm chứng được, và tôi sẵn sàng để nó bị bắt bẻ. Cuộc rà soát của liên đoàn nhiều khả năng sẽ không thay đổi kiến trúc quy định. Nó sẽ tạo ra một quy trình mới: một bước phê duyệt bổ sung cho mọi thay đổi phần mềm điều khiển, một yêu cầu bắt buộc về việc kiểm chứng bản đồ mưa trước mỗi chặng đua có nguy cơ mưa, và có thể là một bộ tiêu chuẩn tối thiểu cho các tình huống thời tiết cực đoan. Điều đó tốt cho an toàn và tệ cho tốc độ. Mỗi cổng phê duyệt mới là một khoản thuế về thời gian đánh vào mọi đội, kể cả những đội nhỏ với ít kỹ sư hơn. Và nếu một sự cố tương tự xảy ra ở một chặng đua quyết định ngôi vô địch, vào một chiều mưa cuối mùa, cái giá phải trả sẽ không còn là 90 phút chờ đợi trong im lặng. Nó sẽ là một danh hiệu bị bẻ cong bởi một dòng mã. Tôi học cách đặt cược vào kẻ lạ mặt, và thua để hiểu rằng mình đã thắng. Lần này, kẻ lạ mặt không phải một tay đua vô danh trên một đường đua xa lạ. Nó là một dòng mã không ai để ý, nằm im trong bản đồ mưa, chờ đúng một buổi chiều ướt để nhắc cả làng đua rằng: tốc độ được tạo ra bởi con người, nhưng đôi khi bị dừng lại bởi những gì con người viết ra và quên kiểm tra.