Introduction to µUBSan - a clean-room reimplementation of the Undefined Behavior Sanitizer runtime

The fastest double-to-string algorithm you’ve never heard of

Thuật toán yy trong thư viện yyjson, thuộc họ Schubfach, chuyển đổi double sang string nhanh hơn nhờ chỉ dùng một phép nhân với lũy thừa 10 đã tính trước, thay vì hai hoặc ba như phiên bản cổ điển. Bài viết phân tích chi tiết bốn giá trị thập phân ứng cử, ba điều kiện tiên quyết, và giải thích trường hợp biên 116 như một hiệu chỉnh cố định.

Những lập trình viên cần tìm hiểu về yyjson và tối ưu hóa chuỗi số thực sẽ tìm thấy trong bài giải pháp hiệu quả hơn nhiều so với các phương pháp truyền thống, đặc biệt khi muốn giảm thiểu số lần nhân và trùng lặp tính toán trong việc chuyển đổi double thành chuỗi.

Relying on Go

Bài viết đề cập đến việc tận dụng các công cụ (tooling) và thư viện chuẩn (standard …

Solod 0.3: Concurrency, JSON, more safety

Solod 0.3 là phiên bản mới của ngôn ngữ lập trình Solod, hỗ trợ concurrency, JSON và cải thiện độ an toàn. Solod là tập con nghiêm ngặt của Go, có thể dịch sang C thông thường.

Lập trình viên muốn khám phá cách áp dụng tính đồng thời (concurrency) trong Go mà không cần phụ thuộc vào các tính năng phức tạp của ngôn ngữ, và tìm hiểu về Solod 0.3 – một biến thể của Go có thể biên dịch thành C – để mở rộng kiến thức về an toàn và hiệu suất trong các dự án mở rộng.

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.

GitHub - tomasz-lisowski/swsim: A software SIM card.

swSIM là trình giả lập SIM card hoàn toàn bằng phần mềm, mã nguồn mở, không cần phần cứng vật lý. Nó kết nối với PC qua PC/SC nhờ swICC reader, tương thích với mọi điện thoại có khe SIM, được xây dựng bằng make/gcc và không phụ thuộc runtime.

Lập trình viên phát triển ứng dụng di động hoặc hệ thống liên quan đến SIM card nên đọc để tìm hiểu cách tạo mô phỏng SIM card hoàn toàn phần mềm, giúp tiết kiệm chi phí phát triển và mở rộng khả năng tương thích với các thiết bị không cần thiết bị vật lý.

b4 0.16.0 released

Phiên bản b4 0.16.0 ra mắt với tính năng mới "b4 bugs" giúp theo dõi lỗi thông qua git-bug ngay trong repository, cùng nhiều cải tiến cho "b4 review" như hỗ trợ cron, plugin Vim/Emacs, và thay thế git-filter-repo bằng pygit2 cho việc chỉnh sửa lịch sử.

Lập trình viên làm việc với kernel Linux hoặc quản lý workflow patch sẽ tìm hiểu b4 0.16.0 để khám phá cách tích hợp quản lý bug và review trực tiếp trong Git, giảm thiểu phụ thuộc vào các dịch vụ bên ngoài và cải thiện hiệu suất trong quá trình phát triển.

sizeof is surprisingly difficult to parse in c

Việc phân tích toán tử sizeof trong C phức tạp hơn tưởng vì ngoài cú pháp cơ bản còn phải xử lý các trường hợp như compound literals (sizeof(int){0}) hay chuỗi toán tử hậu tố (ví dụ sizeof(T){}.x[0]()). Ngoài ra, sizeof(int)+1 còn bị nhầm lẫn thành biểu thức cộng thay vì kích thước của một cast, gây khó khăn khi kết hợp phân tích cú pháp giữa cast và biểu thức unary.

Lập trình viên nên đọc bài này để hiểu cách tránh lỗi khi xử lý sizeof trong C, đặc biệt khi đối mặt với trường hợp như compound literal, postfix operator hoặc biểu thức phức tạp, để viết code chính xác và tránh các lỗi biên dịch không mong muốn.

InvisiCaps: The Fil-C Capability Model

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.

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.