Re: Should we update the random_page_cost default value?

On 10/9/25 17:03, Robert Haas wrote:
> On Thu, Oct 9, 2025 at 10:47 AM Tomas Vondra <tomas@vondra.me> wrote:
>> I agree with this. But isn't this a mostly orthogonal problem? I mean,
>> shouldn't we do both (or try to)?
>>
>> Also, if users complain about A and not about B, does that mean B is not
>> an issue?
>>
>> Isn't ignoring "B" a bit like that? Of course, maybe B really is not
>> worth worrying about. Or maybe this is not the right approach to address
>> it, I don't know.
> 
> I'm just telling you what I think. I'm not purporting to have all of
> the right answers.
> 

Neither do I, of course. We're mostly brainstorming here, I think. I
hope none of what I wrote came out as harsh, it wasn't meant that way.


regards

-- 
Tomas Vondra