Imported from 6.824 labs
[invirt/third/libt4.git] / tprintf.cc
1 #include "mutex.h"
2 #include <sys/time.h>
3 #include <stdint.h>
4 #include "tprintf.h"
5
6 uint64_t utime() {
7     struct timeval tp;
8     gettimeofday(&tp, NULL);
9     return (tp.tv_usec + (uint64_t)tp.tv_sec * 1000000) % 1000000000;
10 }
11
12 mutex cerr_mutex;
13 std::map<pthread_t, int> thread_name_map;
14 int next_thread_num = 0;
15 std::map<void *, int> instance_name_map;
16 int next_instance_num = 0;