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. - Jack