From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <dev-bounces@dpdk.org>
Received: from dpdk.org (dpdk.org [92.243.14.124])
	by dpdk.space (Postfix) with ESMTP id B9A5CA05D3
	for <public@inbox.dpdk.org>; Fri, 26 Apr 2019 13:14:48 +0200 (CEST)
Received: from [92.243.14.124] (localhost [127.0.0.1])
	by dpdk.org (Postfix) with ESMTP id 9EB641B603;
	Fri, 26 Apr 2019 13:14:47 +0200 (CEST)
Received: from mga09.intel.com (mga09.intel.com [134.134.136.24])
 by dpdk.org (Postfix) with ESMTP id 15E731B597;
 Fri, 26 Apr 2019 13:14:45 +0200 (CEST)
X-Amp-Result: SKIPPED(no attachment in message)
X-Amp-File-Uploaded: False
Received: from orsmga004.jf.intel.com ([10.7.209.38])
 by orsmga102.jf.intel.com with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384;
 26 Apr 2019 04:14:44 -0700
X-ExtLoop1: 1
X-IronPort-AV: E=Sophos;i="5.60,397,1549958400"; d="scan'208";a="294744858"
Received: from dhunt5-mobl2.ger.corp.intel.com (HELO [10.237.210.15])
 ([10.237.210.15])
 by orsmga004.jf.intel.com with ESMTP; 26 Apr 2019 04:14:43 -0700
To: "Burakov, Anatoly" <anatoly.burakov@intel.com>, dev@dpdk.org
Cc: stable@dpdk.org
References: <20190426084415.3979-1-david.hunt@intel.com>
 <ffd31c3e-9510-f3e9-0604-576b8a14d8d9@intel.com>
From: "Hunt, David" <david.hunt@intel.com>
Message-ID: <109520e2-b6fc-418c-81e9-03b7821ea2ed@intel.com>
Date: Fri, 26 Apr 2019 12:14:42 +0100
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
 Thunderbird/60.6.1
MIME-Version: 1.0
In-Reply-To: <ffd31c3e-9510-f3e9-0604-576b8a14d8d9@intel.com>
Content-Type: text/plain; charset="UTF-8"; format="flowed"
Content-Transfer-Encoding: 8bit
Content-Language: en-US
Subject: Re: [dpdk-dev] [PATCH v1] examples/vm_power_manager: fix overflowed
 return value
X-BeenThere: dev@dpdk.org
X-Mailman-Version: 2.1.15
Precedence: list
List-Id: DPDK patches and discussions <dev.dpdk.org>
List-Unsubscribe: <https://mails.dpdk.org/options/dev>,
 <mailto:dev-request@dpdk.org?subject=unsubscribe>
List-Archive: <http://mails.dpdk.org/archives/dev/>
List-Post: <mailto:dev@dpdk.org>
List-Help: <mailto:dev-request@dpdk.org?subject=help>
List-Subscribe: <https://mails.dpdk.org/listinfo/dev>,
 <mailto:dev-request@dpdk.org?subject=subscribe>
Errors-To: dev-bounces@dpdk.org
Sender: "dev" <dev-bounces@dpdk.org>
Message-ID: <20190426111442.utrAcOQb1yOMHp9dpizlP-F34xfh_ePLcxS8IopStQU@z>

Hi Anatoly,

On 26/4/2019 11:29 AM, Burakov, Anatoly wrote:
> On 26-Apr-19 9:44 AM, David Hunt wrote:
>> Coverity complains about the return of a value that may
>> possibly overflow because of a multiply. Limit the value
>> so it cannot overflow.
>>
>> Coverity issue: 337677
>> Fixes: 4b1a631b8a ("examples/vm_power: add oob monitoring functions")
>> CC: stable@dpdk.org
>> Signed-off-by: David Hunt <david.hunt@intel.com>
>> ---
>>   examples/vm_power_manager/oob_monitor_x86.c | 5 ++++-
>>   1 file changed, 4 insertions(+), 1 deletion(-)
>>
>> diff --git a/examples/vm_power_manager/oob_monitor_x86.c 
>> b/examples/vm_power_manager/oob_monitor_x86.c
>> index ebd96b205..2074eec1e 100644
>> --- a/examples/vm_power_manager/oob_monitor_x86.c
>> +++ b/examples/vm_power_manager/oob_monitor_x86.c
>> @@ -99,7 +99,10 @@ apply_policy(int core)
>>           return -1.0;
>>       }
>>   -    ratio = (float)miss_diff * (float)100 / (float)hits_diff;
>> +    ratio = (float)miss_diff / (float)hits_diff;
>> +    if (ratio > 1.0)
>> +        ratio = 1.0;
>> +    ratio *= 100.0f;
>
> It should probably be the other way around - multiply first, then 
> clamp. Also, please use RTE_MIN.
>
I tried that, but coverity still sees an overflow condition. I need to 
clamp first, then multiply. Then coverity is happy.

Also, do you really want me to change to use RTE_MIN? I honestly prefer 
the code as it is.



>>         if (ratio < ci->branch_ratio_threshold)
>>           power_manager_scale_core_min(core);
>>
>
>