The OpenNET Project / Index page

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



"Микроядро seL4 математически верифицировано для архитектуры ..."
Версия для распечатки Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Исходное сообщение [ Отслеживать ]
Есть идеи по улучшению форума и сайта ? Пишите.
. "Микроядро seL4 математически верифицировано для архитектуры ..." +4 +/
Сообщение от n80 (?), 11-Июн-20, 01:22 
Как минимум, тем же, кому и остальные микроконтроллеры.

GigaDevice вообще презанятная контора в плане Особого Пути™.

Впервые я на них наткнулся с их клонами STM32 (GD32Fxxx): pin-to-pin совместимые клоны с без всякого стеснения срисованными даташитами и периферией. И, как минимум, одной маааленькой фишкой: бóльший объём flash-ROM за ту же или даже меньшую цену, достигли они этого за счёт того что вместо полноценной параллельной дорогой флеш-памяти (как у оригинала от ST) использовали отдельный кристалл последовательной флеш-памяти, разварив и залив несколько кристаллов в одном корпусе. А чтобы это не угробило производительность, они добавили между флеш-памятью и ядром дополнительное ОЗУ для кеширования, в итоге в некоторых задач (когда горячая область кода влезает в этот кеш) этот клон работает быстрее оригинала (где либо терпи wait states при чтении/исполнении из флеша, либо ручками копируй горячие функции в основное ОЗУ, либо бери более дорогой камень с кешем из коробки).

Потом они же придумали такой прикол, как серию из почти полных аналогов чипов серии STM32F0 (которые на весьма урезанном Cortex-M0), но с одним важным отличием в виде полноценного ядра Cortex-M3 (как у STM32F1). Это давно напрашивалось, но ST это посчитали не очень-то нужным, а подвальные китайцы взяли и реализовали.

Здесь вот другой их не менее впечатливший выкрутас — придумать серию GD32V, где вся периферия (включая адреса для MMIO) взята от соответствующих STM32Fxxx, но ядро заменено на RISC-V, т.е. в работающем проекте достаточно заменить несколько мест из CMSIS (типа использования инструкции WFI, wait for interrupt) и пересобрать другим компилятором, чтобы получить максимально безболезненный переход с ARM на RISC-V.

Т.е. с одной стороны — бесстыднейшее (и крайне спорное с юридической точки зрения) копирование и паразитирование на чужих идеях и наработках, а с другой — придумали и внедрили нечто мелкое, но очень даже полезное (не для всех, конечно). Пардон за такой оффтоп, но надеюсь что кому-то это тоже окажется интересным ~открытием или дополнят/поправят (раз уж затронули такую интересную мне тему).

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

Оглавление
Микроядро seL4 математически верифицировано для архитектуры ..., opennews, 10-Июн-20, 12:28  [смотреть все]
Форумы | Темы | Пред. тема | След. тема



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

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