The OpenNET Project / Index page

[ новости /+++ | форум | теги | ]



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

Оглавление

Rust вошёл в 20 самых популярных языков по рейтингу Redmonk, opennews (??), 30-Июл-20, (0) [смотреть все]

Сообщения [Сортировка по времени | RSS]


229. "Rust вошёл в 20 самых популярных языков по рейтингу Redmonk"  +1 +/
Сообщение от alex312 (?), 30-Июл-20, 23:05 
Т.е. чуваки из тойоты накалякаляи на Сях реально убийственный код.
А ты из-за этого не будеш писать на расте. Ну ок...

Л - логика.

Ответить | Правка | Наверх | Cообщить модератору

242. "Rust вошёл в 20 самых популярных языков по рейтингу Redmonk"  +/
Сообщение от Аноним (-), 31-Июл-20, 13:20 
> Т.е. чуваки из тойоты накалякаляи на Сях реально убийственный код.
> А ты из-за этого не будеш писать на расте. Ну ок...

А там надо просто посмотреть что было с тем кодом и в каких условиях. И что раст имеет предложить по этому поводу. А был там видите ли stack overflow. И ошибка оценки worst case потребления памяти.

Трабл в том что
1) Раст в той конфигурации тоже точно так же страдает от переполнения стэка. Он изначально вообще не делан с прицелом на платформы без mmu походу.
2) Заткнуть stack overflow в системе без mmu на сях к тому же еще и зело проще чем на расте, что самое интересное. Чувак пытавшийся это на расте закончил с каким-то долбанутым кастомным экспериментальным линкером. Что явно не продакшн-риди решение. В гцц с этим справляется стоковая версия линкера из реп моего дистро.
3) Как вообще в расте дела с пониманием worst case использования stack и RAM?
4) В итоге все что раст имеет предложить в этом случае - много нового клевого геморроя и пока еще неизвестных науке способов убиения юзерей.

> Л - логика.

F - фанатики.

Ответить | Правка | Наверх | Cообщить модератору

244. "Rust вошёл в 20 самых популярных языков по рейтингу Redmonk"  +/
Сообщение от alex312 (?), 31-Июл-20, 14:01 
>Он изначально вообще не делан с прицелом на платформы без mmu походу.

с чего ты это взял ? Тараканы нашептали ?
>Заткнуть stack overflow в системе без mmu на сях к тому же еще и зело проще чем на расте,

опять бла-бла-бла.
>Как вообще в расте дела с пониманием worst case использования stack и RAM?

Как и везде. Зависит от платформы(на каком камне это будет крутиться).
>В итоге все что раст имеет предложить в этом случае

В итоге мы имеем случай, когда некий чувак начинает рассказывать о том в чем нифига не понимает и особо не пытается понять.

Ответить | Правка | Наверх | Cообщить модератору

266. "Rust вошёл в 20 самых популярных языков по рейтингу Redmonk"  +/
Сообщение от Аноним (-), 31-Июл-20, 21:25 
> с чего ты это взял ? Тараканы нашептали ?

Не тараканы а чувак пытавшийся это на расте. Раст видите ли сам по себе - вообще никак не детектит участь своих переменных, если стэк отрос достаточно чтобы въехать в их регион.

Поэтому - только подумайте, если хардварный paging не дал в тыкву за это дело на уровне маркирования регионов (в микроконтроллерах нет paging!) - с растишкой случается все то же самое что и с сями :D. Прога отращивает стэк достаточно для того чтобы тот накрыл переменные, состояние проги отъезжает к хренам собачьим, получается условная Тойота, где юзер вроде бы и сбросил газ, но почему-то оно пошло в разгон - переменные которые это трекали вынесло к хренам стэком, там мусор и прога живет своей жизнью.

> опять бла-бла-бла.

См. внизу более предметно.

>>Как вообще в расте дела с пониманием worst case использования stack и RAM?
> Как и везде.

Такой ответ не котируется. Везде, видите ли, сильно по разному. Я вот например умею убеждать GCC показывать мне stack usage и размер области переменных, соотнося сие с размером региона.

Это правда в теории. Тойота делала хитрее. Они RTOS навернули. C тредами. И лоханулись в оценке worst case. Но это было бы полбеды - упыри сделали сцуко рекурсию и таки это суперкомбо смогло подстрелить им пятку. Хоть MISRA'вские правила и напрямую запрещают такие выходки. Но эти умники видимо всерьез нацелились достойно ответить ариану и все же смогли наесть и это.

> Зависит от платформы(на каком камне это будет крутиться).

А есть какая-то фундаментальная разница? Нет, бывают особо странные извраты где стэк растет вверх, но это малость экзотика.

> В итоге мы имеем случай, когда некий чувак начинает рассказывать о том
> в чем нифига не понимает и особо не пытается понять.

Кушай, не обляпайся:
Общее описание проблемы: https://embeddedgurus.com/state-space/tag/arm-cortex-m/
Как это растаман увидел: https://blog.japaric.io/stack-overflow-protection/

У меня на сях как-то поэстетичнее вышло - и я даже вроде обставил тех эмбедедгур, запилив "золотой резерв" на hardfault handler, так что ему стэк достается, даже если стэк и закончился, cortex M так умеет, довольно нестандартная магия, но прикольно.

Ответить | Правка | Наверх | Cообщить модератору

245. "Rust вошёл в 20 самых популярных языков по рейтингу Redmonk"  +1 +/
Сообщение от Аноним (-), 31-Июл-20, 14:35 
> 2) Заткнуть stack overflow в системе без mmu на сях к тому
> же еще и зело проще чем на расте, что самое интересное.

Ну раз проще _на сях_, то покажи это самое "продакшен-риди" с M$овским компилятором. Или с tcc. Или интел. Нельзя на tcc и в МС? Ну значит, в той же "логике" - не умеет сишка в это на самом деле.

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

Проделай этот же кунстштюк версией gcc 2.0, а то стоковая версия разрабатывается уже более 30 лет и все эти витеватые изложения в разных вариантах "раз инфраструктуру ЯП за 5 лет не смогли подтянуть на такой же уровень - значит ЯП несистемный!Вот!" как ... сбоку бантик.


> 4) В итоге все что раст имеет предложить в этом случае -
> много нового клевого геморроя и пока еще неизвестных науке способов убиения юзерей.

В итоге все, что критиканы на опеннете умеют - твердить на разные лады "это сделано не как в си! Это выглядит не как си! И вообще, ЯП - полная херня, потому что нет оттестированной и вылизанной 30 годами инфраструктуры!"


> F - фанатики.

С закостенелыми мозгами.

Ответить | Правка | К родителю #242 | Наверх | Cообщить модератору

267. "Rust вошёл в 20 самых популярных языков по рейтингу Redmonk"  +/
Сообщение от Аноним (-), 31-Июл-20, 21:38 
> Ну раз проще _на сях_, то покажи это самое "продакшен-риди" с M$овским компилятором.

Я им не пользуюсь. Да и не умеет он под Cortex M вроде, для начала. И потому продакшн им не соберется "хоть там что".

> Или с tcc.

А он тоже под cortex M не умеет вроде, равно как и layout фирмвари им скомпоновать малореально вообще. У него прикольный парсер (даже довольно суровые упражнения на C99 сжирает нормально) но вот линкинг у него недостаточно крут для компоновки образа фирмвари. Даже если б он умел в набор команд cortex M (он вроде сие не умеет, для начала).

> Или интел.

Скомпилить им фирмварь для cortex M? Это был бы номер!

> Нельзя на tcc и в МС? Ну значит, в той же "логике" - не умеет сишка
> в это на самом деле.

В упомянутом случае это фирмваря была - и там нравится, не нравится, а немного за пределы стандарта вылезти придется. Однако с растом вылезти за пределы стандарта малореально - стандарта для начала нет XD XD XD.

> Проделай этот же кунстштюк версией gcc 2.0,

А чего не Borland C? А то у меня видите ли фирмвара - здесь и сейчас. И gcc у меня таки при этом 9-й. И оно для начала C99 - gcc 2.0 вообще его умел в потребном виде? Ну или он не проходит базовые проверки пререквизитов. Tcc кстати почти весь код так то парсит, но сгенерить cortex M код и тем более скомпоновать вменяемо образ фирмвари он чисто технически не умеет, а сферический ELF в вакууме с хзкаким layout - все же еще не фирмварь.

> а то стоковая версия разрабатывается уже более 30 лет и все эти витеватые изложения
> в разных вариантах "раз инфраструктуру ЯП за 5 лет не смогли подтянуть на
> такой же уровень - значит ЯП несистемный!Вот!" как ... сбоку бантик.

Ну как, если яп позволяет системные фортели, он системный. Если не позволяет - не системный. Другой то реализации, которая бы что-то такое умела штатно, у растишки все-равно нет. Или вы намекаете что надо подождать пяток лет до того как пиндеть как все системно? :)

> лады "это сделано не как в си! Это выглядит не как
> си! И вообще, ЯП - полная херня, потому что нет оттестированной
> и вылизанной 30 годами инфраструктуры!"

Ну вообще, на мой вкус, memcpy у того растамана и правда по уродски выглядит. Левых закорючек в разы больше чем у сишника, гребаный стыд :)). На си и так за это бочки периодически катят. А тут блин "догнали и перегнали".

> С закостенелыми мозгами.

Да вообще странные люди - не понимают зачем все бросать и писать на таком угребище, особенно когда из дельных проектов только наглый спам о том как это круто.

Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема




Партнёры:
PostgresPro
Inferno Solutions
Hosting by Hoster.ru
Хостинг:

Закладки на сайте
Проследить за страницей
Created 1996-2024 by Maxim Chirkov
Добавить, Поддержать, Вебмастеру