Context, Model and Theta with non blocking I/O