программирование. Руководство su P# a n Reference в herbert schildt полное руководство с 0 герберт шилдт
 Скачать 3.32 Mb.
|
|
В приведенном ниже примере программы демонстрируется возврат задачей значений. В этой программе создаются два метода. Первый из них, MyTask () , не принимает параметров, а просто возвращает логическое значение true типа bool. Второй метод, Sumlt () , принимает единственный параметр, который приводится к типу int, и возвращает сумму из значения, передаваемого в качестве этого параметра. // Возвратить значение из задачи. using System; using System.Threading; using System.Threading.Tasks; class DemoTask { // Простейший метод, возвращающий результат и не принимающий аргументов, static bool MyTask() { return true; } // Этот метод возвращает сумму из положительного целого значения, // которое ему передается в качестве единственного параметра static int Sumlt(object v) { int x = (int) v; int sum = 0; \ for(; х > 0; х–) sum += х; return sum; } static void Main() { Console.WriteLine("Основной поток запущен."); // Сконструировать объект первой задачи. Task Console.WriteLine("Результат после выполнения задачи MyTask: " + tsk.Result); // Сконструировать объект второй задачи. Task Console.WriteLine("Результат после выполнения задачи Sumlt: " + tsk2.Result); tsk.Dispose(); tsk2.Dispose(); Console.WriteLine("Основной поток завершен."); } } Выполнение этой программы приводит к следующему результату. Основной поток запущен. Результат после выполнения задачи MyTask: True Результат после выполнения Sumlt: 6 Основной поток завершен. Помимо упомянутых выше форм класса Task Отмена задачи и обработка исключения AggregateException В версии 4.0 среды .NET Framework внедрена новая подсистема, обеспечивающая структурированный, хотя и очень удобный способ отмены задачи. Эта новая подсистема основывается на понятии признака отмены. Признаки отмены поддерживаются в классе Task, среди прочего, с помощью фабричного метода StartNew (). ПРИМЕЧАНИЕ Новую подсистему отмены можно применять и для отмены потоков, рассматривавшихся в предыдущей главе, но она полностью интегрирована в TPL и PLINQ. Именно поэтому эта подсистема рассматривается в этой главе. Отмена задачи, как правило, выполняется следующим образом. Сначала получается признак отмены из источника признаков отмены. Затем этот признак передается задаче, после чего она должна контролировать его на предмет получения запроса на отмену. (Этот запрос может поступить только из источника признаков отмены.) Если получен запрос на отмену, задача должна завершиться. В одних случаях этого оказывается достаточно для простого прекращения задачи без каких‑либо дополнительных действий, а в других – из задачи должен быть вызван метод ThrowIfCancellationRequested () для признака отмены. Благодаря этому в отменяющем коде становится известно, что задача отменена. А теперь рассмотрим процесс отмены задачи более подробно. ' Признак отмены является экземпляром объекта типа CancellationToken, т.е. структуры, определенной в пространстве имен System. Threading. В структуре CancellationToken определено несколько свойств и методов, но мы воспользуемся двумя из них. Во‑первых, это доступное только для чтения свойство IsCancellation Re quested, которое объявляется следующим образом. public bool IsCancellationRequested { get; } Оно возвращает логическое значение true, если отмена задачи была запрошена для вызывающего признака, а иначе – логическое значение false. И во‑вторых, это метод ThrowIfCancellationRequested () , который объявляется следующим образом. public void ThrowIfCancellationRequested() Если признак отмены, для которого вызывается этот метод, получил запрос на отмену, то в данном методе генерируется исключение OperationCanceledException. В противном случае никаких действий не выполняется. В отменяющем коде можно организовать отслеживание упомянутого исключения с целью убедиться в том, что отмена задачи действительно произошла. Как правило, с этой целью сначала перехватывается исключение AggregateException, а затем его внутреннее исключение анализируется с помощью свойства InnerException или InnerExceptions. (Свойство InnerExceptions представляет собой коллекцию исключений. Подробнее о коллекциях речь пойдет в главе 25.) Признак отмены получается из источника признаков отмены, который представляет собой объект класса CancellationTokenSource, определенного в пространстве имен System. Threading. Для того чтобы получить данный признак, нужно создать сначала экземпляр объекта типа CancellationTokenSource. (С этой целью можно воспользоваться вызываемым по умолчанию конструктором класса CancellationTokenSource.) Признак отмены, связанный сданным источником, оказывается доступным через используемое только для чтения свойство Token, которое объявляется следующим образом. public CancellationToken Token { get; } Это и есть тот признак, который должен быть передан отменяемой задаче. Для отмены в задаче должна быть получена копия признака отмены и организован контроль этого признака с целью отслеживать саму отмену. Такое отслеживание можно организовать тремя способами: опросом, методом обратного вызова и с помощью дескриптора ожидания. Проще всего организовать опрос, и поэтому здесь будет рассмотрен именно этот способ. С целью опроса в задаче проверяется упомянутое выше свойство IsCancellationRequested признака отмены. Если это свойство содержит логическое значение true, значит, отмена была запрошена, и задача должна быть завершена. Опрос может оказаться весьма эффективным, если организовать его правильно. Так, если задача содержит вложенные циклы, то проверка свойства IsCancellationRequested во внешнем цикле зачастую дает лучший результат, чем его проверка на каждом шаге внутреннего цикла. Для создания задачи, из которой вызывается метод ThrowIfCancellationRequested (), когда она отменяется, обычно требуется передать признак отмены как самой задаче, так и конструктору класса Task, будь то непосредственно или же косвенно через метод StartNew () . Передача признака отмены самой задаче позволяет изменить состояние отменяемой задачи в запросе на отмену из внешнего кода. Далее будет использована следующая форма метода StartNew () . public Task StartNew(Action состояние, CancellationToken признак_отмены) В этой форме признак отмены передается через параметры, обозначаемые как состояние и признак_отмены. Это означает, что признак отмены будет передан как делегату, реализующему задачу, так и самому экземпляру объекта типа Task. Ниже приведена форма, поддерживающая делегат Action. public delegate void Actioncin T>(T obj) В данном случае обобщенный параметр Т обозначает тип Object. В силу этого объект obj должен быть приведен внутри задачи к типу Cancel lationToken. И еще одно замечание: по завершении работы с источником признаков отмены следует освободить его ресурсы, вызвав метод Dispose (). Факт отмены задачи может быть проверен самыми разными способами. Здесь применяется следующий подход: проверка значения свойства IsCanceled для экземпляра объекта типа Task. Если это логическое значение true, то задача была отменена. В приведенной ниже программе демонстрируется отмена задачи. В ней применяется опрос для контроля состояния признака отмены. Обратите внимание на то, что метод ThrowIfCancellationRequested () вызывается после входа в метод MyTask () . Это дает возможность завершить задачу, если она была отмена еще до ее запуска. Внутри цикла проверяется свойство IsCancellationRequested. Если это свойство содержит логическое значение true, а оно устанавливается после вызова метода Cancel () для экземпляра источника признаков отмены, то на экран выводится сообщение об отмене и далее вызывается метод ThrowIfCancellationRequested () для отмены задачи. // Простой пример отмены задачи с использованием опроса. using System; using System.Threading; using System.Threading.Tasks; class DemoCancelTask { // Метод, исполняемый как задача, static void MyTask(Object ct) { CancellationToken cancelTok = (CancellationToken) ct; // Проверить, отменена ли задача, прежде чем запускать ее. cancelTok.ThrowIfCancellationRequested(); Console.WriteLine("MyTask() запущен"); for(int count = 0; count < 10; count++) { // В данном примере для отслеживания отмены задачи применяется опрос, if(cancelTok.IsCancellationRequested) { Console.WriteLine("Получен запрос на отмену задачи."); cancelTok.ThrowIfCancellationRequested(); } Thread.Sleep(500); Console.WriteLine("В методе MyTask() подсчет равен " + count ); } Console.WriteLine("MyTask завершен"); } static void Main() { Console.WriteLine("Основной поток запущен."); // Создать объект источника признаков отмены. CancellationTokenSource cancelTokSrc = new CancellationTokenSource(); // Запустить задачу, передав признак отмены ей самой и делегату. Task tsk = Task.Factory.StartNew(MyTask, cancelTokSrc.Token, cancelTokSrc.Token); // Дать задаче возможность исполняться вплоть до ее отмены. Thread.Sleep(2000); try { // Отменить задачу. cancelTokSrc.Cancel(); // Приостановить выполнение метода Main() до тех пор, // пока не завершится задача tsk. tsk.Wait(); } catch (AggregateException exc) { if(tsk.IsCanceled) Console.WriteLine("ХпЗадача tsk отменена\п"); // Для просмотра исключения снять комментарии со следующей строки кода: // Console.WriteLine(exc); } finally { tsk.Dispose(); cancelTokSrc.Dispose(); } Console.WriteLine("Основной поток завершен."); } } Ниже приведен результат выполнения этой программы. Обратите внимание на то что задача отменяется через 2 секунды. Основной поток запущен. MyTask() запущен Получен запрос на отмену задачи. Задача tsk отменена Основной поток завершен. Как следует из приведенного выше результата, выполнение метода MyTask () отменяется в методе Main () лишь две секунды спустя. Следовательно, в методе MyTask () выполняются четыре шага цикла. Когда же перехватывается исключение AggregateException, проверяется состояние задачи. Если задача tsk отменена, что и должно произойти в данном примере, то об этом выводится соответствующее сообщение. Следует, однако, иметь в виду, что когда сообщение AggregateException генерируется в ответ на отмену задачи, то это еще не свидетельствует об ошибке, а просто означает, что задача была отменена. Выше были изложены лишь самые основные принципы, положенные в основу отмены задачи и генерирования исключения AggregateException. Тем не менее эта тема намного обширнее и требует от вас самостоятельного и углубленного изучения, если вы действительно хотите создавать высокопроизводительные, масштабируемые приложения. Другие средства организации задач В предыдущих разделах был описан ряд понятий и основных способов организации и исполнения задач. Но имеются и другие полезные средства. В частности, задачи можно делать вложенными, когда одни задачи способны создавать другие, или же порожденными, когда вложенные задачи оказываются тесно связанными с создающей их задачей. В предыдущем разделе было дано краткое описание исключения AggregateException, но у него имеются также другие особенности, которые могут оказаться весьма полезными. К их числу относится метод Flatten (), применяемый для преобразования любых внутренних исключений типа AggregateException в единственное исключение AggregateException. Другой метод, Handle (), служит для обработки исключения, составляющего совокупное исключение AggregateException. При создании задачи имеется возможность указать различные дополнительные параметры, оказывающие влияние на особенности ее исполнения. Для этой цели указывается экземпляр объекта типа TaskCreationOptions в конструкторе класса Task или же в фабричном методе StartNew (). Кроме того, в классе TaskFactory доступно целое семейство методов FromAsync (), поддерживающих модель асинхронного программирования (АРМ – Asynchronous Programming Model). Как упоминалось ранее в этой главе, задачи планируются на исполнение экземпляром объекта класса TaskScheduler. Как правило, для этой цели предоставляется планировщик, используемый по умолчанию в среде .NET Framework. Но этот планировщик может быть настроен под конкретные потребности разработчика. Кроме того, допускается применение специализированных планировщиков задач. Класс Parallel В примерах, приведенных до сих пор в этой главе, демонстрировались ситуации, в которых библиотека TPL использовалась таким же образом, как и класс Thread. Но это было лишь самое элементарное ее применение, поскольку в TPL имеются и другие средства. К их числу относится класс Parallel, который упрощает параллельное исполнение кода и предоставляет методы, рационализирующие оба вида параллелизма: данных и задач. Класс Parallel является статическим, и в нем определены методы For (), For Each () и Invoke (). У каждого из этих методов имеются различные формы. В частности, метод For ( ) выполняет распараллеливаемый цикл for, а метод ForEach () – распараллеливаемый цикл foreach, и оба метода поддерживают параллелизм данных. А метод Invoke () поддерживает параллельное выполнение двух методов или больше. Как станет ясно дальше, эти методы дают преимущество реализации на практике распространенных методик параллельного программирования, не прибегая к управлению задачами или потоками явным образом. В последующих разделах каждый из этих методов будет рассмотрен более подробно. Распараллеливание задач методом Invoke () Метод Invoke (), определенный в классе Parallel, позволяет выполнять один или несколько методов, указываемых в виде его аргументов. Он также масштабирует исполнение кода, используя доступные процессоры, если имеется такая возможность. Ниже приведена простейшая форма его объявления. public static void Invoke(params Action[] actions) Выполняемые методы должны быть совместимы с описанным ранее делегатом Action. Напомним, что делегат Action объявляется следующим образом. public delegate void Action() Следовательно, каждый метод, передаваемый методу Invoke () в качестве аргумента, не должен ни принимать параметров, ни возвращать значение. Благодаря тому что параметр actions данного метода относится к типу params, выполняемые методы могут быть указаны в виде переменного списка аргументов. Для этой цели можно также воспользоваться массивом объектов типа Action, но зачастую оказывается проще указать список аргументов. Метод Invoke () сначала инициирует выполнение, а затем ожидает завершения всех передаваемых ему методов. Это, в частности, избавляет от необходимости (да и не позволяет) вызывать метод Wait () . Все функции параллельного выполнения метод Wait () берет на себя. И хотя это не гарантирует, что методы будут действительно выполняться параллельно, тем не менее, именно такое их выполнение предполагается, если система поддерживает несколько процессоров. Кроме того, отсутствует возможность указать порядок выполнения методов от первого и до последнего, и этот порядок не может быть таким же, как и в списке аргументов. |