Пруфы давай

Ну вот опять. Ща

Чо ща

Ссылку кинь

Ну комп включу

ВСе время забываю, шо ты в другом часовом поясе

кстати О'Дерзкий тоже с другими названиями играет https://github.com/lampepfl/dotty/pull/5458

https://github.com/dotnet/fsharp/tree/feature/witness-passing - это про вот это https://github.com/dotnet/fsharp/pull/6810 https://github.com/dotnet/fsharp/tree/feature/ext - это про тайп экстеншны видимиые из других сборок

Там в репе подозрительные коммиты от Сайма в ветку witness

А что значит w.r.t?)

А что значит w.r.t?)

кто бы знал

кто бы знал

Хинтами

хинты - это признак плохого кода

там РФЦ есть https://github.com/fsharp/fslang-design/blob/master/RFCs/FS-1071-witness-passing-quotations.md

А что значит w.r.t?)

with regard/respect to

Я бы сказал что статистика точно должна работать с первого же запроса на хранимки, а на рандомные хз. Кешировать планы, находить общие. Хз

статистика - она на данные. и она не даёт ответа "надо ли этот запрос оптимизировать до упаду, или надо его таки выполнить сегодня". сервер никак не может догадаться в первый раз - это частоиспользуемый запрос или oneshot. Проблема точно такая же, как и у джита в .net

https://info.jetbrains.com/rider-webinar-august-2019.html

Здорово если он действительно в час уложится

Другое дело, что поднакопив статистику, например, "этот запрос выполнился 30 раз" можно прикинуть - а не переоптимизировать ли этот запрос

хинты - это признак плохого кода

Ну я не вижу ничего плохого, чтобы указать оптимизатору мол давай этот запрос хорошенько оптимизируй, я его часто дёргаю

В моём кейсе таких запросов на селект 95%

Ну я не вижу ничего плохого, чтобы указать оптимизатору мол давай этот запрос хорошенько оптимизируй, я его часто дёргаю

если все твои запросы надо яростно обмазывать хинтами, потому что иначе не работает, то скорее всего у тебя данные лежат не так как надо. плюс, стоит вопрос бутстрапа. сбросился по какой-то причине кеш планов - все ждут полчаса, пока мы всё оптимизируем до упора?

если все твои запросы надо яростно обмазывать хинтами, потому что иначе не работает, то скорее всего у тебя данные лежат не так как надо. плюс, стоит вопрос бутстрапа. сбросился по какой-то причине кеш планов - все ждут полчаса, пока мы всё оптимизируем до упора?

Зачем? Видишь хинт, выполняешь запрос как можно быстрее, в фоне делаешь оптимизацию, следующий запрос выполняешь уже по новому плану

Тэкс... witness - это про SRTP в quotations, походу

Зачем? Видишь хинт, выполняешь запрос как можно быстрее, в фоне делаешь оптимизацию, следующий запрос выполняешь уже по новому плану

"выполняешь как можно быстрее" - это как? пошёл тупо итерироваться интерпретируемым кодом? что-то скомпилял? какой индекс выбрать, первый попавшийся?

Хотя стопэ

Там в IL интересное

Там кстати в репе фшарпа подготовку начали к фшарпу 5. Бранч с новыми версиями завезли. Комп выключил если чо уже, позже кину Возрадуемся, благая весть!

Четвертому уже сколько лет?

"выполняешь как можно быстрее" - это как? пошёл тупо итерироваться интерпретируемым кодом? что-то скомпилял? какой индекс выбрать, первый попавшийся?

Выполняешь как обычно, так правильнее

Четвертый вышел в январе 2016

Лол нет. В июле 2015

То есть 4 года уже

Выполняешь как обычно, так правильнее

нет, потому что мы обсуждаем с тобой оптимизатор с точки зрения его проектирования. т.е. для нас "как обычно" - нет, мы должны выбрать как это будет "как обычно".

нет, потому что мы обсуждаем с тобой оптимизатор с точки зрения его проектирования. т.е. для нас "как обычно" - нет, мы должны выбрать как это будет "как обычно".

Как сейчас это реализовано, так и выполняем. За исключением того, что если видим хинт в запросе, то проверяем, есть ли у нас уже более оптимальный построенный план для этого запроса, если есть, то используем его, если этого плана нет, то занимаемся его построением в фоне

Допустим, построили этот план через 10 минут, и снова прилетел этот запрос, мы для него уже используем оптимальный план

а что важнее, выполнение запросов или оптимизация их? у нас же сервер конкурентно обрабатывает запросы разных пользователей к разным субд?

а что важнее, выполнение запросов или оптимизация их? у нас же сервер конкурентно обрабатывает запросы разных пользователей к разным субд?

Ну это уже как ты хочешь, так и можешь настроить. Можно заставить заниматься этим во время maintenance window

Ну это уже как ты хочешь, так и можешь настроить. Можно заставить заниматься этим во время maintenance window

я не могу ничего настроить, я код оптимизатора в подвале пишу, пока мой паспорт у лоеров оракла

Ну для оптимизатора есть различные настройки, так? И вот ты можешь дописать эту настройку пользовательскую

для начала мне надо определиться с тем, как будет работать "обычно"

Есть же настройка, которая собирает статистику по таблицам в maintenance window, почему нельзя заняться в это же время поиском оптимальных планов

и попасть в примерно 80% кейсов

для начала мне надо определиться с тем, как будет работать "обычно"

Так, как сейчас работает, ничего не трогая

Так, как сейчас работает, ничего не трогая

как сложно с программистами, которые не могут представить себе ситуацию "оптимизатор не написан, нам надо его написать". я, пожалуй, удалюсь из дискуссии

@Dolfik ты не очень прав

как сложно с программистами, которые не могут представить себе ситуацию "оптимизатор не написан, нам надо его написать". я, пожалуй, удалюсь из дискуссии

Я сейчас говорю о тюнинге оптимизатора, а не написании с нуля

Проблема скорее всего не в запросах

А в том, как ты их используешь

Плюс какая структура базы

Проблема скорее всего не в запросах

Я прекрасно понимаю, проблема в архитектуре базы данных

структуре*

Но, это нельзя быстро и легко исправить, и нам с этим жить

И таким кейсом можно облегчить нашу жизнь

Ты понимаешь, что этот кейс слабо исполним?

Или тебе пока не хватает опыта это понять?

Тут это "не лезь, оно тебя сожрет" (с)

Ты понимаешь, что этот кейс слабо исполним?

По какой причине?

По той причине, что в большинстве случаев это NP полная задача

потому что у оптимизатора конфликтующие требования: - время оптимизации при компиляции запроса - время выполнения запроса

и надо выбирать баланс

Изначально речь была об этом

Ты пытаешься не ту проблему решить

🤷‍♂️

Это проблема из серии "Почему отверткой гвозди не закручиваются"

Ты нашел следствие

Но не причину

Я вот работал как-то с топовым базистом, он тоже топил за выбрасывание хинтов из кода, а я тоже не понимал чо плохого. До сих пор не понял, но я плохой базист. Смотрю на базы как на хранилище - чем проще, тем лучше. 90% кейсов у меня - кивалуе, но особенности редиса того же знать надо, да. Чтобы не блочить его поток своими сканами, например

Была у нас хранимка, где через tvp прилетало от 1 до 5к ентитей. Я ее обмазал хинтами чтобы оптимизнуть самый плохой случай Он пришёл, сказал что я мудак и сделал две хранимки без хинтов, одна с ограниченным набором аргументов (до пяти ентитей) и вторая с твп (для более пяти). Сказал что так будет лучше и хинты мои убрал Не сказать что я постиг глубину глубин, но ебало умное сделал

Умное ебало - залог успеха в жизни

Я вот, например, умное ебало не умею делать

Поэтому я , white male man, в Москве, а всякие башкиры в Ирландии

Я вот работал как-то с топовым базистом, он тоже топил за выбрасывание хинтов из кода, а я тоже не понимал чо плохого. До сих пор не понял, но я плохой базист. Смотрю на базы как на хранилище - чем проще, тем лучше. 90% кейсов у меня - кивалуе, но особенности редиса того же знать надо, да. Чтобы не блочить его поток своими сканами, например

потому что хинты мешают оптимизатору работать. когда придёт фикс на оптимизатор, ты своими хинтами сломаешь всё

это как пистолет у военного

Поэтому я , white male man, в Москве, а всякие башкиры в Ирландии

Можно брать не ебалом, а например быть геем в твитере.

если в настоящем бою военному пришлось применять пистолет, ну он его применит, но значит явно что-то пошло не так

Можно брать не ебалом, а например быть геем в твитере.

В твиттере меня разбанили, но до быть геем пока не дорос

В твиттере меня разбанили, но до быть геем пока не дорос

а ты тоже говори (с) старый анекдот

а ты тоже говори (с) старый анекдот

Не, ну я в этом плане старообрядец

Поменяв ручками порядок джоинов в запросе, получилось в два раза уменьшить cost 🌚

Я вот работал как-то с топовым базистом, он тоже топил за выбрасывание хинтов из кода, а я тоже не понимал чо плохого. До сих пор не понял, но я плохой базист. Смотрю на базы как на хранилище - чем проще, тем лучше. 90% кейсов у меня - кивалуе, но особенности редиса того же знать надо, да. Чтобы не блочить его поток своими сканами, например

Это ты про кого?)

Поменяв ручками порядок джоинов в запросе, получилось в два раза уменьшить cost 🌚

знаешь почему?

ты можешь потратить день-два на играние с порядком джойнов, а оптимизатор - нет