vpr::Uint32 SerialPortImplWin32::readn_i(void* buffer,
const vpr::Uint32 length,
const vpr::Interval& timeout)
{
//Call read_i for now
return read_i(buffer, length, timeout);
}
PACKET* packet_read(int socket) {
PACKET *p = malloc(sizeof(PACKET));
p->command = read_i(socket);
p->args_count = read_i(socket);
PACKET_ARG **args = malloc(p->args_count * sizeof(PACKET_ARG*));
for (uint32_t i = 0; i < p->args_count; i ++) {
PACKET_ARG *arg = malloc(sizeof(PACKET_ARG));
arg->length = read_i(socket);
arg->arg = read_b(socket, arg->length);
args[i] = arg;
}
p->args = args;
packet_dump(p);
return p;
}
int main(int argc, char* argv[]) {
int which = 0;
data_t *heap_data = (data_t *)malloc(sizeof(data_t));
if (argc >= 2) {
which = atoi(argv[1]);
}
init(&global_data);
init(heap_data);
switch(which) {
case 0:
cilk_spawn increment_i(&global_data); // write, read race
mult_double(&global_data);
cilk_sync;
assert(__cilksan_error_count() == 3);
break;
case 1:
cilk_spawn mult_double(&global_data);
increment_i(&global_data); // write, read race
cilk_sync;
assert(__cilksan_error_count() == 3);
break;
case 2:
cilk_spawn mult_double(&global_data);
update_str(&global_data, 3, 8); // read, write race
cilk_sync;
assert(__cilksan_error_count() == 2);
break;
case 3:
cilk_spawn increment_i(&global_data); // write, read race
read_double(&global_data);
cilk_sync;
assert(__cilksan_error_count() == 1);
break;
case 4:
cilk_spawn read_double(&global_data);
increment_i(&global_data); // read, write race
cilk_sync;
assert(__cilksan_error_count() == 1);
break;
case 5:
cilk_spawn read_double(&global_data);
update_str(&global_data, 3, 8); // read, write race
cilk_sync;
assert(__cilksan_error_count() == 1);
break;
case 6:
cilk_spawn read_str(&global_data, 2, 4);
update_str(&global_data, 3, 8); // read, write race
cilk_sync;
assert(__cilksan_error_count() == 1);
break;
case 7:
cilk_spawn increment_i(heap_data); // write, read race
mult_double(heap_data);
cilk_sync;
assert(__cilksan_error_count() == 3);
break;
case 8:
cilk_spawn mult_double(heap_data);
increment_i(heap_data); // write, read race
cilk_sync;
assert(__cilksan_error_count() == 3);
break;
case 9:
cilk_spawn mult_double(heap_data);
update_str(heap_data, 3, 8); // write, write race
cilk_sync;
assert(__cilksan_error_count() == 2);
break;
case 10:
cilk_spawn increment_i(heap_data); // write, read race
read_double(heap_data);
cilk_sync;
assert(__cilksan_error_count() == 1);
break;
case 11:
cilk_spawn read_double(heap_data);
increment_i(heap_data); // read, write race
cilk_sync;
// to be sure that compiler doesn't optimize it away.
global_int = heap_data->i;
assert(__cilksan_error_count() == 1);
break;
case 12:
cilk_spawn read_double(heap_data);
update_str(heap_data, 3, 8); // read, write race
cilk_sync;
assert(__cilksan_error_count() == 1);
break;
case 13:
cilk_spawn update_str(heap_data, 8, 11);
read_str(heap_data, 10, 12); // write, read race
cilk_sync;
assert(__cilksan_error_count() == 1);
break;
case 14:
cilk_spawn update_str(&global_data, 8, 12); // no race
mult_double(&global_data);
cilk_sync;
assert(__cilksan_error_count() == 0);
break;
case 15:
cilk_spawn update_str(&global_data, 4, 12); // no race
read_i(&global_data);
cilk_sync;
assert(__cilksan_error_count() == 0);
break;
case 16:
cilk_spawn update_str(heap_data, 8, 12); // no race
mult_double(heap_data);
cilk_sync;
assert(__cilksan_error_count() == 0);
break;
case 17:
cilk_spawn update_str(heap_data, 4, 12); // no race
read_i(heap_data);
cilk_sync;
assert(__cilksan_error_count() == 0);
break;
case 18:
cilk_spawn update_str(heap_data, 3, 5); // no race
update_str(heap_data, 5, 8);
cilk_sync;
assert(__cilksan_error_count() == 0);
break;
case 19:
read_and_write(&global_data); // read write race, but just 1
read_and_write(heap_data);
cilk_sync;
assert(__cilksan_error_count() == 1);
break;
}
cilk_sync;
free(heap_data);
return 0;
}
