MEMO最近どう?数理統計学スタサプ!オンライン英会話プラモ作り仕事が忙しくなって、最近数学や読書がgdgd気味とみせかけて、やっぱ読んじゃう『ライティングの哲学』読んでみたキーワードバリア同期メモリフェンスRWロックRWロックの3条件たくぼさんクイズバリア同期はランデブーレイヤーが違う話。レイヤーを意識すること。Programming』リフレッシュの仕方。コンテキストスイッチ。向上することが実験からも明らかとなった。クロックサイクルを消費するような記述は避けるべきであり、難しいところではある。向上することが実験からも明らかとなった。クロックサイクルを消費するような記述は避けるべきであり、難しいところではある。move(ライト)ロックとミューテックスの違いライトロックは、あるデータを変更してはだめ。ミューテックスは、同時に実行しちゃだめ。排他する粒度が違います。セマフォから復習回に関する具体的なアイデア「俺が勝手に説明するから、俺の間違いを正して!」会にするみんな「mohiraにPRを送ったり、Approveしたりする」レギュラー回とはべつにやる。生物もソフトウェアというか、システムとして見るmacの調子が悪いっ!朝に散歩してダイエット順調!初の12枠超え!!!まさか、オーバーするなんて!C言語(Pthreads)とのRustの実装を見比べると理解が深まるCだと、各ロックを動作させるための具体的な処理方法とか実現手順を把握できた一方で、詳細に圧倒されていた部分もだいぶありつつ。その過程を経てからのRustだと、そうした詳細はより抽象化したAPIに隠蔽されているので具体的な処理はさておきつつ、それらのロックを使うことによってどんな効果が得られるのかに注目できた感じがしました。詳細と抽象の両方を踏まえて、改めて各種ロックについて理解を深められたような気持ち(お気持ち)。UB)とは、コンピュータ言語が準拠する言語仕様において動作が予測できないと規定されたプログラムを実行した結果のことである。behavior)と呼ぶ。プロセスまで同時にロックを獲得できる。ミューテックスはセマフォの特殊なバージョンと考えることができる。キューのサイズに制限を設けることでそのような事故を防ぐことができる。複数のデータをバルク(一括)でエンキューすると転送スループットの向上が見込めるおぼんにジョッキを載せたほうがはやいやつUnixのパイプも、メモリのページサイズの4KB単位で送受してますね。LL/SCLL/SC最強説があるLL/SCでは、ABA問題が起きないのです。barrier)であり、本節ではそのメモリバリアについて議論する。メモリフェンスと呼ばれる。