Wait until both the reader and write are done before checking outcome
Set t->waited more accurately in wait_list_down
Need to indicate the current tasklet stopped in tasklet_fini

Otherwise run_queue_run will do the liveness checks on it.