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
next 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