forum.opennet.ru

"Red Hat развивает JIT-компилятор MIR"

Форум Разговоры, обсуждение новостей
Версия для распечатки	Пред. тема \| След. тема

Исходное сообщение

[ Отслеживать ]

Присылайте удачные настройки в раздел примеров файлов конфигурации на WIKI.opennet.ru.

. "Red Hat развивает JIT-компилятор MIR"	–5 +/–
Сообщение от Аноним (-), 21-Янв-20, 14:33
> а почему нельзя просто скомпилировать бинарник? Потому что в языке с динамической типизацией проблематично просчитать все возможные изменения переменных, например, на этапе компиляции. Просто по Тюрингу - компилер не может вынести вердикт о том чего будет с вон той переменной дальше. И поэтому не может сгенерить сколь-нибудь эффективный код, всегда надо предусматривать что переменная внезапно полностью сменила тип. А это стало быть конкретный кус кода навешивать придется. Медленный и жирный. Потому что в случае eval() надо еще... внезапно притащить с собой ВЕСЬ КОМПИЛЕР. В рантайме. Ну или как eval() то выполнять без этого? :)
Ответить \| Правка \| Наверх \| Cообщить модератору

Оглавление

Red Hat развивает JIT-компилятор MIR, opennews, 21-Янв-20, 09:51 [смотреть все]

Может всё-таки JIR , Аноним, 21-Янв-20, 09:51 (1) //
- jinr , РэдХэд, 21-Янв-20, 14:16 (47)
Бинарник собранный gcc 25 мегабайт Что там Эти тоже забыли стрипнуть , Аноним, 21-Янв-20, 09:55 (2) //
- Это размер КОДА самого компилятора, Имя, 21-Янв-20, 11:11 (20) //
  - LLVM посчитать забыли, там гигабайт 20 , Аноним, 21-Янв-20, 11:13 (21) //
    - А точно не 100500 https packages debian org jessie libllvm3 5, Аноним84701, 21-Янв-20, 13:46 (43)
    - Как это Пакет с либой весит 7 мегов , Аноним, 21-Янв-20, 14:27 (53)
      - Для начала необходимо выяснить, что именно они имели в виду Если это зависимост, Аноним, 21-Янв-20, 14:42 (65)
- да какая разница, если статичная линковка, то это очень круто, Аноним, 21-Янв-20, 11:27 (23) //
  - Очередная перепись нечитавших новость сс1 правда ни разу не статистически слинк, Аноним84701, 21-Янв-20, 14:47 (66) //
    - Тут уже предлагают libllvm сравнивать Давайте тогда libcc1 считать вместо этого, Аноним, 21-Янв-20, 15:02 (74)
      - Кто и с чем предалагает Те, кому для сборки LLVM нужны десятки гигабайт , могут, Аноним84701, 21-Янв-20, 15:15 (75)
        
        Я привык собирать в tmpfs, очень болезненно реагирую на десятки гигабайт Приход, Аноним, 21-Янв-20, 15:18 (76)
        
        Ну например вот это вот из недавнего самосбора кастом с clang, lld-gold, без, Аноним84701, 21-Янв-20, 15:39 (78)
        
        А что такое старьё то В 1 поток Я много чего раньше собирал в tmpfs, включая к, Аноним, 21-Янв-20, 16:08 (80)
        
        Ну дык - собирайте без LTO А то получается как в том анекдоте Доктор, если я д, Аноним84701, 22-Янв-20, 00:16 (105)
        
        Подключайте десятки гигабайт свопа -- tmpfs swap работает всё равно быстрее ext4, Michael Shigorin, 21-Янв-20, 19:42 (98)
        
        Использовать журналируемые ФС для временных файлов а сборка именно их и создаёт, юникснуб, 23-Янв-20, 19:25 (135)
Чем оно лучше GNU Lightning , Аноним, 21-Янв-20, 09:57 (3) //
- Разные подход к снаряду, в GNU Lightning нет промежуточного языка Тут в пору спр, GentooBoy, 22-Янв-20, 09:18 (118)
Это что же, у нас будут интерпретаторы Си и Си Они понимают что через полгода, A.Stahl, 21-Янв-20, 10:01 (4) //
- так а по какой такой понятной причине , наше имя легион, 21-Янв-20, 10:14 (7) //
  - У тебя есть подкроватный сервер Вот и попробуй выпилить оттуда Лисп и сам всё, A.Stahl, 21-Янв-20, 10:16 (8) //
    - eix -I lispNo matches foundну в принципе да, нельзя вытеснить того, чего нет, Аноним, 25-Янв-20, 23:29 (149)
      - а если найду простите не удержался , Michael Shigorin, 25-Янв-20, 23:38 (150)
- Не вытеснят из-за порогов вхождения в Питоны и Пыхи , Аноним, 21-Янв-20, 11:09 (19) //
  - Си прост, да и Си не сложен пока не возиться с шаблонами и не городить что-то , A.Stahl, 21-Янв-20, 11:34 (26) //
    - Трoллинг глупостью в 2020 году смотрится уже немного архаично, не находите , Аноним, 21-Янв-20, 12:44 (37)
      - Ну так и не тролльте , Аноним, 21-Янв-20, 14:36 (62)
    - Интересно, а зачем использовать C , если не использовать его нетривиальные возм, юникснуб, 23-Янв-20, 19:26 (136)
      - Понятия не имею о чём ты говоришь Хочешь -- используй, не хочешь -- не использу, A.Stahl, 23-Янв-20, 19:45 (142)
        
        С утверждением хочешь - используй спорить даже не собираюсь Но я говорил про , юникснуб, 24-Янв-20, 15:03 (147)
        
        Для простых задач тяжеловес Си ничем не хуже других языков Совсем Более то, A.Stahl, 24-Янв-20, 15:39 (148)
- R уже есть , Аноним, 21-Янв-20, 14:21 (48) //
  - В каком месте R вообще замена си Эт ж надо такое придумать , Аноним, 21-Янв-20, 14:30 (58)
- Есть такое малознакомое понятие как ИТ безопасность, вот именно по этому понятию, Аноним, 21-Янв-20, 14:23 (51) //
  - Такая безопасность работает только при условии, что у злоумышленника не хватит, Аноним, 21-Янв-20, 14:27 (54) //
    - У людей имеющих элементарные понятия ИТ безопасности вся память, включая дискову, Аноним, 22-Янв-20, 15:36 (131)
    - Садись, опять двойка Речь идет о выделении оперативной память в режиме RX для ис, Аноним, 22-Янв-20, 16:06 (132)
      - Не противоречит Современные приличные JIT делают простую вещь сначала выделяют, юникснуб, 23-Янв-20, 19:29 (137)
- Скачай уже наконец TCC и вот оно счастье D Он таки это самое умеет, прям в рид, Аноним, 21-Янв-20, 14:29 (56) //
  - TCC - GPL А это резко ограничивает возможности его применения Собственно, мне , funny.falcon, 21-Янв-20, 21:11 (102) //
    - Не очень ффтыкаю как GPL компилера в режиме интерпретера ограничивает что-то , Аноним, 22-Янв-20, 04:19 (109)
- Подумали в своё время умные люди и создали Perl , nelson, 21-Янв-20, 16:31 (82) //
  - Забавно, но нет Perl создавался для решения задач, которые при создании C ещё не, юникснуб, 23-Янв-20, 19:31 (138)
Красноперые решили потролить неудачников из каноникала , Аноним, 21-Янв-20, 10:13 (5) //
- скромные боги тихо собирают МИР , Аноним, 21-Янв-20, 10:55 (16) //
  - Зачем захватывать мир, если можно сделать свой , Аноним, 21-Янв-20, 14:28 (55) //
    - Весьма валидный пойнт Но LLVM с шлангом они кажется все-таки малость подтроллил, Аноним, 21-Янв-20, 14:40 (63)
Остальное время будет добрано на целевых компьютерах во время выполнения , Аноним, 21-Янв-20, 10:13 (6) //
- Исполнение MIR с использованием JIT должно быть не более чем на 30 медленнее, ч, Moomintroll, 21-Янв-20, 10:31 (9) //
  - про компиляцию в внутреннее представление JIT намеренно умолчали или не знали о, Аноним, 21-Янв-20, 11:35 (27)
- Закон сохранения энергии Или как вариант, код будет передаваться на облака Red, bw, 21-Янв-20, 10:50 (15) //
  - Интересно, по какому закону сохранения этот frontend будет работать без интерн, Аноним, 21-Янв-20, 11:33 (25)
Зачем столько новых промежуточных представлений Уже существующих недостаточно , Аноним, 21-Янв-20, 10:31 (10) //
- Это не считая того, что выходной x86 -64 код - тоже промежуточное представление, Аноним, 21-Янв-20, 10:43 (12)
- Фатальный недостаток-с с у всех же , Урри, 21-Янв-20, 17:56 (87)
Эпическое ненужно , Аноним, 21-Янв-20, 10:42 (11) //
- С другой стороны они все верят что именно их xIT будет праивть миром В то время, Аноним, 21-Янв-20, 10:48 (14) //
  - а почему нельзя просто скомпилировать бинарник ну или два бинарника для x86-64 , X5asd5, 21-Янв-20, 11:20 (22) //
    - Почему бы не погуглить, зачем нужен jit , Аноним, 21-Янв-20, 11:44 (30)
      - а почему бы сразу не написать сюда на форум, действительно, зачем же нужен jit , X5asd5, 21-Янв-20, 12:14 (33)
        
        Потому что в принципе бессмысленно что-то объяснять, если человек не знает, где , Аноним, 21-Янв-20, 12:36 (35)
        
        Там где нет денег сделать из MVP и POC проекта полноценное решение Тут всем на п, Аноним, 21-Янв-20, 20:37 (100)
        
        Господи, откуда вы беретесь , Аноним, 22-Янв-20, 10:55 (122)
        
        вам лучше этого не знать, поверьте, господи, 23-Янв-20, 19:34 (139)
        
        Значит пользователь ПК потратил недостаточно денег на оперативную память, чтобы , Аноним, 21-Янв-20, 17:46 (83)
        Дык известно же что производители железа просто щемят программистов этим вот и в, Аноним, 21-Янв-20, 20:38 (101)
    - Потому что в языке с динамической типизацией проблематично просчитать все возмож , Аноним, 21-Янв-20, 14:33 (61)
      - Вот с этого момента можно дальше не читать - уровень содержимого примерно такой , Аноним, 21-Янв-20, 14:59 (73)
      - вообще первоначальный тезис был про С другой стороны они все верят что именно , X5asd5, 21-Янв-20, 22:30 (104)
        
        В C есть такая штука как dynamic, почитайте https docs microsoft com ru-ru d, господи, 23-Янв-20, 19:38 (140)
  - Уже есть numba Она даже cuda умеет Результаты так себе, скажем, cython обеспеч, Аноним, 21-Янв-20, 12:35 (34)
  - так cython УЖЕ естьправда жизни состоит в том что в том месте где живут питоны и, 0ffh, 21-Янв-20, 18:36 (93)
унас_было_14_стандартов жпг Но идея годная Если взлетит, будет хорошо , Аноним, 21-Янв-20, 10:45 (13)
Я не понял, там названия кончились что ли , Ваш Анонимус, 21-Янв-20, 11:06 (17) //
- Они хотят крутое название из трех букв н р C компиляторы pcc, tcc, lcc, gc, neAnonim, 21-Янв-20, 11:35 (28) //
  - Пусть обратятся к Russian Hackers, они подскажут И даже отправят туда , Аноним, 21-Янв-20, 12:47 (38)
Ушли у батьки Столлмана конпилятор Эх, успеют корпорасты реализовать задумки и, myhand, 21-Янв-20, 11:07 (18) //
- К тем, кто будет использовать старый gcc 8212 выедут специально обученные люд, Аноним, 21-Янв-20, 11:30 (24) //
  - А чому не в Nigeria , Аноним, 21-Янв-20, 12:14 (32) //
    - Потому что название не толерантное , Аноним, 21-Янв-20, 12:41 (36)
1 стандарт, Аноним, 21-Янв-20, 11:43 (29) //
- Пока код ISO на присвоят 8212 не стандарт , Аноним, 21-Янв-20, 13:06 (39) //
  - А если ISO выпустят релиз, а все остальные на эту бамажку покладут известно что,, господи, 23-Янв-20, 19:41 (141)
- я что не понял - чем оно от вм и байткода ллвм отличается кроме того что написан, Аноним, 21-Янв-20, 22:18 (103)
Какая-то детская фиксация на цифре 100 В сто раз быстрее, меньше Прям как м, Аноним, 21-Янв-20, 12:00 (31) //
- Современные физики и инженеры с их 171 разница величин оценивается как минимум, Аноним, 21-Янв-20, 13:07 (40) //
  - На два порядка Логарифмы складываются , Аноним, 21-Янв-20, 17:53 (86)
- Ну а что, иногда даже правда Нацепит экзоскелет - и подымет , Аноним, 21-Янв-20, 14:41 (64)
ну, хотя бы, подходящий язык для реализации выбрали, а не хипстерскую растишку, , nelson, 21-Янв-20, 13:38 (41) //
- говорят люди, не имеющие понятия ни о расте, ни о системного программировани, Owlet, 21-Янв-20, 13:46 (42) //
  - Это всё гуманитарные дисциплины, и настоящему айтишнику их знать не надо Вот фи, Аноним, 21-Янв-20, 14:22 (50)
  - растишка - это диверсия в сфере разработки системного ПО язычёк, в котором мани, nelson, 21-Янв-20, 15:52 (79) //
    - Растишка переносит отлов багов с адресной арифметикой с этапа исполнения на этап, Анончик, 22-Янв-20, 12:46 (124)
- GCC и сейчас это до некоторой степени делает Хоть и несколько своеобразно Заче, Аноним, 21-Янв-20, 14:47 (67) //
  - речь о промежуточном представлении для компиляции JIT-компилятором а в случае с, nelson, 21-Янв-20, 16:11 (81) //
    - Насколько я понял идею этой штуки - это предлагается как некий IR, более логичны, Аноним, 22-Янв-20, 04:26 (110)
      - Просто llvm очень жирный и долго работает перегоняя свой ir в наивный код Автор, Анончик, 22-Янв-20, 12:49 (125)
Вообще всякие JIT нужны для того, чтобы не светить исходниками клиентам, для чег, None, 21-Янв-20, 13:57 (44) //
- Опять пятнадцатицентовые из оракла Унылые и однообразные, как всегда , Аноним, 21-Янв-20, 14:24 (52)
Еще один убийца джавы Весело год начался Один выкатывает очередного убийцу мей, Урри, 21-Янв-20, 14:01 (45)
как всегда 8212 в libjit нашли Фатальный Недостаток , arisu, 21-Янв-20, 14:12 (46) //
- Судя по описанию - достаточно разные штуки , Аноним, 21-Янв-20, 14:48 (68) //
  - авторы сами срвнивают свой продукт с gcc jit и llvm про libjit и firm же стыдл, arisu, 21-Янв-20, 14:57 (72) //
    - Они об этом прямым текстом говорят, предсказатель вы наш If we implement more , господи, 23-Янв-20, 19:48 (143)
      - ты плохой, ненастоящий господи потому что глупый очень , arisu, 23-Янв-20, 19:51 (144)
Хм, непосредственно править байт код хм , Аноним, 21-Янв-20, 14:22 (49) //
- В текстовом виде 8212 это уже не байт-код, а лайн-код , Аноним, 21-Янв-20, 14:30 (59)
- Ассемблер же правят А это чем хуже , Аноним, 21-Янв-20, 14:49 (69) //
  - Тут просто кто то спросил чем ЭТО лучше чем JAVA байт код , Аноним, 21-Янв-20, 14:54 (71) //
    - Ну например JAVA выросла в адского переусложненного монстра который подразумевае, Аноним, 22-Янв-20, 04:28 (111)
ЭЭ братан, не надо сравнивать тёплое с мягким, ты знаешь как компилируется сишны, Аноним, 21-Янв-20, 14:30 (57)
Затея интересная, точно будет полезна для JIT-изации и получения переносимого пр, erthink, 21-Янв-20, 14:30 (60) //
- Там речь идет про LLVM IR он тоже довольно простой, особых проблем быть не долж, GentooBoy, 22-Янв-20, 08:29 (114) //
  - такова печальная судьба больных NIH-синдромом пусть хрюкается, сам этого захоте, arisu, 22-Янв-20, 08:52 (116) //
    - Ну все немного сложнее, изначально это был пет проект как я понимаю Потом шапка, GentooBoy, 22-Янв-20, 09:25 (120)
      - на всякий случай я не имел в виду ничего негативного просто автор сознательно, arisu, 22-Янв-20, 09:33 (121)
  - Вы принципиально неправы На всякий уточню - в MIR только самые простые инструк, erthink, 22-Янв-20, 11:50 (123) //
    - Эти отключают оптимизации llvm, дабы генерить как можно более простой llvm ir О, Анончик, 22-Янв-20, 12:58 (126)
      - Теоретически конечно можно генерировать более простой llvm ir Но практически э, erthink, 22-Янв-20, 14:19 (129)
    - Да вы правы, будут проблемы , GentooBoy, 22-Янв-20, 13:35 (127)
- следующая версия будет содержать все инструкции D, Аноним, 22-Янв-20, 13:57 (128) //
  - Понимая сарказм, уточню на всякий - никакая следующая версия MIR не может подде, erthink, 22-Янв-20, 14:25 (130)
Что значит сренегерировать , Аноним, 21-Янв-20, 14:54 (70)
Это все что надо знать о нужности современных язычков , Аноним, 21-Янв-20, 15:31 (77) //
- ну дак не на расте же писать, у тех девственниц истерика случается при виде указ, Аноним, 21-Янв-20, 17:48 (84)
ГНУтые поделия постепенно выбрасываются, скоро и ядро перелицензируют на какой-н, kernel_panic, 21-Янв-20, 18:46 (96)
А для питона будет , Анонимныйаноним, 21-Янв-20, 19:03 (97) //
- В ложку питона сколько бочек мёда не докидывай - всё равно питоном останется , Led, 22-Янв-20, 00:20 (107)
- Для какой-нибудь обкоцаной недо-версии с более-менее статическими типами и без в, Аноним, 22-Янв-20, 04:29 (112)
Лучше бы Red Hat развивал ZFS, выкупив её у Oracle , rc.conf, 21-Янв-20, 20:09 (99)
Я просто оставлю это здесь https github com wasmerio wasmer, GentooBoy, 22-Янв-20, 08:52 (115) //
- ну и зачем ты напачкал , arisu, 22-Янв-20, 08:57 (117) //
  - Может кто то поиграть захочет с теми же яйцами только в профиль , GentooBoy, 22-Янв-20, 09:21 (119)
Но WASM же делает то же самое Нахера , s9gf4ult, 22-Янв-20, 19:37 (134) //
- и ллвм делает почти тоже самое, даже больше Если кто знает - напишите зачем оно, Аноним, 24-Янв-20, 13:53 (145) //
  - MIR предлагает простой универсальный компактный JIT с пермиссивной лицензией, ко, erthink, 24-Янв-20, 14:22 (146)
Можно, наверное, написать ридер mir-ir для Схемы, если там так мало инструкций , Lockywolf, 03-Фев-20, 00:15 (151)

Форумы | Темы | Пред. тема | След. тема

Партнёры:

Хостинг:

Закладки на сайте
Проследить за страницей

Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру