[lkml]   [2019]   [Jul]   [25]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
SubjectRe: [PATCH 10/10] Replace tasklets with workqueues
Is this one better?

Replace tasklets with workqueues in rxe driver. The reason for this
replacement is that tasklets are supposed to run atomically, although
the actual code may block.

Modify the SKB destructor for outgoing SKB's to schedule QP tasks only
if the QP is not destroyed itself.

Add a variable "pending_skb_down" to ensure that reference counting for
a QP is decremented only when QP access related to this skb is over.

Separate part of pool element cleanup code to allow this code to be
called in the very end of cleanup, even if some of cleanup is scheduled
for asynchronous execution. Example, when it was happening is destructor
for a QP.

Disallow calling of task functions "directly". This allows to simplify
logic inside rxe_task.c

Schedule rxe_qp_do_cleanup onto high-priority system workqueue, because
this function can be scheduled from normal system workqueue.

Before destroying a QP, wait until all references to this QP are gone.
Previously the problem was that outgoing SKBs could be freed after the
QP these SKBs refer to is destroyed.

Add blocking rxe_run_task to replace __rxe_do_task that was calling task
function directly.

On 22/07/2019 17:32, Jason Gunthorpe wrote:
> On Mon, Jul 22, 2019 at 05:14:26PM +0200, Maksym Planeta wrote:
>> Replace tasklets with workqueues in rxe driver.
>> Ensure that task is called only through a workqueue. This allows to
>> simplify task logic.
>> Add additional dependencies to make sure that cleanup tasks do not
>> happen after object's memory is already reclaimed.
>> Improve overal stability of the driver by removing multiple race
>> conditions and use-after-free situations.
> This should be described more precisely
> Jason

Maksym Planeta

 \ /
  Last update: 2019-07-25 16:37    [W:0.122 / U:0.696 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site