LINUX.ORG.RU

Multicore OCaml таки вмержат в апстрим

 , ,


2

1

Привет, ЛОР!

На новость не тянет, поэтому вброшу сюда:

https://discuss.ocaml.org/t/multicore-ocaml-september-2021-effect-handlers-will-be-in-ocaml-5-0/8554

OCaml 5.0 will support shared-memory parallelism through domains and direct-style concurrency through effect handlers (without syntactic support).

В общем, спустя 15 лет или сколько там это пилят, в OCaml таки добавят поддержку использования нескольких ядер. Возможно, это означает, что OCaml таки не умер и всё ещё кому-то нужен, но меня всё равно гложут сомнения по этому поводу.

Дискасс!

★★★★★

Последнее исправление: hateyoufeel (всего исправлений: 1)
Ответ на: комментарий от fsb4000

/app/example.c:8:31: runtime error: member access within null pointer of type 'int_t'
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior /app/example.c:8:31 in
-fsanitize=address,undefined

Ты бы еще valgrind сюда приплел. Эти инструменты специально сделаны для того, чтобы дотошно выдавать ложные предупреждения.

byko3y ★★★★
()
Ответ на: комментарий от byko3y

ARM Inc уже лет 25 не производит процессоры, потому все ядра ARM — «оригинальные, а не купленные».

Ага, щща. Из https://en.wikipedia.org/wiki/ARM_architecture#Core_licence:

Arm Ltd.’s primary business is selling IP cores, which licensees use to create microcontrollers (MCUs), CPUs, and systems-on-chips based on those cores. The original design manufacturer combines the ARM core with other parts to produce a complete device, typically one that can be built in existing semiconductor fabrication plants (fabs) at low cost and still deliver substantial performance.

На разработку своих ядер нужна отдельная лицензия:

Companies can also obtain an ARM architectural licence for designing their own CPU cores using the ARM instruction sets. These cores must comply fully with the ARM architecture. Companies that have designed cores that implement an ARM architecture include Apple, AppliedMicro (now: Ampere Computing), Broadcom, Cavium (now: Marvell), Digital Equipment Corporation, Intel, Nvidia, Qualcomm, Samsung Electronics, Fujitsu and NUVIA Inc.

Oh rly?

Ya rly! Сравнивать плотность кода по размеру firefox – это big brain stuff, nuff said.

Даже если по стоимости AMD и может тягаться с ARM, то по энергоэффективности AMD рядом не валялся.

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

Да ради бога — дай свои бенчи, правильные.

Правильным бенчем было бы запустить мобильный вариант райзена и m1 на одинаковой ОС, желательно каком-нибудь лялексе. Сейчас допортируют лялекс на M1, посмотрим что там на самом деле.

Оба стандарта C и C++ на самом деле замалчивают эту проблему и никак не определяют это поведние. То есть, это не UB и не корректное поведение — как хочешь, так и реализуй.

Это на самом деле самое настоящее UB. Вон @fsb4000 тебе выхлоп санитайзера показал, который тоже говорит что это UB. Возможно, в твоём воображаемом мире, где ARM уделывает всех в два раза по производительности, это не UB, но мы не в нём все живём.

hateyoufeel ★★★★★
() автор топика
Ответ на: комментарий от hateyoufeel

На разработку своих ядер нужна отдельная лицензия

Да ради бога, я сейчас не обсуждаю лицензионную политику ARM. Я говорил лишь о том, что чипов своих ARM уже 25 лет не делает, и что характеристики M1 подозрительно совпадают с характеристиками A55+A75 на платформе DynamiQ.

Ya rly! Сравнивать плотность кода по размеру firefox – это big brain stuff, nuff said

Опять «ваши аргументы — херня, но сам я аргументов приводить не буду».

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

https://www.cpubenchmark.net/compare/Intel-i7-10710U-vs-Apple-M1-8-Core-3200-...

Но ты опять будешь маневрировать, мол «это неправильные попугаи и они делают неправильный мёд».

Правильным бенчем было бы запустить мобильный вариант райзена и m1 на одинаковой ОС, желательно каком-нибудь лялексе

Я тебе дал бенчи ARM vs x86 на одном и том же софте, но тебе всё не так.

Вон @fsb4000 тебе выхлоп санитайзера показал, который тоже говорит что это UB

Он говорит только то, что говорит, никакого UB там не было.

byko3y ★★★★
()
Ответ на: комментарий от byko3y

https://www.cpubenchmark.net/compare/Intel-i7-10710U-vs-Apple-M1-8-Core-3200-

Но ты опять будешь маневрировать, мол «это неправильные попугаи и они делают неправильный мёд».

Господи! Чувак, ты меня пугаешь. У тебя правда всё в порядке? У i7 в этом бенче частота 1.1GHz.

Ладно, не буду над тобой издеваться. Вот тебе нормальный бенч уже: https://www.cpubenchmark.net/compare/Apple-M1-8-Core-3200-MHz-vs-Intel-i7-1195G7/4104vs4514

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

Я тебе дал бенчи ARM vs x86 на одном и том же софте, но тебе всё не так.

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

Он говорит только то, что говорит, никакого UB там не было.

SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior /app/example.c:8:31 in -fsanitize=address,undefined

Эхехе… ну раз говорит…

hateyoufeel ★★★★★
() автор топика
Последнее исправление: hateyoufeel (всего исправлений: 1)
Ответ на: комментарий от byko3y

Кстати, Monadic operations for std::optional уже в стандарте C++23, я позавчера смотрел что добавили на последнем заседании.

http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2021/p0798r6.html

А вот тут всё что добавили на последнем заседании: https://github.com/cplusplus/draft/milestone/23

fsb4000 ★★★★★
()
Ответ на: комментарий от kawaii_neko

Че-то у меня это словосочетание ассоциируется с js-лапшой, которая насилет браузер со страшной силой без какой-либо пользы.

так он и есть js-макака, которая насилует лор через браузер со страшной силой без какой-либо пользы. о чём с ним ещё спорить?

anonymous
()
Ответ на: комментарий от kawaii_neko

А, понятно, ты из этих, из любителей техники с логотипом надкусанного фрукта. Это многое объясняет.

а, понятно, ты из этих, фанатиков. это многое объясняет.

anonymous
()
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.