Проверка типа "C" в "is" для неструктурированного поведения .NET 4.0 x86 - PullRequest
Новая
       25

Проверка типа "C" в "is" для неструктурированного поведения .NET 4.0 x86

38 голосов
/ 12 мая 2010

Обновление: Я подал отчет об ошибке в Microsoft Connect, пожалуйста, проголосуйте за него!

Обновление 2: Microsoft пометила отчет об ошибке как исправленный

Опубликовано Microsoft 18.08.2010 в 17: 25

Эта ошибка будет исправлена ​​в будущая версия среды выполнения. я боюсь, что еще слишком рано говорить, что будет в пакете обновления или рядом основной выпуск.

После обновления до VS2010 я получаю очень странное поведение с ключевым словом "is".

Программа ниже (test.cs) выводит True при компиляции в режиме отладки (для x86) и False при компиляции с включенной оптимизацией (для x86). Компиляция всех комбинаций в x64 или AnyCPU дает ожидаемый результат, True.

Все комбинации компиляции в .NET 3.5 дают ожидаемый результат, True.

Я использую приведенный ниже командный файл (runtest.bat) для компиляции и тестирования кода с использованием различных комбинаций компилятора .NET Framework.

  • Кто-нибудь еще видел подобные проблемы в .NET 4.0?
  • Все остальные видят то же поведение, что и я, на своем компьютере при запуске runtests.bat?

  • @ $ @ # $ ??

  • Есть ли исправление для этого?

test.cs 

using System;

public class Program
{
    public static bool IsGuid(object item)
    {
        return item is Guid;
    } 

    public static void Main()
    {
        Console.Write(IsGuid(Guid.NewGuid()));
    }
}

runtest.bat 

@echo off

rem Usage:
rem   runtest         -- runs with csc.exe x86 .NET 4.0
rem   runtest 64      -- runs with csc.exe x64 .NET 4.0
rem   runtest v3.5    -- runs with csc.exe x86 .NET 3.5
rem   runtest v3.5 64 -- runs with csc.exe x64 .NET 3.5

set version=v4.0.30319
set platform=Framework

for %%a in (%*) do (
  if "%%a" == "64" (set platform=Framework64)
  if "%%a" == "v3.5" (set version=v3.5)
)

echo Compiler: %platform%\%version%\csc.exe
set csc="C:\Windows\Microsoft.NET\%platform%\%version%\csc.exe"

set make=%csc% /nologo /nowarn:1607 test.cs
rem CS1607: Referenced assembly targets a different processor
rem This happens if you compile for x64 using csc32, or x86 using csc64

%make% /platform:x86
test.exe
echo  =^> x86

%make% /platform:x86 /optimize
test.exe
echo  =^> x86 (Optimized)

%make% /platform:x86 /debug
test.exe
echo  =^> x86 (Debug)

%make% /platform:x86 /debug /optimize
test.exe
echo  =^> x86 (Debug + Optimized)

%make% /platform:x64
test.exe
echo  =^> x64

%make% /platform:x64 /optimize
test.exe
echo  =^> x64 (Optimized)

%make% /platform:x64 /debug
test.exe
echo  =^> x64 (Debug)

%make% /platform:x64 /debug /optimize
test.exe
echo  =^> x64 (Debug + Optimized)

%make% /platform:AnyCPU
test.exe
echo  =^> AnyCPU

%make% /platform:AnyCPU /optimize
test.exe
echo  =^> AnyCPU (Optimized)

%make% /platform:AnyCPU /debug
test.exe
echo  =^> AnyCPU (Debug)

%make% /platform:AnyCPU /debug /optimize
test.exe
echo  =^> AnyCPU (Debug + Optimized)

Результаты теста

При запуске runtest.bat я получаю следующие результаты при установке Win7 x64. 

> runtest 32 v4.0
Compiler: Framework\v4.0.30319\csc.exe
False => x86
False => x86 (Optimized)
True => x86 (Debug)
False => x86 (Debug + Optimized)
True => x64
True => x64 (Optimized)
True => x64 (Debug)
True => x64 (Debug + Optimized)
True => AnyCPU
True => AnyCPU (Optimized)
True => AnyCPU (Debug)
True => AnyCPU (Debug + Optimized)

> runtest 64 v4.0
Compiler: Framework64\v4.0.30319\csc.exe
False => x86
False => x86 (Optimized)
True => x86 (Debug)
False => x86 (Debug + Optimized)
True => x64
True => x64 (Optimized)
True => x64 (Debug)
True => x64 (Debug + Optimized)
True => AnyCPU
True => AnyCPU (Optimized)
True => AnyCPU (Debug)
True => AnyCPU (Debug + Optimized)

> runtest 32 v3.5
Compiler: Framework\v3.5\csc.exe
True => x86
True => x86 (Optimized)
True => x86 (Debug)
True => x86 (Debug + Optimized)
True => x64
True => x64 (Optimized)
True => x64 (Debug)
True => x64 (Debug + Optimized)
True => AnyCPU
True => AnyCPU (Optimized)
True => AnyCPU (Debug)
True => AnyCPU (Debug + Optimized)

> runtest 64 v3.5
Compiler: Framework64\v3.5\csc.exe
True => x86
True => x86 (Optimized)
True => x86 (Debug)
True => x86 (Debug + Optimized)
True => x64
True => x64 (Optimized)
True => x64 (Debug)
True => x64 (Debug + Optimized)
True => AnyCPU
True => AnyCPU (Optimized)
True => AnyCPU (Debug)
True => AnyCPU (Debug + Optimized)
* * Тысяча сорок-девять TL; др

Ответы [ 6 ]

9 голосов
/ 12 мая 2010

Я разработал похожий пример, который так же не работает: 

using System;
using System.Runtime.CompilerServices;

public class Program {
  static void Main() {
    Console.Write(Verify(Test.Create()));
    Console.ReadLine();
  }
  //[MethodImpl(MethodImplOptions.NoInlining)]
  static bool Verify(IDisposable item) {
    return item is Test;
  }
  struct Test : IDisposable {
    public void Dispose() { }
    public static Test Create() { return new Test(); }
  }
}

Это ошибка оптимизатора JIT. Не могу понять, насколько сильно он оптимизирует код. Но мне кажется, что он попадает в беду, когда оптимизирует конвертацию бокса. Честно говоря, довольно серьезная ошибка.

Эта ошибка была исправлена, я больше не могу ее воспроизвести. Моя текущая версия clrjit.dll - 4.0.30319.237 от 17 мая 2011 года. Я не могу точно сказать, какое обновление его исправило. 5 августа 2011 года я получил обновление для системы безопасности, в котором файл clrjit.dll обновлен до версии 235 с датой 12 апреля, которая будет самой ранней.

6 голосов
/ 12 мая 2010

Чтобы ответить на ваш последний вопрос, вы можете добавить атрибут MethodImpl с параметром MethodImplOptions.NoInlining к вашему IsGuid методу в качестве обходного пути для решения проблемы.

Я только что сделал простой тест переключения конфигурации Debug и Release для x86 в .NET 4.0, и это, похоже, решает проблему. Я еще не запустил ваш runtests.bat.

Вам также следует отправить вопрос в Connect , если он еще не отправлен, и связать его со своим вопросом.

4 голосов
/ 12 мая 2010

Это не круто. Я думаю, вы должны сообщить об ошибке. (Connect.microsoft.com)

Кроме того, похоже, это работает (хотя я проверил только для вашего случая сбоя): 

    public static bool IsGuid(object item)
    {
        return item.GetType() == typeof(Guid);
    }
3 голосов
/ 12 мая 2010

За исключением нескольких nops, рефлектор указывает, что единственные различия заключаются в методе IsGuid:

DEBUG: 

.method public hidebysig static bool IsGuid(object item) cil managed
{
    .maxstack 2
    .locals init (
        [0] bool CS$1$0000)
    L_0000: nop 
    L_0001: ldarg.0 
    L_0002: isinst [mscorlib]System.Guid
    L_0007: ldnull 
    L_0008: cgt.un 
    L_000a: stloc.0 
    L_000b: br.s L_000d
    L_000d: ldloc.0 
    L_000e: ret 
}

РЕЛИЗ: 

.method public hidebysig static bool IsGuid(object item) cil managed
{
    .maxstack 8
    L_0000: ldarg.0 
    L_0001: isinst [mscorlib]System.Guid
    L_0006: ldnull 
    L_0007: cgt.un 
    L_0009: ret 
}

Я не достаточно беглый, чтобы объяснить эти различия, но это ответ вики-сообщества, так что, может быть, кто-то другой может просветить нас?

Изменение метода, чтобы сделать его универсальным, работает вокруг этого (возможная ошибка?) 

public static bool IsGuid<T>(T item)
{
    return item is Guid;
}

Как и при принудительном преобразовании его в локальную переменную (но она должна использоваться в методе, чтобы предотвратить включение оптимизаций): 

public static bool IsGuid(object item)
{
    bool a = item is Guid;
    a.ToString();
    return a;
}
2 голосов
/ 12 мая 2010

Вот мои результаты для XP SP3 (x86): 

>runtest
Compiler: Framework\v4.0.30319\csc.exe
False => x86
False => x86 (Optimized)
True => x86 (Debug)
False => x86 (Debug + Optimized)
False => AnyCPU
False => AnyCPU (Optimized)
True => AnyCPU (Debug)
False => AnyCPU (Debug + Optimized)

>runtest v3.5
Compiler: Framework\v3.5\csc.exe
True => x86
True => x86 (Optimized)
True => x86 (Debug)
True => x86 (Debug + Optimized)
True => AnyCPU
True => AnyCPU (Optimized)
True => AnyCPU (Debug)
True => AnyCPU (Debug + Optimized)

Интересный момент в этом результате заключается в том, что цель .NET 4 не выполняется на AnyCPU (работает как x86), но работает на AnyCPU (работает какx64).

0 голосов
/ 20 мая 2010

Интересно, что это работает правильно: 

using System;
public class Program
{
    public static bool IsGuid(object item)
    {
        return item is Guid;
    }

    public static void Main()
    {
        Guid s = Guid.NewGuid();
        Console.Write(IsGuid(s));
    }
}

Вот разница в иле: 

.method public hidebysig static void  Main() cil managed
{
  .entrypoint
  // Code size       23 (0x17)
  .maxstack  1
  .locals init (valuetype [mscorlib]System.Guid V_0)
  IL_0000:  call       valuetype [mscorlib]System.Guid [mscorlib]System.Guid::NewGuid()
  IL_0005:  stloc.0
  IL_0006:  ldloc.0
  IL_0007:  box        [mscorlib]System.Guid
  IL_000c:  call       bool Program::IsGuid(object)
  IL_0011:  call       void [mscorlib]System.Console::Write(bool)
  IL_0016:  ret
} // end of method Program::Main
Добро пожаловать на сайт PullRequest, где вы можете задавать вопросы и получать ответы от других членов сообщества.

Нет похожих вопросов

...