diff mbox series

[v3] Fix one error in mthca_alloc

Message ID 20210827005228.15671-1-kangning18z@ict.ac.cn (mailing list archive)
State Awaiting Upstream
Headers show
Series [v3] Fix one error in mthca_alloc | expand

Commit Message

kangning18z@ict.ac.cn Aug. 27, 2021, 12:52 a.m. UTC
drivers/infiniband/hw/mthca/mthca_allocator.c: alloc->last left unchanged in mthca_alloc, which
has impact on performance of function find_next_zero_bit in mthca_alloc.

Signed-off-by: kangning <kangning18z@ict.ac.cn>
---
 
 I squashed two commits into one in this version.
 
 drivers/infiniband/hw/mthca/mthca_allocator.c | 3 +++
 1 file changed, 3 insertions(+)

Comments

Leon Romanovsky Aug. 31, 2021, 9:52 a.m. UTC | #1
On Fri, Aug 27, 2021 at 08:52:28AM +0800, kangning wrote:
> drivers/infiniband/hw/mthca/mthca_allocator.c: alloc->last left unchanged in mthca_alloc, which
> has impact on performance of function find_next_zero_bit in mthca_alloc.

I don't know what the sentence above means, but the change is unlikely
to be correct.

When alloc->last starts to be equal to alloc->max, the
find_next_zero_bit() will always return alloc->max. which will ensure
that the following code is executed.

   48         if (obj >= alloc->max) {
   49                 alloc->top = (alloc->top + alloc->max) & alloc->mask;
   50                 obj = find_first_zero_bit(alloc->table, alloc->max);
   51         }


However the mthca_alloc() function has other error, it returns -1 while
based on its declaration it needs to be unsigned,

Thanks

> 
> Signed-off-by: kangning <kangning18z@ict.ac.cn>
> ---
>  
>  I squashed two commits into one in this version.
>  
>  drivers/infiniband/hw/mthca/mthca_allocator.c | 3 +++
>  1 file changed, 3 insertions(+)
> 
> diff --git a/drivers/infiniband/hw/mthca/mthca_allocator.c b/drivers/infiniband/hw/mthca/mthca_allocator.c
> index aef1d274a14e..1141695093e7 100644
> --- a/drivers/infiniband/hw/mthca/mthca_allocator.c
> +++ b/drivers/infiniband/hw/mthca/mthca_allocator.c
> @@ -51,6 +51,9 @@ u32 mthca_alloc(struct mthca_alloc *alloc)
>  	}
>  
>  	if (obj < alloc->max) {
> +		alloc->last = obj + 1;
> +		if (alloc->last == alloc->max)
> +			alloc->last = 0;
>  		set_bit(obj, alloc->table);
>  		obj |= alloc->top;
>  	} else
> -- 
> 2.17.1
>
kangning18z@ict.ac.cn Aug. 31, 2021, 10:40 a.m. UTC | #2
&gt; 
&gt; On Fri, Aug 27, 2021 at 08:52:28AM +0800, kangning wrote:
&gt; &gt; drivers/infiniband/hw/mthca/mthca_allocator.c: alloc-&gt;last left unchanged in mthca_alloc, which
&gt; &gt; has impact on performance of function find_next_zero_bit in mthca_alloc.
&gt; 
&gt; I don't know what the sentence above means, but the change is unlikely
&gt; to be correct.
&gt; 
&gt; When alloc-&gt;last starts to be equal to alloc-&gt;max, the
&gt; find_next_zero_bit() will always return alloc-&gt;max. which will ensure
&gt; that the following code is executed.
&gt; 
&gt;    48         if (obj &gt;= alloc-&gt;max) {
&gt;    49                 alloc-&gt;top = (alloc-&gt;top + alloc-&gt;max) &amp; alloc-&gt;mask;
&gt;    50                 obj = find_first_zero_bit(alloc-&gt;table, alloc-&gt;max);
&gt;    51         }
&gt; 

Thanks for your review.
Yes, your analysis is right. However, this is a bitmap allocator for resource id allocation (like QP, and CQ). 
We first look at the situation where no resource id is released.
When the value of alloc-&gt;last starts to reaches alloc-&gt;max, the bitmap will 
be full. In this case, it's normal to return an invalid value.

Now, let's add resource releasing into consideration. 
The following code is part of mthca_free:

70	spin_lock_irqsave(&amp;alloc-&gt;lock, flags);
71
72	clear_bit(obj, alloc-&gt;table);
73	alloc-&gt;last = min(alloc-&gt;last, obj);
74	alloc-&gt;top = (alloc-&gt;top + alloc-&gt;max) &amp; alloc-&gt;mask;

mthca_free() is used to release the allocated resource id. It will update alloc-&gt;last when obj is freed. 
So, if the bitmap has space for allocation, my modification can continuously work.

&gt; 
&gt; However the mthca_alloc() function has other error, it returns -1 while
&gt; based on its declaration it needs to be unsigned,

I think you are right about this. But obj is the return value of u32 type, which is the requirement of resource id 
(though it may not fully use 32 bits). I have no idea of how to fix it.

Thanks.

&gt; 
&gt; Thanks
&gt; 
&gt; &gt; 
&gt; &gt; Signed-off-by: kangning <kangning18z@ict.ac.cn>
&gt; &gt; ---
&gt; &gt;  
&gt; &gt;  I squashed two commits into one in this version.
&gt; &gt;  
&gt; &gt;  drivers/infiniband/hw/mthca/mthca_allocator.c | 3 +++
&gt; &gt;  1 file changed, 3 insertions(+)
&gt; &gt; 
&gt; &gt; diff --git a/drivers/infiniband/hw/mthca/mthca_allocator.c b/drivers/infiniband/hw/mthca/mthca_allocator.c
&gt; &gt; index aef1d274a14e..1141695093e7 100644
&gt; &gt; --- a/drivers/infiniband/hw/mthca/mthca_allocator.c
&gt; &gt; +++ b/drivers/infiniband/hw/mthca/mthca_allocator.c
&gt; &gt; @@ -51,6 +51,9 @@ u32 mthca_alloc(struct mthca_alloc *alloc)
&gt; &gt;  	}
&gt; &gt;  
&gt; &gt;  	if (obj &lt; alloc-&gt;max) {
&gt; &gt; +		alloc-&gt;last = obj + 1;
&gt; &gt; +		if (alloc-&gt;last == alloc-&gt;max)
&gt; &gt; +			alloc-&gt;last = 0;
&gt; &gt;  		set_bit(obj, alloc-&gt;table);
&gt; &gt;  		obj |= alloc-&gt;top;
&gt; &gt;  	} else
&gt; &gt; -- 
&gt; &gt; 2.17.1
&gt; &gt; 
</kangning18z@ict.ac.cn>
kangning18z@ict.ac.cn Aug. 31, 2021, 10:47 a.m. UTC | #3
&gt;
&gt; On Fri, Aug 27, 2021 at 08:52:28AM +0800, kangning wrote:
&gt; &gt; drivers/infiniband/hw/mthca/mthca_allocator.c: alloc-&gt;last left unchanged in mthca_alloc, which
&gt; &gt; has impact on performance of function find_next_zero_bit in mthca_alloc.
&gt; 
&gt; I don't know what the sentence above means, but the change is unlikely
&gt; to be correct.
&gt; 
&gt; When alloc-&gt;last starts to be equal to alloc-&gt;max, the
&gt; find_next_zero_bit() will always return alloc-&gt;max. which will ensure
&gt; that the following code is executed.
&gt; 
&gt;    48         if (obj &gt;= alloc-&gt;max) {
&gt;    49                 alloc-&gt;top = (alloc-&gt;top + alloc-&gt;max) &amp; alloc-&gt;mask;
&gt;    50                 obj = find_first_zero_bit(alloc-&gt;table, alloc-&gt;max);
&gt;    51         }
&gt; 

Thanks for your review.
Your analysis is right. However, this is a bitmap allocator for resource id allocation (like QP, and CQ). 
We first look at the situation where no resource id is released.
When the value of alloc-&gt;last starts to reaches alloc-&gt;max, the bitmap will 
be full. In this case, it's normal to return an invalid value.

Now, let's add resource releasing into consideration. 
The following code is part of mthca_free():

70	spin_lock_irqsave(&amp;alloc-&gt;lock, flags);
71
72	clear_bit(obj, alloc-&gt;table);
73	alloc-&gt;last = min(alloc-&gt;last, obj);
74	alloc-&gt;top = (alloc-&gt;top + alloc-&gt;max) &amp; alloc-&gt;mask;

mthca_free() is used to release the allocated resource id. It will update alloc-&gt;last when obj is freed. 
So, if the bitmap has space for allocation, my modification can continuously work.

&gt; 
&gt; However the mthca_alloc() function has other error, it returns -1 while
&gt; based on its declaration it needs to be unsigned,

I think you are right about this. But obj is the return value of u32 type, which is the requirement of resource id 
(though it may not fully use 32 bits). I have no idea of how to fix it.

Thanks.

&gt; 
&gt; Thanks
&gt; 
&gt; &gt; 
&gt; &gt; Signed-off-by: kangning <kangning18z@ict.ac.cn>
&gt; &gt; ---
&gt; &gt;  
&gt; &gt;  I squashed two commits into one in this version.
&gt; &gt;  
&gt; &gt;  drivers/infiniband/hw/mthca/mthca_allocator.c | 3 +++
&gt; &gt;  1 file changed, 3 insertions(+)
&gt; &gt; 
&gt; &gt; diff --git a/drivers/infiniband/hw/mthca/mthca_allocator.c b/drivers/infiniband/hw/mthca/mthca_allocator.c
&gt; &gt; index aef1d274a14e..1141695093e7 100644
&gt; &gt; --- a/drivers/infiniband/hw/mthca/mthca_allocator.c
&gt; &gt; +++ b/drivers/infiniband/hw/mthca/mthca_allocator.c
&gt; &gt; @@ -51,6 +51,9 @@ u32 mthca_alloc(struct mthca_alloc *alloc)
&gt; &gt;  	}
&gt; &gt;  
&gt; &gt;  	if (obj &lt; alloc-&gt;max) {
&gt; &gt; +		alloc-&gt;last = obj + 1;
&gt; &gt; +		if (alloc-&gt;last == alloc-&gt;max)
&gt; &gt; +			alloc-&gt;last = 0;
&gt; &gt;  		set_bit(obj, alloc-&gt;table);
&gt; &gt;  		obj |= alloc-&gt;top;
&gt; &gt;  	} else
&gt; &gt; -- 
&gt; &gt; 2.17.1
&gt; &gt; 
</kangning18z@ict.ac.cn>
Leon Romanovsky Aug. 31, 2021, noon UTC | #4
On Tue, Aug 31, 2021 at 06:40:38PM +0800, 康宁 wrote:
> &gt; 
> &gt; On Fri, Aug 27, 2021 at 08:52:28AM +0800, kangning wrote:
> &gt; &gt; drivers/infiniband/hw/mthca/mthca_allocator.c: alloc-&gt;last left unchanged in mthca_alloc, which
> &gt; &gt; has impact on performance of function find_next_zero_bit in mthca_alloc.
> &gt; 
> &gt; I don't know what the sentence above means, but the change is unlikely
> &gt; to be correct.
> &gt; 
> &gt; When alloc-&gt;last starts to be equal to alloc-&gt;max, the
> &gt; find_next_zero_bit() will always return alloc-&gt;max. which will ensure
> &gt; that the following code is executed.
> &gt; 
> &gt;    48         if (obj &gt;= alloc-&gt;max) {
> &gt;    49                 alloc-&gt;top = (alloc-&gt;top + alloc-&gt;max) &amp; alloc-&gt;mask;
> &gt;    50                 obj = find_first_zero_bit(alloc-&gt;table, alloc-&gt;max);
> &gt;    51         }
> &gt; 
> 
> Thanks for your review.
> Yes, your analysis is right. However, this is a bitmap allocator for resource id allocation (like QP, and CQ). 
> We first look at the situation where no resource id is released.
> When the value of alloc-&gt;last starts to reaches alloc-&gt;max, the bitmap will 
> be full. In this case, it's normal to return an invalid value.
> 
> Now, let's add resource releasing into consideration. 
> The following code is part of mthca_free:
> 
> 70	spin_lock_irqsave(&amp;alloc-&gt;lock, flags);
> 71
> 72	clear_bit(obj, alloc-&gt;table);
> 73	alloc-&gt;last = min(alloc-&gt;last, obj);
> 74	alloc-&gt;top = (alloc-&gt;top + alloc-&gt;max) &amp; alloc-&gt;mask;
> 
> mthca_free() is used to release the allocated resource id. It will update alloc-&gt;last when obj is freed. 
> So, if the bitmap has space for allocation, my modification can continuously work.

After alloc->last starts to be equal to alloc->max, the bitmap is
searches with find_first_zero_bit() call. That will ensure that we look
for any bit between 0 and alloc->max.

So no, your change can't be right.

Thanks

> 
> &gt; 
> &gt; However the mthca_alloc() function has other error, it returns -1 while
> &gt; based on its declaration it needs to be unsigned,
> 
> I think you are right about this. But obj is the return value of u32 type, which is the requirement of resource id 
> (though it may not fully use 32 bits). I have no idea of how to fix it.
> 
> Thanks.
> 
> &gt; 
> &gt; Thanks
> &gt; 
> &gt; &gt; 
> &gt; &gt; Signed-off-by: kangning <kangning18z@ict.ac.cn>
> &gt; &gt; ---
> &gt; &gt;  
> &gt; &gt;  I squashed two commits into one in this version.
> &gt; &gt;  
> &gt; &gt;  drivers/infiniband/hw/mthca/mthca_allocator.c | 3 +++
> &gt; &gt;  1 file changed, 3 insertions(+)
> &gt; &gt; 
> &gt; &gt; diff --git a/drivers/infiniband/hw/mthca/mthca_allocator.c b/drivers/infiniband/hw/mthca/mthca_allocator.c
> &gt; &gt; index aef1d274a14e..1141695093e7 100644
> &gt; &gt; --- a/drivers/infiniband/hw/mthca/mthca_allocator.c
> &gt; &gt; +++ b/drivers/infiniband/hw/mthca/mthca_allocator.c
> &gt; &gt; @@ -51,6 +51,9 @@ u32 mthca_alloc(struct mthca_alloc *alloc)
> &gt; &gt;  	}
> &gt; &gt;  
> &gt; &gt;  	if (obj &lt; alloc-&gt;max) {
> &gt; &gt; +		alloc-&gt;last = obj + 1;
> &gt; &gt; +		if (alloc-&gt;last == alloc-&gt;max)
> &gt; &gt; +			alloc-&gt;last = 0;
> &gt; &gt;  		set_bit(obj, alloc-&gt;table);
> &gt; &gt;  		obj |= alloc-&gt;top;
> &gt; &gt;  	} else
> &gt; &gt; -- 
> &gt; &gt; 2.17.1
> &gt; &gt; 
> </kangning18z@ict.ac.cn>
kangning18z@ict.ac.cn Aug. 31, 2021, 12:16 p.m. UTC | #5
> On Tue, Aug 31, 2021 at 06:40:38PM +0800, 康宁 wrote:
> > &gt;
> > &gt; On Fri, Aug 27, 2021 at 08:52:28AM +0800, kangning wrote:
> > &gt; &gt; drivers/infiniband/hw/mthca/mthca_allocator.c: alloc-&gt;last left unchanged in mthca_alloc, which
> > &gt; &gt; has impact on performance of function find_next_zero_bit in mthca_alloc.
> > &gt;
> > &gt; I don't know what the sentence above means, but the change is unlikely
> > &gt; to be correct.
> > &gt;
> > &gt; When alloc-&gt;last starts to be equal to alloc-&gt;max, the
> > &gt; find_next_zero_bit() will always return alloc-&gt;max. which will ensure
> > &gt; that the following code is executed.
> > &gt;
> > &gt;    48         if (obj &gt;= alloc-&gt;max) {
> > &gt;    49                 alloc-&gt;top = (alloc-&gt;top + alloc-&gt;max) &amp; alloc-&gt;mask;
> > &gt;    50                 obj = find_first_zero_bit(alloc-&gt;table, alloc-&gt;max);
> > &gt;    51         }
> > &gt;
> >
> > Thanks for your review.
> > Yes, your analysis is right. However, this is a bitmap allocator for resource id allocation (like QP, and CQ).
> > We first look at the situation where no resource id is released.
> > When the value of alloc-&gt;last starts to reaches alloc-&gt;max, the bitmap will
> > be full. In this case, it's normal to return an invalid value.
> >
> > Now, let's add resource releasing into consideration.
> > The following code is part of mthca_free:
> >
> > 70	spin_lock_irqsave(&amp;alloc-&gt;lock, flags);
> > 71
> > 72	clear_bit(obj, alloc-&gt;table);
> > 73	alloc-&gt;last = min(alloc-&gt;last, obj);
> > 74	alloc-&gt;top = (alloc-&gt;top + alloc-&gt;max) &amp; alloc-&gt;mask;
> >
> > mthca_free() is used to release the allocated resource id. It will update alloc-&gt;last when obj is freed.
> > So, if the bitmap has space for allocation, my modification can continuously work.
> 
> After alloc->last starts to be equal to alloc->max, the bitmap is
> searches with find_first_zero_bit() call. That will ensure that we look
> for any bit between 0 and alloc->max.
> 
> So no, your change can't be right.

If you never call function mthca_free(), you will never find a valid bit  in [0, alloc->max]
with find_first_zero_bit() call. Cause every bits between 0 and alloc->max are alloacted.

But if you called mthca_free() before, the freed obj is assigned to alloc->last, and we 
still can allocate the bitmap.

My modification is correct. 

> 
> Thanks
> 
> >
> > &gt;
> > &gt; However the mthca_alloc() function has other error, it returns -1 while
> > &gt; based on its declaration it needs to be unsigned,
> >
> > I think you are right about this. But obj is the return value of u32 type, which is the requirement of resource id
> > (though it may not fully use 32 bits). I have no idea of how to fix it.
> >
> > Thanks.
> >
> > &gt;
> > &gt; Thanks
> > &gt;
> > &gt; &gt;
> > &gt; &gt; Signed-off-by: kangning <kangning18z@ict.ac.cn>
> > &gt; &gt; ---
> > &gt; &gt; 
> > &gt; &gt;  I squashed two commits into one in this version.
> > &gt; &gt; 
> > &gt; &gt;  drivers/infiniband/hw/mthca/mthca_allocator.c | 3 +++
> > &gt; &gt;  1 file changed, 3 insertions(+)
> > &gt; &gt;
> > &gt; &gt; diff --git a/drivers/infiniband/hw/mthca/mthca_allocator.c b/drivers/infiniband/hw/mthca/mthca_allocator.c
> > &gt; &gt; index aef1d274a14e..1141695093e7 100644
> > &gt; &gt; --- a/drivers/infiniband/hw/mthca/mthca_allocator.c
> > &gt; &gt; +++ b/drivers/infiniband/hw/mthca/mthca_allocator.c
> > &gt; &gt; @@ -51,6 +51,9 @@ u32 mthca_alloc(struct mthca_alloc *alloc)
> > &gt; &gt;  }
> > &gt; &gt; 
> > &gt; &gt;  if (obj &lt; alloc-&gt;max) {
> > &gt; &gt; +	alloc-&gt;last = obj + 1;
> > &gt; &gt; +	if (alloc-&gt;last == alloc-&gt;max)
> > &gt; &gt; +	alloc-&gt;last = 0;
> > &gt; &gt;  set_bit(obj, alloc-&gt;table);
> > &gt; &gt;  obj |= alloc-&gt;top;
> > &gt; &gt;  } else
> > &gt; &gt; --
> > &gt; &gt; 2.17.1
> > &gt; &gt;
> > </kangning18z@ict.ac.cn>
Leon Romanovsky Sept. 1, 2021, 7:51 a.m. UTC | #6
On Wed, Sep 01, 2021 at 10:27:46AM +0800, kangning18z@ict.ac.cn wrote:
> 

<...>

> Thank you for your review.

Do you have mthca card in hand to test your changes?

This driver didn't get any changes for a long time and we
don't even know if it works or not.

I would prefer to minimize changes to that driver.

Thanks
diff mbox series

Patch

diff --git a/drivers/infiniband/hw/mthca/mthca_allocator.c b/drivers/infiniband/hw/mthca/mthca_allocator.c
index aef1d274a14e..1141695093e7 100644
--- a/drivers/infiniband/hw/mthca/mthca_allocator.c
+++ b/drivers/infiniband/hw/mthca/mthca_allocator.c
@@ -51,6 +51,9 @@  u32 mthca_alloc(struct mthca_alloc *alloc)
 	}
 
 	if (obj < alloc->max) {
+		alloc->last = obj + 1;
+		if (alloc->last == alloc->max)
+			alloc->last = 0;
 		set_bit(obj, alloc->table);
 		obj |= alloc->top;
 	} else