многопоточность — C ++ std :: vector доступ с использованием программной транзакционной памяти

В настоящее время я пытаюсь решить проблему безопасности потоков с помощью контейнеров C ++ STL. Недавно я попытался реализовать потокобезопасный std :: vector, используя std :: mutex в качестве переменной-члена, просто чтобы потом понять, что, хотя я мог сделать функции-члены поточно-безопасными, блокируя блокировку, я не смог сделать функции lib как std :: sort потокобезопасен, так как они получают только итераторы begin () / end (), что является результатом фундаментального разделения между контейнерами и алгоритмами в STL в целом.

Тогда я подумал: если я не могу использовать блокировки, как насчет программной транзакционной памяти (STM)?

Так что теперь я застрял с этим:

#include <atomic>
#include <cstdlib>
#include <iostream>
#include <thread>
#include <vector>

#define LIMIT 10

std::atomic<bool> start{false};
std::vector<char> vec;

void thread(char c)
{
while (!start)
std::this_thread::yield();

for (int i = 0; i < LIMIT; ++i) {
__transaction_atomic {
vec.push_back(c);
}
}
}

int main()
{
std::thread t1(thread, '*');
std::thread t2(thread, '@');

start.store(true);

t1.join();
t2.join();

for (auto i = vec.begin(); i != vec.end(); ++i)
std::cout << *i;

std::cout << std::endl;

return EXIT_SUCCESS;
}

Который я собираю с:

g++ -std=c++11 -fgnu-tm -Wall

используя g ++ 4.8.2 и который дает мне следующую ошибку:

error: unsafe function call to push_back within atomic transaction

Что я вроде получаю, так как push_back или sort, или что-то еще, не объявленоaction_safe, но которое оставляет меня со следующими вопросами:

а) Как я могу исправить эту ошибку?

б) Если я не могу исправить эту ошибку, то для чего обычно используются эти транзакционные блоки?

в) Как можно реализовать свободный от блокировок потокобезопасный вектор ?!

Заранее спасибо!

Редактировать:
Спасибо за ответы до сих пор, но они действительно не чешут мой зуд. Позволь мне привести пример:
Представьте, что у меня есть глобальный вектор, и доступ к этому вектору должен быть общим для нескольких потоков. Все потоки пытаются сделать отсортированные вставки, поэтому они генерируют случайное число и пытаются вставить это число в вектор отсортированным образом, чтобы вектор оставался отсортированным все время (включая дубликаты c). Чтобы выполнить отсортированную вставку, они используют std :: lower_bound, чтобы найти «индекс», куда вставить, а затем выполняют вставку, используя vector.insert ().

Если я напишу оболочку для std :: vector, которая содержит std :: mutex в качестве члена, то я могу написать функции-оболочки, например, insert, который блокирует мьютекс с помощью std :: lock_guard, а затем выполняет фактический вызов std :: vector.insert (). Но std :: lower_bound не имеет никакого значения для мьютекса члена. Что является особенностью, а не ошибкой.

Это приводит к тому, что мои потоки находятся в довольно затруднительном положении, потому что другие потоки могут изменять вектор, пока кто-то делает его нижнюю привязку.

Единственное исправление, о котором я могу подумать: забыть обертку и вместо этого иметь глобальный мьютекс для вектора. Всякий раз, когда кто-то хочет сделать что-либо с / с / с этим вектором, ему нужен этот замок.

Это проблема. Какие есть альтернативы для использования этого глобального мьютекса.
и то, где программное обеспечение транзакционной памяти пришло на ум.

Итак, теперь: как использовать STM в контейнерах STL? (и а), б), в) сверху).