Facebook、マルチスレッドのコードを静的解析してデータ競合を検出する「RacerD」、オープンソースで公開。同社Androidアプリのリリース前に1000以上の問題を検出 － Publickey

2017/10/22 275 users Facebook Publickey マルチスレッド 変数

Facebook、マルチスレッドのコードを静的解析してデータ競合を検出する「RacerD」、オープンソースで公開。同社Androidアプリのリリース前に1000以上の問題を検出 アプリケーションのレスポンスを改善するうえで、マルチスレッド化は重要な選択肢のひとつです。 その一方で、マルチスレッドのアプリケーションは十分に注意深くプログラミングしないと、変数の値が予期しないタイミングでほかのスレッド... 続きを読む

ASCII.jp：Go言語と並列処理（2）｜Goならわかるシステムプログラミング

2017/05/10 59 users goroutine コルーチン システムプログラミング 並行

今回は、Go言語の並行・並列処理のかなめともいえるgoroutine（ゴルーチン）周りを掘り下げていきます。 goroutineは、前回の記事で軽く触れたように、 軽量スレッド と呼ばれるものです。 そこで、まずはこの軽量スレッドと通常のOSのスレッドがどう違うのかを説明します。 そのうえで、goroutineの低レベルな機能を扱うためのruntimeパッケージ、 goroutineのデータ競合を... 続きを読む

Rust言語、asm.jsやWebAssemblyをサポートへ。WebブラウザやNode.jsで実行可能に － Publickey

2017/01/04 226 users WebAssembly Publickey Servo 実行

Rust言語、asm.jsやWebAssemblyをサポートへ。WebブラウザやNode.jsで実行可能に Rust言語は、C言語のように低レベルのシステム開発向けに作られた言語。不正なメモリ領域を指すポインターなどを許容しない安全なメモリ管理と、マルチスレッド実行においてデータ競合を排除した高い並列性を実現している点が特長です。Mozillaの新型高速ブラウザエンジン 「Servo」の開発に使わ... 続きを読む

スレッドセーフという幻想と現実 - yohhoyの日記（別館）

2013/12/15 330 users スレッドセーフ yohhoy Flicker 別館 幻想

この記事はC++ Advent Calendar 2013の15日目にエントリしています。 内容はC++標準ライブラリとスレッドセーフに関する解説になります。 flicker / rennasverden もくじ What's スレッドセーフ？ スレッドセーフという幻想 基本型とデータ競合 C++標準ライブラリとデータ競合 C++標準ライブラリ：シーケンスコンテナ編 C++標準ライブラリ：連想コン... 続きを読む