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

групп:

каналов:

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

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

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

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

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

go.backupland.com

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

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

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

Size: a a a

Compiler Development

638 membersпожаловаться на группу
2019 October 09

AK

Andrei Kurosh in Compiler Development
Михаил Бахтерев
Речь не о реализации, а о спецификации языка. Когда другой поток не может изменить форму переменной или объекта это существенно упрощает статический анализ и вывод типов.
эээ, а есть системы, которые позволяют менять шейп переменной и при этом там работает вывод типов с учетом многопоточности? )
источник
14:46пожаловаться

M

MaxGraey in Compiler Development
Михаил Бахтерев
Речь не о реализации, а о спецификации языка. Когда другой поток не может изменить форму переменной или объекта это существенно упрощает статический анализ и вывод типов.
Ну вперед, я хочу на это посмотреть, если js даже Typescript и Flow до конца не могут формализировать (не то, что вывести типы). Советую например это почитать:
https://www.kylesletten.com/2019/01/25/type-inference-in-javascript.html
Kylesletten
Type Inference in JavaScript
Building blocks of an annontation-less typed JavaScript
источник
14:47пожаловаться

M

MaxGraey in Compiler Development
Михаил Бахтерев
Речь не о реализации, а о спецификации языка. Когда другой поток не может изменить форму переменной или объекта это существенно упрощает статический анализ и вывод типов.
Возьмем даже не полиморфный код, обычный const foo = JSON.parse(nestedObjOrNumOrArray). Какой тип у foo если входной аргумент приходит из вне (скажем по сети)?
источник
14:49пожаловаться

AK

Andrei Kurosh in Compiler Development
MaxGraey
Возьмем даже не полиморфный код, обычный const foo = JSON.parse(nestedObjOrNumOrArray). Какой тип у foo если входной аргумент приходит из вне (скажем по сети)?
any ;)
источник
14:50пожаловаться

МБ

Михаил Бахтерев in Compiler Development
MaxGraey
Ну вперед, я хочу на это посмотреть, если js даже Typescript и Flow до конца не могут формализировать (не то, что вывести типы). Советую например это почитать:
https://www.kylesletten.com/2019/01/25/type-inference-in-javascript.html
Kylesletten
Type Inference in JavaScript
Building blocks of an annontation-less typed JavaScript
Повторю вопрос: а зачем до конца?
источник
14:53пожаловаться

M

MaxGraey in Compiler Development
Михаил Бахтерев
Повторю вопрос: а зачем до конца?
То есть ты предлагаешь частичную AOT компиляцию? И вместе с рантаймом и скомпилированным кодом тащить интерпретатор? Во первых это не эффективно хотя бы по разходу памяти. Ради чего? Код на V8 JIT всего в 1.2-2 раза мебленее аналогичного на C (не факт что такой гибрид будет работать быстрее, я более чем уверен что медленее). И вот ради этого ты предлагаешь сделать тяжеловестного франкенштейна?=)
источник
14:56пожаловаться

M

MaxGraey in Compiler Development
Вон даже не всегда WebAssembly может потягаться с V8 JIT. А там AOT
источник
14:57пожаловаться

А

Алексей in Compiler Development
Михаил Бахтерев
Речь не о реализации, а о спецификации языка. Когда другой поток не может изменить форму переменной или объекта это существенно упрощает статический анализ и вывод типов.
зато всё остальное может поменять шейп объекта, но в один поток, да
источник
14:58пожаловаться

МБ

Михаил Бахтерев in Compiler Development
MaxGraey
То есть ты предлагаешь частичную AOT компиляцию? И вместе с рантаймом и скомпилированным кодом тащить интерпретатор? Во первых это не эффективно хотя бы по разходу памяти. Ради чего? Код на V8 JIT всего в 1.2-2 раза мебленее аналогичного на C (не факт что такой гибрид будет работать быстрее, я более чем уверен что медленее). И вот ради этого ты предлагаешь сделать тяжеловестного франкенштейна?=)
Про аналогичный код - не очевидно, мне кажется. Если на Си писать парсер того же JSON выйдет вся та же самая динамика, не факт, что он будет быстрее.

А преимущество с системной точки зрения - это KaiOS. Можно обойтись только движком JS (HTML 5) для полноценной операционки. И она будет менее ресурсоёмкой, чем аналогичная Си-based система, типа, iOS.
источник
15:02пожаловаться

МБ

Михаил Бахтерев in Compiler Development
Алексей
зато всё остальное может поменять шейп объекта, но в один поток, да
Один поток можно проанализировать. Не всегда, конечно, но в гнёздах циклов, которые и требуют основной оптимизации, вполне.
источник
15:03пожаловаться

ҪҸ

Ҫѐҏӗѫӑ Ҹҋ 🤖 in Compiler Development
https://twitter.com/gamepopper/status/1180037076701601793
Twitter
Gamepopper
(a>>1)+(b>>1)+(a&b&1) This operation, that works out the average of two ints in a single instruction, was patented by Samsung. That patent expires today. https://t.co/RLaTtp26mB
источник
15:03пожаловаться

M

MaxGraey in Compiler Development
Михаил Бахтерев
Про аналогичный код - не очевидно, мне кажется. Если на Си писать парсер того же JSON выйдет вся та же самая динамика, не факт, что он будет быстрее.

А преимущество с системной точки зрения - это KaiOS. Можно обойтись только движком JS (HTML 5) для полноценной операционки. И она будет менее ресурсоёмкой, чем аналогичная Си-based система, типа, iOS.
На Rust есть кодогенерация, если известен тип объекта, что очень сильно ускоряет десереализацию. Собственно есть SAX и DOM способ разбора JSON. Так вот, зная предпологаемый тип можно нагенерить аксессоров для SAX заранее и из 5мб-ного JSON объекта хирургически выделить и прочитать только те поля что заданы в сигнатуре, вместо всего объекта / json-данных целиком
источник
15:07пожаловаться

M

MaxGraey in Compiler Development
Ҫѐҏӗѫӑ Ҹҋ 🤖
https://twitter.com/gamepopper/status/1180037076701601793
Twitter
Gamepopper
(a>>1)+(b>>1)+(a&b&1) This operation, that works out the average of two ints in a single instruction, was patented by Samsung. That patent expires today. https://t.co/RLaTtp26mB
Это на какой архитектуре там 1 инструкция выходит?
https://godbolt.org/z/_Yu4a8
godbolt.org
Compiler Explorer - C++ (x86-64 clang 9.0.0)
// Type your code here, or load an example.
unsigned int avg1(unsigned int a, unsigned int b) {
return (a >> 1) + (b >> 1) + (a & b & 1);
}

unsigned int avg2(unsigned int a, unsigned int b) {
return a + ((b - a) >> 1);
}
источник
15:16пожаловаться

ҪҸ

Ҫѐҏӗѫӑ Ҹҋ 🤖 in Compiler Development
на какой-то самсунговской?
источник
15:19пожаловаться

ҪҸ

Ҫѐҏӗѫӑ Ҹҋ 🤖 in Compiler Development
(хз, читать патент надо)
источник
15:19пожаловаться

ҪҸ

Ҫѐҏӗѫӑ Ҹҋ 🤖 in Compiler Development
MaxGraey
Это на какой архитектуре там 1 инструкция выходит?
https://godbolt.org/z/_Yu4a8
godbolt.org
Compiler Explorer - C++ (x86-64 clang 9.0.0)
// Type your code here, or load an example.
unsigned int avg1(unsigned int a, unsigned int b) {
return (a >> 1) + (b >> 1) + (a & b & 1);
}

unsigned int avg2(unsigned int a, unsigned int b) {
return a + ((b - a) >> 1);
}
так мб поэтому там и не одна?
источник
15:20пожаловаться

ҪҸ

Ҫѐҏӗѫӑ Ҹҋ 🤖 in Compiler Development
¯\_(ツ)_/¯
источник
15:20пожаловаться

PS

Peter Sovietov in Compiler Development
MaxGraey
Это на какой архитектуре там 1 инструкция выходит?
https://godbolt.org/z/_Yu4a8
godbolt.org
Compiler Explorer - C++ (x86-64 clang 9.0.0)
// Type your code here, or load an example.
unsigned int avg1(unsigned int a, unsigned int b) {
return (a >> 1) + (b >> 1) + (a & b & 1);
}

unsigned int avg2(unsigned int a, unsigned int b) {
return a + ((b - a) >> 1);
}
Godbolt уже стал поддерживать DSP и ASIP процессоры? ;)
источник
15:25пожаловаться

M

MaxGraey in Compiler Development
Ну как я понял там про аппаратную реализацию шла речь.
источник
15:25пожаловаться

PS

Peter Sovietov in Compiler Development
Патент касается специализированной инструкции. В каком-то самсунговском чипе она, очевидно, присутствует.
источник
15:26пожаловаться