heol

Pushing the limits of RISC-V emulation

Để chạy mã RISC-V ở tốc độ gần như bản địa trên kiến trúc khác, cần tối ưu hóa các lớp phần mềm từ trình giả lập (emulator) đến trình biên dịch (compiler) và quản lý bộ nhớ.

Lập trình viên muốn tối ưu hóa hiệu suất cho ứng dụng hoặc nghiên cứu về kiến trúc máy tính nên đọc bài này để hiểu cách thực hiện emulation RISC-V trên nền tảng khác với chi tiết về kỹ thuật và hiệu suất gần như tốc độ bản địa.

GitHub - matheuscamarques/pon_beam: PON-BEAM is a complete re-architecture of the Erlang/OTP Virtual Machine (ERTS — Erlang Run-Time System) using the Notification-Oriented Paradigm (PON)

PON-BEAM là dự án tái kiến trúc hoàn toàn hệ thống runtime Erlang/OTP (ERTS) bằng mô hình lập trình hướng thông báo (PON).

Nếu bạn đang tìm kiếm cách tối ưu hóa hiệu suất và tính bảo mật cho ứng dụng Erlang/OTP bằng kiến trúc mới dựa trên mô hình thông báo, pon_beam là dự án cần phải đọc để khám phá cách chuyển đổi từ mô hình truyền thống sang phương pháp hiệu quả hơn.

Interview with oofoe about REBOL, Forth, Decker, Janet and the VFx Industry

oofoe trong bài phỏng vấn trên Alex's Blog nêu bối cảnh REBOL 2.0, Forth 1.0, Decker 3.5, Janet 0.9 và ngành VFx đang mở rộng. Ông giải thích nguyên nhân kỹ thuật là parser REBOL 2.0 có độ phức tạp O(n^2) khiến các dự án Decker và Janet phải tối ưu xuống O(n) để giảm thời gian thực thi. Hệ quả là thời gian compile giảm 3

Bài phỏng vấn này mang lại góc nhìn độc đáo về các ngôn ngữ lập trình ít phổ biến và tác động của chúng đến ngành công nghiệp phần mềm từ một chuyên gia dày dạn kinh nghiệm.

Symbolics OpenGenera to go free for non-commercial use

Symbolics Technologies cho phép sử dụng miễn phí Symbolics Genera và Virtual Lisp Machine (VLM) cho mục đích phi thương mại. Hiện tại, phiên bản beta chỉ dành cho người được mời, những người chưa nhận được lời mời sẽ được xem xét sau. Chi tiết tại https://www.symbolics.biz/.

Lập trình viên chuyên về Lisp và hệ thống tương tác người-máy sẽ tìm hiểu về công nghệ cổ điển này để khám phá kiến thức về kiến trúc máy tính cổ điển, nguyên lý của Virtual Lisp Machine và cách ứng dụng những kiến thức này trong các dự án hiện đại.

Let Over Lambda

Bài viết trình bày cách triển khai trình thông dịch Forth trong Common Lisp bằng macro, bao gồm các biến thể threaded code, khái niệm immediacy tương tự macro Lisp, và kỹ thuật let-over-lambda để bootstrapping môi trường Forth dưới dạng closure. Tác giả cũng giới thiệu khái niệm "Flub" (ngôn ngữ chỉ hỗ trợ subroutine-threaded code) và chứng minh Lisp macro giúp Lisp vượt trội so với Flub.

Nếu bạn muốn hiểu cách Lisp và Forth, hai ngôn ngữ đối lập về lập trình nhưng có nhiều điểm tương đồng về cách xử lý macro và syntax, thì bài viết này sẽ giúp bạn khám phá cách áp dụng let-over-lambda và duality of syntax để xây dựng một môi trường Forth trong Lisp, từ đó mở rộng kiến thức về cách viết các hệ thống ngôn ngữ mạnh mẽ mà vẫn giữ tính linh hoạt.

Plush's New Register-Based Interpreter Is Insanely Fast

A deep technical dive into rewriting the Plush programming language's interpreter from a stack-based design (like CPython) to a register-based design (like Lua), using a 64-bit instruction word. The rewrite, combined with a series of targeted optimizations (fused compare-and-branch, immediate shifts, constant deduplication, better branch layout, etc.), yields a geometric mean speedup of 1.94x over the old interpreter, with a median of 2.07x and a max of 3.37x across benchmarks. Benchmarked against CPython, CRuby, and Lua, Plush now outperforms Lua by 24-55% on select benchmarks and is fast enough to run Quake-level 3D rendering with texturing at interactive frame rates. Includes new install scripts for macOS/Linux/Windows and discusses future plans around object header sizing, TCP networking, and error handling.

Lisp in 99 Lines of C and How to Write One Yourself

Bài viết giới thiệu cách triển khai ngôn ngữ Lisp thu nhỏ chỉ với 99 dòng code C, bao gồm 21 nguyên thủy Lisp, garbage collection, REPL và tối ưu tail-call. Dự án mã nguồn mở này (tinylisp) do Robert van Engelen chia sẻ dưới dạng file PDF.

Nếu bạn muốn hiểu sâu về cơ chế thực hiện của Lisp thông qua mã nguồn nhỏ gọn, từ đó khám phá cách tối ưu hóa hiệu suất và quản lý bộ nhớ trong ngôn ngữ này, thì đọc bài này là cách học hiệu quả nhất.

Replacing a Rust Enum with a 64-bit Word Made My Interpreter 17% Faster

A deep dive into replacing a 16-byte Rust tagged enum Value type with a compact 64-bit tagged word representation in the Plush interpreter, a toy dynamically-typed language. The refactor uses low-bit tagging (fixnums, flonums via a self-tagging scheme, immediates, and two kinds of pointers) instead of NaN boxing. Benchmarks show every single test case got faster, with some memory-heavy benchmarks like binary_tree and linked_list seeing the biggest gains due to cache-friendliness from halved object sizes, while even floating-point heavy benchmarks like mlp and nbody improved despite requiring extra unboxing/reboxing work. Disassembly comparisons reveal the old Rust enum match-based dispatch generated surprisingly inefficient code with many stack spills, while the new representation fits values in a single register, producing much shorter and faster machine code.