Re: Defaulting to jit=on/off for v11

On September 15, 2018 8:26:17 AM MDT, Andrew Dunstan <andrew.dunstan@2ndquadrant.com> wrote:
>
>
>On 09/14/2018 08:18 PM, Peter Geoghegan wrote:
>> On Fri, Sep 14, 2018 at 3:32 PM, Tom Lane <tgl@sss.pgh.pa.us> wrote:
>>> I'd go with #2, personally.  It does seem that the costing needs
>work,
>>> but it's not clear to me that we know what to change, so it's kinda
>>> late to propose #3 for v11.
>> +1. I also favor option #2.
>>
>
>+ about 0.8. I hope we do get some good field testing if it, though.

Cool, sounds we have agreement. I'll try to come up with a patch.  I'm [un]fortunately hiking till Wednesday, so I
won'thave an easy time to push a patch.   I probably could push something tomorrow, but I'd have a hard time cleaning
upif needed.  Does anybody feel we should have that in Mondays release? 

Andres

Andres
--
Sent from my Android device with K-9 Mail. Please excuse my brevity.