A fast push/shift sync queue