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

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

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

「Rust 1.19」リリース。union（共用体）をサポート － Publickey

2017/07/23 40 users Publickey UNION モジラ ポインター リリース

Rust言語はモジラが中心となってオープンソースで開発されているプログラミング言語です。C言語のように低レベルのシステム開発向けに作られた高速に実行できる言語ながら、不正なメモリ領域を指すポインターなどを許容しない安全なメモリ管理と、マルチスレッド実行においてデータ競合を排除した高い並列性を実現している点が特長です。 unionをサポート。Cとの相互運用性が向上 Rust 1.19では、union... 続きを読む

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 Publickey WebAssembly 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++標準ライブラリ：連想コン... 続きを読む

本の虫: C++0xのマルチスレッドとデータ競合が非常に難しい

2011/06/27 10 users マルチスレッド バリアー せー おれ Tweet Search

2011/06/27 C++0xのマルチスレッドとデータ競合が非常に難しい Tweet Search B! 「バリアー！」 「デュクシ！」 「ちょっ、お前、オレ、バリアー張ってんだから攻撃するなよなー」 「うるせー、オレのはバリアー貫通できる攻撃だっつーの」 「貫通できないバリアー！」 「貫通できないバリアーを貫通できる攻撃！」 「絶対貫通できないバリアー！」 「絶対貫通できる攻撃！」 「そんな攻... 続きを読む