6

バックグラウンド

この質問は私に何かを考えさせました。最近、 linq padの IL 機能を調べていたので、同じ問題に対する 2 つのアプローチの IL コードを比較して、どちらが最適かを「判断」しています。

配列の変換に関する上記のリンクの質問を使用して、2 つの回答の IL コードを生成しました。

var arr = new string[] { "1", "2", "3", "4" };
var result = Array.ConvertAll(arr, s => Int32.Parse(s));

プロデュース:

IL_0001:  ldc.i4.4    
IL_0002:  newarr      System.String
IL_0007:  stloc.2     
IL_0008:  ldloc.2     
IL_0009:  ldc.i4.0    
IL_000A:  ldstr       "1"
IL_000F:  stelem.ref  
IL_0010:  ldloc.2     
IL_0011:  ldc.i4.1    
IL_0012:  ldstr       "2"
IL_0017:  stelem.ref  
IL_0018:  ldloc.2     
IL_0019:  ldc.i4.2    
IL_001A:  ldstr       "3"
IL_001F:  stelem.ref  
IL_0020:  ldloc.2     
IL_0021:  ldc.i4.3    
IL_0022:  ldstr       "4"
IL_0027:  stelem.ref  
IL_0028:  ldloc.2     
IL_0029:  stloc.0     
IL_002A:  ldloc.0     
IL_002B:  ldsfld      UserQuery.CS$<>9__CachedAnonymousMethodDelegate1
IL_0030:  brtrue.s    IL_0045
IL_0032:  ldnull      
IL_0033:  ldftn       b__0
IL_0039:  newobj      System.Converter<System.String,System.Int32>..ctor
IL_003E:  stsfld      UserQuery.CS$<>9__CachedAnonymousMethodDelegate1
IL_0043:  br.s        IL_0045
IL_0045:  ldsfld      UserQuery.CS$<>9__CachedAnonymousMethodDelegate1
IL_004A:  call        System.Array.ConvertAll
IL_004F:  stloc.1     

b__0:
IL_0000:  ldarg.0     
IL_0001:  call        System.Int32.Parse
IL_0006:  stloc.0     
IL_0007:  br.s        IL_0009
IL_0009:  ldloc.0     
IL_000A:  ret         

そして他の答え:

var arr = new string[] { "1", "2", "3", "4" };
var result = arr.Select(s => int.Parse(s)).ToArray();

プロデュース:

IL_0001:  ldc.i4.4    
IL_0002:  newarr      System.String
IL_0007:  stloc.2     
IL_0008:  ldloc.2     
IL_0009:  ldc.i4.0    
IL_000A:  ldstr       "1"
IL_000F:  stelem.ref  
IL_0010:  ldloc.2     
IL_0011:  ldc.i4.1    
IL_0012:  ldstr       "2"
IL_0017:  stelem.ref  
IL_0018:  ldloc.2     
IL_0019:  ldc.i4.2    
IL_001A:  ldstr       "3"
IL_001F:  stelem.ref  
IL_0020:  ldloc.2     
IL_0021:  ldc.i4.3    
IL_0022:  ldstr       "4"
IL_0027:  stelem.ref  
IL_0028:  ldloc.2     
IL_0029:  stloc.0     
IL_002A:  ldloc.0     
IL_002B:  ldsfld      UserQuery.CS$<>9__CachedAnonymousMethodDelegate1
IL_0030:  brtrue.s    IL_0045
IL_0032:  ldnull      
IL_0033:  ldftn       b__0
IL_0039:  newobj      System.Func<System.String,System.Int32>..ctor
IL_003E:  stsfld      UserQuery.CS$<>9__CachedAnonymousMethodDelegate1
IL_0043:  br.s        IL_0045
IL_0045:  ldsfld      UserQuery.CS$<>9__CachedAnonymousMethodDelegate1
IL_004A:  call        System.Linq.Enumerable.Select
IL_004F:  call        System.Linq.Enumerable.ToArray
IL_0054:  stloc.1     

b__0:
IL_0000:  ldarg.0     
IL_0001:  call        System.Int32.Parse
IL_0006:  stloc.0     
IL_0007:  br.s        IL_0009
IL_0009:  ldloc.0     
IL_000A:  ret     

これを見て、私が言えることは、後者のオプションであるということだけです

  • 余分に1行かかります
  • 最初の答えがそうでない場合はlinqを使用します
  • IL_0039 を介して異なる方法で Int を作成します。

質問

  • この特定の例について、私の仮定は正しいですか?
  • 一般に、IL コードを介して 2 つのソリューションを比較するにはどうすればよいですか?
  • 一般に、IL LOC が少ないソリューションは、より高速になるか、またはメモリ使用量が少なくなることを意味しますか?
  • タイトルが示すように、IL コードを比較して、どの手法がより高速または優れているかを判断できますか?

FWIW、私はこれを頻繁に行うわけではなく、まれに、職場の開発者の間で議論が持ち上がったときにのみ行います。誰かが「ああ、これはもっと効率的だ」と言うだろうし、それを linqpad に投入して IL コードをチェックアウトする。また、FWIW、私はほとんどの場合、効率的/高速なアプローチを取得する前に、それを機能させることを順守しています。私が開発しているもののILコードを常に比較していると人々が思わないように:)

4

2 に答える 2

8
  • この特定の例について、私の仮定は正しいですか?
  • 一般に、IL コードを介して 2 つのソリューションを比較するにはどうすればよいですか?
  • 一般に、IL LOC が少ないソリューションは、より高速になるか、またはメモリ使用量が少なくなることを意味しますか?
  • タイトルが示すように、IL コードを比較して、どの手法がより高速または優れているかを判断できますか?

1)何が起こっているかについてのあなたの仮定は正しいです。

2) どちらが「より良い」かを判断するには、IL コードが何をしているかを理解する必要があります。

3) いいえ。実行に必要な命令が少ないことを意味します。ただし、これらの個々の命令は、より多くのメモリを使用したり、より少ないメモリを使用したりする場合があります。たとえば、参照していた命令は、1 つのケースでは Func デリゲートを作成し、もう 1 つのケースでは Converter オブジェクトを作成しています。これ以上の情報がなければ、これら 2 つのどちらがより高価かを判断するのは困難です。

4) はい、いいえ....

問題は、IL コードが何が起こっているかを教えてくれることですが、実際には IL でネストされた呼び出しが大きなパフォーマンスの原動力になります。IL コードがあらゆる場所で単純な操作を実行している場合、一般に、短いほど良い (ただし、個々の IL 操作自体の速度は異なる場合があります)。コードが他の型 (あなたの型など) のメソッドまたはコンストラクターを呼び出すと、これだけでは判断できなくなります。IL の 1 行は、あるケース (たとえば、高価なメソッドを呼び出している場合) では、別のケース (単純な操作を実行している場合) の 50 行よりも長くかかることがあります。

たとえば、上記のケースでは、最初の 20 回の操作は非常に高速ですが、最後の数回は実行時間のほぼすべてを占めています。

于 2009-08-19T00:54:26.423 に答える
3

両方の回答の作業のチャンクは、IL 004A (および 2 番目の回答の IL 004F) で行われます。これらの外部呼び出しのコストがわからない限り、2 つの回答のパフォーマンスを比較できる実際的な根拠はありません。

于 2009-08-19T00:58:06.703 に答える