1. Куча / Говнокод #28022

    −1

    1. 1
    2. 2
    3. 3
    4. 4
    5. 5
    6. 6
    знает кто как шестнадцатеричные числа в np++ подсвечивать?
а то у меня даже вот такое
                                 v
memset [@T1] 3A98h 0h
не подсвечивает.
пробовал в дополнительные символы чисел добавлять, не хочет.

    Запостил: kcalbCube, 16 Февраля 2022

    Комментарии (33) RSS

    • ava 666_N33D135 16.02.2022 17:20 # 0

      Language → assembly
      и течёшь
      Ответить

    • ava bormand 16.02.2022 17:34 # 0

      > memset

      Аппаратный strncpy тоже будет?
      Ответить

      • ava 666_N33D135 16.02.2022 17:36 # +1

        Хочу аппаратный malloc
        Ответить

        • ava bormand 16.02.2022 17:37 # 0

          Чтобы память не покупать?
          Ответить

          • ava 666_N33D135 16.02.2022 17:39 # +1

            И mmap аппаратный

            И даже небо, даже Аллах
            Ответить

          • ava Soul_re@ver 16.02.2022 17:41 # 0

            Поддержка выделения виртуальной памяти на уровне процессора.
            Правда не придумал семантики ещё, и как это будет взаимодействовать с ОС.
            Ответить

            • ava bormand 16.02.2022 17:49 # +1

              Аппаратный buddy allocator за 1 такт вполне реально запилить, имхо.
              Ответить

            • ava bormand 16.02.2022 17:51 # +1

              А для ОС по идее хватит инструкций freeall <pid> и setpid <pid>.
              Ответить

            • ava bormand 16.02.2022 18:04 # +1

              При переключении процесса ОС выполняет привилегированную инструкцию setpid чтобы сказать процу какой процесс сейчас активен.

              Процесс юзает инструкции malloc и free. При этом проц помечает занятые блоки pid'ом процесса. Тут можно даже аппаратно проверить, что процесс лезет только к своим блокам.

              Когда ось хочет убить процесс она вызывает инструкцию freall.

              Сама ОС выделяет память для себя под pid 0.
              Ответить

              • ava bormand 16.02.2022 18:08 # +1

                Можно ещё добавить специальные range регистры, которые будут юзаться вместо указателей. И инструкции, которые позволяют сужать рейнж (но не увеличивать). Тогда и проблема с переполнением буфера решится раз и навсегда.
                Ответить

                • ava bormand 16.02.2022 18:17 # +1

                  Правда х.з. как сохранять такие регистры в память так, чтобы их никто там не помял.

                  Тегированную память или какой-нибудь HMAC придётся юзать?

                  signed_range<int> m
                  Ответить

                  • ava bormand 16.02.2022 18:23 # +1

                    А signed int тоже будет подписан, чтобы пролетающая частица его незаметно не испортила. В отличие от unsigned int.
                    Ответить

              • ava bormand 16.02.2022 18:34 # +1

                Блин, а что делать с use after free... Аппаратный gc?
                Ответить

                • ava bormand 16.02.2022 19:43 # +1

                  Можно сделать аппаратный RC...

                  Каждый диапазонный регистр помимо адреса и размера может содержать адрес счётчика. Если адреса нету или счётчик равен 1 -- мы владеем куском памяти эксклюзивно.

                  Инструкцией split <rd1>, <rd2>, <rs>, <offset> можно разбить диапазон на джва. Если rd1 или rd2 не пусты или offset слишком большой -- исключение.

                  Инструкцией join <rd>, <rs1>, <rs2> можно склеить диапазон обратно (при этом нельзя клеить диапазоны, управляемые разными счётчиками, будет исключение).

                  Инструкцией share <rd>, <rs>, <rc> мы можем получить в rd расшаренную копию rs, управляемую счётчиком в диапазоне rc. При этом мы теряем владение над диапазоном rc, оно уходит процу.

                  Инструкцией drop <r> мы можем уменьшить счётчик на 1 и очистить регистр (проебать последнюю копию нельзя, будет исключение).

                  Инструкцией own <rc>, <rs> мы можем перевести диапазон rs обратно в эксклюзивный режим (счётчик должен быть 1). Заодно мы получим rc обратно.

                  Инструкцией my <rs> можно проверить владеем ли мы диапазоном (выставит флажок).

                  При старте проца в одном из регистров лежит эксклюзивный диапазон на всю оперативку, а остальные пусты.
                  Ответить

                  • ava bormand 16.02.2022 19:56 # +1

                    Блин, тут косяк -- если расшарить диапазон, а потом его разбить, то можно будет освободить один из кусков (т.к. счётчик не 0) и навсегда проебать его.

                    Видимо для own надо потребовать чтобы вернули диапазон именно к такому виду, в каком он был на момент share.

                    Блин, надо эту хуйню формально доказывать, всяко какие-то косяки есть.
                    Ответить

                    • ava 666_N33D135 16.02.2022 19:58 # +1

                      Охуенно!

                      Ещё аппаратную поддержку связных списков и динамической типизации. Получится лисп-машинка)))
                      Ответить

                      • ava bormand 16.02.2022 20:08 # +1

                        > динамической типизации

                        А её по-любому делать, иначе насрут в диапазон как в байты и порушат все инварианты.
                        Ответить

                        • ava CHayT 16.02.2022 20:18 # +1

                          Нужно чтобы статически-типизированный процессор с генериками и индуктивными типами!
                          Ответить

                      • ava bormand 16.02.2022 20:28 # 0

                        Кстати на циклоняшке 9-битная память, в принципе можно и тегов с типами навешать.

                        З.Ы. Внешняя DRAM вот к сожалению без лишних битов.
                        Ответить

                  • ava kcalbCube 17.02.2022 07:00 # 0

                    если бы у меня вмка была с защищенным режимом то имплементировал бы
                    Ответить

                    • ava Noodles 17.02.2022 07:32 # 0

                      Женщины в России самые красивые - доказано всеми мужчинами-иностранцами
                      Ответить

    Добавить комментарий