InfoQ ホームページ C に関するすべてのコンテンツ
-
スペースシャトルとOrion MPCVのソフトウェアをNASAがどのようにテストしているか
NASAは安全性確保のために複数のテストレベル、独立した検証、基準、安全コミュニティ、ツールを活用している。Darrel Raines氏はNDC Tech TownでスペースシャトルとOrion MPCVのソフトウェア開発とテストについて講演した。彼はどのように失敗やニアミスから学び、プロセスを継続的に改善しているかを説明した。
-
スペースシャトルとOrion MPCVの組込みソフトウェア開発に学ぶ
NDC Tech TownでのスペースシャトルとOrion MPCVの組込みソフトウェア開発についての講演の中でDarrel Raines氏は、私たちが使えるツールのおかげでソフトウェア開発はスペースシャトル時代の始まりの頃とは大きく異なっていると述べた。しかしソフトウェアエンジニアリングの技術と実践自体は、ソフトウェア開発の初期の頃からそれほど進歩していない、と彼は付け加えた。
-
Sonatype LiftがFacebook Infer、Google ErrorProne等のコード分析ツールを統合
先頃リリースされたSonatype Liftは、開発者が開発パイプラインのさまざまなバグをできるだけ早く特定するのに役立つ25を超えるツールを含む統合コード分析プラットフォームを提供すると、Sonatypeは言います。InfoQは、詳細について、Sonatypeの製品イノベーション担当副社長であるStephen Magill氏と話をした。
-
C言語からRustへのトランスパイルを目指すC2Rustニュースをアップしました
c2Rustは、C99準拠のコードのRustへのマイグレーションを可能にするオープンソースプロジェクトだ。比較的新しいこのツールの開発を通じて、開発者たちは、C言語の記述方法に関するいくつかの教訓を得るとともに、それをABIレベルでRustに置き換える可能性に関する現在の限界について探ることができた。
-
Google Propellerが大規模LLVMバイナリからさらなるパフォーマンスを引き出す
Google Propellerは、実行時の動作のプロファイルに基づいてLLVMバイナリを再リンクおよび最適化することにより、LLVMバイナリのパフォーマンスを向上させることができる。Googleのエンジニアによると、Propellerは、以前はLLVMによって高度に最適化されていたバイナリの主要なパフォーマンスベンチマークを2～9％向上させることができる。
-
ZetZ、形式的検証機能を備えたCのダイアレクト
ZetZ、略してZZは、RustにインスパイアされたCのダイアレクト(diarect, 方言)だ。コンパイル時に仮想マシン内でシンボリック実行することによって、コードの形式的検証を行う。作者でメンテナのAvid Picciani氏に話を聞いた。
-
Google独自のC/C++用メモリアロケータTCMallocがオープンソースとして公開へ
GoogleのTCMallocをCおよびC++の既定のメモリアロケータの置き換えとして使用することで、大規模プログラムでの効率の向上や並列性サポートの改善が実現する、とGoogleは述べている。
-
C言語の次期ISO標準となるC2x
2022年の完成に向けて、C言語委員会(C committee)が進めるC2x標準が、その進化を開始した。InfoQでは今回、同委員会における新標準の推進役であり、Modern Cの著者であるJens Gustedt氏と話す機会を得ることができた。
-
LLVMを拡張してメモリ空間安全性をCで実現するChecked C
Checked CはMicrosoft Researchの主導による、オープンでコラボレーティブなプロジェクトである。C言語を拡張して、バッファオーバーランや領域外メモリアクセス、不正な型キャストといったエラーのない、信頼性の高いプログラムを記述できるようにすることを目標とする。移植を容易にするため、Checked Cコードでは、標準Cで記述されたコードとの共存を可能にしている。
-
C言語の現代化を目指すC2
C2はブートローダやカーネル、ドライバ、システムレベルのツールといった低レベルプログラムに適したC言語の進化を目指した、新しいプログラミング言語だ。作者のBas van den Berg氏に話を聞いた。
-
Checked C - Microsoftによる，より安全なC/C++
MicrosoftがChecked Cをオープンソースとして公開した。CとC++言語への境界チェック導入を目的とした研究プロジェクトだ。
-
Visual Studio Code、C/C++サポートを改善
Windows、Mac OS X、Linuxのいずれを使おうとも、Microsoftのコードベース・マルチプラットフォームエディタVisual Studio Codeは、開発者にとって大きな選択肢になってきている。このエディタの制限となっていたのは、基本的な構文ハイライト以上の適切なC/C++サポートがないことだった。新しいMicrosoftの機能拡張は、C/C++にフォーカスした複数のツールを提供することで、この機能ギャップを狭めようとしている。
-
Visual Studio 2015 でプロジェクトのビルド時間を短縮する
Microsoft における Xoreax との新たな協業により、Visual Studio 向け IncrediBuild の "freemium" バージョンが提供された。同ツールは複数の技術を用いて、異なるプロジェクト形式のビルド時間を劇的に短縮する。
-
-
Webフレームワークベンチマーク2015
私たちは2014年にWebプラットフォームとマイクロフレームワークを含む様々なWebフレームワークのTechEmpowerのベンチマーク結果を公開した。一年後、彼らは新しい結果とトップ10のWebフレームワークにおけるパフォーマンスの重要な変更の概要を公開した。