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

"Intel открыл код системы машинного обучения ControlFlag для выявления ошибок в коде "	+/–
Сообщение от opennews (ok), 24-Окт-21, 19:22
Компания Intel открыла наработки, связанные с исследовательским проектом ControlFlag, нацеленным на создание  системы машинного обучения для повышения качества кода. Подготовленный проектом инструментарий позволяет на основе модели, обученной на большом объёме существующего кода, выявлять различные ошибки и аномалии в исходных текстах, написанных на высокоуровневых языках, таких как C/C++. Система подходит для определения в коде различных видов проблем, от определения опечаток и неверного сочетания типов, до выявления пропущенных проверок значения NULL в указателях и проблем при работе с памятью. Код ControlFlag написан на языке С++ и открыт под лицензией MIT... Подробнее: https://www.opennet.ru/opennews/art.shtml?num=56018
Ответить | Правка | Cообщить модератору

Сообщения

[Сортировка по ответам | RSS]

1. Сообщение от QwertyReg (ok), 24-Окт-21, 19:22	–23 +/–
> написанных на высокоуровневых языках, таких как C/C++ > высокоуровневых > C
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #5, #36

2. Сообщение от QwertyReg (ok), 24-Окт-21, 19:31	–24 +/–
Ну а по теме - очередная подпорка к Сишке и двигание кроватей. Понятно, что на Си написано полно легаси, которое надо как-то обмазывать анализаторами, чтобы постоянно не вываливались overflow и use-after-free, но настанет день, когда люди перейдут к инструменту с изначально нормальной архитектурой и и чем скорее этот день настанет, тем лучше для IT.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #4, #8, #24, #40, #79

3. Сообщение от Нанобот (ok), 24-Окт-21, 19:33	+5 +/–
> (s1 == NULL) ∧ (s2 == NULL) И теперь програмисты должны переписать код просто потому, что глупая машина его не понимает?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #12

4. Сообщение от Аноним (4), 24-Окт-21, 19:35	+1 +/–
А есть какие-то предпосылки? :think
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

5. Сообщение от макпыф (ok), 24-Окт-21, 19:38	+7 +/–
Не поверишь - это так Из википедии: > Язык Си уникален с той точки зрения, что именно он стал первым языком высокого уровня, всерьёз потеснившим ассемблер в разработке системного программного обеспечения.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1 Ответы: #7, #13, #22, #42

6. Сообщение от ыы (?), 24-Окт-21, 19:47	+/–
Сперва подумал что в кои-то веки написали правду: ... открыл код системы .... для выявления ошибок в коде Потом прочитал новость.... оказывается открыли для блага человечества...
Ответить | Правка | Наверх | Cообщить модератору

7. Сообщение от QwertyReg (ok), 24-Окт-21, 19:49	–18 +/–
Уж в 2k-то 21-ом бы на Википедию ссылаться. И да, вот оттуда же: > К тому же, несмотря на свою низкоуровневую природу, язык ориентирован на переносимость
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #16, #37

8. Сообщение от Аноним1212 (?), 24-Окт-21, 19:52	+6 +/–
Так перепишите на свой раст, покажи этим Интелам как надо!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #9

9. Сообщение от QwertyReg (ok), 24-Окт-21, 19:54	–13 +/–
> Так перепишите на свой раст, покажи этим Интелам как надо! Вы там из криокамеры выходите, в 2k21 уже ОС написали на Rust.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #8 Ответы: #11, #38

10. Сообщение от InuYasha (??), 24-Окт-21, 20:00	+2 +/–
Мало. Нужен ещё код анализатора для выявления ошибок систем машинного обучения. А потом зациклить их и получить что-нибудь идеальное.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #15, #44

11. Сообщение от Аноним (11), 24-Окт-21, 20:02	–1 +/–
> написали У тролля, как всегда, проблемы со временем. Правильно: "пытаются написать, затыкая дыры утечки памяти".
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9 Ответы: #20

12. Сообщение от Аноним (11), 24-Окт-21, 20:03	+/–
А если надо именно такую проверку сделать?!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #3 Ответы: #26, #27, #33

13. Сообщение от Аноним (13), 24-Окт-21, 20:10	+/–
> выявления пропущенных проверок значения NULL в указателях Хм...
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

14. Сообщение от Онаним (?), 24-Окт-21, 20:10	+/–
А, так вот откуда meltdown взялся.
Ответить | Правка | Наверх | Cообщить модератору

15. Сообщение от Аноним (15), 24-Окт-21, 20:18	+1 +/–
для идеальности нужна мат модель и анализатор логики. Иначе как ни украшай статистику, она ей и останется. Тоесть реальные ошибки не видит, зато ругается на нестандартный синтаксис. Короче аттракцион.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #10 Ответы: #19, #46

16. Сообщение от Анонимкарастуимка (?), 24-Окт-21, 20:41	–4 +/–
вот если бы ты писал на рустеЁ!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #7 Ответы: #17

17. Сообщение от Анонимкарастуимка (?), 24-Окт-21, 20:42	+/–
у тех, кто пишет на русте такого не говорит. смекаешь?!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #16

18. Сообщение от YetAnotherOnanym (ok), 24-Окт-21, 20:47	+3 +/–
> имеющегося массива кода Фраза "все так пишут" заиграла новыми красками. Кстати, а ответы со stackoverflow эта штука умеет использовать? А если при "формировании эталонного дерева принятия решений" возникнет неоднозначность, она сможет сама спрашивать там совета?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #28

19. Сообщение от Аноним (19), 24-Окт-21, 21:11	+/–
анализатор логики анонима по яп, не глядя в код находит, на таких-то идеальных примитивах и надо обучать, а не норвиках и скоробогатовых.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #15

20. Сообщение от Аноним (20), 24-Окт-21, 21:26	+2 +/–
> У тролля, как всегда, проблемы со временем. Правильно: "пытаются написать, затыкая дыры > утечки памяти". Молодец, приплел раст и опустил ссылку - ведь опеннетным джЫнтельменам принято верить на слово ...
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #11 Ответы: #48

21. Сообщение от Аноним (21), 24-Окт-21, 21:42	–1 +/–
Да давайте уже пилите квантовый компьютер. Чтобы подавал на вход суперпозицию из всех возможных наборов входных данных. И смотрел, что будет.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #29

22. Сообщение от Аноним (22), 24-Окт-21, 22:11	+/–
>стал первым языком высокого уровня, всерьёз потеснившим ассемблер А как же фортран?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5 Ответы: #23

23. Сообщение от Anonymous XE (?), 24-Окт-21, 22:38	+/–
>потеснившим ассемблер в разработке системного программного обеспечения ОС на Фортране не пишут.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #22

24. Сообщение от Anonymous XE (?), 24-Окт-21, 22:40	+/–
А откуда уверенность, судя по твоим другим постам, что этим инструментом станет именно Rust?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2 Ответы: #30

26. Сообщение от Anonymous XE (?), 24-Окт-21, 22:43	+/–
Дообучить
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #12

27. Сообщение от torvn77 (ok), 24-Окт-21, 22:47	–2 +/–
Ну если надо то человек ответственный за код знает что надо и так сделано не случайно.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #12

28. Сообщение от torvn77 (ok), 24-Окт-21, 22:49	–2 +/–
>Фраза "все так пишут" заиграла новыми красками   Это да, было бы хорошо прикрепить к тем или иным вариантам или веткам то, как код такого типа оценивает эксперт.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #18

29. Сообщение от torvn77 (ok), 24-Окт-21, 22:51	+5 +/–
А на выходе бы получал суперпозицию всех возможных результатов и потом бы гадал какой же из них правильный?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #21 Ответы: #31

30. Сообщение от QwertyReg (ok), 24-Окт-21, 22:51	–1 +/–
> А откуда уверенность, судя по твоим другим постам, что этим инструментом станет > именно Rust? Найдите, пожалуйста, место в моём посте, где я упоминал Rust.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #24 Ответы: #61

31. Сообщение от Антифрактал (?), 24-Окт-21, 23:11	+1 +/–
улыбнул
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #29

33. Сообщение от Аноним (33), 24-Окт-21, 23:42	+/–
Ну конкретно в этом случае можно не выпендриваться и заменить ^ на !=
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #12 Ответы: #41, #50

34. Сообщение от Аноним (34), 25-Окт-21, 00:03	+2 +/–
Ребята из Intel ME похоже не знали и не узнают что такая штука появилась в соседнем отделе...
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #35

35. Сообщение от ты клоун (?), 25-Окт-21, 00:39	+/–
Ребята из Интел и знают и умеют всяко больше тебя.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #34 Ответы: #45

36. Сообщение от Аноним (37), 25-Окт-21, 01:24	+/–
Садись, два!
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #1

37. Сообщение от Аноним (37), 25-Окт-21, 01:27	+/–
Чтоб вы знали. Уровень языка программирования чем ниже, тем ближе к машинному, а значит лучше.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #7

38. Сообщение от Аноним (38), 25-Окт-21, 01:36	–2 +/–
ОС означает прежде всего управление железом, то есть наличие драйверов. Сколько там драйверов на расте пишут производители железа?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #9 Ответы: #76

39. Сообщение от vitalif (ok), 25-Окт-21, 02:49	+2 +/–
> неконкретизированном проприетарном ПО не надо интелу стесняться говорить "в нашем собственном говнокоде")
Ответить | Правка | Наверх | Cообщить модератору

40. Сообщение от Аноним (40), 25-Окт-21, 03:13	+2 +/–
Все приведённые в примере ошибки являются логическими, язык тут вообще не при чём.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

41. Сообщение от Аноним (41), 25-Окт-21, 05:36	+1 +/–
Как и в случае "(s1 == NULL) | (s2 == NULL)" заменить конечно можно, но ценой производительности. OpenSSL пишут фанатики производительности, иначе бы давно уже выкинули бы весь Ассемблер. Причём в OpenSSL Ассемблер используется не для специфических инструкций, а ради нескольких процентов производительности, недостижимых для нынешних компиляторов.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #33 Ответы: #43

42. Сообщение от Ordu (ok), 25-Окт-21, 05:53	+/–
Это устаревшая классификация языков. Когда-то и мнемоники для машинных команд считались высокоуровневыми. Когда-то и колесо считалось вершиной научно-технического прогресса.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #5

43. Сообщение от Ordu (ok), 25-Окт-21, 06:17	+/–
> ценой производительности Вовсе нет. Возьми компилятор и проверь. Этот случай -- либо ошибка программиста, либо откровенный тупняк и понимание компилятора на уровне первой половины 90-х.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #41

44. Сообщение от Ordu (ok), 25-Окт-21, 06:23	+/–
Нет, не надо. Это как с вероятностью вероятности. Когда это понятие приходит в голову впервые, первая реакция тренированной психики включает в себя мысль о необходимости бесконечной рекурсии: вероятность вероятности вероятности ... вероятности. Но если присмотреться, то хоть вероятность вероятности и полезное понятие, но уже третий уровень бесполезен. На третьем уровне уже нет никакой неопределённости, потому что вся неопределённость была описана на первых двух этажах.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #10

45. Сообщение от john_erohin (?), 25-Окт-21, 06:56	–1 +/–
такое вполне возможно. но: почему у них периодически всплывает всякая гадость ?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #35 Ответы: #90

46. Сообщение от Ordu (ok), 25-Окт-21, 07:01	+/–
> для идеальности нужна мат модель и анализатор логики. О какой матмодели ты сейчас говоришь? О матмодели программы? То есть о спецификации программы, написанной на формальном языке? Это может помочь, но во-первых, есть ограничения такого подхода, во-вторых это переход с C/C++ на язык описания спецификаций. Программист-человек может качественнее проводить аудит кода потому, что он может по коду угадать намерения того, кто писал код. Но, самое что забавное, угадать эти намерения возможно только одним путём: взять модель психики программиста и дальше разглядывать код и статистическим путём пытаться угадать состояние психики, которое с максимальной вероятностью породит именно такой код. То есть, тут нужна формальная модель психики программиста. И этим и обусловлен вопрос выше: может ты об этой модели? Человеку удаётся справиться с этим, потому что он сам себе модель программиста, писавшего код. А статистику всю нейросетки в его голове считают. ИИ сейчас подошёл вплотную к тому, чтобы реализовать нужную статистику. А это автоматически означает, что какая-никакая модель программиста у ИИ уже есть. Остался один шаг -- сделать эту модель каузальной, а не корреляционной. Но это, я полагаю, произойдёт после того, как хайп на deep-learning спадёт: все самым натуральным образом сначала тянутся за низковисящими фруктами и лишь когда они кончатся, начинают чесать репу: как достать остальные? Но я к тому, что с этой перспективы, статистический поиск багов -- это шаг в нужном направлении. Либо мы движемся в направлении выдачи компилятору всё большего количества информации о задумке программиста (а это всякие расты, или даже формальные языки спецификаций программ), либо мы учим ИИ угадывать эту задумку по тому, что есть. И вот это второе, естественно напрашивается делать так, как это делает человек, то есть статистически.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #15

47. Сообщение от животнае (?), 25-Окт-21, 08:15	+/–
производители статических анализаторов у себя внутри - "давай глянем как оно в сравнении с нашим и дополним своим модулем от интола если что".
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #55

48. Сообщение от Совершенно другой аноним (?), 25-Окт-21, 09:26	–3 +/–
Вот новость: https://www.opennet.ru/opennews/art.shtml?num=54316, а вот в новости про утечки: ;----------------------X8 Из новшеств, добавленных в выпуске Redox 0.6, можно отметить: * Полностью переписана система управления памятью ядра (rmm, kernel memory manager). В новой реализации удалось избавиться от утечек памяти, которые создавали проблемы при использовании старого менеджера памяти. Кроме того, повышена стабильность поддержки многоядерных систем. ;----------------------X8 Теперь верите?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #20 Ответы: #66

50. Сообщение от Нанобот (ok), 25-Окт-21, 09:50	+/–
подозреваю, что у сабжа при проверке такого кода тоже истерика случится
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #33

51. Сообщение от Sw00p aka Jerom (?), 25-Окт-21, 10:27	–1 +/–
>была выявлена незамеченная статическими анализаторами ошибка при использовании элемента структуры "s->keepon", который имел числовой тип, но сравнивался с булевым значением TRUE. А в чем проблема если язык это позволяет?
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #52

52. Сообщение от Совершенно другой аноним (?), 25-Окт-21, 10:34	+/–
>>была выявлена незамеченная статическими анализаторами ошибка при использовании элемента структуры "s->keepon", который имел числовой тип, но сравнивался с булевым значением TRUE. > А в чем проблема если язык это позволяет? Ну, как-бы, если числовое, то там может быть, например, не только 0 и 1, а например, и 2, 3 и т.д. А сравнение, насколько я понял, происходило, с конкретным TRUE (например 1).
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #51 Ответы: #59

54. Сообщение от Аноним (-), 25-Окт-21, 10:56	+/–
Статистический анализатор - это хорошо. Это не модное нынче непереобучаемое свёрточное дерьмо.
Ответить | Правка | Наверх | Cообщить модератору
Ответы: #86

55. Сообщение от Аноним (-), 25-Окт-21, 11:15	+1 +/–
Лысый из ПиВаСа тебя одобряет.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #47 Ответы: #68

58. Сообщение от Аноним (58), 25-Окт-21, 11:57	–1 +/–
Да просто акции интел упали более чем на 10,5% за день. Надо что-то делать.
Ответить | Правка | Наверх | Cообщить модератору

59. Сообщение от Sw00p aka Jerom (?), 25-Окт-21, 12:03	–1 +/–
>Ну, как-бы, если числовое, то там может быть ну и как быть? на что заменить? если там сравнение двух чисел, пихнет 2 или 3 результат сравнения будет ложным, к чему это приведет - проблема программиста.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #52 Ответы: #60

60. Сообщение от Совершенно другой аноним (?), 25-Окт-21, 12:32	+/–
>>Ну, как-бы, если числовое, то там может быть > ну и как быть? на что заменить? если там сравнение двух чисел, > пихнет 2 или 3 результат сравнения будет ложным, к чему это > приведет - проблема программиста. Например заменить на "!= 0", уже, как минимум, будет нечто похожее тому посылу, который был изначально в коде.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #59 Ответы: #63

61. Сообщение от Anonymous XE (?), 25-Окт-21, 12:46	+/–
"Вы там из криокамеры выходите, в 2k21 уже ОС написали на Rust.", например. Ну ещё можно посмотреть в обсуждении новости о Rust.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #30

63. Сообщение от Sw00p aka Jerom (?), 25-Окт-21, 13:27	–1 +/–
так TRUE и есть 1, то есть число, типа булеан как такогого в сях нет. Типы, только в голове у програсмиста.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #60 Ответы: #64

64. Сообщение от Совершенно другой аноним (?), 25-Окт-21, 13:39	+/–
> так TRUE и есть 1, то есть число, типа булеан как такогого > в сях нет. к сожалению, или к счастью, тип _Bool уже есть, причём, если не путаю, ещё со времён C99. Но тут вопрос в другом, чисто логически если "s->keepon" числовой, то там вряд ли будет интересовать значения "1" и "не 1", а скорее, имхо конечно, будет интересовать значения "0" и "не 0".
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #63 Ответы: #67

66. Сообщение от Аноним (-), 25-Окт-21, 15:40	–2 +/–
> Вот новость: https://www.opennet.ru/opennews/art.shtml?num=54316, а вот в новости про > утечки: > ;----------------------X8 > Из новшеств, добавленных в выпуске Redox 0.6, можно отметить: > * Полностью переписана система управления памятью ядра (rmm, kernel memory manager). В > новой реализации удалось избавиться от утечек памяти, которые создавали проблемы при > использовании старого менеджера памяти. Кроме того, повышена стабильность поддержки многоядерных > систем. > ;----------------------X8 > Теперь верите? https://gitlab.redox-os.org/redox-os/redox/-/issues/855 > The Redox kernel does not have the structures in place to allow freeing memory. > (что и переписали) Умению читать опой? Да, верю. А ссылки на "пытаются написать, затыкая дыры утечки памяти", будут? Или как обычно?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #48 Ответы: #69

67. Сообщение от Sw00p aka Jerom (?), 25-Окт-21, 16:05	+/–
> к сожалению, или к счастью, тип _Bool уже есть, причём, если не > путаю, ещё со времён C99. Это макрос разворачивающийся в 0 и 1 целочисленную. > Но тут вопрос в другом, чисто логически если "s->keepon" числовой, то там > вряд ли будет интересовать значения "1" и "не 1", а скорее, > имхо конечно, будет интересовать значения "0" и "не 0". тут без разницы, от 0 отталкиваемся или от 1. Таким же макаром, можно за TRUE считать любое целое положительное число большее чем 0, а за FALSE меньшее (отрицательное) или равное 0. И если в "s->keepon = 2" то проблем нет, расцениваем как TRUE. И с точки зрения анализатора ворнингов тут не должно быть, если компилятор допустил такое.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #64 Ответы: #70

68. Сообщение от животнае (?), 25-Окт-21, 16:38	+/–
так у него на сайте в его профиле написано - "Лучше 10 раз пересобрать, чем один раз подумать."
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #55

69. Сообщение от Совершенно другой аноним (?), 25-Окт-21, 16:52	–2 +/–
> https://gitlab.redox-os.org/redox-os/redox/-/issues/855 >> The Redox kernel does not have the structures in place to allow freeing memory. >> (что и переписали) > Умению читать опой? Да, верю. > А ссылки на "пытаются написать, затыкая дыры утечки памяти", будут? Или как > обычно? Написали то, что было написано и по-английски (https://www.redox-os.org/news/release-0.6.0/): ;----------------------X8 * rmm, a complete rewrite of the kernel memory manager. This has eliminated kernel memory leaks, which became quite an issue with the previous memory manager. Additionally, multi-core support is far more stable. ;----------------------X8 Пойдите, расскажите теперь уже авторам, что у них ОС не текла.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #66 Ответы: #71

70. Сообщение от Совершенно другой аноним (?), 25-Окт-21, 16:56	+/–
>> к сожалению, или к счастью, тип _Bool уже есть, причём, если не >> путаю, ещё со времён C99. > Это макрос разворачивающийся в 0 и 1 целочисленную. не совсем, это тип. В который может разворачиваться bool, если включить через stdbool.h >> Но тут вопрос в другом, чисто логически если "s->keepon" числовой, то там >> вряд ли будет интересовать значения "1" и "не 1", а скорее, >> имхо конечно, будет интересовать значения "0" и "не 0". > тут без разницы, от 0 отталкиваемся или от 1. Таким же макаром, > можно за TRUE считать любое целое положительное число большее чем 0, > а за FALSE меньшее (отрицательное) или равное 0. И если в > "s->keepon = 2" то проблем нет, расцениваем как TRUE. И с > точки зрения анализатора ворнингов тут не должно быть, если компилятор допустил > такое. TRUE не может иметь несколько значений (1, 2 и т.д.), потому-как вот он-то как-раз макрос, и разворачивается в одно значение (1), а FALSE тоже макрос, который тоже разворачивается в одно значение, равное (0).
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #67 Ответы: #73, #74

71. Сообщение от Аноним (-), 25-Окт-21, 17:24	–1 +/–
>> https://gitlab.redox-os.org/redox-os/redox/-/issues/855 >>> The Redox kernel does not have the structures in place to allow freeing memory. >>> (что и переписали) >> Умению читать опой? Да, верю. >> А ссылки на "пытаются написать, затыкая дыры утечки памяти", будут? Или как >> обычно? > Написали то, что было написано и по-английски (https://www.redox-os.org/news/release-0.6.0/): Ну это было понятно, что чтецы опой не могут в английский и попытаются спрыгнуть. А ссылки-то на _дыры_ где? Или "чтецы" и в компонентах ОС - ни бумбум, раз им "does not have the structures in place to allow freeing memory" ничего не говорит?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #69 Ответы: #72

72. Сообщение от Совершенно другой аноним (?), 25-Окт-21, 17:54	–1 +/–
>> Написали то, что было написано и по-английски (https://www.redox-os.org/news/release-0.6.0/): > Ну это было понятно, что чтецы опой не могут в английский и > попытаются спрыгнуть. А ссылки-то на _дыры_ где? Или "чтецы" и в > компонентах ОС - ни бумбум, раз им "does not have the > structures in place to allow freeing memory" ничего не говорит? я не понимаю, почему Вы тычите мне это issue, когда сами разработчики говорят про что-то другое. Если Вы плохо понимаете по английски, то могу выдать Вам перевод от google из release notes для Redox 0.6.0 : ;--------------------X8 Это устранило утечки памяти ядра, которые стали серьезной проблемой с предыдущим менеджером памяти. ;--------------------X8 Я так надеялся, что разработчики лучше знают, что они там правили. Впрочем, может Вы Jeremy Soller и посетили наш форум, пусть даже и инкогниото, и даже снизошли до общения с анонимами, то, конечно, Вам лучше знать. Просто непонятно тогда, зачем Вы возводите на ваше творение такой мерзкий поклёп, приписывая ей то, чего у неё не было.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #71 Ответы: #75

73. Сообщение от Sw00p aka Jerom (?), 25-Окт-21, 18:36	+/–
> TRUE не может иметь несколько значений (1, 2 и т.д.), потому-как вот > он-то как-раз макрос, и разворачивается в одно значение (1), а FALSE > тоже макрос, который тоже разворачивается в одно значение, равное (0). Дело не во многозначности TRUE, а в неявном приведении int к bool (который и разворачивается в int) во время сравнения в Сях. В строгой (сильной) типизации такое сравнение компилятор не пропустил бы.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #70

74. Сообщение от Sw00p aka Jerom (?), 25-Окт-21, 18:41	+/–
суть в том, что почему анализатор считает ошибкой то, что для компилятора норма? Зачем анализатор требует строгости типов от языка не со строгой типизацией?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #70 Ответы: #82

75. Сообщение от Аноним (-), 25-Окт-21, 19:06	–1 +/–
>> Created 4 years ago by Jeremy Soller >> ... does not have the structures in place to allow freeing memory > я не понимаю, почему Вы тычите мне это issue, когда сами разработчики > "- rmm, a complete rewrite of the kernel memory manager."  [ссылка на https://gitlab.redox-os.org/redox-os/rmm/ -> Jeremy Soller ... ой] > говорят про что-то другое. Яснопонятно. Кроме обыкновенного балабольства - ничего не будет. >> чтецы опой не могут в английский > Если Вы плохо понимаете по английски, то могу выдать Вам перевод от google И опять я угадал. > Я так надеялся, что разработчики лучше знают, что они там правили. Да-да, Jeremy Soller знает лучше, чем Jeremy Soller, что правил там Jeremy Soller. Анонимные "знатоки" совсем не палятся ...
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #72 Ответы: #81

76. Сообщение от Аноним (-), 25-Окт-21, 19:08	+/–
> ОС означает прежде всего управление железом, то есть наличие драйверов. Сколько там > драйверов на расте пишут производители железа? Ты хочешь сказать, что Линукс до середины двухтысячных почти совсем не являлся ОС? Или вантузятники опять совсем-совсем не палятся?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #38 Ответы: #80

79. Сообщение от anonymous (??), 25-Окт-21, 23:49	+/–
Уже давно все энтерпрайзы перешли на Java, где пофиксены почти все опасные места C++. Остались только игроделы и финансисты с наносекундами.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #2

80. Сообщение от Аноним (38), 26-Окт-21, 01:33	+/–
А как использовать ОС если она не поддерживает современного железа?(привет FreeBSD)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #76 Ответы: #85

81. Сообщение от Совершенно другой аноним (?), 26-Окт-21, 08:30	–2 +/–
>>> чтецы опой не могут в английский >> Если Вы плохо понимаете по английски, то могу выдать Вам перевод от google > И опять я угадал. Не знаю, что Вы там угадали, но пока складывается такое ощущение, что Вы просто бредите, извините. >> Я так надеялся, что разработчики лучше знают, что они там правили. > Да-да, Jeremy Soller знает лучше, чем Jeremy Soller, что правил там Jeremy > Soller. Анонимные "знатоки" совсем не палятся ... Вот теперь уже всё с Вами понятно. PS. то issue, на которое Вы ссылались, оно как-бы всё так-же не закрыто. Я надеюсь это Вам не помешает использовать redox в критически важных системах, только будет просьба, Вы заранее предупредите, пожалуйста, где Вы его будете внедрять, ну чтобы если это что-то важное, чтобы постараться оказаться где-то на другой стороне глобуса. На этом, думаю, разговор можно закончить. Удачи Вам.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #75

82. Сообщение от Совершенно другой аноним (?), 26-Окт-21, 08:37	+/–
> суть в том, что почему анализатор считает ошибкой то, что для компилятора > норма? Зачем анализатор требует строгости типов от языка не со строгой > типизацией? Тут, как-бы не совсем статический анализатор, а эдакая себе система, которая может выйти за рамки и сказать - а чего-то все пишут так, а ты не так - может ты что-то не то делаешь? Конечно она при этом может и не угадать, и написано именно то, что задумал программист. Как по мне - вещь хорошая, если действительно сможет показать проблемные места, по крайней мере на них можно будет ещё раз посмотреть и сказать себе - да, всё так и задумано, а не что за бред тут написан.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #74 Ответы: #84

83. Сообщение от Аноним (83), 26-Окт-21, 10:08	+/–
.. [-l source_language_number]                (default: 1 (C), supported: 1 (C), 2 (Verilog) .. и где там c++ ? п#зд#ны из штеуда...
Ответить | Правка | Наверх | Cообщить модератору

84. Сообщение от Sw00p aka Jerom (?), 26-Окт-21, 11:48	+/–
>можно будет ещё раз посмотреть и сказать себе - да если это подобие ИИ, еще нужно пройтись в обратном порядке по пути принятия решения, там же не тупо патрн метчинг, а это еще так себе проблема. Глупо ведь, скормить на обучение весь код с гитхаба и принимать решение парламентским большинством, должна быть экспертная (людская) оценка дана сначала, а это в свою очередь порождает вопросы, как породил у меня, в случае требования строгости типов при сравнении в языке где нет строгой типизации и есть неявное их приведение.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #82 Ответы: #87

85. Сообщение от Аноним (-), 26-Окт-21, 11:50	+/–
> А как использовать ОС если она не поддерживает современного железа?(привет FreeBSD) А можно просто ответ на вопрос, без вот этого вот вечного юлежа? > (привет FreeBSD) Привет, вендузятники https://pic4a.ru/110/5We.png
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #80 Ответы: #88

86. Сообщение от Sw00p aka Jerom (?), 26-Окт-21, 11:52	+/–
>нынче непереобучаемое свёрточное дерьмо. так это пол беды, когда можно еще экспертами переобучить, куда хуже, когда принятия решение основано на парламентском большинстве, все так пишут - и ты так пиши:)
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #54

87. Сообщение от Совершенно другой аноним (?), 26-Окт-21, 12:30	+/–
>>можно будет ещё раз посмотреть и сказать себе - да > Глупо ведь, скормить на обучение весь код с > гитхаба и принимать решение парламентским большинством, должна быть экспертная (людская) > оценка дана сначала, а это в свою очередь порождает вопросы, как > породил у меня, в случае требования строгости типов при сравнении в > языке где нет строгой типизации и есть неявное их приведение. Там у них для обучения предлагается три Dataset-а, 100M, 450M и 9G. Возможно в Dataset-ы отобраны экспертами (по крайней мере людьми из Intel-а) особо качественные проекты, так-что парламентского большинства не будет.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #84

88. Сообщение от Аноним (38), 27-Окт-21, 09:38	+/–
Железо какое? 4х летней давности? Как там wi-fi работает? :D И напоследок: https://www.top500.org/statistics/details/osfam/1/ где тут хотя бы 1 кластер с многострадальной FreeBSD? :D
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #85 Ответы: #89

89. Сообщение от Аноним (-), 27-Окт-21, 21:01	+/–
> Железо какое? 4х летней давности? Как там wi-fi работает? :D И че? Нормально работает. Ты можешь хоть каждый год менять и радовать маркетолухов, кто ж тебе запретит. > И напоследок: https://www.top500.org/statistics/details/osfam/1/ где тут хотя бы 1 кластер > с многострадальной FreeBSD? :D Э-э ... и какой из них ты пользуешься? И где именно она у тебя стоит - под кроватью или за диваном? И что хотел сказать? Что венда не поддерживает современное железо, а макось с соларисом не являются ОС, ведь их нет в том списке? Ну и расскажи заодно, где тут: https://www.techradar.com/news/best-consoles https://en.wikipedia.org/wiki/List_of_best-selling_game_cons... твой линукс-то. Что, не поддерживает современное (и не очень) железо?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #88 Ответы: #91

90. Сообщение от ты клоун (?), 27-Окт-21, 23:38	+/–
Наверное потому что их процы одни из самых распространённых и популярных(как бы это не бесило амд-фантёлок) в мире и в их коде не роются только самые ленивые. Вот и всё. Всякие например эльбрусы в мире нафик никому не упали, соответственно ничё не всплывает, потому-что не ищут. Неужели так трудно простейшую логическую цепочку создать?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #45 Ответы: #92

91. Сообщение от Аноним (38), 28-Окт-21, 01:57	+/–
Пройдусь по пунктам. 1. Насчет линков по поводу консолей: у линукса своя ниша. Они доминирует на рынке серверов а также в значительной степени влияют на большую часть мобильного рынка. И этого достаточно для того чтобы достигнуть успеха. FreeBSD ведь серверная ОС? Но их в списке top500 нет. Почему? Потому что не поддерживают современное железо и соотвественно на рынке серверов их практически никто не использует. 2. Насчет коммента про маркетологов то они тут совершенно не причем. Новое железо гораздо производительней и соотвественно цена за ресурсы выходит гораздо ниже. 3. По поводу того что я использую. На серверах стоит линукс везде конечно же. На рабочей машине стоит fedora. Есть еще машина для игр на которй стоит винда. 4. Если ОС не подерживает(любая) современное железо(в данном случае серверное) и есть нужда его "подбирать" под эту ОС то мало кто этим будет пользоваться. В случае же с ОС "написанной" на расте то там вообще никакое железо не поддерживается. То есть пока это находится на стадии "hello world". И пока не будет достаточного колличества писателей драйверов говорить об этой ОС смешно.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #89 Ответы: #93

92. Сообщение от john_erohin (?), 28-Окт-21, 06:44	+/–
поправка: их код закрыт. гадость ищут посторонние люди практически наощупь. представьте, насколько легче и быстрее искать, имея на руках спецификации ? а еще - насколько легче их устранить заранее ?
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #90

93. Сообщение от Анонимм (??), 28-Окт-21, 14:29	+/–
> Пройдусь по пунктам. > 1. Насчет линков по поводу консолей: у линукса своя ниша. > Они доминирует на рынке серверов а также в значительной степени влияют на > большую часть мобильного рынка. И этого достаточно для того чтобы достигнуть успеха. Угу, угу. На самых популярных консолях, т.е. PS 3,4,5, Nintendo Switch - фря, а не линукс, но "это другое!". > FreeBSD ведь серверная ОС? Но их в списке top500 нет. 1. Каким боком top500 к серверам? 2. FreeBSD, как видно выше - вполне универсальная ОС. > Почему? Потому что не поддерживают современное железо и соотвественно на рынке серверов их  практически никто не использует. Относительно топ500, для которых дрова пишутся отнюдь не в мейнлайне - сильно смахивает на аналитику уровня "Ветер дует потому что деревья качаются!". Это помимо натягивания серверо-совы на top500-глобус и откровенного передергивания: https://news.ycombinator.com/item?id=28584738 "Serving Netflix Video at 400Gb/s on FreeBSD [pdf] (freebsd.org)" > 2. Насчет коммента про маркетологов то они тут совершенно не причем. Новое железо гораздо производительней и соотвественно цена за ресурсы выходит гораздо ниже. Угу, угу, стандартные лозунги - но маркетолухи конечно же не причем. Ну раз дешевле, то привести реальный подсчет стоимости ресурсов и замены железа до истечения амортизационного срока не проблема? Можно даже "на пальцах". Особенно интересно оно будет для "домашне-рабочей" машины. А то в нашей реальности прирост производительности серверов составляет около 15% в год и до полной амортизации или EOL железа, почему-то никто не спешит с заменой.
Ответить | Правка | Наверх | Cообщить модератору
Родитель: #91

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

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