os_type unix clock_gettime gettimeofday posix_mlock sockets