Tìm kiếm
13 kết quả cho “OCaml GC”. Tìm không phân biệt dấu.
- Building a lower-latency GC Bài tóm tắt · Jane Street · 2015
…một GC cho phép vẫn cấp phát mà latency vẫn thấp. - GC của OCaml vốn khá tốt: major heap thu incremental theo lát, minor heap nhỏ (đo bằng MB, so với 5–10 GiB young generation hay…
- Using OxCaml to implement type-safe reference counting between OCaml and Python Bài tóm tắt · Jane Street · 2026
…ference-counting-python/) Bối cảnh - Jane Street là công ty OCaml, nhưng Python là ngôn ngữ chính thứ hai, công cụ chủ yếu của trader và researcher cho phân tích dữ liệu và ML; hạ…
- Memory allocator showdown Bài tóm tắt · Jane Street · 2020
…/blog.janestreet.com/memory-allocator-showdown/) Bối cảnh - OCaml 4.10 thêm allocator best-fit bên cạnh allocator mặc định next-fit . Jane Street chuyển sang best-fit và thấy cải t…
- Introducing OxCaml Bài tóm tắt · Jane Street · 2025
…mà vẫn tương thích ngôn ngữ gốc. Bối cảnh - Jane Street sửa OCaml từ lâu (xem GC 2015 ở ). Vài năm gần đây các phần mở rộng ngôn ngữ đủ lớn để thành một nhánh compiler riêng, vẫn m…
- Finding memory leaks with Memtrace Bài tóm tắt · Jane Street · 2020
…ữ phần về thay đổi cách profile bộ nhớ. Bối cảnh - Trước đó OCaml có Spacetime : ghi mọi lần cấp phát. Tìm leak tốt nhưng overhead cao, cần một cấu hình compiler riêng, profile rất…
- Đổi ngôn ngữ và runtime Chủ đề Thành viên
Ngôn ngữ ban đầu được chọn để làm nhanh. Khi lớn lên, nó có thể thành nút thắt về hiệu năng, latency, hoặc tổ chức code. Có ba hướng: tối ưu runtime đang dùng, cải tiến dần, hoặc viết lại có phạm vi.
- Hệ thống độ trễ thấp (low latency) Chủ đề Thành viên
Ở sàn giao dịch và công ty market making, mỗi giao dịch làm thay đổi thị trường cho giao dịch sau, và ai phản ứng chậm hơn thì thua. Yêu cầu không chỉ là latency trung bình thấp mà latency ổn định ở đuôi, ở thang micro…
- Hạ tầng nghiên cứu định lượng (dữ liệu thị trường, feature, backtest) Chủ đề Thành viên
Một quỹ định lượng hay công ty market making sống bằng vòng nghiên cứu: đặt giả thuyết → lấy dữ liệu → tạo feature → train model hay dựng tín hiệu → backtest/mô phỏng → đưa vào giao dịch thật → lặp lại. Theo Optiver, độ…
- Observability và monitoring Chủ đề Thành viên
Lúc đầu, monitoring là vài dashboard và một công cụ cài sẵn; log đọc thẳng từ máy. Khi hệ lớn lên, chính hệ quan sát thành một hệ phân tán có bài toán riêng:
- CI và build ở quy mô lớn Chủ đề Thành viên
Lúc nhỏ, CI là "mỗi commit chạy hết build và test". Khi codebase và số commit tăng, chạy hết trở thành bất khả (Stripe 2026: chạy tuần tự mất bốn tháng), và thời gian chờ của một thay đổi không còn chỉ là thời gian…
- Tách compute khỏi storage Chủ đề Thành viên
Hệ có trạng thái kiểu cổ điển (database, broker Kafka, fileserver Git) đặt dữ liệu bền trên đĩa của chính máy xử lý. Máy đó vừa là compute vừa là storage, nên:
- Jane Street Công ty Thành viên
Công ty giao dịch định lượng và market making, viết gần như mọi thứ bằng OCaml. Blog không kể chiến lược, nhưng kể khá nhiều về hạ tầng quanh chúng. Ở tầng công cụ, từ 2012 họ tự viết build system Jenga; năm 2014…
- Magic-trace: Diagnosing tricky performance issues easily with Intel Processor Trace Bài tóm tắt · Jane Street · 2022
…ript và dựng lại call stack (xử lý tail call, exception của OCaml). Xong trong chưa tới một tuần. - Bản hai dùng thẳng perf event open + libipt để decode tới mức lệnh (theo bài, kh…