Приоритет разблокирования

← →
Jump (2007-03-20 06:46) [0]

Здравствуйте уважаемые!
Вопрос: есть ли в винде средства для управления приоритетом разблокирования потоков? Т.е. у меня есть несколько потоков, есть критическая секция, на которой они периодически блокируются, и хотелось бы, чтобы при разблокировании в первую очередь это делали именно определенные потоки.

← →
Чапаев © (2007-03-20 08:04) [1]

То есть как? Кто её заблокировал, тот и разблокирует. Какие тут приоритеты быть могут?

← →
Сергей М. © (2007-03-20 08:44) [2]

> Jump (20.03.07 06:46)

Нет таких средств.

"Кто первый встал, того и тапки" (с)

← →
Jump (2007-03-20 17:06) [3]

> Чапаев © (20.03.07 08:04)
Я говорол не про "блокирование КС", а про блокирование потоков.
---------------------------------------------------------------------
>Сергей М.
>Нет таких средств.
А может кто-нибудь знает (возможно всем известный ;) ) способ это организовать?

← →
Rouse_ © (2007-03-20 17:59) [4]

Кроме критических секций есть и другие способы синхронизации :)

← →
Jump (2007-03-21 12:10) [5]

Rouse_ ©
Роуз, медаль хочешь? Из шоколада :)
Мне нужна помощь, а подобные посты...
Основные способы, на сколько я знаю - это мютексы и семафоры. Остальные - "сконструированы" из первых.
Критическая секция - по сути мютекс. Вход в критическую секцию - захват мютекса, выход - освобождение.
Мутекс содержит не то ФИФО, ни то ЛИФО стек, в котором хранится очередь идентификаторов потоков, блокированных на нем.

Т.е. конкретизируя вопрос, меня интересут возможность управления этим стеком. А еще конкретизируя, интресует возможность помещать идентификаторы потоков в разные концы этой очереди (высокоприоритетные ближе к выходу, низкоприоритетные - на вход).

← →
Rouse_ © (2007-03-21 13:12) [6]

Ты можешь повысить приоритет потока, тогда есть большой шанс, что он первый встанет в очередь

← →
Сергей М. © (2007-03-21 14:40) [7]

> Jump (21.03.07 12:10) [5]

Скорее всего, ты занимаешься фигней, и конечна задача твоя решается гораздо проще)

← →
Leonid Troyanovsky © (2007-03-21 14:41) [8]

> Jump (21.03.07 12:10) [5]

> Критическая секция - по сути мютекс. Вход в критическую
> секцию - захват мютекса, выход - освобождение.

Критическая секция - это критическая секция.
Она построена так, чтобы поток, по возможности,
не выпадал из пользовательского режима.

--
Regards, LVT.

← →
Leonid Troyanovsky © (2007-03-21 18:22) [9]

> Rouse_ © (21.03.07 13:12) [6]

> Ты можешь повысить приоритет потока, тогда есть большой
> шанс, что он первый встанет в очередь

Поток с более высоким приоритетом разбудят раньше.
Гарантированно (с вероятностью = 1).

Кажись, такое зовется "почти наверное".

--
Regards, LVT.

← →
Jump (2007-03-21 21:02) [10]

Т.е. дело в приоритете.
Спасибо.

← →
Riply © (2007-03-22 00:06) [11]

(c) Jeffrey Richter
Тут возникает интересный вопрос. Если несколько потоков ждет один объект ядра,
какой из них пробудится при освобождении этого объекта?
Официально Microsoft отвечает на этот вопрос так: «Алгоритм действует честно"
Что это за алгоритм, Micro soft не говорит, потому что нс хочст связывать себя
обязательствами всегда придер живаться именно этого алгоритма. Она утверждает
лишь одно- если объект ожидает ся несколькими потоками, то всякий раз,
когда этот объект переходит в свободное состояние, каждый из них получает шанс на пробуждение.
Таким образом, приоритет потока не имеет значения- поток с самым высоким
приоритетом не обязательно первым захватит объект. Не получает преимущества и поток,
который ждал дольше всех. Есть даже вероятность, что какой-то поток
сумеет повторно захватить объект. Конечно, это было бы нечестно по отношению к другим потокам,
и алгоритм пытается не допустить этого. Но никаких гарантий нет.
На самом деле этот алгоритм просто использует популярную схему
"первым во шел — первым вышел" (FIFO). B принципе, объект захватывается потоком,
ждавшим дольше всех. Но в системе могут произойти какие-то события,
которые повлияют на окончательное решение, и ил-за этого алгоритм становится менее предсказуемым.
Вот почему Microsoft и не хочет говорить, как именно он работает.
Одно из таких собы тий — приостановка какого-либо потока. Если поток ждет объект и
вдруг приоста навливается, система просто забывает, что он ждал этот объект.
А причина в том, что нет смысла планировать приостановленный поток.
Когда он в конце концов возоб новляется, система считает,
что он только что начал ждать данный объект.

← →
Riply © (2007-03-22 00:09) [12]

> [11] Riply © (22.03.07 00:06)
Извините. Что-то с copy/paste - текст исказился:(
Но смысл, надеюсь, - нет :)

"The threads of a single process can use a critical section object for mutual-exclusion synchronization. There is no guarantee about the order in which threads will obtain ownership of the critical section, however, the system will be fair to all threads."

Думаю понятно, почему только в пределах одного процесса. Далле:

_RTL_CRITICAL_SECTION = record DebugInfo: PRTLCriticalSectionDebug; LockCount: Longint; RecursionCount: Longint; OwningThread: THandle; LockSemaphore: THandle; Reserved: DWORD; end;

О чем это говорит? О том, что секция построена на семафоре. А что значит использование семафора? А то, что рано или поздно (а именно при захвате и освобождении) поток вывалится из пользовательского режима.

Да, кстати, в теории, ее можно использовать между процессами.

> [11] Riply © (22.03.07 00:06)
(c) Jeffrey Richter
Поведение потоков в Vista отличается от поведения в предыдущих версиях.
http://www.microsoft.com/technet/technetmag/issues/2007/02/VistaKernel/default.aspx?loc%3dru&pf=true&loc=ru
Следовательно, программа опирающаяся на приоритеты потоков, может работать различно в разных ОС.

>[14] Наиль © (22.03.07 15:26)
>Следовательно, программа опирающаяся на приоритеты потоков, может работать различно в разных ОС.
С этим никто и не спорит :)
Как я поняла из прведенной ссылки, утверждение Рихтера (выделенное),
за исключением одного момента, справедливо и для Vista.
А именно: нельзя планировать какой поток "пробудится при освобождении объекта".
В Vista "честный алгоритм" просто стал более честным :).
Но как не было никаких гарантий, так и не появилось.
А исключение, про которое я говорила, это то, что в XP, например,
могло получиться так, что поток вообще никогда не проснется,
а "поток в ОС Windows Vista всегда получит, по крайней мере, свою очередь выполнения".

← →
SLoW.AlfaMoon.Com (2007-03-23 13:42) [16]

Почитайте обсуждение (посты SLoW и Набережных С.)
http://www.delphikingdom.com/asp/answer.asp?IDAnswer=48988

Наверное, thread pool поможет.

Jump (21.03.07 12:10) [5]
Основные способы, на сколько я знаю - это мютексы и семафоры.
Я чаще всего использую критические секции и Event-ы.

MikePetrichenko © (22.03.07 2:14) [13]
Да, кстати, в теории, ее можно использовать между процессами.
Нет, хэндл нужен каждому процессу свой, поэтому в MMF не засунуть, в то же время LockCount должен быть общим. Только если вручную реализовать аналогичное поведение, как сделал Рихтер.

Приоритет разблокирования Найти похожие ветки