Re: Defaulting to jit=on/off for v11

On September 15, 2018 8:26:17 AM MDT, Andrew Dunstan <andrew(dot)dunstan(at)2ndquadrant(dot)com> wrote:
>
>
>On 09/14/2018 08:18 PM, Peter Geoghegan wrote:
>> On Fri, Sep 14, 2018 at 3:32 PM, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)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't have an easy time to push a patch. I probably could push something tomorrow, but I'd have a hard time cleaning up if 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.