Example Concept: Rust's ownership rules, enforced by the borrow checker, prevent data races by ensuring that no two threads can simultaneously modify the same piece of data. This is achieved by allowing either one mutable reference or multiple immutable references to a data object at any given time. The compiler checks these rules at compile time, thus preventing data races before the program is run.