Borrow Checker trong Rust là một tính năng đặc biệt của ngôn ngữ lập trình Rust, có khả năng ngăn chặn các "cuộc chạy đua" dữ liệu ở thời điểm biên dịch. Các "cuộc chạy đua" dữ liệu xảy ra khi có hai luồng truy cập cùng một bộ nhớ mà không có sự đồng bộ hóa thích hợp, dẫn đến các vấn đề về an toàn dữ liệu. Borrow Checker giúp đảm bảo rằng các hoạt động thiếu an toàn này được loại bỏ, qua đó giúp Rust trở thành một ngôn ngữ lập trình an toàn về mặt bộ nhớ[2].
Nó là một phần của hệ thống quản lý bộ nhớ của Rust, giúp ngăn chặn lỗi như double-free hoặc memory leaks bằng cách đảm bảo rằng mỗi giá trị chỉ có một "chủ sở hữu" duy nhất tại một thời điểm, và bộ nhớ được giải phóng một cách an toàn khi "chủ sở hữu" đó không còn tồn tại hoặc khi biến vượt ra ngoài phạm vi hoạt động của nó[2][3].
