Энтони Уильямс - Параллельное программирование на С++ в действии. Практика разработки многопоточных программ

Предусловия

R1и R2должны быть конкретизациями шаблона std::ratio.

Результат

std::ratio_lessнаследует шаблону std::integral_constant, где value— это (R1::num*R2::den) < (R2::num*R1::den). Если возможно, реализация должна использовать такой метод вычисления результата, при котором не возникает переполнения. Если при вычислении возникает переполнение, то программа считается некорректной.

Примеры

std::ratio_less, std::ratio<2,6> >::value

== false

std::ratio_less, std::ratio<1,3> >::value

== true

std::ratio_less<

std::ratio<999999999,1000000000>,

std::ratio<1000000001,1000000000> >::value == true

std::ratio_less<

std::ratio<1000000001,1000000000>,

std::ratio<999999999,1000000000> >::value == false

Шаблон класса std::ratio_greaterпредоставляет механизм сравнения двух значений std::ratioна этапе компиляции с применением правил арифметических операций с рациональными числами.

Определение класса

template

class ratio_greater:

public std::integral_constant<

bool, ratio_less::value> {};

Предусловия

R1и R2должны быть конкретизациями шаблона std::ratio.

Шаблон класса std::ratio_less_equalпредоставляет механизм сравнения двух значений std::ratioна этапе компиляции с применением правил арифметических операций с рациональными числами.

Определение класса

template

class ratio_less_equal:

public std::integral_constant<

bool, !ratio_less::value> {};

Предусловия

R1и R2должны быть конкретизациями шаблона std::ratio.

Шаблон класса std::ratio_greater_equalпредоставляет механизм сравнения двух значений std::ratioна этапе компиляции с применением правил арифметических операций с рациональными числами.

Определение класса

template

class ratio_greater_equal:

public std::integral_constant<

bool, !ratio_less::value> {};

Предусловия

R1и R2должны быть конкретизациями шаблона std::ratio.

В заголовке объявлены средства для идентификации и управления потоками, а также функции для приостановки потоков.

Содержимое заголовка

namespace std {

class thread;

namespace this_thread {

thread::id get_id() noexcept;

void yield() noexcept;

template

void sleep_for(

std::chrono::duration sleep_duration);

template

void sleep_until(

std::chrono::time_point wake_time);

}

}

Класс s td::threadприменяется для управления потоком выполнения. В нем имеются средства для запуска нового потока и ожидания завершения потока, а также для идентификации потоков. Также в класс включены другие функции для управления потоком выполнения.

Определение класса

class thread {

public:

// Типы

class id;

typedef implementation-defined

native_handle_type; // необязательно

// Конструкторы и деструкторы

thread() noexcept;

~thread();

template

explicit thread(Callable&& func, Args&&... args);

// Копирование и перемещение

thread(thread const& other) = delete;

thread(thread&& other) noexcept;

thread& operator=(thread const& other) = delete;

thread& operator=(thread&& other) noexcept;

void swap(thread& other) noexcept;

void join();

void detach();

bool joinable() const noexcept;

id get_id() const noexcept;

native_handle_type native_handle();

static unsigned hardware_concurrency() noexcept;

};

void swap(thread& lhs, thread& rhs);

STD::THREAD::ID , КЛАСС

Экземпляр класса std::thread::idидентифицирует конкретный поток выполнения.

Определение класса

class thread::id {

public:

id() noexcept;

};

bool operator==(thread::id x, thread::id y) noexcept;

bool operator!=(thread::id x, thread::id y) noexcept;

bool operator<(thread::id x, thread::id y) noexcept;

bool operator<=(thread::id x, thread::id y) noexcept;

bool operator>(thread::id x, thread::id y) noexcept;

bool operator>=(thread::id x, thread::id y) noexcept;

template

basic_ostream&

operator<<(basic_ostream&& out, thread::id id);

Примечание. Значение std::thread::id, идентифицирующее конкретный поток выполнения, должно отличаться от значения экземпляра std::thread::id,сконструированного по умолчанию, и от значения, представляющего любой другой поток.

Примечание. Значения std::thread::idдля конкретных потоков непредсказуемы и могут различаться при разных прогонах одной и той же программы.

Экземпляры std::thread::idудовлетворяют требованиям концепций CopyConstructibleи CopyAssignable, поэтому их можно копировать и присваивать друг другу

STD::THREAD::ID , КОНСТРУКТОР ПО УМОЛЧАНИЮ

Конструирует объект std::thread::id, который не представляет никакой поток выполнения.

Объявление

id() noexcept;

Результат

Конструирует экземпляр std::thread::id, с которым связано особое значение, интерпретируемое как не поток .

Исключения

Нет.

Примечания. Во всех сконструированных по умолчанию экземпляров std::thread::idхранится одно и то же значение.

STD::THREAD::ID , ОПЕРАТОР СРАВНЕНИЯ НА РАВЕНСТВО

Сравнивает два экземпляра std::thread::id, проверяя, представляют ли они один и тот же поток.

Объявление

bool operator==(

std::thread::id lhs, std::thread::id rhs) noexcept;

Возвращаемое значение

true, если lhsи rhsпредставляют один и тот же поток выполнения или оба имеют значение не поток , false, если lhsи rhsпредставляют разные потоки или один представляет поток, а другой имеет значение не поток .

Исключения

Нет.

STD::THREAD::ID , ОПЕРАТОР СРАВНЕНИЯ НА НЕРАВЕНСТВО

Сравнивает два экземпляра std::thread::id, проверяя, представляют ли они разные потоки.

Объявление

bool operator!=(

std::thread::id lhs, std::thread::id rhs) noexcept;

Возвращаемое значение

!(lhs==rhs)

Исключения

Нет.

STD::THREAD::ID , ОПЕРАТОР СРАВНЕНИЯ МЕНЬШЕ

Сравнивает два экземпляра std::thread::id, проверяя, предшествует ли один из них другому в смысле отношения полного порядка, существующего на множестве значений идентификаторов потоков.

Объявление

bool operator<(

std::thread::id lhs, std::thread::id rhs) noexcept;

Возвращаемое значение

true, если значение lhsпредшествует значению rhsв смысле отношения полного порядка, существующего на множестве значений идентификаторов потоков. Если lhs != rhs, то истинно ровно одно из утверждений lhs < rhsи rhs < lhs, тогда как второе ложно. Если lhs == rhs, то оба утверждения lhs < rhsи rhs < lhsложны.