[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-ID: <57CA0C5D.1080701@emindsoft.com.cn>
Date: Sat, 03 Sep 2016 07:33:49 +0800
From: Chen Gang <chengang@...ndsoft.com.cn>
To: Al Viro <viro@...IV.linux.org.uk>
CC: Vineet Gupta <vgupta@...opsys.com>, Arnd Bergmann <arnd@...db.de>,
akpm@...ux-foundation.org, minchan@...nel.org, vbabka@...e.cz,
gi-oh.kim@...fitbricks.com, iamjoonsoo.kim@....com,
hillf.zj@...baba-inc.com, mgorman@...hsingularity.net,
mhocko@...e.com, rientjes@...gle.com, linux-kernel@...r.kernel.org,
rth@...ddle.net, ink@...assic.park.msu.ru, mattst88@...il.com,
linux@...linux.org.uk, catalin.marinas@....com,
will.deacon@....com, hskinnemoen@...il.com, egtvedt@...fundet.no,
realmz6@...il.com, ysato@...rs.sourceforge.jp, rkuo@...eaurora.org,
tony.luck@...el.com, fenghua.yu@...el.com, geert@...ux-m68k.org,
james.hogan@...tec.com, ralf@...ux-mips.org, dhowells@...hat.com,
deller@....de, benh@...nel.crashing.org, paulus@...ba.org,
mpe@...erman.id.au, schwidefsky@...ibm.com,
heiko.carstens@...ibm.com, dalias@...c.org,
"David S. Miller" <davem@...emloft.net>
Subject: Re: cmsg newgroup alt.sex.fetish.bool (was Re: [PATCH] arch: all:
include: asm: bitops: Use bool instead of int for all bit test functions)
On 9/2/16 04:43, Al Viro wrote:
> On Tue, Aug 30, 2016 at 05:49:05AM +0800, Chen Gang wrote:
>
>> Could you provide the related proof?
>>
>> Or shall I try to analyze about it and get proof?
>
> Can you show a proof that it actually improves anything? He who proposes
> a patch gets to defend it, not the other way round...
>
> Al, bloody annoyed
>
OK, what you said sounds reasonable to me.
It makes the code more readable since they are really pure Boolean
functions, and let the functions are precisely same in all archs. But
really, I shall try to prove that it has no negative effect.
e.g. for arc arch. now, I have built the arc raw compiler to build arc
kernel, but excuse me, I plan to finish proof next week, because during
these days, I have to work, buy house, and focus on my father's health.
Thanks.
--
Chen Gang (陈刚)
Managing Natural Environments is the Duty of Human Beings.
Powered by blists - more mailing lists