Đang tải bảng tin…
Lobsters1 Hot0 bình luận13 phút đọc
InvisiCaps: The Fil-C Capability Model
Tóm tắt bởi AI
Fil-C triển khai C/C++ an toàn bộ nhớ bằng hệ thống con trỏ khả năng InvisiCaps, nơi mỗi con trỏ chứa "lower bound" tin cậy ẩn cùng giá trị 64-bit, còn metadata khả năng nằm ngoài không gian địa chỉ chương trình. Hệ thống này hỗ trợ kiểm tra biên, phát hiện lỗi use-after-free, bảo vệ read-only, an toàn con trỏ hàm, tương thích hoàn toàn với C/C++ (kể cả unions và atomic) nhưng vẫn giữ nguyên kích thước con trỏ 64-bit.
Vì sao nên đọc: Lập trình viên nên đọc bài này để khám phá cách Fil-C giải quyết các vấn đề an toàn nhớ trong C/C++ bằng cách kết hợp khả năng ẩn (capabilities) với hiệu suất cao, giúp phát triển ứng dụng bảo mật mà không cần thay đổi kiến trúc mã nguồn.
Bạn nhớ được gì?
Trả lời 3 câu hỏi ngắn để nhận điểm thưởng cho bài này. Chỉ làm khi bạn muốn lấy điểm.
tối đa +17 điểm
3 câu hỏi · dưới một phút · không bắt buộc
Nguồn: https://fil-c.org/invisicaps. 8sync News chỉ tóm tắt và dẫn link; bản quyền nội dung thuộc tác giả và nguồn gốc.
Hệ sinh thái 8 Sync Dev
Một tài khoản, cả hệ sinh thái
Đọc tin ở đây, luyện code, học theo lộ trình và luyện IELTS trên các sản phẩm anh em — tất cả kết nối với nhau trong hệ sinh thái 8 Sync Dev.
8syncdev.com
8syncdev.comCổng chính của hệ sinh thái: giới thiệu sản phẩm, blog và bảng giá trọn bộ.
Khám pháKhóa học
course.8syncdev.comHọc theo lộ trình rõ từng chặng: video, quiz chấm tự động, certificate và mentor đang làm nghề.
Xem lộ trìnhLuyện code
coding.8syncdev.comHơn 600 bài FREE, đề tiếng Việt, chấm tự động 7 ngôn ngữ — chạy ngay trên trình duyệt.
Đề xuất cho bạn
Anton Zhiyanov63 Hot23 phútAI
Go-flavored concurrency in C
Bài viết phân tích cách triển khai các nguyên thủy lập trình song song theo phong cách Go trong C bằng POSIX threads cho dự án Solod (một trình biên dịch Go-to-C). Nó đề cập đến các wrapper cho mutex/cond, atomics, worker pools, channels có/không buffer, và so sánh hiệu năng chi tiết với Go. Kết quả chính: pthread-based concurrency gần tương đương Go (~10% chênh lệch) ở các tác vụ coarse-grained, nhưng chậm hơn 7-23 lần ở các thao tác fine-grained do chi phí đánh thức kernel, so với scheduler userspace của Go.
Bạn nên đọc để hiểu cách chuyển đổi cơ chế đồng thời kiểu Go sang C bằng pthreads, giúp hiểu rõ những trade-off giữa hiệu năng, phức tạp và sự tương thích khi xây dựng các ứng dụng đa luồng trên nền tảng C.
