Re: performance bug of [[ $x ]]

From	Chris Down <chris@chrisdown.name>
Newsgroups	gnu.bash.bug
Subject	Re: performance bug of [[ $x ]]
Date	2020-03-08 02:10 +0000
Message-ID	<mailman.2275.1583633419.2412.bug-bash@gnu.org> (permalink)
References	<CABrM6w=ignEwgynRTYYbBLUNs=KVhE8WCf9h=kkgHj00QNoqmw@mail.gmail.com> <20200307225816.GA997327@chrisdown.name> <CABrM6w=f1bqMekCcfSdzYGrMVFTzpWFniFKhspfBqdfyDxn1hQ@mail.gmail.com> <20200308021011.GA1065042@chrisdown.name>

Show all headers | View raw

Peng Yu writes:
>Could you show me how you do the profiling for this specific case?
>Based on what proof that you can conclude that it is not the `[[`
>performance problem?

Like I said, `perf` is perfectly adequate.

     bash -c 'x=$(printf "%.sx" {1..10000000}); perf record -g -p $$ & sleep 2; time [[ $x ]]'

You might as well just use `:`.

Back to gnu.bash.bug | Previous | Next | Find similar

Thread

Re: performance bug of [[ $x ]] Chris Down <chris@chrisdown.name> - 2020-03-08 02:10 +0000

csiph-web