Телеграмм чат группы compilerdev страница 1366

2020 May 18

M

MaxGraey in Compiler Development

Pavel Kazakov

И где там быстрее O(n)?

То есть O(n log n log n) это не быстрее O(n), где n принадлежит промежутку [0, 2^32] ?

источник

13:11пожаловаться #1

DP

Dmitry Ponyatov in Compiler Development

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

источник

13:12пожаловаться #2

PK

Pavel Kazakov in Compiler Development

MaxGraey

То есть O(n log n log n) это не быстрее O(n), где n принадлежит промежутку [0, 2^32] ?

При чем тут конкретный диапазон, при том очень похожий на битовую маску? n < n*loglog(n)

источник

13:12пожаловаться #3

M

MaxGraey in Compiler Development

Pavel Kazakov

При чем тут конкретный диапазон, при том очень похожий на битовую маску? n < n*loglog(n)

n < n * log(log(n)) на всем промежутке? Или y=x график и y=x * log(log(x)) все же где то пересекаются?

источник

13:16пожаловаться #4

MO

Mar Ort in Compiler Development

Dmitry Ponyatov

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

Но зачем? Не понятно, что можно сделать с выхлопом аота

источник

13:17пожаловаться #5

AD

Artyom Drozdov in Compiler Development

Dmitry Ponyatov

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

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

источник

13:19пожаловаться #6

AD

Artyom Drozdov in Compiler Development

(прошу прощения, скорее jar, чем class)

источник

13:20пожаловаться #7

MO

Mar Ort in Compiler Development

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

источник

13:20пожаловаться #8

PS

Peter Sovietov in Compiler Development

MaxGraey

n < n * log(log(n)) на всем промежутке? Или y=x график и y=x * log(log(x)) все же где то пересекаются?

Означает ли это, что я смогу ускорить любой алгоритм с O(n) "для достаточно малого n", если просто добавлю снаружи еще один цикл на log(n)*log(n) итераций? :)

источник

13:22пожаловаться #9

M

MaxGraey in Compiler Development

log(log(n)) а не log(n) * log(n) =)

источник

13:23пожаловаться #10

AD

Artyom Drozdov in Compiler Development

Peter Sovietov

Означает ли это, что я смогу ускорить любой алгоритм с O(n) "для достаточно малого n", если просто добавлю снаружи еще один цикл на log(n)*log(n) итераций? :)

если log(log(n)) < 1, то да)

источник

13:23пожаловаться #11

M

MaxGraey in Compiler Development

Artyom Drozdov

если log(log(n)) < 1, то да)

и таки да)

источник

13:23пожаловаться #12

M

MaxGraey in Compiler Development

Я смотрю ассимптотика парралельных алгоритвов многим ломает мозг сегодня)

источник

13:24пожаловаться #13

PS

Peter Sovietov in Compiler Development

Тут ключевое слово — асимптотика.

источник

13:24пожаловаться #14

PK

Pavel Kazakov in Compiler Development

MaxGraey

Я смотрю ассимптотика парралельных алгоритвов многим ломает мозг сегодня)

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

источник

13:27пожаловаться #15

МБ

Михаил Бахтерев... in Compiler Development

MaxGraey

Три строчки на Ocaml и ~9000 строк доказательства на Coq =)

Там 100 строчек, остальное - библиотека тактик, похоже, стандартных.

источник

13:27пожаловаться #16

PK

Pavel Kazakov in Compiler Development

На бумаге всё может и офигенно выглядит, но на практике я предвижу дофига проблем, как минимум, fork-join, и если кто-то будет делать не очень опытный, ещё и false sharing можно поймать

источник

13:28пожаловаться #17

M

MaxGraey in Compiler Development

то есть стать выше где вообще упоминается O(1/n) вас не смутила, вас смутила O(n * log log n) =)

источник

13:28пожаловаться #18

PK

Pavel Kazakov in Compiler Development

There's no free lunch

источник

13:28пожаловаться #19