+Trap, -CPU request
put threads as parameter
all states reachable, PENDING: eliminate DEADLOCK