Abort () при запуске нескольких потоков с помощью std :: vectorи std :: async - PullRequest
Новая
       50

Abort () при запуске нескольких потоков с помощью std :: vectorи std :: async

0 голосов
/ 04 октября 2019

Я использую 4 потока для создания нескольких объектов, используя пул памяти thread_local.

Я использую std::vector<std::future<int>> и std::async(std::launch::async, function); для диспетчеризации потоков, а std::for_each с t.get длявернуть их значение. Вот код: 

struct GameObject
{
    int x_, y_, z_;
    int m_cost;

    GameObject() = default;
    GameObject(int x, int y, int z, int cost)
        : x_(x), y_(y), z_(z), m_cost(cost)
    {}
};

struct Elf : GameObject
{
    Elf() = default;
    Elf(int x, int y, int z, int cost)
        : GameObject(x, y, z, cost)
    {
        std::cout << "Elf created" << '\n';
    }

    ~Elf() noexcept
    {
        std::cout << "Elf destroyed" << '\n';
    }
    std::string m_cry = "\nA hymn for Gandalf\n";
};

struct Dwarf : GameObject
{
    Dwarf() = default;
    Dwarf(int x, int y, int z, int cost)
        : GameObject(x, y, z, cost)
    {
        std::cout << "dwarf created" << '\n';
    }

    ~Dwarf() noexcept
    {
        std::cout << "dwarf destroyed" << '\n';
    }
    std::string m_cry = "\nFind more cheer in a graveyard\n";
};


int elvenFunc()
{
    thread_local ObjectPool<Elf> elvenPool{ 229 };
    for (int i = 0; i < elvenPool.getSize(); ++i)
    {
        Elf* elf = elvenPool.construct(i, i + 1, i + 2, 100);
        std::cout << elf->m_cry << '\n';
        elvenPool.destroy(elf);
    }

    thread_local std::promise<int> pr;
    pr.set_value(rand());

    return 1024;
}

int dwarvenFunc()
{
    thread_local ObjectPool<Dwarf> dwarvenPool{ 256 };
    for (int i = 0; i < dwarvenPool.getSize(); ++i)
    {
        Dwarf* dwarf = dwarvenPool.construct(i - 1, i - 2, i - 3, 100);
        std::cout << dwarf->m_cry << '\n';
        dwarvenPool.destroy(dwarf);
    }

    thread_local std::promise<int> pr;
    pr.set_value(rand());

    return 2048;
}


int main()
{
    std::ios_base::sync_with_stdio(false);
    srand(time(0));

    std::vector<std::future<int>> vec{ 4 };
    vec.emplace_back(std::async(std::launch::async, elvenFunc));
    vec.emplace_back(std::async(std::launch::async, elvenFunc));
    vec.emplace_back(std::async(std::launch::async, dwarvenFunc));
    vec.emplace_back(std::async(std::launch::async, dwarvenFunc));

    int term = 0;
    try
    {
        std::for_each(std::execution::par, vec.begin(), vec.end(), [&term](std::future<int>& t)
        {
            auto ret = t.get();
            std::cout << "thread brought me " << ret << '\n';
            term += ret;
        });
    }
    catch (const std::exception& ex)
    {
        std::cout << ex.what() << '\n';
    }

    std::cout << "Final word = " << term << '\n';
}

(construct и destroy вызывают allocate и deallocate внутри.) Я получаю много ожидаемого вывода от терминала, но где-то вдоль строк abort вызывается, и программа не завершается нормально. Я не могу понять почему. Я считаю, что вызов t.get() потока, который был запущен с помощью std :: async, автоматически вызывает .join тоже правильно?

Использование C ++ 17 и Visual Studio 2017. Что я делаю не так?

1 Ответ

1 голос
/ 04 октября 2019

У вас неопределенное поведение. Вы звоните get на недействительное будущее. У вашего вектора фьючерсов первые 4 элемента пустые future. get можно вызвать, только если future::valid вернет true.

Как вы думаете, что делает эта строка 

std::vector<std::future<int>> vec{ 4 };

?

Конструктор по умолчанию. Создает std :: future без общего состояния. После построения valid () == false.

И здесь вы можете прочитать, что происходит, когда вызывается future::get:

Поведениене определено, если valid () имеет значение false перед вызовом этой функции.

...