+ cycles_t tot_rtime = 0;
+ cycles_t tot_wtime = 0;
+
+ if (argc < 2) {
+ printf("Usage : %s nr_readers nr_writers\n", argv[0]);
+ exit(-1);
+ }
+ num_read = atoi(argv[1]);
+ num_write = atoi(argv[2]);
+
+ reader_time = malloc(sizeof(*reader_time) * num_read);
+ writer_time = malloc(sizeof(*writer_time) * num_write);
+ tid_reader = malloc(sizeof(*tid_reader) * num_read);
+ tid_writer = malloc(sizeof(*tid_writer) * num_write);