ALT Linux Sisyphus discussions
 help / color / mirror / Atom feed
From: Michael Pozhidaev <msp@altlinux.ru>
To: sisyphus@lists.altlinux.org
Subject: [sisyphus] Q: Очень непростой вопрос на тему select() и сигналов
Date: Fri, 10 Apr 2009 05:48:34 +0700
Message-ID: <m3iqldh29p.fsf@blard.localdomain> (raw)

Привет всем!

Вопрос для мастеров тщательной обработки сигналов. Если у кого-нибудь
есть опыт, дайте рекомендации, пожалуйста.

Предположим, мне надо написать программу с обработкой SIGCHLD и данных
поступающих от разных файловых дескрипторов. Хочу сделать это тщательно
и продуманно. Оговорка: есть действия, которые должны быть выполнены
_*незамедлительно*_ после получения SIGCHLD. "Незамедлительно " имеется
в виду без заметной задержки пользователю. Допускается задержка 0.1-0.2
секунды.

Схематически код выглядит так:

int there_was_sigchld = 0;
void sigchld_handler(int)
{
there_was_sigchld = 1;
}

void check_sigchld()
{
if (there_was_sigchld)
do_what_we_need();
there_was_sigchld = 0;
}

void main_loop()
{
while(1)
{
check_sigchld();
select(required_fds);
check_data_from_fds_if_there_was_any();
}
}

Всё выглядит как будто бы нормально: select() просыпается всегда, как
только приходит сигнал или появляются данные в дескрипторах. Мы не уснём
на select() с непроверенным флагом получения SIGCHLD, а когда получим
его ещё раз, то проснёмся.

НО! Если сигнал придёт ПОСЛЕ вызова check_sigchld(), но ДО вызова
select() (вероятность ничтожная, но всё же), то действия, требуемые при
получении SIGCHLD окажутся выполненными только после того, как придут
очередные данные по дескрипторам, а это может быть долго и нас не
устраивает.
Читаем внимательно ман по select(), там есть интересное место:

--- начало цитаты ---
       Идея pselect в том, что если нужно подождать события: сигнала или активности  на
       файловом  дескрипторе, то требуется атомарная проверка, чтобы предотвратить race
       condition.  (Предположим, обработчик сигнала  устанавливает  глобальный  флаг  и
       возвращает  управление.   Тогда  проверка  этого  глобального  флага, за которой
       следует select(), может привести к  подвисанию,  если  сигнал  появляется  сразу
       после  проверки,  но  прямо  перед  вызовом  select.   С другой стороны, pselect
       позволяет сначала заблокировать сигналы, обработать пришедшие сигналы,  а  затем
       вызвать  pselect()  с  желаемой sigmask, тем самым избегая race condition.)  Так
       как Linux в настоящее время не содержит  системного  вызова  pselect(),  текущая
       реализация этой процедуры в glibc все еще содержит race condition.

--- конец цитаты ---

Почти наш случай. Вот тут и нужен совет: правильно я понимаю, что должно
быть так:

void main_loop()
{
while(1)
{
block_sigchld();
check_sigchld();
pselect(required_fds, and_signal_mask_with_enabled_sigchld);
check_data_from_fds_if_there_was_any();
}
}

Если должно быть так, то что произойдёт, если sigchld пришёл в тот
краткий момент, когда он был заблокирован? pselect() увидит, что пока
сигнал был заблокирован, он приходил, и нужно сразу прекратить ожидание,
вызвать его обработчик и дать программе его обработать? Если нет, то
тогда мы вообще теряем получение SIGCHLD. Ещё есть интересная функция
sigpending(), но уместна ли она здесь, вот это непонятно. 

Очень прошу совета и помощи. :) Придумать test case на этот случай почти
невозможно, т. к. нужно умудриться получить SIGCHDL в совершенно
невероятный момент.
-- 
Michael Pozhidaev. E-mail: msp@altlinux.ru.
Tomsk State University. http://www.csd.tsu.ru
ALT Linux Team. http://www.altlinux.org



             reply	other threads:[~2009-04-09 22:48 UTC|newest]

Thread overview: 7+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-04-09 22:48 Michael Pozhidaev [this message]
2009-04-09 23:49 ` Mikhail Efremov
2009-04-10  1:50   ` Michael Pozhidaev
2009-04-10  9:40     ` Mikhail Efremov
2009-04-10 12:36       ` Sergey Vlasov
2009-04-10 16:00         ` Michael Pozhidaev
2009-04-10 16:22           ` Mikhail Efremov

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=m3iqldh29p.fsf@blard.localdomain \
    --to=msp@altlinux.ru \
    --cc=sisyphus@lists.altlinux.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link

ALT Linux Sisyphus discussions

This inbox may be cloned and mirrored by anyone:

	git clone --mirror http://lore.altlinux.org/sisyphus/0 sisyphus/git/0.git

	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 sisyphus sisyphus/ http://lore.altlinux.org/sisyphus \
		sisyphus@altlinux.ru sisyphus@altlinux.org sisyphus@lists.altlinux.org sisyphus@lists.altlinux.ru sisyphus@lists.altlinux.com sisyphus@linuxteam.iplabs.ru sisyphus@list.linux-os.ru
	public-inbox-index sisyphus

Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://lore.altlinux.org/org.altlinux.lists.sisyphus


AGPL code for this site: git clone https://public-inbox.org/public-inbox.git