Changes to maintain our invariant that (pid,eid,vname) is unique in the
reserved table. Whenever you insert a reservation or change a reservation to a new expt, set vname=node_id.
Please register or sign in to comment
reserved table. Whenever you insert a reservation or change a reservation to a new expt, set vname=node_id.