A Simple Data Race Checker For POSIX Threads Program