C ++で何が起こるか。 Yandexでのスピーカーのインタビューと会議の生放送

今日、Yandexのサンクトペテルブルクオフィスで、並列プログラミングの専門家との会議を開催します。 フランスのコンピューターサイエンス研究所のJoel Falku 、MicrosoftのGore Nishanov 、Microsoft Azureで働くKirk Shoopが来ます。 特にHabrの読者のために、私たちはGor NishanovとKirk Shupに彼らの個人的な経験、C ++に対する態度、問題と言語開発について話すように頼みました。





トピックに興味がある人のために、19：20にイベントからビデオブロードキャストを開始します。 会議は英語で開催されます。 ブロードキャストページで、ゲストに質問することができます。 ライブ放送を見る時間がない人のために、しばらくして録音を投稿します。

Gor Nishanovは、MicrosoftのC ++開発チームのプリンシパルソフトウェアデザインエンジニアです。 彼は「待つ」ことに取り組んでいます。 C ++チームに参加する前、ゴアは分散システムに取り組んでいました。 昨年、彼はStandard C ++ Foundationが主催する年次CppCon会議で講演を行い、 C ++コルーチンを発表しました。 負のオーバーヘッドの抽象化 。

C ++でプログラミングを始めたきっかけを教えてください。



1992年以来、Win32とMFCを使用してWindows用のC ++プログラムを開発することでパートタイムで働いていました。 しかし、この経験はポジティブではありませんでした:-) 1996年にレンセラー工科大学の大学院に入学したとき、C ++に精通しました。 彼のおかげで、コンピューターサイエンス部門は、当時はあまり知られていなかった現代のC ++の精神に浸りました。



効率を損なうことなく抽象化を作成する機能、汎用プログラミング、RAIIの正しい使用により、C ++が非常に魅力的になりました。 大規模な産業プロジェクトに最新のC ++を適用してみたかったので、Windows NTはこの実験の素晴ら​​しい候補でした。 私はMicrosoftオペレーティングシステムの部門で15年間働いており、そこで出会ったすべてのプロジェクトで最新のC ++を使用しました。 経験は成功したことが判明しましたが、言語とライブラリを改善する方法について多くの希望が蓄積されました。 3つの特に痛い問題-マルチスレッドプログラムのエラー、非常に遅いコンパイル、C ++テンプレートに関連する読み取り不能なマルチページコンパイルエラー-には解決策が必要でした。 これらの問題の解決を支援するために、2013年の終わりにVisual C ++チームに参加しました。つまり、マルチスレッドプログラミングの便利なサポートをC ++、モジュラーシステム、およびテンプレートの概念システムに追加しました。 後者はすでにAndrew Suttonによる開発の最終段階にあり、コンパイラへのサポートの追加に関するものでした。 私が現在取り組んでいるC ++コルーチンは、マルチスレッドプログラミングの問題に対するソリューションの一部です。 パターンはありませんが、勇気を出して、効果的な高レベルの抽象化には価値があると自問してください。



そもそもC ++を改善する価値があるのはどの分野ですか？



私のトップ6は、コルーチン、モジュール、コンセプト、コントラクト、リフレクション、同時/非同期プログラミングをサポートするライブラリです。 私はすべてのプログラマーが独自の優先順位リストを持っていると思います。 この場合、私のトップ6は私が遭遇した問題を反映しています。



あなたの意見では、まだ開発中の将来の基準によると、どのインサイダーが最も興味深いですか？



主な3つは、コルーチン、モジュール、コンセプトです。 2つの小さなもの：デフォルトの比較、統一された関数呼び出し構文。 ライブラリ：範囲、実行プログラム、ネットワークライブラリ



最近、最も差し迫った開発上の問題は何ですか？



未解決の問題は、マルチスレッドプログラミングの効果的なサポートです。 コルーチン、エグゼキューター、ネットワーキングライブラリ、関数型リアクティブプログラミングなどの部分的なソリューションはすべてパーツですが、これまでのところ、それらは一貫した全体に組み立てられていません。



C ++ 17の「最終リリース」の前に作業を終了する予定ですか？

C ++ 17の機能は2016年末までに明らかになるでしょう。



エグゼキューターはいつSTLに参加しますか？ 彼らの現在の状況は？

C ++ 20にはまだいくつかの提案があり、ほとんどの場合、C ++ 17が閉じられるまでコンセンサスに達しないでしょう。



最終的にstd :: asyncはどうなりますか？また、どのように置き換えられますか？

まだ具体的な提案はありません。



C ++ 17での並列、マルチスレッド、並行プログラミングはどのように変わりますか？ 新しい機能の助けを借りて、マルチスレッドサーバーを1画面のコードの長さで記述する、キラー機能が計画されていますか？ この地域で作業しているコミュニティメンバーまたはワーキンググループはどこですか。インターネット上のどこで見つけることができますか？



次の2つの標準化会議で明確になります（http://isocpp.org/、open-std.org/jtc1/sc22/wg21/docs/papers/2015）。



標準要素のライブラリを拡張する予定はありますか？

オプションで、variant、string_span、array_spanがC ++ 17に含まれている場合があります。



Boostは、複数ページのエラーメッセージで知られています。 また、C ++テンプレートのデバッグにはどのような方法を使用しますか？

これは、C ++に関する私の上位3つの問題の1つです。 テンプレートの概念は、それを取り除くのに役立つはずです。 概念はありませんが、勇気を出して、効果的な高レベルの抽象化に価値があると自問してください。



あなたの足跡をたどりたい若い開発者に何をお勧めしますか？

あなたの魂のあること、そしてうまくいくことをしてください。

カークショープは、1993年にインターンとしてマイクロソフトに入社しました。 彼が取り組んでいる主な焦点は、Azure Machine Learningです。 また、 Dash.js 、 Blink 、 OpenJDK 、 Redisなど、同社のいくつかのオープンソースプロジェクトにも参加しています。 Kirkは現在、rxcpp、async、transducerなどの非同期ライブラリを作成しています。 Kirkは、ライブラリとコードのセキュリティと表現力を高めるために、新しいコンパイラ機能を学習して適用することを好みます。

C ++をゼロから設計している場合、何を変更しますか？



実際、C ++はいくつかの言語のコレクションです。 プリプロセッサ、C、C ++、テンプレート-おそらくConceptsとconstexprさえ-はすべて別個の言語です。 Cとの後方互換性は良い解決策だと思います。この類似性により、タイピング操作のためにコンパイル時に実行されるC互換言語（言語のサブセット）を持ちたいと思います。 私が取り組んでいる問題のほとんどは、それらのソリューションのいくつかがコンパイル時に実行された場合に勝つため、私は私の人生でテンプレートに多くのコードを書きました。 そのため、コンパイラに関連するデバッグ機能とデバッグ機能を備えた通常の言語は単なる夢です。



どの領域で最初にC ++を開発する必要がありますか？



コンパイル時に型を作成するのが好きです。 コンパイル時に名前を定義できると便利です。 少し前に提案された別のアイデアは、ScopeGuardをラムダ構文に追加することです。



新しいC ++標準には何が面白いでしょうか？



最も興味深い機能-co_await、co_yield、co_returnは、便利な非同期の重要なコンポーネントです。 テンプレート上のライブラリからの通常のエラーメッセージにとって、概念は非常に重要です。 コンポーネント間の分離を作成するには、モジュールが必要です。これは、ライブラリ間の依存関係を理解するのに役立つパッケージマネージャーを作成するために使用されることを期待しています。



今日の開発で最も関連する問題は何ですか？



私は常にエラーをキャッチすることから、そして一般的にそれらの外観から私を解放する（ツールではなく）ライブラリの開発に集中していました。 例は、エラー値が変更されたがまだ解決されていないときにabort（）を呼び出すエラーコードのスマートクラスです。



マルチスレッドプログラムの開発は、C ++ 17でどのように変わりますか？ 1つの画面でマルチスレッドサーバーを作成できるようにするクールな機能はありますか？ 誰がこれに取り組んでいますか？



asioと非同期、または多分coawaitのあるパターンがある場合、STLでマルチスレッドが見られることを願っています。 これにより、マルチスレッド実行のコードでスレッドとミューテックスが使用されなくなります。



今すぐマルチスレッドC ++コードを書く方法は？



私は常に、抽象レベルに応じてスレッドとロックの原始的な使用を削除する同時実行抽象に基づくアルゴリズムを求めています。



あなたの道を進みたい若い開発者に何をお勧めしますか？



あなたをやる気にさせるものを見つけ、たくさんのコードを書き、たくさんのコードを読んでください。 それは、私がそれらを行ってから長年にわたって存在し、それらを理解していない人々がそれらに加える変化の後でも壊れないものを構築するように促します。



プログラミングを始めたとき、私は経験豊富な開発者を見て、10年後には彼らの現在のレベルに追いつくだろうと思ったが、彼らはすでに10年前に進むだろう。 10年後、私は実際に彼らに完全に追いついていたことに気付きました。 テクノロジーは進歩しているので、古いテクノロジーを学ぶ必要はありませんでしたが、同時に新しいテクノロジーも学びました。