some code about linux time function