|
|
  |
вопросы по scmRTOS, вложенные мютексы и т.д. |
|
|
|
Apr 6 2007, 16:10
|

тут может быть ваша реклама
    
Группа: Свой
Сообщений: 1 164
Регистрация: 15-03-06
Из: Санкт-Петербург/CA
Пользователь №: 15 280

|
Пару вопросов по scmRTOS (да наверно в целом по РТОС).
1. Простой. Как в этой операционке получить индекс приоритета текущего процесса. Предположим есть функция и ее могут вызывать каждый из существующих процессов. Как узнать какой из них ее вызывает?
2. Предположим есть две функции, которые имеют дело с портом. Первая настраивает его скорость и прочее. Вторая... например просто делает enabled/disabled для порта, в принципе неважно. Функции могут вызываться каждым из процессов. По идее надо тело функции обрамлять mutex.Lock() mutex.Unlock(). Но ситуация такова, что например вторую функцию может вызывать не только любой из процессов непосредственно, но и первая функция (понятно, что в рамках какого то процесса). То есть при настройке порта я хочу еще сразу делать enable port. И при этом получается, что процесс в рамках вызова первой функции блокирует мютекс и вызывая вторую функцию, опять видит mutex.Lock и блокирует сам себя, навечно. Чую, тут самые такие азы всего этого дела, но не понимаю как поступают в таких случаях?
Спасибо
|
|
|
|
|
Apr 6 2007, 16:49
|

Adept
     
Группа: Свой
Сообщений: 3 469
Регистрация: 6-12-04
Из: Novosibirsk
Пользователь №: 1 343

|
Цитата(jorikdima @ Apr 6 2007, 20:10)  Пару вопросов по scmRTOS (да наверно в целом по РТОС).
1. Простой. Как в этой операционке получить индекс приоритета текущего процесса. Предположим есть функция и ее могут вызывать каждый из существующих процессов. Как узнать какой из них ее вызывает? Зачем? Цитата(jorikdima @ Apr 6 2007, 20:10)  2. Предположим есть две функции, которые имеют дело с портом. Первая настраивает его скорость и прочее. Вторая... например просто делает enabled/disabled для порта, в принципе неважно. Функции могут вызываться каждым из процессов. По идее надо тело функции обрамлять mutex.Lock() mutex.Unlock(). Но ситуация такова, что например вторую функцию может вызывать не только любой из процессов непосредственно, но и первая функция (понятно, что в рамках какого то процесса). То есть при настройке порта я хочу еще сразу делать enable port. И при этом получается, что процесс в рамках вызова первой функции блокирует мютекс и вызывая вторую функцию, опять видит mutex.Lock и блокирует сам себя, навечно. Мутексом надо обрамлять не вызов фунции, а обращение к совместно используемому ресурсу - к порту в данном случае. Внутри этого кода (защищаемого мутексом) Вы же не отдаете сами управление? Тогда как другой процесс будет что-то вызывать? А если там произойдет вытеснение и другой процесс попытается захватить мутекс, то он (процесс) наткнется на залоченное состояние и будет поставлен на ожидание анлока и управление снова вернется в наш процесс, откуда вытеснили. При выполнении анлока управление попадет в тот ожидающий более приоритетный процесс. Вот и разделение доступа к ресурсу.
--------------------
«Отыщи всему начало, и ты многое поймёшь» К. Прутков
|
|
|
|
|
Apr 6 2007, 17:10
|

тут может быть ваша реклама
    
Группа: Свой
Сообщений: 1 164
Регистрация: 15-03-06
Из: Санкт-Петербург/CA
Пользователь №: 15 280

|
Цитата(dxp @ Apr 6 2007, 17:49)  Мутексом надо обрамлять не вызов фунции, а обращение к совместно используемому ресурсу - к порту в данном случае. Понимаю. Но внутри этой функции и идет собственно оьращение к ресурсу. А точнее обращение к регистру, которым включается/отключается UART. Цитата(dxp @ Apr 6 2007, 17:49)  Внутри этого кода (защищаемого мутексом) Вы же не отдаете сами управление? Тогда как другой процесс будет что-то вызывать? А если там произойдет вытеснение и другой процесс попытается захватить мутекс, то он (процесс) наткнется на залоченное состояние и будет поставлен на ожидание анлока и управление снова вернется в наш процесс, откуда вытеснили. При выполнении анлока управление попадет в тот ожидающий более приоритетный процесс. Вот и разделение доступа к ресурсу. А речь даже не о другом процессе пока. Пока рассматриваем только один единственный. В нем вызвалась первая функция, работающая с портом, мютекс залочился. И затем вызвалась вторая , в которой тоже лочится мютекс. Вот тут и проблема. Скажете, а зачем во второй функции лочить мютекс, если она уже вызывается из того места где он залочен? Потому что эта вторая функция может вызываться не тока оттуда. Я понимаю, что тут скорее всего ошибка проектирования... или чето в этом духе. Но хочется понять как правильно в такой ситуации поступать.
|
|
|
|
|
Apr 9 2007, 05:34
|

Знающий
   
Группа: Свой
Сообщений: 877
Регистрация: 26-01-05
Из: Екатеринбург
Пользователь №: 2 206

|
Цитата(jorikdima @ Apr 6 2007, 20:10)  Понимаю. Но внутри этой функции и идет собственно оьращение к ресурсу. А точнее обращение к регистру, которым включается/отключается UART.
А речь даже не о другом процессе пока. Пока рассматриваем только один единственный. В нем вызвалась первая функция, работающая с портом, мютекс залочился. И затем вызвалась вторая , в которой тоже лочится мютекс. Вот тут и проблема. Скажете, а зачем во второй функции лочить мютекс, если она уже вызывается из того места где он залочен? Незачем. Если вы захватили ресурс, то работаете с ним, а потом освобождаете. Цитата Потому что эта вторая функция может вызываться не тока оттуда. Если эта функция вызывается из другого процесса (задачи), то dxp все описал подробно с вытеснениями. Или вы эту функцию хотите вызывать из первой функции, которая уже получила доступ к ресурсу, но из того же процесса? Так просто делать не надо, напишите код по другому, иначе у вас получится deadlock.
--------------------
Пасу котов...
|
|
|
|
|
Apr 9 2007, 08:42
|

Adept
     
Группа: Свой
Сообщений: 3 469
Регистрация: 6-12-04
Из: Novosibirsk
Пользователь №: 1 343

|
Цитата(jorikdima @ Apr 6 2007, 21:10)  А речь даже не о другом процессе пока. Пока рассматриваем только один единственный. В нем вызвалась первая функция, работающая с портом, мютекс залочился. И затем вызвалась вторая , в которой тоже лочится мютекс. Вот тут и проблема. Скажете, а зачем во второй функции лочить мютекс, если она уже вызывается из того места где он залочен? Потому что эта вторая функция может вызываться не тока оттуда. Поэтому-то и надо защищать ресурс, а не функцию. Тогда и проблем таких не будет. Цитата(jorikdima @ Apr 6 2007, 21:10)  Я понимаю, что тут скорее всего ошибка проектирования... или чето в этом духе. Но хочется понять как правильно в такой ситуации поступать. Уже объяснили выше, дополню только. Мутекс служит для разделения доступа к совместно используемому ресурсу из разных процессов, а не их одного. Думаю, что Вы и так это прекрасно понимаете. Что касается конкретно этого Вашего случая, то тут есть основания полагать, то и мутекс никакой не нужен - обращение ведется к регистру, все обращение - это две-три инструкции процессора. Незачем в этой ситуации использовать мутексы - для предовращения нарушения совместного доступа просто поместите этот код в критическую секцию и все. Это будет и быстрее, и компактнее, и проще. Мутекс имеет смысл использовать, если ресурс требует значительного времени при обращении - массив, например, обработать. На эту тему в доке на стр 77 есть замечание (совет).
--------------------
«Отыщи всему начало, и ты многое поймёшь» К. Прутков
|
|
|
|
|
Apr 9 2007, 09:22
|

тут может быть ваша реклама
    
Группа: Свой
Сообщений: 1 164
Регистрация: 15-03-06
Из: Санкт-Петербург/CA
Пользователь №: 15 280

|
Цитата(Andy Mozzhevilov @ Apr 9 2007, 06:34)  Или вы эту функцию хотите вызывать из первой функции, которая уже получила доступ к ресурсу, но из того же процесса? Так просто делать не надо, напишите код по другому, иначе у вас получится deadlock. Именно так!! Теперь понял, то есть борьбы с этим как таковой нет. Перепроектирую. Спасибо. Цитата(dxp @ Apr 9 2007, 09:42)  Поэтому-то и надо защищать ресурс, а не функцию. Тогда и проблем таких не будет. Уже объяснили выше, дополню только. Мутекс служит для разделения доступа к совместно используемому ресурсу из разных процессов, а не их одного. Думаю, что Вы и так это прекрасно понимаете. Что касается конкретно этого Вашего случая, то тут есть основания полагать, то и мутекс никакой не нужен - обращение ведется к регистру, все обращение - это две-три инструкции процессора. Незачем в этой ситуации использовать мутексы - для предовращения нарушения совместного доступа просто поместите этот код в критическую секцию и все. Это будет и быстрее, и компактнее, и проще. Мутекс имеет смысл использовать, если ресурс требует значительного времени при обращении - массив, например, обработать. На эту тему в доке на стр 77 есть замечание (совет).  Да спасибо за советы. Перечитаю.
|
|
|
|
|
Apr 11 2007, 12:03
|
Частый гость
 
Группа: Участник
Сообщений: 120
Регистрация: 2-09-05
Из: Екатеринбург
Пользователь №: 8 165

|
Цитата 1. Простой. Как в этой операционке получить индекс приоритета текущего процесса. Предположим есть функция и ее могут вызывать каждый из существующих процессов. Как узнать какой из них ее вызывает? Из Exec() можно достучаться до YourProc.Priority и передавать его как параметр в функцию. Для dxp. Это может понадобиться, например, при отладке для вывода лога.
|
|
|
|
|
Apr 11 2007, 12:50
|

Гуру
     
Группа: Модераторы
Сообщений: 8 455
Регистрация: 15-05-06
Из: Рига, Латвия
Пользователь №: 17 095

|
Цитата(amusin @ Apr 11 2007, 11:03)  Из Exec() можно достучаться до YourProc.Priority и передавать его как параметр в функцию.
Для dxp. Это может понадобиться, например, при отладке для вывода лога. Тогда уж проще для отладки добавить в public TKernel что-то вроде TPriority GetCurPriority() const { return CurProcPriority;} Не нужно будет тащить лишний параметр. (шепотом) А dxp не скажем что исходник трогали Есть еще один вариант - делаем класс, производный от process и в нем функцию, возвращающую Priority.
--------------------
На любой вопрос даю любой ответ"Write code that is guaranteed to work, not code that doesn’t seem to break" ( C++ FAQ)
|
|
|
|
|
Apr 11 2007, 13:26
|

Adept
     
Группа: Свой
Сообщений: 3 469
Регистрация: 6-12-04
Из: Novosibirsk
Пользователь №: 1 343

|
Цитата(Сергей Борщ @ Apr 11 2007, 16:50)  Тогда уж проще для отладки добавить в public TKernel что-то вроде TPriority GetCurPriority() const { return CurProcPriority;} Не нужно будет тащить лишний параметр. (шепотом) Да, это правильный путь. Надо вообще подумать хорошенько над отладочным интерфейсом - в частности, надо возможностью анализа используемости стека. Цитата(Сергей Борщ @ Apr 11 2007, 16:50)  А dxp не скажем что исходник трогали  Ага, конспираторы, блин.  Цитата(Сергей Борщ @ Apr 11 2007, 16:50)  Есть еще один вариант - делаем класс, производный от process и в нем функцию, возвращающую Priority. Во-первых, не класс, а шаблон. Во-вторых, это, имхо, хуже простой встраиваемой функции - функциональность та же, создание объектов уже от другого шаблона надо будет делать, писанины больше.
--------------------
«Отыщи всему начало, и ты многое поймёшь» К. Прутков
|
|
|
|
|
  |
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0
|
|
|