15 static uint64_t Ids = 0;
17 reservation.
id = ++Ids;
24 return os <<
"hlpRes" << id;
a (temporary) lock on a (stateful) helper channel
static ReservationId Next()
std::ostream & print(std::ostream &os) const
dumps the reservation info for debugging
uint64_t id
uniquely identifies this reservation