On Fri, Jul 9, 2021 at 9:23 AM Christian König christian.koenig@amd.com wrote:
Am 09.07.21 um 09:14 schrieb Daniel Vetter:
On Fri, Jul 9, 2021 at 8:53 AM Christian König christian.koenig@amd.com wrote:
Am 08.07.21 um 19:37 schrieb Daniel Vetter:
If it does, someone managed to set up a sched_entity without schedulers, which is just a driver bug.
NAK, it is perfectly valid for rq selection to fail.
There isn't a better way to explain stuff to someone who's new to the code and tries to improve it with docs than to NAK stuff with incomplete explanations?
Well as far as I understand it a NAK means that the author has missed something important and needs to re-iterate.
It comes around as very screaming at least to me (all uppercase and all that) and personally I only associate it with unchecked angry kernel maintainers on lkml celebrating their status and putting down some noobs for shits and giggles. I think here on dri-devel you're the only one doing it regularly.
It's just to say that we absolutely can't merge a patch or something will break.
Well yeah I know that when a patch breaks something I can't merge it. For drm-intel we also documented that clearly, but for drm-misc it's not spelled out. I'll fix that.
See drm_sched_pick_best():
if (!sched->ready) { DRM_WARN("scheduler %s is not ready, skipping", sched->name); continue; }This can happen when a device reset fails for some engine.
Well yeah I didn't expect amdgpu to just change this directly, so I didn't find it. Getting an ENOENT on a hw failure instead of an EIO is a bit interesting semantics I guess, also what happens with the jobs which raced against the scheduler not being ready? I'm not seeing any checks for ready in the main scheduler logic so this at least looks somewhat accidental as a side effect, also no other driver than amdgpu communitcates that reset failed back to drm/sched like this. They seem to just not, and I guess timeout on the next request will get us into an endless reset loop?
Correct. Key point is that there aren't any jobs which are currently scheduled.
When the ready flag is changed the scheduler is paused, e.g. the main thread is not running any more.
I'm pretty sure that all of this is horrible racy, but nobody really looked into the design from a higher level as far as I know.
Yeah the scheduler thread is fine because it's stopped, but it also doesn't look at sched->ready, so it can't race. What does race is new submissions, and if they stuff something into the queue then I'm wondering what happens to that. Also what happens to the requests already in the queue.
Eventually I guess userspace notices the ENOENT, tears down the context, and the kernel then also tears down the context and cleans up the mess. But it's rather inglorious until it collapses down to a coherent state again I think.
Or is there something with the scheduler restart flow which is guaranteed to catch these, and we're maybe just missing a bunch of barriers?
Either way I think a proper interface to terminally wedge a sched would be good, so that at least we can pass back something meaningful like -EIO. And also tell "the gpu died" apart from "the driver author tore down the scheduler while it was still in use", which I think we really should catch with some WARN_ON.
Anyway for the immediate issue of "don't break amdgpu" I think I'll reshuffle the split between job_init and job_arm again, and add a big comment to job_init that it can fail with ENOENT, and why, and what kind of interface would be more proper. i915 will need the terminally wedged flow too so I'll probably have to look into this, but that will need some proper thought.
Cheers, Daniel
Christian.
-Daniel
Regards, Christian.
We BUG_ON() here because in the next patch drm_sched_job_init() will be split up, with drm_sched_job_arm() never failing. And that's the part where the rq selection will end up in.
Note that if having an empty sched_list set on an entity is indeed a valid use-case, we can keep that check in job_init even after the split into job_init/arm.
Signed-off-by: Daniel Vetter daniel.vetter@intel.com Cc: "Christian König" christian.koenig@amd.com Cc: Luben Tuikov luben.tuikov@amd.com Cc: Daniel Vetter daniel.vetter@ffwll.ch Cc: Steven Price steven.price@arm.com Cc: Andrey Grodzovsky andrey.grodzovsky@amd.com Cc: Boris Brezillon boris.brezillon@collabora.com Cc: Jack Zhang Jack.Zhang1@amd.com
drivers/gpu/drm/scheduler/sched_entity.c | 2 +- drivers/gpu/drm/scheduler/sched_main.c | 3 +-- 2 files changed, 2 insertions(+), 3 deletions(-)
diff --git a/drivers/gpu/drm/scheduler/sched_entity.c b/drivers/gpu/drm/scheduler/sched_entity.c index 79554aa4dbb1..6fc116ee7302 100644 --- a/drivers/gpu/drm/scheduler/sched_entity.c +++ b/drivers/gpu/drm/scheduler/sched_entity.c @@ -45,7 +45,7 @@ * @guilty: atomic_t set to 1 when a job on this queue * is found to be guilty causing a timeout *
- Note: the sched_list should have at least one element to schedule
- Note: the sched_list must have at least one element to schedule
the entity- Returns 0 on success or a negative error code on failure.
diff --git a/drivers/gpu/drm/scheduler/sched_main.c b/drivers/gpu/drm/scheduler/sched_main.c index 33c414d55fab..01dd47154181 100644 --- a/drivers/gpu/drm/scheduler/sched_main.c +++ b/drivers/gpu/drm/scheduler/sched_main.c @@ -586,8 +586,7 @@ int drm_sched_job_init(struct drm_sched_job *job, struct drm_gpu_scheduler *sched;
drm_sched_entity_select_rq(entity);
if (!entity->rq)return -ENOENT;
BUG_ON(!entity->rq); sched = entity->rq->sched;
-- Daniel Vetter Software Engineer, Intel Corporation http://blog.ffwll.ch