Download free for 30 days
Sign in
Upload
Language (EN)
Support
Business
Mobile
Social Media
Marketing
Technology
Art & Photos
Career
Design
Education
Presentations & Public Speaking
Government & Nonprofit
Healthcare
Internet
Law
Leadership & Management
Automotive
Engineering
Software
Recruiting & HR
Retail
Sales
Services
Science
Small Business & Entrepreneurship
Food
Environment
Economy & Finance
Data & Analytics
Investor Relations
Sports
Spiritual
News & Politics
Travel
Self Improvement
Real Estate
Entertainment & Humor
Health & Medicine
Devices & Hardware
Lifestyle
Change Language
Language
English
Español
Português
Français
Deutsche
Cancel
Save
EN
Uploaded by
Kouji Matsui
17,684 views
Final LINQ extensions III
Final LINQ extensions III - Center CLR part 4 session http://www.kekyo.net/2015/08/30/5259
Software
◦
Read more
8
Save
Share
Embed
Embed presentation
Download
Downloaded 13 times
1
/ 57
2
/ 57
3
/ 57
4
/ 57
5
/ 57
6
/ 57
7
/ 57
8
/ 57
9
/ 57
10
/ 57
11
/ 57
12
/ 57
13
/ 57
14
/ 57
15
/ 57
16
/ 57
17
/ 57
18
/ 57
19
/ 57
20
/ 57
21
/ 57
22
/ 57
23
/ 57
24
/ 57
25
/ 57
26
/ 57
27
/ 57
28
/ 57
29
/ 57
30
/ 57
31
/ 57
32
/ 57
33
/ 57
34
/ 57
35
/ 57
36
/ 57
37
/ 57
38
/ 57
39
/ 57
40
/ 57
41
/ 57
42
/ 57
43
/ 57
44
/ 57
45
/ 57
46
/ 57
47
/ 57
48
/ 57
49
/ 57
50
/ 57
51
/ 57
52
/ 57
53
/ 57
54
/ 57
55
/ 57
56
/ 57
57
/ 57
More Related Content
PDF
Final LINQ Extensions
by
Kouji Matsui
PDF
Final LINQ Extensions II
by
Kouji Matsui
PDF
Hello! intermediate language
by
Kouji Matsui
PDF
C#でわかる こわくないMonad
by
Kouji Matsui
PDF
.NET Coreから概観する.NETのOSSへの取り組み
by
Kouji Matsui
PDF
今日からできる!簡単 .NET 高速化 Tips
by
Takaaki Suzuki
PPTX
最速C# 7.x
by
Yamamoto Reki
PDF
Inside FastEnum
by
Takaaki Suzuki
Final LINQ Extensions
by
Kouji Matsui
Final LINQ Extensions II
by
Kouji Matsui
Hello! intermediate language
by
Kouji Matsui
C#でわかる こわくないMonad
by
Kouji Matsui
.NET Coreから概観する.NETのOSSへの取り組み
by
Kouji Matsui
今日からできる!簡単 .NET 高速化 Tips
by
Takaaki Suzuki
最速C# 7.x
by
Yamamoto Reki
Inside FastEnum
by
Takaaki Suzuki
What's hot
PDF
これからの「async/await」の話をしよう
by
Kouji Matsui
PDF
Bluetoothでgo!
by
Kouji Matsui
PPTX
Blazor0.6.0を用いたスクリプトレスWebアプリ開発の可能性
by
Yamamoto Reki
PDF
SignalRブートキャンプ
by
Kouji Matsui
PDF
async/awaitダークサイド is 何
by
Kouji Matsui
PDF
【Unite Tokyo 2019】Understanding C# Struct All Things
by
UnityTechnologiesJapan002
PDF
いまさら恥ずかしくてAsyncをawaitした
by
Kouji Matsui
PPTX
Net fringejp2016
by
Yusuke Fujiwara
PDF
Async DeepDive basics
by
Kouji Matsui
PPTX
Unityで使える C# 6.0~と .NET 4.6
by
信之 岩永
PDF
Flutterで単体テストを行う方法とGitHub Actionsを使った自動化
by
Shinnosuke Tokuda
PPTX
C# 8.0 非同期ストリーム
by
信之 岩永
PDF
Eclipse xtext 紹介
by
Akira Tanaka
PPTX
C#で速度を極めるいろは
by
Core Concept Technologies
PPTX
C#とILとネイティブと
by
信之 岩永
PDF
Xtext 紹介
by
Akira Tanaka
PPTX
TVMの次期グラフIR Relayの紹介
by
Takeo Imai
PPTX
C#言語機能の作り方
by
信之 岩永
PPTX
プログラミング .NET Framework 第4版
by
信之 岩永
PDF
「ディープラーニングでは、エコシステムが大切よ!」
by
Mr. Vengineer
これからの「async/await」の話をしよう
by
Kouji Matsui
Bluetoothでgo!
by
Kouji Matsui
Blazor0.6.0を用いたスクリプトレスWebアプリ開発の可能性
by
Yamamoto Reki
SignalRブートキャンプ
by
Kouji Matsui
async/awaitダークサイド is 何
by
Kouji Matsui
【Unite Tokyo 2019】Understanding C# Struct All Things
by
UnityTechnologiesJapan002
いまさら恥ずかしくてAsyncをawaitした
by
Kouji Matsui
Net fringejp2016
by
Yusuke Fujiwara
Async DeepDive basics
by
Kouji Matsui
Unityで使える C# 6.0~と .NET 4.6
by
信之 岩永
Flutterで単体テストを行う方法とGitHub Actionsを使った自動化
by
Shinnosuke Tokuda
C# 8.0 非同期ストリーム
by
信之 岩永
Eclipse xtext 紹介
by
Akira Tanaka
C#で速度を極めるいろは
by
Core Concept Technologies
C#とILとネイティブと
by
信之 岩永
Xtext 紹介
by
Akira Tanaka
TVMの次期グラフIR Relayの紹介
by
Takeo Imai
C#言語機能の作り方
by
信之 岩永
プログラミング .NET Framework 第4版
by
信之 岩永
「ディープラーニングでは、エコシステムが大切よ!」
by
Mr. Vengineer
Similar to Final LINQ extensions III
PDF
LINQソースでGO!
by
Kouji Matsui
PDF
The History of LINQ
by
Yoshifumi Kawai
PDF
Linq To Fun
by
deflis
PPTX
Linqの速度測ってみた
by
Core Concept Technologies
PPTX
C# 式木 (Expression Tree) ~ LINQをより深く理解するために ~
by
Fujio Kojima
PDF
VS勉強会 .NET Framework 入門
by
kamukiriri
PPTX
Visual Studio による開発環境・プログラミングの進化
by
Fujio Kojima
PDF
linq.js - Linq to Objects for JavaScript
by
Yoshifumi Kawai
LINQソースでGO!
by
Kouji Matsui
The History of LINQ
by
Yoshifumi Kawai
Linq To Fun
by
deflis
Linqの速度測ってみた
by
Core Concept Technologies
C# 式木 (Expression Tree) ~ LINQをより深く理解するために ~
by
Fujio Kojima
VS勉強会 .NET Framework 入門
by
kamukiriri
Visual Studio による開発環境・プログラミングの進化
by
Fujio Kojima
linq.js - Linq to Objects for JavaScript
by
Yoshifumi Kawai
More from Kouji Matsui
PDF
パターンでわかる! .NET Coreの非同期処理
by
Kouji Matsui
PDF
Making archive IL2C #6-55 dotnet600 2018
by
Kouji Matsui
PDF
Matrix signal controller and BrainPad overview
by
Kouji Matsui
PDF
Fun with BrainPad
by
Kouji Matsui
PDF
What's Functional?
by
Kouji Matsui
PDF
Pitfall for WioLTE
by
Kouji Matsui
PDF
How to make the calculator
by
Kouji Matsui
PDF
Write common, run anywhere
by
Kouji Matsui
PDF
Locality of Reference
by
Kouji Matsui
PDF
Nespのコード生成
by
Kouji Matsui
PDF
You will be assimilated. Resistance is futile.
by
Kouji Matsui
PDF
How to meets Async and Task
by
Kouji Matsui
PDF
Beachhead implements new opcode on CLR JIT
by
Kouji Matsui
PDF
Async deepdive before de:code
by
Kouji Matsui
PDF
Thread affinity and CPS
by
Kouji Matsui
PDF
continuatioN Linking
by
Kouji Matsui
PDF
真Intermediate languageのキホン
by
Kouji Matsui
PDF
Win32 APIをてなずけよう
by
Kouji Matsui
PDF
式の体を成して無い式を式の体を成すように式と式木で何とかする式
by
Kouji Matsui
PDF
不健康なIt戦士を健康的にするアレの話
by
Kouji Matsui
パターンでわかる! .NET Coreの非同期処理
by
Kouji Matsui
Making archive IL2C #6-55 dotnet600 2018
by
Kouji Matsui
Matrix signal controller and BrainPad overview
by
Kouji Matsui
Fun with BrainPad
by
Kouji Matsui
What's Functional?
by
Kouji Matsui
Pitfall for WioLTE
by
Kouji Matsui
How to make the calculator
by
Kouji Matsui
Write common, run anywhere
by
Kouji Matsui
Locality of Reference
by
Kouji Matsui
Nespのコード生成
by
Kouji Matsui
You will be assimilated. Resistance is futile.
by
Kouji Matsui
How to meets Async and Task
by
Kouji Matsui
Beachhead implements new opcode on CLR JIT
by
Kouji Matsui
Async deepdive before de:code
by
Kouji Matsui
Thread affinity and CPS
by
Kouji Matsui
continuatioN Linking
by
Kouji Matsui
真Intermediate languageのキホン
by
Kouji Matsui
Win32 APIをてなずけよう
by
Kouji Matsui
式の体を成して無い式を式の体を成すように式と式木で何とかする式
by
Kouji Matsui
不健康なIt戦士を健康的にするアレの話
by
Kouji Matsui
Final LINQ extensions III
1.
遂に完結 さらば、LINQ…
2.
Final LINQ Extensions
Ⅲ Center CLR Part.4 – 2015.05.10 Kouji Matsui @kekyo2
3.
自己紹介 けきょ (@kekyo2
Kouji Matsui) Microsoft MVP for .NET (2015.04~) LINQ, Async, .NETとか Center CLRオーガナイザーです 会社やってます アーキとかフレームワーク設計とか
4.
アジェンダ LINQソース 式木の使われ方
IEnumerableへのフォールバック 並列化 Pick it up for Multiple! TPLとの関係
5.
フフフ、メモリを救いたいか? ヒントをやろう らんどせるさん曰く: Final LINQ
Extensionsでは、 ずっと「オンメモリ」の話 をしてきたヨネ?
6.
デリゲートによる条件式 フィルタ式(Where)の等価実装 フィルタ式を指定するデリゲート こんな風に使える デリゲートを実行
7.
仮の話 LINQで指定したフィルター式をサーバーに送信し、サーバー側で解 釈すれば、クライアント側の非力なPCじゃなくて、剛力なサーバー でフィルター処理が実行できるのでは? (例えばSQL Server) フォーン的な何か サーバーで実行
8.
仮の話 LINQで指定したフィルター式を、動的に論理的に解釈できれば良い のでは? ここの式が、「value変数を2で割った余りが0である」と、 動的に解釈できれば… こーんなSQL文(疑似)に変換して、サーバー側で 実行できる
9.
式を動的に解釈できるようにしたい フィルタ式(Where)の等価実装 デリゲート…. ? 使い方は変わらず
10.
式木の宣言 記述するラムダ式は同じ
11.
式木の構造 ラムダ式を示す式木 Expression<Func<int, bool>> int BinaryExpression
(Equal) ConstantExpression (0)intBinaryExpression (Modulo)int ParameterExpression (v)int ConstantExpression (2)int ParameterExpression[0] (v)
12.
式木の探索
13.
式木の探索
14.
式木の探索
15.
そんなわけで…. 式木(ExpressionTree)を使うと、式の構造自体を動的に解析できま す。 そして、式木を書かせるためには、「Expression<Func<…>>」のような 形式の「ラムダ式木」型を受けるようにしておけばOK。
使う側は、普段通りにLINQクエリを書いているつもりで、実は式木 を書かされている事に気が付かない。 式木を解析して、SQL文に変換できれば、サーバーに送って直接クエ リを実行できます。つまり、クライアント側のメモリ上で、超大量 のデータをフィルターしたりソートしたりする、というような、非 現実的なことはやらなくても済みます。
16.
IQueryableインターフェイス 引数にデリゲートを受けるのではなく、ラムダ式木を受け取る一連 の拡張メソッドとして、「IQueryable」インターフェイスと 「Queryableクラス(の拡張メソッド群)」が、標準で用意されてい ます。 Queryable.Where。条件式が ラムダ式木となっている Enumerable.Where。条件式 がデリゲートとなっている そして、Queryable.WhereはIQueryableを返すので、 次に連なるLINQ式は自動的にQueryableの拡張メ ソッドを使うことになります。
17.
IQueryableの理想郷 クエリプロバイダーの実装は省略(複雑なので:変換できることが 分かってもらえればOK) ブログのAdvent
LINQ 2013を見てください。 実際、自分で書かなくても、「EntityFramework」という、こなれたラ イブラリがあります。 昔はLINQ to SQLという、SQL Server向けの実装もありましたが、今は完全に Obsoleteです。
18.
IQueryableの現実 IQueryableインターフェイスとQueryableによる標準の拡張メソッド群 と、この背景で動作するクエリプロバイダーを実装すると、LINQの 計算を完全にアウトソースする、独自のシステムを構築できます。 しかし….
Queryableクラスの標準演算子は、対象のシステムをうまく表現出来ていない 可能性があります。例えば、リモートシステムは、検索条件に独自の制限が あったり、グループ化(GroupBy)という概念は無かったりとか。 そういう場合でもLINQでコードは書けてしまう(== コンパイル時にエラーを 検出出来ない・実行時に式木解析中に発見し、エラー)。 逆に、LINQの標準演算子では定義されていないような演算が出来ない(クエ リヒントとか。独自にIQeuryableの拡張メソッドを定義すれば不可能ではない が…)
19.
LINQ、ダメなのかよ、終わっちまうのかよ… えーとですね、つまり、IQueryableに頼らなければ良いのです。 この問題の核心は、Queryableに定義された拡張メソッドが、外部シ ステムとして「LINQ
to Objectっぽいシステム」や「SQL Serverのよう なRDBもの」 を想定している事が問題なのです。
20.
え? まだ、ピンとこない?
21.
IQueryableに頼らないLINQ IQueryableやクエリプロバイダーに頼らないLINQソース(供給源)を 書いてみます。 何となくO/Rマッパー的な物を想定して、最終的に限定的なSQL文 (WHEREとSELECT)を生成する所までを実現してみましょう。
え、そうです、このセッションで説明できる程度の事ですよ。 OreOreテーブルの構造を モデル化したクラス カラムを定義
22.
テーブルを司るクラス テーブル名を保持 テーブルだけが指定されて いるので、全件取得のSQL
23.
行けますね? え、当たり前だって? いやいや、ここからですよ
24.
フィルター(Where)のサポート Whereメソッドを追加: 式木を指定させて、 WhereSqlGeneratorを生成
25.
Where演算結果を司るクラス 受け取ったテーブルと 式木をそのまま保存 とりあえず、式木はそのままダンプ (式木はラムダ式なので、右辺のBodyだけ使う)
26.
なんか、それっぽくなった フィルター式がSQL文に 盛り込まれた! ちゃんとLINQっぽく Whereが使える
27.
クエリ構文でも行けますよ 前回、条件さえ満たしていれば、クエリ構文が使えることを説明 しました。だから... そのまま射影するなら、Whereのサポート だけでクエリ構文が使える!
28.
射影したいからSelectをサポート WhereSqlGeneratorに Selectメソッドを追加 例によってSelectSqlGeneratorに 情報を渡す
29.
Select結果を司るクラス 全部の情報がそろったので、 SQLを生成
30.
射影も可能に!
31.
マルチカラムは? 匿名クラスを使用して マルチカラムに射影 なんかちょっと変
32.
匿名クラスを生成するNew式 Selectの式木はNew式と 仮定して... Newのメンバ初期化式は全て(モデルの) フィールド参照式と仮定して、名前を取得 NewExpression int FieldExpression[0] (ID)
FieldExpression[1] (Name)string newを使って匿名クラスに射影すると、式木上はNewExpressionとい う式木に格納されます。だから:
33.
これで、かなりそれっぽく WHEREの式を本物に近づけるには、ラムダ式 のBodyを更に細かく解析してSQL式に変換す る必要がある
34.
結果はどうやって得るのか? IEnumerableを実装して 列挙可能に サーバーにSQL文を送信して実行 (非同期待機してないのは課題) 結果はJSON配列で返される (仮定)ので、逆シリアル化 して列挙子を返す
35.
LINQ to OreOre
O/Rマッパー クエリの列挙(実行)が可能に
36.
LINQ to OreOreの展望
このデモはあくまで「SQLモドキ文」の生成なので、色々不備はあり ます: フィルター式が本物のSQL式と違う(式木の解析が必要) 連結されたWhere・Whereのないクエリ・Selectしないで列挙など、LINQクエ リの柔軟性に対応していない(多態性使ったりして、より柔軟にSQL文を構 築させる) IEnumerableと拡張メソッドのように分離されていない(必要であれば) 必要な演算子のサポート(OrderBy・Joinなど) このデモコードは、GitHubに上げておきます: https://github.com/kekyo/CenterCLR.CustomLINQProviderDemo まあ、しかし、LINQでクエリを書くと、RDB等のリモートサーバーに クエリを送信して実行させる事も出来る、って事が分かってもらえ ましたか?
37.
LINQと式木のまとめ LINQ to
Objectsでは、演算子の条件式などをデリゲート(ラムダ式) で指定する。標準演算子はEnumerableクラスに定義されている。 一方、IQueryableに対応する演算子は、Queryableクラスに定義されて おり、一見すると殆ど標準演算子と同じ。但し、Queryableの方はデ リゲートではなく「式木」が渡されるようになっている。 式木がクエリプロバイダーに渡され、様々に独自解釈可能なインフ ラが構築できる。 しかし、構造的に大げさすぎる場合は、式木を使った独自解釈可能 なインフラを、一から作る事が出来る。 むしろ汎用性のないシステム向けにLINQをサポートさせるなら、 IQueryableを使わない方が色々柔軟に設計できる。
38.
IEnumerableへのフォールバック IQeuryableはIEnumerableを継承しています。だから、IQueryableに対 して直接foreach等で列挙することも出来ます。 IEnumerable IEnumerable<T> IQueryable IQueryable<T> foreachすると、IEnumerable<T>の GetEnumeratorメソッドが呼び出される。 SelectSqlGeneratorでもやりましたね?
39.
IEnumerableへのフォールバック IQueryableに対して演算子を適用すると、Queryableクラスのメソッド が使われ、クエリプロバイダーが管理するシステムで動作します。 しかし、AsEnumerableメソッドでIEnumerableに変換しておくと、以 後の操作はLINQ to
Objectsの世界で行われます。 実はキャストでもOK IQueryable<T> (LINQ to Entities) の世界 (クエリプロバイダーが管理するシステム) IEnumerable<T> (LINQ to Objects) の世界 (オンメモリ) AsEnumerable()
40.
IEnumerableへのフォールバック ここまではIQueryableのバックグラウンドに存在する クエリプロバイダーが処理 ここ以降、foreachの列挙もLINQ to Objectsが オンメモリで処理 AsEnumerableの前も後も、パイプライン結合 されているから、必要ない限りは バッファリングされない!
41.
アジェンダ LINQソース 式木の使われ方
IEnumerableへのフォールバック 並列化 Pick it up for Multiple! TPLとの関係
42.
並列LINQ - PLINQ
PLINQとは、LINQクエリの指定した演算子から、スレッド並列化を使 用して、演算子を並列実行するインフラです。 使っているシステムのコアスレッド数が多いほど、演算子が並列実行 されます。 「AsParallel」演算子を挟むだけで、以降の演算子は並列実行されます。 超イージーでマルチコアに対応出来る!! (表向きには)
43.
並列LINQ - PLINQ
PLINQは超お手軽。「AsParallel」付けるだけ! PLINQも実は、一種の独自クエリプロバイダーです。 以下はただのLINQ to Objects
44.
並列LINQ - PLINQ
PLINQは、ParallelEnumerableに定義された拡張メソッドを使います。 そしてクエリはIEnumerable<T>でもIQueryable<T>でもない、 「ParallelQuery<T>」です。 ParallelQuery<T> AsParallel<T>(IEnumerable<T> e) ParallelQuery<T> ParallelEnumerable.Where(ParallelQuery<T> q) IEnumerable<T> Enumerable.Select<T>(IEnumerable<T> e) ParallelQuery<T>は、IEnumerable<T>を実装 しているので、foreachで列挙出来る
45.
さぞかし速くなっ..... てない?! むしろ遅くなった
orz
46.
何が起きているのか? そもそも、並列化される演算子がWhere一個だけなので: 高速化させるには、もっともっと大量のデータを裁く必要がある。
PLINQのオーバーヘッドが大きいので、相殺されてかえって遅くなる。 2654 19243 558 AsParallel() データ分割 Where() Where() 72389 GetEnumerator() データ再集約 PLINQ区間
47.
高速化のポイント 2654 19243 558 AsParallel() 前のデータを 如何に「大量」に「高速に」 投入できるか? Where()
Where() 72389 並列演算する計算量を 如何に増やすか?
48.
まずは分かりやすく計算量を増やす 計算量が多くなる シミュレート
49.
飢餓状態のPLINQに食わすメシ xor-shiftベースにして 高速化 供給が高速化されると 結果にも影響
50.
更に並列計算量を増やす 一桁増加 ようやく大幅に 向上する結果に
51.
PLINQの高速化は: 演算子にどれだけ負荷をかけられるか RDBでWHERE句やJOIN句を工夫するのと同じように、LINQでも演算子に計算 量を集約することが重要。
LINQソースとなるデータの供給源を高速化する そもそも供給される(時間当たりの)データ量が少ないと意味がない。 PLINQは、データの分散と集約を完全に自動処理しているので、オー バーヘッドが大きい。ParallelQuery<T>のお蔭で非常に透過的で扱いや すいが、クエリの工夫は往々にして必要。 まぁ、パラダイスは無いって事ですね。
52.
出たり入ったり AsEnumerable()を使って、並列処理を「終わらせる」事が可能。 GetEnumerator()が呼び出されると、LINQ to
Objectsの世界に戻る。 data.AsParallel().OrderBy(value => value). AsEnumerable(). Where(value => (value % 2) == 0). .... ParallelQuery<T>はIEnumerable<T>を実装しているので、IQueryable<T> とか他の独自LINQから、パイプライン結合でPLINQに持ち込むことも 可能(つまり、バッファリング不要)。 oreores.Where(oreore => oreore.ID == 123).Distinct(). AsParallel(). OrderBy(oreore => oreore.Name). .... バッファリング不要を強調してるけ ど、まさか大量のデータを扱う時に ToList()とかしてないわよね?
53.
別の方法を考える TPL (Task
Palallel Library) は、ちょっと古い方法だけど、並列化の粒度 とか、並列化すべき手段がある程度分かっている場合は、却って扱 いやすい(== PLINQの並列化は、効果を読むのが難しい)。 データの供給は、 IEnumerableベースで可能 しかし、ここからはただのブロックな ので、LINQで処理させる事は出来ない (従来型の手続き実装・ココが痛い) オーバーヘッドが 低いので多少速い
54.
Awaitableを応用する TPLっぽいですが、非同期処理を並列化します。 C#
5.0のasync-awaitを使って、スレッドではなくタスクベースで並列 化します。Task.WhenAll()を使うのがポイント。 Task.Runでワーカースレッドとして 実行しているが、 ワーカースレッドベースではない 何からの非同期処理でもOK 全てのTaskが完了するのを待機する ワーカースレッドは上限を制限している ので、無制限に生成されることはない
55.
まとめ 自分でワーカースレッド作ってデータをキューに溜めて、とか、そ ろそろ馬鹿らしくなってきましたか?
56.
くっ、まだ負けを認めたわけではないぞ LINQのような顔をした何かとして、 我はいつかまた必ず復活する。 その時を楽しみにしておれ。 しばしの別れだ...
57.
お疲れ様でした! スライドはブログに掲載します。 http://www.kekyo.net/
Download