[SPDK] Sanity check on execution model