В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

802 membersпожаловаться на группу
2020 January 11

FO

FORTRAN ONE LOVE in Compiler Development
Михаил Бахтерев
У автора ATS2 есть статья о том, как они боролись за удаление проверок грариц в runtime. В принципе, ничего особенного: составляем всякие ограничения, решаем задачку дискретного линейного программирования. Там, где решилась - выкидываем проверки. Примерно так.
Да можно особо и не проверять в самом рантайме, а только в режиме дебага
источник
23:47пожаловаться#1

МБ

Михаил Бахтерев in Compiler Development
Ну... В любом случае так. Но там можно и без подсказок. Компилятор сам что-то разруливает, а где-то просит подкинуть дополнительных неравенств.

Кстати, Корпорация Добра, это к себе утащила: https://github.com/google/wuffs
GitHub
google/wuffs
Wrangling Untrusted File Formats Safely. Contribute to google/wuffs development by creating an account on GitHub.
источник
23:48пожаловаться#2

KR

K R in Compiler Development
Михаил Бахтерев
Ну... В любом случае так. Но там можно и без подсказок. Компилятор сам что-то разруливает, а где-то просит подкинуть дополнительных неравенств.

Кстати, Корпорация Добра, это к себе утащила: https://github.com/google/wuffs
GitHub
google/wuffs
Wrangling Untrusted File Formats Safely. Contribute to google/wuffs development by creating an account on GitHub.
Типичное описание алгоритма линейной алгебры - проходим по столбцам по верхнему треугольнику слева направо, делаем ..., записывая результат в предыдущий столбец.в
источник
23:51пожаловаться#3

KR

K R in Compiler Development
Понятно и очевидно без вылезаний за границы. И лишь перевод на С меняет дело.
источник
23:52пожаловаться#4

KR

K R in Compiler Development
То есть, может быть выбором соответствующих примитивов можно исправить ситуацию?
источник
23:53пожаловаться#5

YS

Yuriy Syrovetskiy in Compiler Development
Михаил Бахтерев
Ну... В любом случае так. Но там можно и без подсказок. Компилятор сам что-то разруливает, а где-то просит подкинуть дополнительных неравенств.

Кстати, Корпорация Добра, это к себе утащила: https://github.com/google/wuffs
GitHub
google/wuffs
Wrangling Untrusted File Formats Safely. Contribute to google/wuffs development by creating an account on GitHub.
это не корпорация утащила, а очередной опенсорс, который сотрудник был обязан отдать компании по условиям контракта
источник
23:53пожаловаться#6

МБ

Михаил Бахтерев in Compiler Development
Yuriy Syrovetskiy
это не корпорация утащила, а очередной опенсорс, который сотрудник был обязан отдать компании по условиям контракта
Ну. Может быть. Но, вроде как, они его поддерживают и используют
источник
23:54пожаловаться#7

МБ

Михаил Бахтерев in Compiler Development
K R
То есть, может быть выбором соответствующих примитивов можно исправить ситуацию?
APL?
источник
23:55пожаловаться#8

KR

K R in Compiler Development
Вот надо посмотреть
источник
23:55пожаловаться#9

YS

Yuriy Syrovetskiy in Compiler Development
Yuriy Syrovetskiy
это не корпорация утащила, а очередной опенсорс, который сотрудник был обязан отдать компании по условиям контракта
судя по тексту

This is not an official Google product, it is just code that happens to be owned by Google.
источник
23:56пожаловаться#10

FO

FORTRAN ONE LOVE in Compiler Development
K R
То есть, может быть выбором соответствующих примитивов можно исправить ситуацию?
Ну у нас часть матриц хранится в верхнетреугольном представлении, часть в полном :-)
источник
23:56пожаловаться#11
2020 January 12

C

Constantine in Compiler Development
Михаил Бахтерев
Ну... В любом случае так. Но там можно и без подсказок. Компилятор сам что-то разруливает, а где-то просит подкинуть дополнительных неравенств.

Кстати, Корпорация Добра, это к себе утащила: https://github.com/google/wuffs
GitHub
google/wuffs
Wrangling Untrusted File Formats Safely. Contribute to google/wuffs development by creating an account on GitHub.
интересно, спс за линк
источник
12:05пожаловаться#12

К

Константин in Compiler Development
Aleksey Shipilev
Ну камон, ироничность в том, что Углянский -- из Excelsior, и ему грустно от "в AOT Java компилируется весьма паршиво". Рефлексию можно и в AOT ;)
Пробовал я применять Excelsior JET для внутреннего проекта. Он, конечно, лучше нынешнего GraalVM, но JIT'у сливал в 2-а раза
источник
16:27пожаловаться#13

E

EgorBo in Compiler Development
Константин
Пробовал я применять Excelsior JET для внутреннего проекта. Он, конечно, лучше нынешнего GraalVM, но JIT'у сливал в 2-а раза
а потому что надо как у нас в дотнете — выбрасывать АОТ для горячих методов в процессе
источник
16:29пожаловаться#14

E

EgorBo in Compiler Development
тогда и сливать никому не будет и старт быстрый
источник
16:30пожаловаться#15

M

MaxGraey in Compiler Development
Константин
Пробовал я применять Excelsior JET для внутреннего проекта. Он, конечно, лучше нынешнего GraalVM, но JIT'у сливал в 2-а раза
Я кстати попросил Никиту Липского прислать хоть какой то бенчмарк именно производительности а не сравнения времени старта между Excelsior и HotSpot, но он так и не ответил. И да он прямо в своем докладе говорил, что Excelsior JET - это все же гибрид AOT + JIT =)
источник
17:48пожаловаться#16

E

EgorBo in Compiler Development
AOT и есть JIT. just in time ahead of execution :p
источник
17:50пожаловаться#17

К

Константин in Compiler Development
MaxGraey
Я кстати попросил Никиту Липского прислать хоть какой то бенчмарк именно производительности а не сравнения времени старта между Excelsior и HotSpot, но он так и не ответил. И да он прямо в своем докладе говорил, что Excelsior JET - это все же гибрид AOT + JIT =)
Речь, наверно, шла о применении JIT там, где AOT невозможен?
источник
17:55пожаловаться#18

M

MaxGraey in Compiler Development
Константин
Речь, наверно, шла о применении JIT там, где AOT невозможен?
Боюсь мы этого уже не узнаем, человек причастный к проекту больше сюда не заходит и даже в твиттере были прдложения меня забанить =)
источник
18:00пожаловаться#19

AK

Andrei Kurosh in Compiler Development
MaxGraey
Боюсь мы этого уже не узнаем, человек причастный к проекту больше сюда не заходит и даже в твиттере были прдложения меня забанить =)
Углянский жаловался на обилие людей в чате, поэтому Фридрих предложил просто кого-нибудь забанить, не конкретно вас )
источник
18:11пожаловаться#20