Module data_race_prevention 

Data race prevention through Send/Sync traits

Functions

safe_atomic_operations

safe_concurrent_counter

VULNERABLE C CODE (for comparison):

safe_message_passing

safe_read_write_access

Example 2: RwLock for read-heavy workloads

scoped_threads_safe

Example 6: Scoped threads for guaranteed lifetime

thread_safety_enforced

Compiler enforces thread safety