Многопоточность в элементах управления Windows Forms Multithreading in Windows Forms Controls

Во многих приложениях можно сделать пользовательский интерфейс более быстрым, выполняя длительные операции в другом потоке. In many applications, you can make your user interface (UI) more responsive by performing time-consuming operations on another thread. Существует ряд средств для многопоточности элементов управления Windows Forms, включая System.Threading пространство имен, Control.BeginInvoke метод и BackgroundWorker компонент. A number of tools are available for multithreading your Windows Forms controls, including the System.Threading namespace, the Control.BeginInvoke method, and the BackgroundWorker component.

BackgroundWorker Компонент заменяет и добавляет функции к System.Threading пространству имен и Control.BeginInvoke методу. Однако они сохраняются для обратной совместимости и использования в будущем, если вы решили. The BackgroundWorker component replaces and adds functionality to the System.Threading namespace and the Control.BeginInvoke method; however, these are retained for both backward compatibility and future use, if you choose. Дополнительные сведения см. в разделе Общие сведения о компоненте BackgroundWorker. For more information, see BackgroundWorker Component Overview.

в этом разделе In This Section

Практическое руководство. Осуществление потокобезопасных вызовов элементов управления Windows Forms How to: Make Thread-Safe Calls to Windows Forms Controls
Показывает, как выполнять потокобезопасные вызовы элементов управления Windows Forms. Shows how to make thread-safe calls to Windows Forms controls.

Практическое руководство. Применение фонового потока для поиска файлов How to: Use a Background Thread to Search for Files
Показывает, как использовать System.Threading пространство имен и BeginInvoke метод для асинхронного поиска файлов. Shows how to use the System.Threading namespace and the BeginInvoke method to search for files asynchronously.

Справочник Reference

BackgroundWorker
Документирует компонент, инкапсулирующий рабочий поток для асинхронных операций. Documents a component that encapsulates a worker thread for asynchronous operations.

LoadAsync
Документация по асинхронной загрузке звука. Documents how to load a sound asynchronously.

LoadAsync
Документация по асинхронной загрузке изображения. Documents how to load an image asynchronously.

Связанные разделы Related Sections

Практическое руководство. Фоновое выполнение операции How to: Run an Operation in the Background
Показывает, как выполнить трудоемкую операцию с BackgroundWorker компонентом. Shows how to perform a time-consuming operation with the BackgroundWorker component.

Общие сведения о компоненте BackgroundWorker BackgroundWorker Component Overview
Содержит разделы, в которых описывается использование BackgroundWorker компонента для асинхронных операций. Provides topics that describe how to use the BackgroundWorker component for asynchronous operations.

Простая и безопасная реализация многопоточности в Windows Forms. Часть 1

Автор: Крис Селлз (Chris Sells)
Sells Brothers Consulting
Источник: GotDotNet.ru

Опубликовано: 05.06.2003
Исправлено: 13.03.2005
Версия текста: 1.0

Введение

Все началось вполне невинно. Мне впервые потребовалось вычислить площадь окружности в .NET. Для этого, естественно, нужно точное значение числа pi. В принципе константа System.Math.PI удобна, но в силу того что ее точность составляет 20 знаков, меня беспокоила точность моих расчетов (для полной уверенности мне хотелось получить точность в 21 знак). И я, как и любой настоящий программист, забыл о своей первоначальной задаче и написал программу для вычисления числа pi с любой точностью. Вот что у меня вышло (рис. 1).

Рис. 1. Приложение Digits of Pi

Индикация хода выполнения длительных операций

Хотя в большинстве приложений незачем вычислять pi, многие из них выполняют длительные операции, например печать, вызов Web-сервиса или подсчет процентных доходов по некоему многомиллионному вкладу в банке Pacific Northwest. Обычно пользователи готовы подождать завершения такого рода операций, часто занимаясь в это время чем-то другим, если могут наблюдать за ходом выполнения операции. Поэтому даже в моем маленьком приложении есть индикатор прогресса (progress bar). Мой алгоритм вычисляет 9 знаков числа pi за один проход. Как только появляется новый набор цифр, программа обновляет текст и изменяет индикатор прогресса. Например, рис. 2 иллюстрирует ход вычисления 1000 знаков pi (21 знак — хорошо, а 1000 знаков — лучше).

Рис. 2. Вычисление pi с точностью до 1000 знаков

Ниже приведен код, обновляющий пользовательский интерфейс (UI) по мере вычисления знаков pi.

Все шло замечательно, пока в середине вычисления pi с точностью до 1000 знаков я не переключился в другое приложение, а потом вернулся обратно. То, что я увидел, показано на рис. 3.

Рис. 3. Событие paint пропало!

Конечно, проблема в том, что мое приложение — однопоточное, поэтому пока вычисляется pi, ничего не рисуется. Раньше я с этим не сталкивался, так как при установке свойств TextBox.Text и ProgressBar.Value соответствующие элементы управления перерисовываются в процессе записи свойств (хотя я заметил, что это лучше удается индикатору прогресса, чем текстовому полю). Однако, после того как я перевел приложение в фоновый режим, а потом вновь сделал его активным, мне нужно было отрисовать всю клиентскую область, для чего служит событие формы Paint. Поскольку никакие другие события не обрабатываются, пока не закончится обработка текущего (т. е. события Click кнопки Calc), нам не суждено наблюдать за выполнением вычислений. Значит, на самом деле нужно освободить UI-поток от выполнения длительной операции и реализовать ее как асинхронную. А для этого нужен еще один поток.

Асинхронные операции

На тот момент обработчик события Click выглядел так:

Не забудьте, проблема в том, что до тех пор, пока CalcPi не вернет управление, поток не выйдет из обработчика Click, а значит, форма не сможет обрабатывать событие Paint (или любое другое). Решить эту проблему можно, например, запустив другой поток:

Теперь, вместо того чтобы ждать завершения CalcPi , я создаю и запускаю новый поток. Метод Thread.Start настроит новый поток как готовый к запуску и немедленно вернет управление, что позволит UI-потоку вернуться к своей работе. Тогда, если пользователь захочет вмешаться в работу приложения (перевести его в фоновый режим, вновь сделать активным, изменить размер его окна или даже закрыть), UI-поток сможет свободно обрабатывать все эти события, а рабочий поток — независимо вычислять pi. На рис. 4 показаны два потока, выполняющие свои задачи.

Рис. 4. Примитивная многопоточность

Window message queue — Очередь оконных сообщений
Dequeue — Извлечение из очереди
Owning thread — Поток-владелец
Update — Обновление
Window controls — Оконные элементы управления
Other thread — Другой поток
Window with controls — Окно с элементами управления

Возможно, вы обратили внимание, что в CalcPiThreadStart — входную точку рабочего потока — никакие аргументы не передаются. Вместо этого я записываю число знаков в поле _digitsToCalc и вызываю входную точку потока, которая в свою очередь вызывает CalcPi . Это не слишком удобно и является одной из причин, по которой я предпочитаю для асинхронных вычислений использовать делегаты. Делегаты поддерживают передачу аргументов, что избавляет меня от возни с лишним временным полем и промежуточной функцией между моими двумя функциями.

На случай, если вы не знакомы с делегатами, сообщу, что это просто объекты, вызывающие статические функции, или функции экземпляра. В C# они объявляются по синтаксису объявления функций. Скажем, делегат, вызывающий CalcPi , выглядит так:

Теперь, когда у меня есть делегат, я могу создать экземпляр, синхронно вызывающий функцию CalcPi:

Конечно, мне не нужен синхронный вызов CalcPi ; я хочу вызывать ее асинхронно. Однако до этого нам придется поглубже разобраться в работе делегатов. Приведенная выше строка объявления делегата на самом деле объявляет новый класс, производный от MultiCastDelegate, с тремя функциями — Invoke, BeginInvoke и EndInvoke, как показано здесь:

Когда ранее я создавал экземпляр CalcPiDelegate и вызывал его как функцию, я на самом деле вызывал синхронную функцию Invoke , в свою очередь вызывавшую мою функцию CalcPi . А BeginInvoke и EndInvoke позволяют асинхронно вызывать функцию и получать результаты ее работы. Поэтому, чтобы вызвать CalcPi в другом потоке нужно вызвать BeginInvoke так:

Заметьте: в качестве двух последних аргументов BeginInvoke я передаю null. Эти аргументы нужны, если вы хотите получить результат выполнения функции позже (функция EndInvoke предназначена еще и для этого). А поскольку CalcPi напрямую обновляет UI, эти аргументы нам не нужны, и я передаю в них null. Дополнительную информацию о синхронных и асинхронных делегатах см. в .NET Delegates: A C# Bedtime Story.

Теперь я должен был бы быть доволен. В моем приложении полностью интерактивный UI сообщал о ходе выполнения длительных вычислений. И я был доволен, пока не понял, что натворил.

Безопасная многопоточность

Как выяснилось, мне просто повезло (или не повезло — это как посмотреть). В Microsoft Windows XP нижележащая подсистема поддержки окон, на которой построена Windows Forms, очень надежна. Настолько надежна, что сумела справиться с нарушением первой заповеди программирования в Windows: «Не работай с окном из потока, его не создавшего». Увы, нет никаких гарантий, что другие, менее надежные реализации Windows будут так же великодушны к моим скверным манерам.

Конечно, я сам создал себе проблему. Помните, на рис. 4 два потока обращались к одному и тому же окну одновременно. Однако, поскольку длительные операции в Windows-приложениях — не редкость, у всех UI-классов в Windows Forms (т. е. у классов, производных от System.Windows.Forms.Control ) есть свойство, которое можно использовать из любого потока для безопасного обращения к окну. Это свойство называется InvokeRequired и возвращает true, если вызывающий поток должен передать управление потоку, создавшему объект, до вызова методов этого объекта. Простое выражение Assert в функции ShowProgress сразу выявляет ошибку в моем подходе:

В документации .NET по этому вопросу все достаточно четко. В ней говорится: «Есть четыре метода элемента управления, которые можно безопасно вызывать из любого потока: Invoke, BeginInvoke, EndInvoke и CreateGraphics. Чтобы вызывать любые другие методы, используйте invoke-методы, передающие вызовы в поток элемента управления». Значит, при задании свойств элемента управления я нарушаю это правило. А исходя из имен первых трех функций ( Invoke , BeginInvoke и EndInvoke ), которые разрешено вызывать, становится ясным, что мне нужен еще один делегат — он будет выполняться в UI-потоке. Если бы я был озабочен блокировкой рабочего потока (как в случае с UI-потоком), мне бы пришлось воспользоваться асинхронными методами BeginInvoke и EndInvoke. Но, поскольку рабочий поток всего лишь обслуживает UI-поток, мы обойдемся более простым синхронным методом Invoke, который определен так:

Первая перегруженная версия Invoke принимает экземпляр делегата, содержащего метод, который нужно вызвать в UI-потоке. Никаких аргументов она не предполагает. Однако функция, вызываемая для обновления UI (ShowProgress), принимает три аргумента, поэтому нам потребуется вторая перегруженная версия. Чтобы аргументы передавались корректно, нам понадобится еще один делегат для метода ShowProgress. Применение метода Invoke гарантирует, что вызовы ShowProgress и обращения к окну будут происходить в корректном потоке (не забудьте заменить оба вызова ShowProgress в CalcPi):

Метод Invoke наконец-то позволил мне безопасно использовать многопоточность в приложении Windows Forms. UI-поток порождает рабочий, который выполняет длительную операцию и возвращает управление UI-потоку, когда возникает необходимость в обновлении пользовательского интерфейса. Безопасная многопоточная архитектура показана на рис. 5.

Рис. 5. Безопасная многопоточность

Window message queue — Очередь оконных сообщений
Request update — Запрос на обновление
Dequeue — Извлечение из очереди
Owning thread — Поток-владелец
Update — Обновление
Window controls — Оконные элементы управления
Other thread — Другой поток
Window with controls — Окно с элементами управления

Упрощенная многопоточность

Вызов Invoke не слишком удобен, а поскольку он дважды встречается в функции CalcPi , мы можем облегчить себе жизнь и изменить ShowProgress, чтобы она сама выполняла асинхронный вызов. Если ShowProgress вызывается из корректного потока, она обновляет элементы управления, в ином случае она использует Invoke для вызова самой себя в нужном потоке. Вернемся к предыдущей, более простой версии CalcPi:

Так как вызов Invoke — синхронный и нам не нужно его возвращаемое значение (ведь ShowProgress не возвращает значение), здесь лучше использовать BeginInvoke , чтобы рабочий поток не завис:

BeginInvoke всегда предпочтительнее, если возвращаемое назначение не требуется, поскольку при использовании этого метода рабочий поток сразу же возвращается к своей работе, что исключает вероятность взаимной блокировки.

Заключение

В этом коротком примере я показал, как выполнять длительные операции так, чтобы можно было отображать ход их выполнения, а UI продолжал реагировать на действия пользователя. С этой целью я использовал асинхронный делегат для запуска рабочего потока и метод Invoke для главной формы. При этом еще один делегат выполнялся в UI-потоке.

Я следил, чтобы к данным не было одновременного доступа из рабочего и UI-потоков. Вместо этого я передавал каждому потоку копию нужных ему данных (в рабочий поток — число знаков, а в UI-поток — количество знаков, вычисленных на данный момент). В итоге я никогда не передавал ссылки на объекты, разделяемые двумя потоками, например на текущий StringBuilder. Если бы я передавал ссылки, мне пришлось бы задействовать .NET-средства синхронизации, чтобы исключить вероятность обращения двух потоков к одному объекту одновременно, а это потребовало бы дополнительных усилий. Мне и без того пришлось проделать массу работы, чтобы два потока могли вызывать друг друга.

Конечно, если вы имеете дело с большими наборами данных, вы вряд ли захотите их копировать. Однако везде, где это возможно, я советую для реализации длительных операций в приложениях Windows Forms сочетать асинхронные делегаты и передачу сообщений между рабочим и UI-потоками.

Благодарности

Хотел бы поблагодарить Саймона Робинсона (Simon Robinson) за его сообщение в списке рассылки DevelopMentor .NET, вдохновившее меня на написание этой статьи, Йена Гриффитса (Ian Griffiths) за его начальные наработки в этой области и Майка Вудринга (Mike Woodring) за знаменитые картинки со схемами поддержки нескольких потоков, которые я без зазрения совести стащил у него для своей статьи.