20 страница: Страница 20, Москва, 26 апреля 2020 – Библиоринг – Открой Рот – Страница 21

Сопрограмма — это функция, которая может приостанавливать выполнение, чтобы возобновить его позже. Сопрограммы не имеют стека: они приостанавливают выполнение, возвращаясь к вызывающему, а данные, необходимые для возобновления выполнения, хранятся отдельно от стека.Это позволяет использовать последовательный код, который выполняется асинхронно (например, для обработки неблокирующего ввода-вывода без явных обратных вызовов), а также поддерживает алгоритмы для бесконечных последовательностей с ленивыми вычислениями и другие варианты использования.

Функция является сопрограммой, если ее определение выполняет одно из следующих действий:

• использует оператор co_await для приостановки выполнения до возобновления

 задача <> tcp_echo_server () {
  данные char [1024];
  за (;;) {
    size_t n = co_await socket. async_read_some (буфер (данные));
    co_await async_write (сокет, буфер (данные, n));
  }
} 

• использует ключевое слово co_yield, чтобы приостановить выполнение, возвращая значение

 генератор  iota (int n = 0) {
  пока (правда)
    co_yield n ++;
} 

• использует ключевое слово co_return для завершения выполнения, возвращающего значение

 ленивый  f () {
  co_return 7;
} 

Каждая сопрограмма должна иметь возвращаемый тип, удовлетворяющий ряду требований, указанных ниже.

[править] Ограничения

Сопрограммы не могут использовать вариативные аргументы, простые операторы возврата или возвращаемые типы заполнителей ( auto или Concept ).

Функции Constexpr, конструкторы, деструкторы и основная функция не могут быть сопрограммами.

[править] Казнь

Каждая сопрограмма связана с

• объект обещания , управляемый изнутри сопрограммы. Сопрограмма отправляет свой результат или исключение через этот объект.
• дескриптор сопрограммы , управляемый извне сопрограммы. Это не владеющий дескриптором дескриптор, используемый для возобновления выполнения сопрограммы или для уничтожения кадра сопрограммы.
• состояние сопрограммы , который является внутренним, выделенным в куче (если распределение не оптимизировано), объект, содержащий

• объект обещания
• параметры (все копируются по значению)
• некоторое представление текущей точки приостановки, так что резюме знает, где продолжить, а уничтожить знает, какие локальные переменные были в области видимости
• локальные переменные и временные файлы, время жизни которых охватывает текущую точку приостановки

Когда сопрограмма начинает выполнение, она выполняет следующее:

• выделяет объект состояния сопрограммы с помощью оператора new (см. Ниже)
• копирует все параметры функции в состояние сопрограммы: параметры по значению перемещаются или копируются, параметры по ссылке остаются ссылками (и поэтому могут стать висячими, если сопрограмма возобновляется после окончания времени жизни указанного объекта)
• вызывает конструктор для объекта обещания. Если тип обещания имеет конструктор, который принимает все параметры сопрограммы, этот конструктор вызывается с аргументами сопрограммы после копирования. В противном случае вызывается конструктор по умолчанию.
• вызывает Promise.get_return_object () и сохраняет результат в локальной переменной. Результат этого вызова будет возвращен вызывающей стороне при первой приостановке сопрограммы. Любые исключения, созданные до этого шага включительно, передаются обратно вызывающей стороне, а не в обещании.
• звонки обещают.initial_suspend () и co_await его результат. Типичные типы Promise либо возвращают suspend_always для лениво запускаемых сопрограмм, либо suspend_ Never для нетерпеливо запускаемых сопрограмм.
• при возобновлении работы co_await prom.initial_suspend () запускает выполнение тела сопрограммы

Когда сопрограмма достигает точки приостановки

• возвращаемый объект, полученный ранее, возвращается вызывающей / возобновляющей программе после неявного преобразования в тип возврата сопрограммы, если это необходимо.

Когда сопрограмма достигает оператора co_return, она выполняет следующее:

• вызывает обещание .return_void () для

• co_return;
• co_return expr, где expr имеет тип void
• выпадает из конца сопрограммы, возвращающей пустоту. Поведение не определено, если в этом случае тип Promise не имеет функции-члена Promise :: return_void ().

• или вызывает обещание.return_value (expr) для co_return expr, где expr имеет ненулевой тип
• уничтожает все переменные с автоматической продолжительностью хранения в порядке, обратном их созданию.
• вызывает Promise.final_suspend () и co_await результат.

Если сопрограмма заканчивается неперехваченным исключением, она выполняет следующее:

• перехватывает исключение и вызывает prom.unhandled_exception () из блока catch
• вызывает обещание.final_suspend () и co_await для получения результата (например, для возобновления продолжения или публикации результата). Возобновление сопрограммы с этого момента — неопределенное поведение.

Когда состояние сопрограммы уничтожено либо из-за того, что оно завершилось через co_return или неперехваченное исключение, либо потому, что оно было уничтожено с помощью своего дескриптора, она выполняет следующие действия:

• вызывает деструктор объекта обещания.
• вызывает деструкторы копий параметров функции.
• вызывает оператор delete для освобождения памяти, используемой состоянием сопрограммы
• передает выполнение обратно вызывающему / возобновителю.

[править] Распределение кучи

выделяется в куче с помощью оператора new, не являющегося массивом.

Если тип Promise определяет замену на уровне класса, он будет использоваться, в противном случае будет использоваться глобальный оператор new.

Если тип Promise определяет форму размещения оператора new, который принимает дополнительные параметры, и они соответствуют списку аргументов, где первый аргумент — это запрошенный размер (типа std :: size_t), а остальные — аргументы функции сопрограммы, те аргументы будут переданы оператору new (это позволяет использовать соглашение о ведущем распределителе для сопрограмм)

Вызов оператора new может быть оптимизирован (даже если используется настраиваемый распределитель), если

• Время жизни состояния сопрограммы строго вложено в время жизни вызывающей программы, и
• размер кадра сопрограммы известен на сайте вызова

в этом случае состояние сопрограммы встроено в кадр стека вызывающего (если вызывающий является обычной функцией) или состояние сопрограммы (если вызывающий является сопрограммой)

Если распределение не удалось, сопрограмма выдает std :: bad_alloc, если только тип Promise не определяет функцию-член Promise :: get_return_object_on_allocation_failure (). Если эта функция-член определена, при распределении используется форма оператора new без разряда, а при сбое выделения сопрограмма немедленно возвращает вызывающему объекту объект, полученный из Promise :: get_return_object_on_allocation_failure ().

[править] Обещание

Тип обещания определяется компилятором из возвращаемого типа сопрограммы с помощью std :: coroutine_traits.

Формально, пусть R и Args ... обозначают тип возвращаемого значения и список типов параметров сопрограммы соответственно, ClassT и / * cv-qual * / (если есть) обозначают тип класса, к которому сопрограмма принадлежит и ее cv-квалификация соответственно, если она определена как нестатическая функция-член, ее тип Promise определяется следующим образом:

• std :: coroutine_traits :: prom_type, если сопрограмма не определена как нестатическая функция-член,
• std :: coroutine_traits ..> :: prom_type, если сопрограмма определена как нестатическая функция-член, которая не квалифицируется как rvalue-reference,
• std :: coroutine_traits :: prom_type, если сопрограмма определена как нестатическая функция-член, квалифицированная по ссылке rvalue.

Например:

• Если сопрограмма определена как task foo (std :: string x, bool flag);, то ее тип Promise будет std :: coroutine_traits , std :: string, bool>: : обещание_типа.
• Если сопрограмма определена как task my_class :: method1 (int x) const;, ее тип Promise будет std :: coroutine_traits , const my_class &, int> :: promise_type.
• Если сопрограмма определена как задача my_class :: method1 (int x) &&;, ее тип Promise будет std :: coroutine_traits , my_class &&, int> :: promise_type.

[редактировать] co_await

Унарный оператор co_await приостанавливает выполнение сопрограммы и возвращает управление вызывающей стороне. Его операнд — это выражение, тип которого должен либо определять оператор co_await, либо быть преобразованным в такой тип с помощью Promise :: await_transform текущей сопрограммы.

Сначала expr преобразуется в ожидаемое следующим образом:

• , если expr создается начальной точкой приостановки, конечной точкой приостановки или выражением yield, ожидаемым является expr, как есть.
• в противном случае, если тип Promise текущей сопрограммы имеет функцию-член await_transform, то ожидаемым является обещание.await_transform (выражение)
• в противном случае ожидаемым будет expr, как есть.

Затем объект ожидания получается следующим образом:

• если разрешение перегрузки для оператора co_await дает единственную лучшую перегрузку, ожидание является результатом этого вызова (awaitable.operator co_await () для перегрузки члена, operator co_await (static_cast (awaitable)) для перегрузки, не являющейся членом )
• в противном случае, если при разрешении перегрузки не найден оператор co_await, ожидает ожидание, как есть
• в противном случае, если разрешение перегрузки неоднозначно, программа неправильно сформирована

Если приведенное выше выражение является prvalue, объект ожидания — это временно материализованный из него. В противном случае, если приведенное выше выражение является значением glvalue, объект awaiter — это объект, на который он ссылается.

Затем вызывается awaiter.await_ready () (это сокращение, позволяющее избежать затрат на приостановку, если известно, что результат готов или может быть завершен синхронно). Если его результат, контекстно преобразованный в bool, ложен, тогда

Сопрограмма приостановлена ​​(ее состояние заполняется локальными переменными и текущей точкой приостановки).

ожидающий.Вызывается await_suspend (handle), где handle — дескриптор сопрограммы, представляющий текущую сопрограмму. Внутри этой функции состояние приостановленной сопрограммы можно наблюдать через этот дескриптор, и эта функция обязана запланировать ее возобновление на каком-либо исполнителе или уничтожение (возвращение ложных счетчиков в качестве планирования)

• если await_suspend возвращает void, управление немедленно возвращается вызывающему / возобновителю текущей сопрограммы (эта сопрограмма остается приостановленной), в противном случае
• , если await_suspend возвращает bool,

• значение true возвращает управление вызывающему / возобновителю текущей сопрограммы
• значение false возобновляет текущую сопрограмму.

• если await_suspend возвращает дескриптор сопрограммы для некоторой другой сопрограммы, этот дескриптор возобновляется (вызовом handle.resume ()) (обратите внимание, что это может привести к цепочке, чтобы в конечном итоге возобновить текущую сопрограмму)
• если await_suspend генерирует исключение, исключение перехватывается, сопрограмма возобновляется, а исключение немедленно повторно генерируется

Наконец, вызывается awaiter.await_resume (), и ее результат является результатом всего выражения co_await expr.

Если сопрограмма была приостановлена ​​в выражении co_await, а позже возобновлена, точка возобновления находится непосредственно перед вызовом awaiter.await_resume ().

Обратите внимание, что, поскольку сопрограмма полностью приостановлена ​​перед вызовом awaiter.await_suspend (), эта функция может свободно передавать дескриптор сопрограммы между потоками без дополнительной синхронизации. Например, он может поместить его в обратный вызов, запланированный для запуска в пуле потоков после завершения операции асинхронного ввода-вывода. В этом случае, поскольку текущая сопрограмма могла быть возобновлена ​​и, таким образом, выполнила деструктор объекта ожидания, все одновременно, поскольку await_suspend () продолжает выполнение в текущем потоке, await_suspend () должна рассматривать * это как уничтоженное и не обращаться к нему после дескриптора был опубликован в других обсуждениях.

[править] Пример

 #include 
#include 
#include 
#include <поток>

auto switch_to_new_thread (std :: jthread & out) {
  struct awaitable {
    std :: jthread * p_out;
    bool await_ready () {вернуть ложь; }
    void await_suspend (std :: coroutine_handle <> h) {
      std :: jthread & out = * p_out;
      если (из.присоединяемый ())
        throw std :: runtime_error ("Параметр вывода jthread не пустой");
      out = std :: jthread ([h] {h.resume ();});
      // Возможное неопределенное поведение: доступ к потенциально уничтоженному * this
      // std :: cout << "ID нового потока:" << p_out-> get_id () << '\ n';
      std :: cout << "ID нового потока:" << out. get_id () << '\ n'; // хорошо
    }
    void await_resume () {}
  };
  return awaitable {& out};
}

struct task {
  struct prom_type {
    задача get_return_object () {return {}; }
    std :: suspend_ Never initial_suspend () {возврат {}; }
    std :: suspend_ never final_suspend () noexcept {return {}; }
    void return_void () {}
    void unhandled_exception () {}
  };
};

задача resuming_on_new_thread (std :: jthread & out) {
  std :: cout << "Корутина запущена в потоке:" << std :: this_thread :: get_id () << '\ n';
  co_await switch_to_new_thread (выход);
  // здесь awaiter уничтожен
  std :: cout << "Корутина возобновлена ​​в потоке:" << std :: this_thread :: get_id () << '\ n';
}

int main () {
  std :: jthread вне;
  resuming_on_new_thread (выход);
} 

Возможный выход:

 Coroutine запущена в потоке: 139972277602112
ID новой темы: 139972267284224
Сопрограмма возобновлена ​​в потоке: 139972267284224 

Примечание: объект awaiter является частью состояния сопрограммы (как временное, время жизни которого пересекает точку приостановки) и уничтожается до завершения выражения co_await. Его можно использовать для поддержания состояния каждой операции в соответствии с требованиями некоторых API асинхронного ввода-вывода, не прибегая к дополнительному распределению кучи.

Стандартная библиотека определяет два тривиальных объекта ожидания: std :: suspend_always и std :: suspend_ Never.

[править] co_yield

Yield-expression возвращает значение вызывающей стороне и приостанавливает выполнение текущей сопрограммы: это общий строительный блок возобновляемых функций генератора

Это эквивалентно

 co_await обещание.yield_value (выражение) 

Типичный генератор yield_value будет хранить (копировать / перемещать или просто сохранять адрес, поскольку время жизни аргумента пересекает точку приостановки внутри co_await) свой аргумент в объекте генератора и возвращать std :: suspend_always, передавая управление вызывающему / возобновителю .

[править] Поддержка библиотеки

Coroutine определяет несколько типов, обеспечивающих поддержку компиляции и времени выполнения для сопрограмм.

Сжать PDF онлайн.То же качество PDF меньше размера файла

• Объединить PDF
• Разделить PDF
• Сжать PDF
• Конвертировать PDF

  • • Конвертировать в PDF

    • JPG в PDF
    • СЛОВО в PDF
    • POWERPOINT в PDF
    • EXCEL в PDF
    • HTML в PDF

  • • Конвертировать из PDF

    • PDF в JPG
    • PDF в WORD
    • PDF для POWERPOINT
    • PDF в EXCEL
    • PDF в PDF / A
• Все инструменты PDF

  • • Упорядочить PDF

    • Объединить PDF
    • Разделить PDF
    • Удалить страницы
    • Извлечь страницы
    • Упорядочить PDF

  • • Оптимизировать PDF

    • Сжать PDF
    • Ремонт PDF

  • • Конвертировать в PDF

    • JPG в PDF
    • СЛОВО в PDF
    • POWERPOINT в PDF
    • EXCEL в PDF
    • HTML в PDF

  • • Конвертировать из PDF

    • PDF в JPG
    • PDF в WORD
    • PDF для POWERPOINT
    • PDF в EXCEL
    • PDF в PDF / A

  • • Редактировать PDF

    • Повернуть PDF
    • Добавить номера страниц
    • Добавить водяной знак
    • Редактировать PDF

  • • Безопасность PDF

    • Разблокировать PDF
    • Защитить PDF
    • Подпись PDF

• Авторизоваться
• зарегистрироваться
• • Дом
  • Товар
    • Настольный

Страница 20 - Последние стажировки, фриланс, работа для выпускников

Компания

Название

Расположение

Период

Пост

Citrus Media
citrusmedia. com.sg

Marine Parade, SG
Работа из дома

Немедленный запуск, не менее 3 месяцев

Стажер / TS

LWK & Partners Сингапур
lwkp.com

Центр города, SG

Немедленный запуск, не менее 3 месяцев

Стажер / TS

IPPFA
ippfa.com

Outram, SG

Гибкий запуск, не менее 6 месяцев

Деталь / температура

Good Foodie Media Pte Ltd
singaporefoodie.com

SG
Работа из дома

Немедленный запуск, постоянный

Полный / Пермь

High Achievers Outdoor Consultants Pte Ltd

Toa Payoh, SG
Работа из дома

Немедленный запуск, не менее 5 месяцев

Стажер / TS

HyreCentral
hyrecentral.com

SG
Работа из дома

Гибкий запуск, гибкая продолжительность

Част. / Темп.

HyreCentral
hyrecentral.com

SG
Работа из дома

Гибкий запуск, гибкая продолжительность

Част. / Темп.

IPPFA
ippfa. com

Outram, SG

Гибкий старт, минимум на 6 месяцев

Полный / Пермь

Fokasu Marketing
one-focusmarketing.com

Центр города, SG

Немедленный запуск, постоянный

Полный / Пермь

App Economy Pte Ltd
appeconomy.co

SG
Работа из дома

Немедленный запуск, не менее 6 месяцев

Стажер / TS

Xianchao Logistics Co Ltd
xianchaologistics.com

SG
Работа из дома

Гибкий запуск, не менее 3 месяцев

Full / PermPart / TempIntern / TS

Славное государство
gloriousstate.com

SG

Немедленный запуск, не менее 6 месяцев

Стажер / TS

Xianchao Logistics Co Ltd
xianchaologistics.com

SG
Работа из дома

Гибкий запуск, не менее 2 месяцев

Бесплатно / ProjPart / TempIntern / TS

MST - Фирма интернет-маркетинга
mysideteam.com

SG
Работа из дома

Гибкий запуск, гибкая продолжительность

Бесплатно / ProjPart / Temp

EIH - HQ
staffondemand. sg

SG

Гибкий старт, гибкая продолжительность

Полный / Пермь

Образование Мэтта
mattseducation.com

Клементи, SG

Немедленный запуск, не менее 4 месяцев

Стажер / TS

SearchAsia
seekchasia.com.sg

SG

Немедленный запуск, не менее 3 месяцев

Стажер / TS

Gearbox Learning
gearbox Learning.com

Квинстаун, SG
Работа на дому

Гибкий запуск, гибкая продолжительность

Бесплатно / ProjPart / TempIntern / TS

Коробка передач Обучение
gearboxlearning.com

Квинстаун, SG
Работа на дому

Гибкий запуск, гибкая продолжительность

Бесплатно / ProjIntern / TS

SG Bike Pte Ltd
sgbike.com.sg

Бедок, SG

Немедленный запуск, не менее 6 месяцев

Стажер / TS

MediaOne Business Pte Ltd
mm.com.SG

Outram, SG

С января 2021 г., Постоянно

Полный / Пермь .