Skip to contentSkip to conversation

dma-fence: Make dma_fence_add_callback() fail if signaled with error

PATCH In review Ezequiel Garcia 5 participants 11 messages May 9, 2018 – May 16, 2018

Subsystems (3)
lore
Share & tools
lore
#0 lore raw

PATCH 1/1 dma-fence: Make dma_fence_add_callback() fail if signaled with error

Change how dma_fence_add_callback() behaves, when the fence has error-signaled by the time it is being add. After this commit, dma_fence_add_callback() returns the fence error, if it has error-signaled before dma_fence_add_callback() is called.

---
 drivers/dma-buf/dma-fence.c | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)
drivers/dma-buf/dma-fence.c +6 -4
index 4edb9fd3cf47..298b440c5b68 100644
@@ -226,7 +226,8 @@ EXPORT_SYMBOL(dma_fence_enable_sw_signaling);
  *
  * Note that the callback can be called from an atomic context.  If
  * fence is already signaled, this function will return -ENOENT (and
- * *not* call the callback)
+ * *not* call the callback). If the fence is error-signaled, this
+ * function returns the fence error.
  *
  * Add a software callback to the fence. Same restrictions apply to
  * refcount as it does to dma_fence_wait, however the caller doesn't need to
@@ -235,8 +236,8 @@ EXPORT_SYMBOL(dma_fence_enable_sw_signaling);
  * after it signals with dma_fence_signal. The callback itself can be called
  * from irq context.
  *
- * Returns 0 in case of success, -ENOENT if the fence is already signaled
- * and -EINVAL in case of error.
+ * Returns 0 in case of success, -ENOENT (or the error value) if the fence is
+ * already signaled and -EINVAL in case of error.
  */
 int dma_fence_add_callback(struct dma_fence *fence, struct dma_fence_cb *cb,
 			   dma_fence_func_t func)
@@ -250,7 +251,8 @@ int dma_fence_add_callback(struct dma_fence *fence, struct dma_fence_cb *cb,
 
 	if (test_bit(DMA_FENCE_FLAG_SIGNALED_BIT, &fence->flags)) {
 		INIT_LIST_HEAD(&cb->node);
-		return -ENOENT;
+		ret = (fence->error < 0) ? fence->error : -ENOENT;
+		return ret;
 	}
 
 	spin_lock_irqsave(fence->lock, flags);
Signature · 1 line
2.16.3
#1 lore raw

Hi Ezequiel,

Quoted 42 lines · Ezequiel Garcia

Change how dma_fence_add_callback() behaves, when the fence has error-signaled by the time it is being add. After this commit, dma_fence_add_callback() returns the fence error, if it has error-signaled before dma_fence_add_callback() is called.

---
 drivers/dma-buf/dma-fence.c | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)
drivers/dma-buf/dma- renamed from drivers/dma-buf/dma-fence.c +0 -0

fence.c
index 4edb9fd3cf47..298b440c5b68 100644

drivers/dma-buf/dma-fence.c +2 -1
@@ -226,7 +226,8 @@ EXPORT_SYMBOL(dma_fence_enable_sw_signaling);
  *
  * Note that the callback can be called from an atomic context.  If
  * fence is already signaled, this function will return -ENOENT (and
- * *not* call the callback)
+ * *not* call the callback). If the fence is error-signaled, this
+ * function returns the fence error.
  *
  * Add a software callback to the fence. Same restrictions apply to
  * refcount as it does to dma_fence_wait, however the caller doesn't

need to

drivers/dma-buf/dma-fence.c +0 -0
@@ -235,8 +236,8 @@ EXPORT_SYMBOL(dma_fence_enable_sw_signaling);
  * after it signals with dma_fence_signal. The callback itself can

be called
* from irq context.
*
- * Returns 0 in case of success, -ENOENT if the fence is already signaled
- * and -EINVAL in case of error.
+ * Returns 0 in case of success, -ENOENT (or the error value) if the fence is
+ * already signaled and -EINVAL in case of error.
*/
int dma_fence_add_callback(struct dma_fence *fence, struct
dma_fence_cb *cb,

drivers/dma-buf/dma-fence.c +0 -0
 			   dma_fence_func_t func)

drivers/dma-buf/dma-fence.c int dma_fence_add_callback(struct dma_fence · line 257

Quoted 8 lines
drivers/dma-buf/dma-fence.c +2 -1
@@ -250,7 +251,8 @@ int dma_fence_add_callback(struct dma_fence
 *fence, struct dma_fence_cb *cb,
 
 	if (test_bit(DMA_FENCE_FLAG_SIGNALED_BIT, &fence->flags)) {
 		INIT_LIST_HEAD(&cb->node);
-		return -ENOENT;
+		ret = (fence->error < 0) ? fence->error : -ENOENT;
+		return ret;
 	}

It looks good to me, but I'd first go check all place we call it in the kernel because I have some memory of callers relying on the -ENOENT return code for some decision. I might be wrong though.

Regards,

Gustavo
_______________________________________________
dri-devel mailing list
[email protected]
https://lists.freedesktop.org/mailman/listinfo/dri-devel

#2 lore raw
Quoted 47 lines · Gustavo Padovan

Hi Ezequiel,

Quoted 44 lines · Ezequiel Garcia

Change how dma_fence_add_callback() behaves, when the fence has error-signaled by the time it is being add. After this commit, dma_fence_add_callback() returns the fence error, if it has error-signaled before dma_fence_add_callback() is called.

---
 drivers/dma-buf/dma-fence.c | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)
drivers/dma-buf/dma- renamed from drivers/dma-buf/dma-fence.c +0 -0

fence.c
index 4edb9fd3cf47..298b440c5b68 100644

drivers/dma-buf/dma-fence.c +2 -1
@@ -226,7 +226,8 @@ EXPORT_SYMBOL(dma_fence_enable_sw_signaling);
  *
  * Note that the callback can be called from an atomic context.  If
  * fence is already signaled, this function will return -ENOENT (and
- * *not* call the callback)
+ * *not* call the callback). If the fence is error-signaled, this
+ * function returns the fence error.
  *
  * Add a software callback to the fence. Same restrictions apply to
  * refcount as it does to dma_fence_wait, however the caller doesn't

need to

drivers/dma-buf/dma-fence.c +0 -0
@@ -235,8 +236,8 @@ EXPORT_SYMBOL(dma_fence_enable_sw_signaling);
  * after it signals with dma_fence_signal. The callback itself can

be called
* from irq context.
*
- * Returns 0 in case of success, -ENOENT if the fence is already signaled
- * and -EINVAL in case of error.
+ * Returns 0 in case of success, -ENOENT (or the error value) if the fence is
+ * already signaled and -EINVAL in case of error.
*/
int dma_fence_add_callback(struct dma_fence *fence, struct
dma_fence_cb *cb,

drivers/dma-buf/dma-fence.c +0 -0
 			   dma_fence_func_t func)
@@ -250,7 +251,8 @@ int dma_fence_add_callback(struct dma_fence
 *fence, struct dma_fence_cb *cb,
 
Quoted 12 lines

drivers/dma-buf/dma-fence.c int dma_fence_add_callback(struct dma_fence *fence, struct dma_fence_cb *cb, · line 256

Quoted 6 lines
drivers/dma-buf/dma-fence.c +2 -1
 	if (test_bit(DMA_FENCE_FLAG_SIGNALED_BIT, &fence->flags)) {
 		INIT_LIST_HEAD(&cb->node);
-		return -ENOENT;
+		ret = (fence->error < 0) ? fence->error : -ENOENT;
+		return ret;
 	}

It looks good to me, but I'd first go check all place we call it in the kernel because I have some memory of callers relying on the -ENOENT return code for some decision. I might be wrong though.

I checked all users before submitting this patch.

git grep " = dma_fence_add_callback"
drivers/gpu/drm/i915/i915_sw_fence.c: ret = dma_fence_add_callback(dma, &cb->base, func);
drivers/gpu/drm/scheduler/gpu_scheduler.c: r = dma_fence_add_callback(fence, &s_fence->cb,
drivers/gpu/drm/scheduler/gpu_scheduler.c: r = dma_fence_add_callback(fence, &s_fence->cb,

And from what I could see, all of them handle the error properly.

Thanks,
Eze
_______________________________________________
dri-devel mailing list
[email protected]
https://lists.freedesktop.org/mailman/listinfo/dri-devel

#3 lore raw

Quoting Ezequiel Garcia (2018-05-10 13:51:56)

Quoted 61 lines · Gustavo Padovan
Quoted 47 lines

Hi Ezequiel,

Quoted 44 lines · Ezequiel Garcia

Change how dma_fence_add_callback() behaves, when the fence has error-signaled by the time it is being add. After this commit, dma_fence_add_callback() returns the fence error, if it has error-signaled before dma_fence_add_callback() is called.

---
 drivers/dma-buf/dma-fence.c | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)
drivers/dma-buf/dma- renamed from drivers/dma-buf/dma-fence.c +0 -0

fence.c
index 4edb9fd3cf47..298b440c5b68 100644

drivers/dma-buf/dma-fence.c +2 -1
@@ -226,7 +226,8 @@ EXPORT_SYMBOL(dma_fence_enable_sw_signaling);
  *
  * Note that the callback can be called from an atomic context.  If
  * fence is already signaled, this function will return -ENOENT (and
- * *not* call the callback)
+ * *not* call the callback). If the fence is error-signaled, this
+ * function returns the fence error.
  *
  * Add a software callback to the fence. Same restrictions apply to
  * refcount as it does to dma_fence_wait, however the caller doesn't

need to

drivers/dma-buf/dma-fence.c +0 -0
@@ -235,8 +236,8 @@ EXPORT_SYMBOL(dma_fence_enable_sw_signaling);
  * after it signals with dma_fence_signal. The callback itself can

be called
* from irq context.
*
- * Returns 0 in case of success, -ENOENT if the fence is already signaled
- * and -EINVAL in case of error.
+ * Returns 0 in case of success, -ENOENT (or the error value) if the fence is
+ * already signaled and -EINVAL in case of error.
*/
int dma_fence_add_callback(struct dma_fence *fence, struct
dma_fence_cb *cb,
dma_fence_func_t func)

drivers/dma-buf/dma-fence.c +0 -0
@@ -250,7 +251,8 @@ int dma_fence_add_callback(struct dma_fence
 *fence, struct dma_fence_cb *cb,
 
Quoted 12 lines

drivers/dma-buf/dma-fence.c int dma_fence_add_callback(struct dma_fence *fence, struct dma_fence_cb *cb, · line 256

Quoted 6 lines
drivers/dma-buf/dma-fence.c +2 -1
    if (test_bit(DMA_FENCE_FLAG_SIGNALED_BIT, &fence->flags)) {
            INIT_LIST_HEAD(&cb->node);
-           return -ENOENT;
+           ret = (fence->error < 0) ? fence->error : -ENOENT;
+           return ret;
    }

It looks good to me, but I'd first go check all place we call it in the kernel because I have some memory of callers relying on the -ENOENT return code for some decision. I might be wrong though.

Quoted 7 lines

I checked all users before submitting this patch.

git grep " = dma_fence_add_callback"
drivers/gpu/drm/i915/i915_sw_fence.c: ret = dma_fence_add_callback(dma, &cb->base, func);

And from what I could see, all of them handle the error properly.

Err, no. That error then is propagated back to userspace, and that is not part of our ABI...
-Chris

#4 lore raw
In reply to Ezequiel Garcia

Quoting Ezequiel Garcia (2018-05-09 21:14:49)

Quoted 4 lines

Change how dma_fence_add_callback() behaves, when the fence has error-signaled by the time it is being add. After this commit, dma_fence_add_callback() returns the fence error, if it has error-signaled before dma_fence_add_callback() is called.

Why? What problem are you trying to solve? fence->error does not imply that the fence has yet been signaled, and the caller wants a callback when it is signaled.
-Chris

#5 lore raw
Quoted 9 lines · Chris Wilson

Quoting Ezequiel Garcia (2018-05-09 21:14:49)

Quoted 4 lines

Change how dma_fence_add_callback() behaves, when the fence has error-signaled by the time it is being add. After this commit, dma_fence_add_callback() returns the fence error, if it has error-signaled before dma_fence_add_callback() is called.

Why? What problem are you trying to solve? fence->error does not imply that the fence has yet been signaled, and the caller wants a callback when it is signaled.

On top this is incosistent, e.g. we don't do the same for any of the other dma_fence interfaces. Plus there's the issue that you might alias errno values with fence errno values.

I think keeping the error codes from the functions you're calling distinct from the error code of the fence itself makes a lot of sense. The first tells you whether your request worked out (or why not), the second tells you whether the asynchronous dma operation (gpu rendering, page flip, whatever) that the dma_fence represents worked out (or why not). That's 2 distinct things imo.

Might be good to show us the driver code that needs this behaviour so we can discuss how to best handle your use-case.

Cheers, Daniel

Signature · 7 lines
Daniel Vetter
Software Engineer, Intel Corporation
http://blog.ffwll.ch
_______________________________________________
dri-devel mailing list
[email protected]
https://lists.freedesktop.org/mailman/listinfo/dri-devel
#6 lore raw
Quoted 7 lines · Daniel Vetter
Quoted 6 lines · Chris Wilson

Quoting Ezequiel Garcia (2018-05-09 21:14:49)

Quoted 4 lines

Change how dma_fence_add_callback() behaves, when the fence has error-signaled by the time it is being add. After this commit, dma_fence_add_callback() returns the fence error, if it has error-signaled before dma_fence_add_callback() is called.

Quoted 8 lines
Quoted 3 lines

Why? What problem are you trying to solve? fence->error does not imply that the fence has yet been signaled, and the caller wants a callback when it is signaled.

On top this is incosistent, e.g. we don't do the same for any of the other dma_fence interfaces. Plus there's the issue that you might alias errno values with fence errno values.

Right.

Quoted 10 lines

I think keeping the error codes from the functions you're calling distinct from the error code of the fence itself makes a lot of sense. The first tells you whether your request worked out (or why not), the second tells you whether the asynchronous dma operation (gpu rendering, page flip, whatever) that the dma_fence represents worked out (or why not). That's 2 distinct things imo.

Might be good to show us the driver code that needs this behaviour so we can discuss how to best handle your use-case.

This change arose while discussing the in-fences support for video4linux. Here's the patch that calls dma_fence_add_callback https://lkml.org/lkml/2018/5/4/766.

The code snippet currently looks something like this:

	if (vb->in_fence) {
		ret = dma_fence_add_callback(vb->in_fence, &vb->fence_cb,
				
	     vb2_qbuf_fence_cb);
		/* is the fence signaled? */
		if (ret == -ENOENT) {
	
		dma_fence_put(vb->in_fence);
			vb->in_fence = NULL;
		} else if (ret)
{
			goto unlock;
		}
	}

In this use case, if the callback is added successfully, the video4linux core defers the activation of the buffer until the fence signals.

If the fence is signaled (currently disregarding of errors) then the buffer is assumed to be ready to be activated, and so it gets queued for hardware usage.

Giving some more thought to this, I'm not so sure what is the right action if a fence signaled with error. In this case, it appears to me that we shouldn't be using this buffer if its in-fence is in error, but perhaps I'm missing something.

Thanks!
Eze

#7 lore raw

Quoting Ezequiel Garcia (2018-05-14 22:28:31)

Quoted 58 lines · Daniel Vetter
Quoted 7 lines · Chris Wilson
Quoted 6 lines

Quoting Ezequiel Garcia (2018-05-09 21:14:49)

Quoted 4 lines

Change how dma_fence_add_callback() behaves, when the fence has error-signaled by the time it is being add. After this commit, dma_fence_add_callback() returns the fence error, if it has error-signaled before dma_fence_add_callback() is called.

Quoted 8 lines
Quoted 3 lines

Why? What problem are you trying to solve? fence->error does not imply that the fence has yet been signaled, and the caller wants a callback when it is signaled.

On top this is incosistent, e.g. we don't do the same for any of the other dma_fence interfaces. Plus there's the issue that you might alias errno values with fence errno values.

Right.

Quoted 10 lines

I think keeping the error codes from the functions you're calling distinct from the error code of the fence itself makes a lot of sense. The first tells you whether your request worked out (or why not), the second tells you whether the asynchronous dma operation (gpu rendering, page flip, whatever) that the dma_fence represents worked out (or why not). That's 2 distinct things imo.

Might be good to show us the driver code that needs this behaviour so we can discuss how to best handle your use-case.

This change arose while discussing the in-fences support for video4linux. Here's the patch that calls dma_fence_add_callback https://lkml.org/lkml/2018/5/4/766.

The code snippet currently looks something like this:

        if (vb->in_fence) {
                ret = dma_fence_add_callback(vb->in_fence, &vb->fence_cb,
                                
             vb2_qbuf_fence_cb);
                /* is the fence signaled? */
                if (ret == -ENOENT) {
        
                dma_fence_put(vb->in_fence);
                        vb->in_fence = NULL;
                } else if (ret)
{
                        goto unlock;
                }
        }

In this use case, if the callback is added successfully, the video4linux core defers the activation of the buffer until the fence signals.

If the fence is signaled (currently disregarding of errors) then the buffer is assumed to be ready to be activated, and so it gets queued for hardware usage.

Quoted 5 lines

Giving some more thought to this, I'm not so sure what is the right action if a fence signaled with error. In this case, it appears to me that we shouldn't be using this buffer if its in-fence is in error, but perhaps I'm missing something.

What I have in mind for async errors is to skip the operation and propagate the error onto the next fence. Mostly because those async errors may include fatal errors such as unable to pin the backing storage for the operation, but even "trivial" errors such as an early operation failing means that this request is then subject to garbage-in, garbage-out. However, for trivial errors I would just propagate the error status (so the caller knows something went wrong if they care, but in all likelihood no one will notice) and continue on with the glitchy operation.
-Chris

#8 lore raw
Quoted 65 lines · Chris Wilson

Quoting Ezequiel Garcia (2018-05-14 22:28:31)

Quoted 58 lines · Daniel Vetter
Quoted 7 lines · Chris Wilson
Quoted 6 lines

Quoting Ezequiel Garcia (2018-05-09 21:14:49)

Quoted 4 lines

Change how dma_fence_add_callback() behaves, when the fence has error-signaled by the time it is being add. After this commit, dma_fence_add_callback() returns the fence error, if it has error-signaled before dma_fence_add_callback() is called.

Quoted 8 lines
Quoted 3 lines

Why? What problem are you trying to solve? fence->error does not imply that the fence has yet been signaled, and the caller wants a callback when it is signaled.

On top this is incosistent, e.g. we don't do the same for any of the other dma_fence interfaces. Plus there's the issue that you might alias errno values with fence errno values.

Right.

Quoted 10 lines

I think keeping the error codes from the functions you're calling distinct from the error code of the fence itself makes a lot of sense. The first tells you whether your request worked out (or why not), the second tells you whether the asynchronous dma operation (gpu rendering, page flip, whatever) that the dma_fence represents worked out (or why not). That's 2 distinct things imo.

Might be good to show us the driver code that needs this behaviour so we can discuss how to best handle your use-case.

This change arose while discussing the in-fences support for video4linux. Here's the patch that calls dma_fence_add_callback https://lkml.org/lkml/2018/5/4/766.

The code snippet currently looks something like this:

        if (vb->in_fence) {
                ret = dma_fence_add_callback(vb->in_fence, &vb->fence_cb,
                                
             vb2_qbuf_fence_cb);
                /* is the fence signaled? */
                if (ret == -ENOENT) {
        
                dma_fence_put(vb->in_fence);
                        vb->in_fence = NULL;
                } else if (ret)
{
                        goto unlock;
                }
        }

In this use case, if the callback is added successfully, the video4linux core defers the activation of the buffer until the fence signals.

If the fence is signaled (currently disregarding of errors) then the buffer is assumed to be ready to be activated, and so it gets queued for hardware usage.

Quoted 5 lines

Giving some more thought to this, I'm not so sure what is the right action if a fence signaled with error. In this case, it appears to me that we shouldn't be using this buffer if its in-fence is in error, but perhaps I'm missing something.

Quoted 9 lines

What I have in mind for async errors is to skip the operation and propagate the error onto the next fence. Mostly because those async errors may include fatal errors such as unable to pin the backing storage for the operation, but even "trivial" errors such as an early operation failing means that this request is then subject to garbage-in, garbage-out. However, for trivial errors I would just propagate the error status (so the caller knows something went wrong if they care, but in all likelihood no one will notice) and continue on with the glitchy operation.

In general, there's not really any hard rule about propagating fence errors across devices. It's mostly just used by drivers internally to keep track of failed stuff (gpu hangs or anything else async like Chris describes here).

For v4l I'm not sure you want to care much about this, since right now the main use of fence errors is gpu hang recovery (whether it's the driver or hw that's hung doesn't matter here).
-Daniel

Signature · 7 lines
Daniel Vetter
Software Engineer, Intel Corporation
http://blog.ffwll.ch
_______________________________________________
dri-devel mailing list
[email protected]
https://lists.freedesktop.org/mailman/listinfo/dri-devel
#9 lore raw

Am Mittwoch, den 16.05.2018, 11:42 +0200 schrieb Daniel Vetter:

Quoted 76 lines · Chris Wilson
Quoted 65 lines

Quoting Ezequiel Garcia (2018-05-14 22:28:31)

Quoted 58 lines · Daniel Vetter
Quoted 7 lines · Chris Wilson
Quoted 6 lines

Quoting Ezequiel Garcia (2018-05-09 21:14:49)

Quoted 4 lines

Change how dma_fence_add_callback() behaves, when the fence has error-signaled by the time it is being add. After this commit, dma_fence_add_callback() returns the fence error, if it has error-signaled before dma_fence_add_callback() is called.

Quoted 8 lines
Quoted 3 lines

Why? What problem are you trying to solve? fence->error does not imply that the fence has yet been signaled, and the caller wants a callback when it is signaled.

On top this is incosistent, e.g. we don't do the same for any of the other dma_fence interfaces. Plus there's the issue that you might alias errno values with fence errno values.

Right.

Quoted 10 lines

I think keeping the error codes from the functions you're calling distinct from the error code of the fence itself makes a lot of sense. The first tells you whether your request worked out (or why not), the second tells you whether the asynchronous dma operation (gpu rendering, page flip, whatever) that the dma_fence represents worked out (or why not). That's 2 distinct things imo.

Might be good to show us the driver code that needs this behaviour so we can discuss how to best handle your use-case.

This change arose while discussing the in-fences support for video4linux. Here's the patch that calls dma_fence_add_callback https://lkml.org/lkml/2018/5/4/766.

The code snippet currently looks something like this:

        if (vb->in_fence) {
                ret = dma_fence_add_callback(vb->in_fence, &vb->fence_cb,
             vb2_qbuf_fence_cb);
                /* is the fence signaled? */
                if (ret == -ENOENT) {

                dma_fence_put(vb->in_fence);
                        vb->in_fence = NULL;
                } else if (ret)
{
                        goto unlock;
                }
        }

In this use case, if the callback is added successfully, the video4linux core defers the activation of the buffer until the fence signals.

If the fence is signaled (currently disregarding of errors) then the buffer is assumed to be ready to be activated, and so it gets queued for hardware usage.

Quoted 5 lines

Giving some more thought to this, I'm not so sure what is the right action if a fence signaled with error. In this case, it appears to me that we shouldn't be using this buffer if its in-fence is in error, but perhaps I'm missing something.

Quoted 9 lines

What I have in mind for async errors is to skip the operation and propagate the error onto the next fence. Mostly because those async errors may include fatal errors such as unable to pin the backing storage for the operation, but even "trivial" errors such as an early operation failing means that this request is then subject to garbage-in, garbage-out. However, for trivial errors I would just propagate the error status (so the caller knows something went wrong if they care, but in all likelihood no one will notice) and continue on with the glitchy operation.

Quoted 8 lines

In general, there's not really any hard rule about propagating fence errors across devices. It's mostly just used by drivers internally to keep track of failed stuff (gpu hangs or anything else async like Chris describes here).

For v4l I'm not sure you want to care much about this, since right now the main use of fence errors is gpu hang recovery (whether it's the driver or hw that's hung doesn't matter here).

Yes, my understanding is that fence signal and errors are two distinct things that should not be conflated like it is done in this patch.

In my understanding signaling a fence means the HW or SW component which added the fence is done with the buffer and will not touch it anymore. In case of an unrecoverable error the fence will be signaled with error status set, so we correctly reflect the buffer status as being free to be used by whoever is waiting for it, but may contain garbage.

If a fence waiter cares about the buffer content and may wish to skip its operation if the fence is signaled with an error it should do it by explicitly checking the fence error status, instead of making this implicit behavior.

Regards,
Lucas
_______________________________________________
dri-devel mailing list
[email protected]
https://lists.freedesktop.org/mailman/listinfo/dri-devel

#10 lore raw
Quoted 96 lines · Lucas Stach

Am Mittwoch, den 16.05.2018, 11:42 +0200 schrieb Daniel Vetter:

Quoted 76 lines · Chris Wilson
Quoted 65 lines

Quoting Ezequiel Garcia (2018-05-14 22:28:31)

Quoted 58 lines · Daniel Vetter
Quoted 7 lines · Chris Wilson
Quoted 6 lines

Quoting Ezequiel Garcia (2018-05-09 21:14:49)

Quoted 4 lines

Change how dma_fence_add_callback() behaves, when the fence has error-signaled by the time it is being add. After this commit, dma_fence_add_callback() returns the fence error, if it has error-signaled before dma_fence_add_callback() is called.

Quoted 8 lines
Quoted 3 lines

Why? What problem are you trying to solve? fence->error does not imply that the fence has yet been signaled, and the caller wants a callback when it is signaled.

On top this is incosistent, e.g. we don't do the same for any of the other dma_fence interfaces. Plus there's the issue that you might alias errno values with fence errno values.

Right.

Quoted 10 lines

I think keeping the error codes from the functions you're calling distinct from the error code of the fence itself makes a lot of sense. The first tells you whether your request worked out (or why not), the second tells you whether the asynchronous dma operation (gpu rendering, page flip, whatever) that the dma_fence represents worked out (or why not). That's 2 distinct things imo.

Might be good to show us the driver code that needs this behaviour so we can discuss how to best handle your use-case.

This change arose while discussing the in-fences support for video4linux. Here's the patch that calls dma_fence_add_callback https://lkml.org/lkml/2018/5/4/766.

The code snippet currently looks something like this:

        if (vb->in_fence) {
                ret = dma_fence_add_callback(vb->in_fence, &vb->fence_cb,
                                
             vb2_qbuf_fence_cb);
                /* is the fence signaled? */
                if (ret == -ENOENT) {
        
                dma_fence_put(vb->in_fence);
                        vb->in_fence = NULL;
                } else if (ret)
{
                        goto unlock;
                }
        }

In this use case, if the callback is added successfully, the video4linux core defers the activation of the buffer until the fence signals.

If the fence is signaled (currently disregarding of errors) then the buffer is assumed to be ready to be activated, and so it gets queued for hardware usage.

Quoted 5 lines

Giving some more thought to this, I'm not so sure what is the right action if a fence signaled with error. In this case, it appears to me that we shouldn't be using this buffer if its in-fence is in error, but perhaps I'm missing something.

Quoted 9 lines

What I have in mind for async errors is to skip the operation and propagate the error onto the next fence. Mostly because those async errors may include fatal errors such as unable to pin the backing storage for the operation, but even "trivial" errors such as an early operation failing means that this request is then subject to garbage-in, garbage-out. However, for trivial errors I would just propagate the error status (so the caller knows something went wrong if they care, but in all likelihood no one will notice) and continue on with the glitchy operation.

Quoted 8 lines

In general, there's not really any hard rule about propagating fence errors across devices. It's mostly just used by drivers internally to keep track of failed stuff (gpu hangs or anything else async like Chris describes here).

For v4l I'm not sure you want to care much about this, since right now the main use of fence errors is gpu hang recovery (whether it's the driver or hw that's hung doesn't matter here).

Yes, my understanding is that fence signal and errors are two distinct things that should not be conflated like it is done in this patch.

In my understanding signaling a fence means the HW or SW component which added the fence is done with the buffer and will not touch it anymore. In case of an unrecoverable error the fence will be signaled with error status set, so we correctly reflect the buffer status as being free to be used by whoever is waiting for it, but may contain garbage.

Quoted 5 lines

If a fence waiter cares about the buffer content and may wish to skip its operation if the fence is signaled with an error it should do it by explicitly checking the fence error status, instead of making this implicit behavior.

Yes, that sounds right.

Thanks for the help,
Eze
_______________________________________________
dri-devel mailing list
[email protected]
https://lists.freedesktop.org/mailman/listinfo/dri-devel