> It looks to me like there is no check for "no more available WQEs" when posting > SRQ reads. See libmlx4/src/srq.c and drivers/infiniband/hw/mlx4/srq.c. > There is no check in either place if srq_head = srq_tail, or some equivalent check. Yes, you're right.