CodeSonar, our award-winning SAST platform, includes deep support for C/C++, Java, C#, Kotlin, Python, Go, Rust, JavaScript, and TypeScript. Multiple development tool integrations for DevSecOps implementations enhance team collaboration.. Download Data Sheet Implement Deep SASTFind Vulnerabilities Others MissCodeSonar is a static code analysis solution that helps you find and understand quality an
Open Source: Starting with Version 6.4.5 from January 2016, the Spin sources are available under the standard BSD 3-Clause open source license. Spin is now also part of the latest stable release of Debian Linux, and has made it into the 16.10+ distributions of Ubuntu. The current Spin version is 6.5.1 (July 2020). Symposia: The 31st International Symposium on Model Checking Software will be held M
ちょっと使うことがあったので、備忘録的にGCCの組込みアトミック命令の使い方についてまとめておきます。 前提知識 マルチスレッドプログラムにおいて、共有データを更新する際の定石は spin lock や mutex でデータを保護することです。 これらの道具は多くの場面において十分便利なのですが、例えば共有データが1個の int 変数のみであり、更に高頻度で更新が行われるといった場合にはやや同期のコストが高くついてしまいます。 そのような場合には、アトミック命令を用いることで同期オーバーヘッドを抑えることができます。 アトミック命令とは、複数のスレッドから実行されても、個々の命令が一つ一つ順番に適用されてゆくことが保証されている命令のことです。 (より正確には、個々の命令がとある順番で一つ一つ適用された時と同じ結果を得られることが保証されている命令のことです) 例えば、とある変数 X の値
GCC 4.7から実験的サポートが始まったTransactional Memory(TM)についてメモ。 主に "Draft Specification of Transactional Language Constructs for C++, Version 1.1"*1 で定義される拡張キーワードのsyntaxサポート確認を行った。 TMサポートの有効化 GCC 4.7.0でTMサポートを有効にするには、オプション -fgun-tm を指定する。またTMサポートはC++11／C11メモリモデルを前提とする機能であり、旧来のC++03／C90モードでTMを利用することは無い（はず）。 $ g++ -std=c++11 -fgnu-tm input.cpp $ gcc -std=c11 -fgnu-tm input.cTMサポートを有効化した生成バイナリは、ランタイムライブラリ libit
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く