Procedura: effettuare una scelta tra le attività completate

Articolo
08/11/2011

In questo esempio viene illustrato l'utilizzo delle classi Concurrency::choice e Concurrency::join per selezionare la prima attività per completare un algoritmo di ricerca.

Esempio

Nell'esempio seguente vengono eseguiti due algoritmi di ricerca in parallelo e viene selezionato il primo algoritmo da completare. Viene definito il tipo employee che contiene un identificatore numerico e uno stipendio per un dipendente. La funzione find_employee trova il primo dipendente con l'identificatore o lo stipendio fornito. La funzione find_employee gestisce inoltre il caso in cui non è presente alcun dipendente con l'identificatore o lo stipendio fornito. La funzione wmain crea una matrice di oggetti employee e cerca i diversi valori per identificatore e stipendio.

Nell'esempio viene utilizzato un oggetto choice per effettuare una scelta tra i casi seguenti.

Esiste un dipendente con l'identificatore fornito.
Esiste un dipendente con lo stipendio fornito.
Non esiste alcun dipendente con l'identificatore o lo stipendio fornito.

Per i primi due casi, nell'esempio viene utilizzato l'oggetto Concurrency::single_assignment per contenere l'identificatore e un altro oggetto single_assignment per contenere lo stipendio. Nell'esempio viene utilizzato un oggetto join per il terzo caso. L'oggetto join è composto da due oggetti single_assignment aggiuntivi, uno per il caso in cui non esiste alcun dipendente con l'identificatore fornito e uno per il caso in cui non esiste alcun dipendente con lo stipendio fornito. L'oggetto join invia un messaggio quando ognuno dei relativi membri riceve un messaggio. In questo esempio l'oggetto join invia un messaggio quando non esiste alcun dipendente con l'identificatore o il salario fornito.

Nell'esempio viene utilizzato un oggetto Concurrency::structured_task_group per eseguire entrambi gli algoritmi di ricerca in parallelo. Ogni attività di ricerca scrive in uno degli oggetti single_assignment per indicare se il dipendente specificato esiste. Nell'esempio viene utilizzata la funzione Concurrency::receive per ottenere l'indice del primo buffer che contiene un messaggio e un blocco di switch per stampare il risultato.

// find-employee.cpp
// compile with: /EHsc
#include <agents.h>
#include <ppl.h>
#include <array>
#include <iostream>
#include <random>

using namespace Concurrency;
using namespace std;

// Contains information about an employee.
struct employee
{
   int id;
   float salary;
};

// Finds the first employee that has the provided id or salary.
template <typename T>
void find_employee(const T& employees, int id, float salary)
{
   // Holds the salary for the employee with the provided id.
   single_assignment<float> find_id_result;

   // Holds the id for the employee with the provided salary.
   single_assignment<int> find_salary_result;


   // Holds a message if no employee with the provided id exists.
   single_assignment<bool> id_not_found;

   // Holds a message if no employee with the provided salary exists.
   single_assignment<bool> salary_not_found;

   // Create a join object for the "not found" buffers.
   // This join object sends a message when both its members holds a message 
   // (in other words, no employee with the provided id or salary exists).
   auto not_found = make_join(&id_not_found, &salary_not_found);


   // Create a choice object to select among the following cases:
   // 1. An employee with the provided id exists.
   // 2. An employee with the provided salary exists.
   // 3. No employee with the provided id or salary exists.
   auto selector = make_choice(&find_id_result, &find_salary_result, &not_found);


   // Create a task that searches for the employee with the provided id.
   auto search_id_task = make_task([&]{
      auto result = find_if(employees.begin(), employees.end(), 
         [&](const employee& e) { return e.id == id; });
      if (result != employees.end())
      {
         // The id was found, send the salary to the result buffer.
         send(find_id_result, result->salary);
      }
      else
      {
         // The id was not found.
         send(id_not_found, true);
      }
   });

   // Create a task that searches for the employee with the provided salary.
   auto search_salary_task = make_task([&]{
      auto result = find_if(employees.begin(), employees.end(), 
         [&](const employee& e) { return e.salary == salary; });
      if (result != employees.end())
      {
         // The salary was found, send the id to the result buffer.
         send(find_salary_result, result->id);
      }
      else
      {
         // The salary was not found.
         send(salary_not_found, true);
      }
   });

   // Use a structured_task_group object to run both tasks.
   structured_task_group tasks;
   tasks.run(search_id_task);
   tasks.run(search_salary_task);

   wcout.setf(ios::fixed, ios::fixed);
   wcout.precision(2);

   // Receive the first object that holds a message and print a message.
   int index = receive(selector);
   switch (index)
   {
   case 0:
      wcout << L"Employee with id " << id << L" has salary " 
            << receive(find_id_result);
      break;
   case 1:
      wcout << L"Employee with salary " << salary << L" has id " 
            << receive(find_salary_result);
      break;
   case 2:
      wcout << L"No employee has id " << id << L" or salary " << salary;
      break;
   default:
      __assume(0);
   }
   wcout << L'.' << endl;

   // Cancel any active tasks and wait for the task group to finish.
   tasks.cancel();
   tasks.wait();
}

int wmain()
{
   // Create an array of employees and assign each one a 
   // random id and salary.

   array<employee, 10000> employees;

   mt19937 gen(15);
   const float base_salary = 25000.0f;
   for (int i = 0; i < employees.size(); ++i)
   {
      employees[i].id = gen()%100000;

      float bonus = static_cast<float>(gen()%5000);
      employees[i].salary = base_salary + bonus;
   }

   // Search for several id and salary values.

   find_employee(employees, 14758, 30210.00);
   find_employee(employees, 340, 29150.00);
   find_employee(employees, 61935, 29255.90);
   find_employee(employees, 899, 31223.00);
}

Questo esempio produce l'output che segue.

Employee with id 14758 has salary 27780.00.
Employee with salary 29150.00 has id 84345.
Employee with id 61935 has salary 29905.00.
No employee has id 899 or salary 31223.00.

In questo esempio viene utilizzata la funzione di supporto Concurrency::make_choice per creare gli oggetti choice e la funzione di supporto Concurrency::make_join per creare oggetti join.

Compilazione del codice

Copiare il codice di esempio e incollarlo in un progetto di Visual Studio o incollarlo in un file denominato find-employee.cpp, quindi eseguire il comando seguente in una finestra del prompt dei comandi di Visual Studio 2010.

cl.exe /EHsc find-employee.cpp