Race-free and memory-safe multithreading: design and implementation in cyclone