Trạng thái sự thật: Chưa xảy ra — Kế hoạch Phase Y (Sprint 205-218).
Nơi thử lửa thực sự của một ngôn ngữ lập trình hệ thống là các hệ thống nhúng bare-metal — những vi điều khiển có dung lượng RAM chỉ vài chục KB và hoàn toàn không có hệ điều hành nâng đỡ. Đây là vùng đất thống trị của C trong suốt nửa thế kỷ qua.
Để bước vào vùng đất này, DUY phải chứng minh được cam kết "visible cost" của mình. Cú pháp --freestanding đã hoàn thành ở Phase E sẽ được nâng cấp thành một profile nhúng đặc biệt. Trong profile này, mọi hành vi phân bổ bộ nhớ động trên heap (effect alloc) sẽ bị cấm tuyệt đối ở compile-time. Lập trình viên chỉ được sử dụng bộ nhớ tĩnh (static allocation) hoặc bộ nhớ trên stack, kết hợp với cơ chế region để quản lý lifetime của dữ liệu tạm thời.
Chúng tôi sẽ viết các driver điều khiển phần cứng (như GPIO, UART, SPI) trực tiếp bằng DUY cho các dòng chip phổ biến như ARM Cortex-M hoặc RISC-V. Không runtime ẩn, không garbage collector pause, mã nguồn DUY biên dịch ra machine code sẽ chạy với hiệu năng và độ trễ ngắt (interrupt latency) tối ưu ngang bằng với mã nguồn C được tối ưu hóa thủ công. Lập trình viên nhúng sẽ được giải phóng khỏi nỗi sợ hãi phân mảnh heap mà không phải hy sinh bất kỳ tiện ích lập trình hiện đại nào.
Bình luận (0)
Đang tải bình luận...