Xây dựng GPS trên CPU 486-SX 25MHz: Câu chuyện phần mềm đi trước thời đại 5 năm

Trong giới lập trình nhúng, có những dự án bị lãng quên theo thời gian nhưng lại chứa đựng những bài học kỹ thuật đáng kinh ngạc. Câu chuyện về một hệ thống GPS thời gian thực chạy trên CPU 486-SX 25MHz là một ví dụ như vậy.

Bối cảnh: Dự án bản đồ di động thời gian thực

Vào năm 1993, một lập trình viên hệ thống nhúng được thuê xây dựng thứ mà thời đó gọi là "màn hình bản đồ di động điều khiển bởi GPS thời gian thực" — hay nói đơn giản, chính là chiếc GPS mà ngày nay có mặt trong gần như mọi điện thoại và máy tính bảng trên thế giới.

Yêu cầu phần cứng khá khắt khe so với tiêu chuẩn thời bấy giờ:

• CPU 486-SX chạy ở 25MHz — đây là phiên bản SX không có bộ đồng xử lý toán học (math co-processor)
• 32MB RAM
• Phần mềm nạp sẵn trong ROM
• Màn hình hiển thị 1024x768

Đội ngũ phát triển thậm chí còn được cấp một chiếc laptop cấu hình tương tự để thử nghiệm. Điểm mấu chốt nằm ở việc thiếu bộ đồng xử lý toán học: điều này khiến mọi phép tính số thực dấu phẩy động trở thành gánh nặng cực lớn cho CPU.

Trở ngại: Toán học dấu phẩy động quá đắt đỏ

Ở thời điểm đó, gần như toàn bộ thư viện tính toán cho ứng dụng GIS (Hệ thông tin địa lý) đều dựa trên dấu phẩy động và vô số công thức lượng giác phức tạp. Với một CPU thiếu bộ đồng xử lý toán học, cách tiếp cận này gần như bất khả thi nếu muốn đạt hiệu năng thời gian thực.

Đây chính là rào cản kỹ thuật đã khiến các thiết bị GPS tiêu dùng phải chờ thêm nhiều năm mới xuất hiện: mãi đến khi có CPU rẻ hơn, đủ nhanh để xử lý số thực dấu phẩy động, các thuật toán lượng giác truyền thống mới chạy nổi.

Giải pháp: Ô Voronoi và số nguyên 8/16-bit

Bước ngoặt đến từ một bài báo đăng trên Dr. Dobb's Journal vài tháng trước đó. Bài báo giới thiệu một thư viện tên là Hipparchus của công ty Geodesy, sử dụng cách tiếp cận hoàn toàn khác:

• Dùng ô Voronoi (Voronoi Cells) để xử lý hình học không gian
• Quy phần lớn phép toán về tính toán số nguyên 8-bit và 16-bit
• Chỉ giữ lại một hoặc hai phép tính dấu phẩy động độ chính xác đơn

Điều đáng kinh ngạc là cách tiếp cận này thậm chí còn đạt độ phân giải cao hơn cả toán dấu phẩy động độ chính xác mở rộng (extended-precision floating point).

Lập trình viên này đã dựng một nguyên mẫu từ mã nguồn trong bài báo và bất ngờ trước hiệu quả của nó. Sau đó, khách hàng được thuyết phục mua bản quyền thư viện Hipparchus, và một mô hình hoàn chỉnh đã ra đời và hoạt động được.

Đi trước thời đại tới 5 năm

Thành tựu này có ý nghĩa đặc biệt khi đặt trong bối cảnh lịch sử:

• Nó ra đời 5 năm trước khi bất kỳ ai nhìn thấy thiết bị GPS tiêu dùng nào từ Garmin hay Magellan
• Phần mềm này chạy nhanh gấp đôi các thiết bị GPS thế hệ đầu tiên đó
• Nó cập nhật màn hình màu 1024x768 mỗi 2 giây, trong khi các thiết bị GPS tiêu dùng đầu tiên chỉ có màn hình đơn sắc nhỏ xíu 360x240
• Phải mất 10 năm sau đó mới có thiết bị GPS tiêu dùng đạt hiệu năng tương đương mà không cần bộ đồng xử lý toán học

Kết cục dang dở và bài học về sở hữu trí tuệ

Dự án không có cái kết trọn vẹn. Khách hàng gặp vấn đề tài chính, buộc lập trình viên phải bàn giao toàn bộ sản phẩm cho họ. Không ai biết số phận dự án sau đó ra sao — tác giả cho rằng nếu mọi chuyện suôn sẻ, nó có thể đã trở thành một doanh nghiệp trị giá hàng tỷ đô la.

Điều thú vị là sau đó có người nghe tin về thành quả này và liên hệ trực tiếp để đặt hàng. Nhưng vì chỉ là nhà thầu (contractor) chứ không sở hữu sở hữu trí tuệ (IP), ông không thể nhận lời.

Tác giả cũng chia sẻ một tiếc nuối về mặt pháp lý: Phoenix Technologies từng xây dựng BIOS cho các nhà sản xuất máy tính tương thích IBM PC theo phương pháp "clean-room" mà không hề bị kiện. Phải đến năm 1989, vụ kiện giữa Apple và Franklin Computer mới ngã ngũ theo hướng có lợi cho phương pháp clean-room. Nếu biết điều này vào năm 1993, lập trình viên nói trên đã có thể chỉ cần bắt đầu lại từ bản đặc tả thay vì phụ thuộc vào IP của người khác.

Ý nghĩa với giới phát triển phần mềm ngày nay

Câu chuyện này mang lại vài bài học vẫn còn nguyên giá trị:

• Ràng buộc phần cứng có thể thúc đẩy sáng tạo đột phá. Khi không thể dùng dấu phẩy động, việc quy về số nguyên buộc phải tìm ra thuật toán thông minh hơn.
• Toán học rời rạc đôi khi vượt trội hơn số thực dấu phẩy động. Ô Voronoi và số nguyên không chỉ nhanh hơn mà còn chính xác hơn trong bài toán cụ thể này.
• Sở hữu trí tuệ và hợp đồng là yếu tố sống còn. Một sản phẩm kỹ thuật xuất sắc có thể biến mất chỉ vì vấn đề pháp lý và thương mại, chứ không phải vì công nghệ kém.

Với người dùng Việt Nam, câu chuyện này đặc biệt gần gũi: nhiều kỹ sư phần mềm trong nước từng tham gia các dự án gia công (outsourcing) mà không giữ quyền sở hữu sản phẩm. Việc hiểu rõ điều khoản hợp đồng và chiến lược IP ngay từ đầu có thể quyết định việc một ý tưởng công nghệ tốt có cơ hội phát triển hay không.