169 похожих чатов

А нафига асинк на бареметале?

16 ответов

23 просмотра

чтобы абстрагировать ивентлуп у раста есть некоторые интересные заходы в этом направлении, например https://embassy.dev/

Vladimir-Berezenko Автор вопроса
Max Силинг
чтобы абстрагировать ивентлуп у раста есть некотор...

я не увидел в целом ответа нафига асинк на бареметале?

Vladimir-Berezenko Автор вопроса
Max Силинг
чтобы иметь таск менеджмент не таща RTOS

весь таск-менеджмент будет обработка прерываний.

Vladimir Berezenko
весь таск-менеджмент будет обработка прерываний.

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

Max Силинг
во-первых, это не совсем так — асинк кооперативный...

суммарно можно иметь шедулинг тасок (включающий в себя обработку прерываний) в либе и писать сравнительно высокоуровневый код в приложении, и при этом не платить за полноценную RTOS

Vladimir-Berezenko Автор вопроса
Max Силинг
во-первых, это не совсем так — асинк кооперативный...

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

Vladimir-Berezenko Автор вопроса
Max Силинг
суммарно можно иметь шедулинг тасок (включающий в ...

ртос и выполняет шедулинг, т.к. в асинке шедулера вобщем-то и нет.

Vladimir Berezenko
Асинк вот нихрена не кооперативный, т.к. задачи в ...

«кооперативный» как раз и значит, что задача может отдать управление в ивентлуп (в отличие от вытесняющего, когда управление силой можно отобрать)

Vladimir-Berezenko Автор вопроса
Vladimir-Berezenko Автор вопроса
Max Силинг
«кооперативный» как раз и значит, что задача может...

А ради смеха можешь дискетку на win 3.11 поформатировать - как-раз кооперативная многозадачность.

Vladimir Berezenko
ртос и выполняет шедулинг, т.к. в асинке шедулера ...

асинк с точки зрения нима это вообще набор макросов конкретный асинк рантайм может включать в себя шедулер который как-то выбирает, как и когда выполнять таски отличие от RTOS тут в том, что между шедулером и таской нет контекст свитча + они скомпилированы (и оптимизируются, включая dead code elimination) вместе

Max Силинг
асинк с точки зрения нима это вообще набор макросо...

по сути получается, что программа сама себе RTOS с кооперативными тасками понятно, что если у тебя кооперативная многозадачность, то нужно быть аккуратным и не забывать отдавать управление, чтобы другие таски могли сделать прогресс

Vladimir-Berezenko Автор вопроса
Max Силинг
асинк с точки зрения нима это вообще набор макросо...

Ты тёплое и мягкое путаешь. Любая РТОС ориентирована на обработку событий реального времени (максимально быстрая реакция на прерывания), ты никак не сможешь достигнуть этих результатов в любом асинхронном коде какой-бы там монструозный шедулер ни был-бы написан. QNX - RTOS, к примеру.

Vladimir-Berezenko Автор вопроса

Ну знаешь, если-бы всё так было просто, то нахрена было-бы выдумывать все эти реалтайм оси. Вон даже для ядра линуха, который и так с вытесняющей многозадачностью, есть набор патчей который превращает его в ртос. А насчёт неочевидно для кооперативной многозадачности: 1. Тебе пришло прерывание. 2. У тебя выполняется непрерываемая задача. 3. Ты ставишь прерывание в очередь шедулера. 4. Когданить (возможно и через полчаса если у тебя п.2 ресурсоёмкая и синхронная) у тебя сработает возврат в шедулер и начнёт обрабатываться первое прерывание. 5. У тебя уже херова гора таких прерываний в шедулере. 6. ЖОПА :) Я кагбэ много времени работал с низким уровнем и знаю как это всё работает и когда что можно применять, а когда нет.

Похожие вопросы

Обсуждают сегодня

@MrMiscipitlick А можешь макрос написать, который будет вычислять смещение относительно переданных меток? Просто .label1-.label2, и вернуть значение.
КТ315
35
я не магистр хаскеля, но разве не может лейзи тип конвертнуться в не-лейзи запросив вычисление содержимого прям при инициализации?
deadgnom32 λ madao
100
Заметил в ghci 9.4.8: > :t (<*>) @((->)_) (<*>) @((->)_) :: (w -> (a -> b)) -> (w -> a) -> w -> b Разве не должно (w -> (a -> b)) быть записано как (w -> a -> b)? Это баг, ил...
Михаил
13
А еще в перле можно уже @arr1 + @arr2?
Sergei Zhmylove
53
Any electron dev here?
Sayanth Tezro
12
Подобного рода ;Следующие три строки это директивы ассемблера, ;которые можно не задавать, т.к.работаем в Visual Studio. ;Символ ";" - это начало однострочного комментария ...
Егор Анелькин
3
Привет всем. появился вопрос. Разрабатываю сайт, в данный момент он запущен. Хостинг beget. Добавляю на сайт яндекс метрику с помощью полей client-settings (взято отсюда http...
Andrew
2
Кто-нибудь знает почему SPM клонирует репо целиком? Некоторые репы просто огромные, как та же swift-syntax которая нужна для использования макросов. Сначала подумал, что это...
iMike
6
Подскажите, где смотреть результат выполнения программы? Код: ;.686 ;Система команд процессора 686 ;.MODEL FLAT,stdcall ;Модель памяти плоская, станда...
Егор Анелькин
5
Привет. Я верно понимаю, что в определении класса Монад m — зафиксирован (к тому же поскольку это моноид в категории эндофункторов). Т.е. используя байнд я не могу перемещать...
Arseny
5
Карта сайта