여러 스레드가 코드를 동시에 실행하더라도 실행 결과의 올바른결과(correctness) 를 보장
코드가 언제 어디서 실행되어도 올바른결과를 보장 (Thread-safe 보다 강한 제약)
Reentrance 하지 않으면 당연히 Thread-safe 하지도 않음. Rentrance 하다면 Thread-safe 하다고 말할 수 있음. 하지만 그 역은 성립하지 않음.