CコルーチンライブラリBunki

C スタックフル コルーチン ライブラリを簡単に拡張できます。

識別名は、分岐することを意味する日本語のディスカバー ブンキ (分岐) です。 私は、コルーチン ライブラリに非常に適した ID を単に google 画像 (分岐) として認識していることを覚えておいてください。さらに、私が示すものを垣間見ることができます。 x86_64 と Buy64 x64_86 呼び出し規約、および aarch64.

懸念や PR は大歓迎です 😃

• 例
• 建物
  • 定義
  • API
  • bunki_init
  • bunki_stack_min_size
  • bunki_init_stack_ctx
  • bunki_prepare_ctx
  • bunki_init_prepare_ctx
  • 二段ベッド i_resume
  • bunki_ctx_resume
  • bunki_yield
  • bunki_stack_push
  • bunki_stack_push_data
  • bunki_ctx_data_get
  • bunki_ctx_data_set
  • bunki_ctx_call
  • ノート
  • TODO
  • 著作権とライセンス
    #include uintptr_t print_unsigned(voidarg) { uintptr_t val=(uintptr_t)arg; printf(“The value is: 0x%lxn”, val); return 0;}uintptr_t my_coroutine(voidarg) { // Save a value to the thread context storage bunki_ctx_data_set((void*)0xcafe); // Call a function on the current threads stack bunki_ctx_call((void*)0xf00d, print_unsigned); bunki_yield(10); // print out the value we save before last yield bunki_ctx_call((void*)bunki_ctx_data_get(), print_unsigned); // print the arg bunki_ctx_call(arg, print_unsigned); bunki_yield(12);}int main() { // only call once before using the library // The library will now expect stack memory to // aligned by 256 bytes and be 256 bytes in size. if(bunki_init(256)) { fprintf(stderr, “Failed to initialize!n”); return 1; } voidstack_mem=aligned_alloc(256, 256); if(stack_mem==NULL) { fprintf(stderr, “Failed to allocate memory!n”); return 1; } bunki_t ctx=bunki_init_prepare_ctx(stack_mem, my_coroutine, (void*)0xbeef); printf(“Returned: %un”, bunki_resume(ctx)); printf(“Returned: %un”, bunki_resume(ctx)); free(stack_mem); return 0;}” dir=”auto”> #encompass 」bunki.h 」 #encompass

    > #encompass )> uintptr_t print_unsigned (空所arg) { uintptr_t val=(uintptr_t)引数; printf ( )”レートは: 0x%lx n”、値); 戻る 0; } uintptr_t my_coroutine (空所引数) { // 価値を保存スレッドコンテキストストレージへ bunki_ctx_data_set ((空所*)0xcafe ); // コンテンポラリー スレッド スタックで特性を呼び出します bunki_ctx_call

    (( 空所*)0xf00d, print_unsigned);  bunki_yield (10 );  //

    利回りを閉じる前に確立した価値を出力します bunki_ctx_call (( 空所*)bunki_ctx_data_get(), print_unsigned); // arg を出力します bunki_ctx_call

  • (arg, print_unsigned); bunki_yield (12 ); } int 主要() { // ライブラリを使用する前に 1 回だけ最上位呼び出しを行う // ライブラリは、スタック メモリからレコードデータを検索します // 256 バイトでアラインされ、256 になる次元のバイト。 もしも(

    bunki_init(256  )) { fprintf (stderr, "

    初期化されませんでした! n”); 戻る 1 ; } 空所stack_mem= aligned_alloc(256

    , 256);  もしも(stack_mem== ヌル) { fprintf(stderr,  "メモリを割り当てませんでした!n
    ");  戻る  1 ;  } bunki_t ctx= bunki_init_prepare_ctx (stack_mem, my_coroutine, (void*)
    0xbeef );  printf ( )"戻ってきた： %u n" , bunki_resume(ctx));  printf ( )"戻ってきた： %u n" , bunki_resume(ctx)); 無料(stack_mem); 戻る  0;  }
    プロジェクトは、ライブラリを所有するメイクファイルを保持しています。 単に滑らせるだけ 製造 そして静的ライブラリは間違いなくビルドされ、所有アイテムにコピーされます. 所有のアイテム化は、2 つのフォルダー lib と include を所有します。 ライブラリのアイテム化には、反対にリンクする静的ライブラリがあり、包含のアイテム化には hea が含まれます。 
    makefile コンパイルを使用しない場合  bunki_setup.c、bunki_common.c、そして次のアーキテクチャ  )bunki_native.c, bunki_ctx.S
     。 それはたった4つのレコードデータです.
    定義
    BUNKI_STACK_CONST  
      BUNKI_STACK_CONST justify を使用すると、ライブラリのバージョンを所有できるため、呼び出しなしでは脆弱になります  bunki_init()。 主な注意点は、実行時のコード パッチを回避し、コンパイラがスタック サイズを固定して最適化できるようにすることです。  makefile 内の CFLAGS に追加するだけです – DBUNKI_STACK_CONST=。 スタック次元は 2 のエネルギーでなければなりません。
    BUNKI_SHARE_FCW_MXCSR  
     この正当化は、x86_64 ビルドに適用されます。 横に BUNKI_SHARE_FCW_MXCSR 正当化として、コンテキストスワップの仮定を適度に小さくします。 また、あなたのコルーチンが MXCSR レジスタと FPU 保留通知の現代的な価値を消費しないことも可能です.
    BUNKI_NO_WIN64_XMM
      
    この正当化の一番上は、Windows 上の x86_64 に適用されます。 正当化は  で脆弱でなければなりません注意。 この正当化は、x86_64 上のウィンドウに適用され、BUNKI_NO_WIN64_XMM 非-揮発性 xmm レジスターはもはやコルーチン コンテキスト スワップ中に保存されます。  Windowsファイバーに精通している場合、この正当化はを含めないことと類似していますFIBER_FLAG_FLOAT_SWITCH。 見て: Microsoft Fibre Parameters この正当化で浮動小数点演算を消費する可能性が最も高いままですが、スタックがないことは明らかです。コンテキスト スワップの上のフレームは、レジスタ内に浮動またはベクトルの仮定を格納していません xmm6 -xmm15
    BUNKI_AARCH64_NO_VEC_FLOAT
     
     この正当化の一番上は aarch64 に適用されます。  justify は BUNKI_NO_WIN64_XMM、これから保存されるコンテキスト レコードデータの量を想定しても、 Windows ほど巨大であってはなりません。 ターゲットとするハードウェアが SIMD に対応するハードウェアを維持していない場合、これを定義することを強くお勧めします  と 浮動レベル番号。 コンテキスト スワップをより小さく/より速く作成するために使用する場合は、注意.
       bunki_init  署名なし bunki_init(uint32_t stack_size);
    イニシャル図書館の環境を脆くする。 この特性の引数は、消費すると見なされるスタックのサイズ (バイト単位) です。 スケールは 2 のエネルギーである必要があります。これは、ライブラリがそれを使用して、ほんの数個のコルーチン コンテキストのガイドラインを即座にキャッチするためです。 この特性は いいえ
     再開されるコルーチンが、この特性に対する決定よりも前に行われたかのように認識されます。 追加定義 BUNKI_STACK_CONST
     この特性をノーオペレーションで製造
    特性は成功時に 0 を返します。
    特性スタックが単純すぎるか、2 のエネルギーでない場合は 1 を返します。必要な値を含むパッチ コード。  
    bunki_stack_min_size  uint32  _t bunki_stack_min_size (
    空所);
    この特性は、2 スタック次元の最小エネルギーをバイト単位で返します。 コンテキストを作成するために分配されるメモリは、この量以上に引き上げる必要があります。 さらに、これは bunki_init() が解決する最小の次元です.
    bunki_init_stack_ctx
    bunki_t  bunki_init_stack_ctx )(空所stack_mem);
    指定されたメモリからbunki_tコンテキストを作成します。  stack_mem パラメータのスケール しなければならない bunki_init() に提供される次元と等しくなる) このメモリのアラインメント  しなければならない は、その寸法分だけ整列されます。 例として、スタックのサイズが 256 バイトの場合  stack_mem は256 バイト アラインメント。
     
    bunki_prepare_ctx  )空所 bunki_prepare_ctx (bunki_t ctx, uintptr_t (*機能)(void*), voidarg);
    この特性により、bunki_t コンテキストなので、 で再開されますbunki_resume() または bunki_ctx_resume()。  init 関数と put collectively 関数を分離する理由は、 bunki_stack_push() と bunki_stack_push_data() はおそらくおそらく、コルーチンを使用する前にレコードデータをスタックに格納するのに脆弱でさえある.
    The
     ctx パラメータはコルーチンのコンテキストです.
    関数
     パラメータは、起動特性への特性ポインタです。あなたのコルーチンの.
    THE arg
     パラメータは、起動特性に渡される起動引数です。
     bunki_init_prepare_ctx   bunki_t bunki_init_prepare_ctx (空所stack_mem, uintptr_t
     (*関数)(空所*), voidarg);
    この特性は、電話  によく似ています。  bunki_init_stack_ctx() と bunki_prepare_ctx() の連続。
     //
     … コード …  bunki_t ctx=bunki_init_prepare_ctx(mem, begin_func,  ヌル);  // も同じです: bunki_t ctx=bunki_init_stack_ctx(mem);  bunki_prepare_ctx (ctx, begin_func,  ヌル);  // … 追加コード …
      bunki_resume 
     uintptr_t
      bunki_resume (bunki_t ctx);
    最も重要なスレッドから譲歩し、renew に渡されたコルーチンの実行を開始/再開します。 返される値は、再開されたコルーチンから生成または返される値です。  uintptr_t の種類は、返される整数コードをより人間工学的に製造するために選択されるようになりましたが、必要に応じてコルーチンがポインターを受け取ることができるようにミュートします。 設計図 いいえ ネストされたコルーチンが必要な場合は、この特徴的な内部をコルーチンと呼びます call bunki_ctx_resume()
     別として。 そうしないと、コルーチンは  のファミリを消費できません) )bunki_ctx_call は問題なく動作します
    bunki_ctx_resume
     uintptr_t bunki_ctx_resume (bunki_t  ctx);
    この性格はただの尊敬に値する行為です bunki_resume() 、 しかし しなければならない 作業中のコルーチンの内部として知られています。 それをコルーチンのオープンエアと呼ぶと、間違いなくプログラムが破壊されます。 この特性は、ネストされたコルーチン expend を可能にするために存在します。
     bunki_yield