Инструментарий Jitter официально перешёл под крыло проекта GNU и теперь будет развиваться под именем GNU Jitter с использованием инфраструктуры GNU и в соответствии с требованиями данного проекта. Jitter позволяет генерировать переносимые и очень быстрые виртуальные машины для произвольных конструкций языков программирования, производительность выполнения кода в которых существенно опережает интерпретаторы и  близка к нативному компилируемому коду. Исходные тексты Jitte написаны на языке Си и поставляются под лицензией GPLv3...

Подробнее: https://www.opennet.me/opennews/art.shtml?num=56378

• В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 10:14 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 10:16 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,Аноньимъ, 05:59 , 21-Дек-21
• В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 10:15 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,And, 12:20 , 20-Дек-21
• В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 10:29 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,ыы, 10:31 , 20-Дек-21
    • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 10:54 , 20-Дек-21
      • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 11:26 , 20-Дек-21
        • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 16:25 , 20-Дек-21
    • В число проектов GNU принят генератор языковых виртуальных м...,And, 12:24 , 20-Дек-21
    • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 13:16 , 20-Дек-21
      • В число проектов GNU принят генератор языковых виртуальных м...,ng, 14:32 , 20-Дек-21
        • В число проектов GNU принят генератор языковых виртуальных м...,paver, 13:29 , 21-Дек-21
      • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 16:29 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,n00by, 12:17 , 20-Дек-21
    • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 14:21 , 20-Дек-21
      • В число проектов GNU принят генератор языковых виртуальных м...,Crazy Alex, 14:36 , 20-Дек-21
      • В число проектов GNU принят генератор языковых виртуальных м...,n00by, 15:08 , 20-Дек-21
• В число проектов GNU принят генератор языковых виртуальных м...,ыы, 10:31 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 10:36 , 20-Дек-21
    • В число проектов GNU принят генератор языковых виртуальных м...,ыы, 10:41 , 20-Дек-21
      • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 10:47 , 20-Дек-21
      • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 15:13 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 11:00 , 20-Дек-21
    • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 11:04 , 20-Дек-21
      • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 12:13 , 20-Дек-21
        • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 12:42 , 20-Дек-21
          • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 12:57 , 20-Дек-21
            • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 13:07 , 20-Дек-21
          • В число проектов GNU принят генератор языковых виртуальных м...,анонн, 14:45 , 20-Дек-21
          • В число проектов GNU принят генератор языковых виртуальных м...,Урри, 22:20 , 20-Дек-21
            • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 04:55 , 22-Дек-21
      • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 12:56 , 20-Дек-21
    • В число проектов GNU принят генератор языковых виртуальных м...,n00by, 12:19 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 12:10 , 20-Дек-21
• В число проектов GNU принят генератор языковых виртуальных м...,Анонус, 10:56 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 16:30 , 20-Дек-21
• В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 12:45 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,Crazy Alex, 14:38 , 20-Дек-21
• В число проектов GNU принят генератор языковых виртуальных м...,anonymous, 12:59 , 20-Дек-21
• В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 14:04 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 16:05 , 20-Дек-21
    • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 11:40 , 21-Дек-21
• В число проектов GNU принят генератор языковых виртуальных м...,Luca SAIU, 14:18 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 15:19 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,Брат Анон, 15:50 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,Crazy Alex, 19:10 , 20-Дек-21
    • В число проектов GNU принят генератор языковых виртуальных м...,Luca SAIU, 21:28 , 20-Дек-21
• В число проектов GNU принят генератор языковых виртуальных м...,svpcom, 14:29 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,Урри, 22:22 , 20-Дек-21
• В число проектов GNU принят генератор языковых виртуальных м...,Luca SAIU, 15:03 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 19:42 , 20-Дек-21
    • В число проектов GNU принят генератор языковых виртуальных м...,Luca SAIU, 22:40 , 20-Дек-21
      • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 13:48 , 21-Дек-21
• В число проектов GNU принят генератор языковых виртуальных м...,Luca SAIU, 15:07 , 20-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,svpcom, 15:34 , 20-Дек-21
    • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 14:00 , 21-Дек-21
• В число проектов GNU принят генератор языковых виртуальных м...,Luca SAIU, 16:12 , 20-Дек-21
• В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 12:36 , 21-Дек-21
  • В число проектов GNU принят генератор языковых виртуальных м...,sdkhflskhgl, 14:37 , 21-Дек-21
    • В число проектов GNU принят генератор языковых виртуальных м...,Аноним, 23:09 , 21-Дек-21
• В число проектов GNU принят генератор языковых виртуальных м...,rmmr, 13:47 , 23-Дек-21

Симд есть? Жытлисп, это жизнеспособно? Жытгцы всё?

жыесть брат

Я так понимаю вы можете любую дичь ассемблерную вставить по своему желанию.

> см. пример спецификации виртуальной машины для языка Lisp

нечитабельная лапша, или только мне так кажется?

2182-ве строки местами без отступов - примерно так и есть.

http://git.ageinghacker.net/jitter/tree/example-vms/jitterli...

Др. дело что именно и как можно ли с этим сделать и показывать пример читаемый.

Жесть конечно... Сама спека - плохочитаемая неструктурированная портянка: куча ifdef, многострочных дефайнов и закомментированных вызовов.
У них только в этом примере 13 FIXME... И не стыдно было такое выкладывать?

Вам шашечки или ехать?

Это не серьезно. Таким аргументом можно оправдать все что угодно:
у вас лапшкод и крашится аппа - тебе шашечки...
у вас на сайте 10Мб js-кода - тебе шашечки...

Так 10мб js кода и не едет. А это - едет.

Это у вас - не едет. Потому что вы проезд не оплачиваете.

А у вебмакак всё едет, у них и канал - толстый, и проц - 24-ядерный, и оперативы - 128 гигов, и смузи - не протухло.

> Вам шашечки или ехать?

Вносить изменения через месяц после написания. Отдавать другим для тех же целей.

Да чёрт с этими шашечками. Колёса почему квадратные?

> Колёса почему квадратные?

Всё нормально.
Во-втором приближении квадрат - это окружность.
Окружность - равнобедренный многоугольник со стороной стремящейся к нулю.
Квадрат - это равнобедренный многоугольник.
Треугольник пробовали - не катит.

... только не равнобедренный, а правильный

Не окатались ещё.

# FIXME: make a one-argument version generalizing these.  These zero-argument
# versions are useful to generate from rewrite rules right now, before Jitter
# support is ready.

Некоторые такое называют TODO

Ну допустим это было TODO.

А такое:
"# FIXME: is this ever needed?"

или такое
// FIXME: just a test.  Remove.

и тем более
// FIXME: this loops forever with no-threading (not with the other dispatching models
// including minimal threading) when the callee is compiled.  A Jitter bug.

У меня на проекте это просто бы не дали вмерджить - завернули бы еще на этапе код-ревью.

Так это и не продакшн-код

threading в контексте dispatching models - скорее всего не потоки, а т.н. шитый код (threaded code).

Хорошая попытка. Но нет. Не заставите учить LISP. Пишите спецификацию для js, тогда посмотрим...

Тебе надо - ты и пиши.

Добро пожаловать

ну при таком подходе пожалуй и исходники открывать нет смысла.

Исходники и открывают для тех, кому надо. Они и пишут

Напиши свои и не открывай, в чем дело.

Lisp очевиден, что его учить-то? (Что-то что-то1 ... Что-тон)

(Lisp (очевиден (что (его (учить (то (? (Что (то (что (то1 (... (Что (тон))))))))))))))

Сразу видно тех, кто про лисп слышал только скобки

(Lisp '(очевиден что его учить то ? (Что-то что-то1 ... Что-тон)))

пробовал на нем писать плагин для гимпа. Неадекватный язычок. Даже на XSLT (!) (вы не ослышались! На XSLT!) легче программировать (!) (вы не ослышались! программировать на XSLT!)

Язык нормальный, очень даже изящный. Вопрос весь только в том, какой в гимпе диалект (т е. грубо говоря какие там стандартные функции из коробки есть). Но это уже проблема гимпа, а не лиспа как явления

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

> пробовал на нем писать плагин для гимпа. Неадекватный язычок. Даже на XSLT
> (!) (вы не ослышались! На XSLT!) легче программировать (!) (вы не
> ослышались! программировать на XSLT!)

Ну да, писать Fortran^W Python/С код на лиспах действительно неудобно.

Что, функциональщину не потянул, императивщик?

Если писать функциональщину, то в лиспе неожиданно меньше (разнообразных) скобок по сравнению с... А казалось бы...

Ну и всё очевидно же, вложенная структура со скобками

Может там был намёк на размер спецификации?

"Логика каждой инструкции в спецификации задаётся при помощи кода на языке Си"

Чем это лучше GraalVM с Truffle?

Словом GNU в названии. И v3.

Во времена моего детства это называлось либо транслятором (лисп->с) либо кросс-компилятором (лисп->с->бинарник). Ой, тут же еще и виртуальная машина. Ладно, так и запишем - переизобрели шитый код (байткод). Очередная нот-ин-хаус вариация на тему LLVM.

Не, я не против разнообразия, но не ради разнообразия же, а то уж слишком однообразно получается.

Вот если б оно только лисп умело - можно было бы и так называть. А оно умеет генерировать VM для произвольного языка, задавнного спекой. Разницу видите?

У вас ссылка битая на https://www.gnu.org/software/jitter/

Добро пожаловать в дружную семью GNU.

где одни трупики? как там поживает libdwg или приоритетный проект GNU по имени gnash ?

Приоритет с gnash снят ещё нескольео лет назад. Ибо Адоба закопала Flash.

Привет.  Я Luca Saiu.

Пожалуйста Смотри всё в example-vms/jitterlisp/

The VM, alone, if not a complete implementation of the language.

Я ещё новичок, по-русски. -- Извините.

Спасибо, Лука.

Точно это ты?
Если это точно ты -- одобряю, что пишешь код.
Но непонятно на сколько в таком ПО есть потребность.

Luca, thank you for your work, it is really interesting. This forum has some "traditions" that cause many people to demonstrate their hostility, it is mostly a jest.

Do you have plans to implement VMs for other languages?

> Luca, thank you for your work, it is really interesting. This forum
> has some "traditions" that cause many people to demonstrate their hostility,
> it is mostly a jest.

Спасибо Crazy Alex.  Всё хорошо.  Мы - хакеры, мы знаем необычных людей.  Я сам необычный.

> Do you have plans to implement VMs for other languages?

GNU Poke первый пользователь (http://jemarch.net/poke ) -- я не автоr, но автор мой друг.

Я хочу просто́й язык, и простую виртуа́льную машину.  Smalltalk.  А мой язык.

http://git.ageinghacker.net/jitter/tree/example-vms/jitterli...

sprintf
ждем очередной баг с переполнением буфера :-)

Уже snprintf.

jitterlispvm_specialized_instruction_names [sins_opcode] размер ограничен.

I'm sorry for the offtop, but there is an issue with your website.

ageinghacker.net uses an invalid security certificate.

The certificate is not trusted because it is self-signed.

Error code: MOZILLA_PKIX_ERROR_SELF_SIGNED_CERT

Я знаю, спасибо.  I fail to see why I should trust a CA, including the ones giving certificates for free.

>I fail to see why I should trust a CA, including the ones giving certificates for free.

Because now there is absolutely no means to verify integrity of the channel. There is no absolute "security". Security is always multi-layered and there is always a root of trust. Of course we don't trust CAs. But trusting untrusted TLS is worse than trusting CAs, because untrusted TLS has the root of trust "believe that everyone between your website and my computer behaves fairly knowing beforehand I'm unable to verify if they behave fairly or not". Currently CAs have Cert. Transparency and the root of trust "our company will be completely destroyed if an incident will happen". As an additional measure you can use other roots of trust, that don't rely on CA system, such as OpenPGP. But OpenPGP WoT concept is flawed by itself and doesn't work IRL. The only trust model that is applicable to OpenPGP is TOFU, and it is also flawed because in order it to really work one must meet the person offline and you must know that person really very well to be sure it is not an impersonator. But you are a complete stranger for me, this article is the first time I ever heard about you.

Это C.  Нормальное.

А в чем проблема использовать snprintf(buffer, sizeof(buffer), ...) ?

Snprintf на сколько там порядков тормознее? На 3 или 4 да? Не оно конечно зависит от того сколько раз за секунду нужно вызвать, но обычно много. Потом удивляетесь, чё это программы так тормозят.

Нет проблем.  Спасибо.

"Труднореализуемая" проверка переполнений на языке Си:
assert(index < length);
assert(index >= 0);

а если index это size_t ?

тогда assert((ssize_t)index >= 0);
правда, тогда нет смысла в использовании size_t ин да фёрст плейс.
...
ааа, вот поэтому оно и труднореализуемо, наверное.

Из документации одни видосики и неоконченный туториал? Современно!