.নেট জেআইটি সম্ভাব্য ত্রুটি?

404

ভিজ্যুয়াল স্টুডিওর অভ্যন্তরে রিলিজ চালানো এবং ভিজ্যুয়াল স্টুডিওর বাইরে প্রকাশের সময় নিম্নলিখিত কোডটি আলাদা আউটপুট দেয়। আমি ভিজ্যুয়াল স্টুডিও 2008 ব্যবহার করছি এবং নেট। 3.5 কে লক্ষ্য করছি। আমি .NET 3.5 এসপি 1 চেষ্টা করেছি।

ভিজ্যুয়াল স্টুডিওর বাইরে চলাকালীন, জেআইটিকে লাথি মেরে ফেলা উচিত ither হয় (ক) সি # এর সাথে সূক্ষ্ম কিছু চলছে যা আমি মিস করছি বা (খ) জেআইটি আসলে ত্রুটিযুক্ত। আমি সন্দেহ করি যে জেআইটি ভুল হতে পারে তবে আমি অন্য সম্ভাবনার বাইরে চলে যাচ্ছি ...

ভিজ্যুয়াল স্টুডিওর ভিতরে চলার সময় আউটপুট:

ভিজ্যুয়াল স্টুডিওর বাইরে প্রকাশের সময় আউটপুট:

কারণ কি?

using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;

namespace Test
{
    struct IntVec
    {
        public int x;
        public int y;
    }

    interface IDoSomething
    {
        void Do(IntVec o);
    }

    class DoSomething : IDoSomething
    {
        public void Do(IntVec o)
        {
            Console.WriteLine(o.x.ToString() + " " + o.y.ToString()+",");
        }
    }

    class Program
    {
        static void Test(IDoSomething oDoesSomething)
        {
            IntVec oVec = new IntVec();
            for (oVec.x = 0; oVec.x < 2; oVec.x++)
            {
                for (oVec.y = 0; oVec.y < 2; oVec.y++)
                {
                    oDoesSomething.Do(oVec);
                }
            }
        }

        static void Main(string[] args)
        {
            Test(new DoSomething());
            Console.ReadLine();
        }
    }
}

c# jit

— ফিলিপ ওয়েলচ
সূত্র

হ্যাঁ - এটি কীভাবে:। নেট জেআইটি - সংকলন হিসাবে প্রয়োজনীয় হিসাবে কোনও কিছুর মধ্যে গুরুতর বাগ খুঁজে পাওয়া!

— আন্দ্রেস জোল্টান

এটি x86 এর 4.0 ফ্রেমওয়ার্কের 9 ই ডিসেম্বর আমার বিল্ডে তিরস্কার করতে দেখা যাচ্ছে। আমি এটি জিটার দলের সাথে দিয়ে দেব। ধন্যবাদ!

— এরিক লিপার্ট

এটি খুব কম কয়েকটি প্রশ্নের মধ্যে একটি যা আসলে সোনার ব্যাজ প্রাপ্য।

— মেহেরদাদ আফশারি

এই প্রশ্নটিতে আমরা সকলেই আগ্রহী এই বিষয়টি প্রমাণ করে যে আমরা .NET জেআইটি, ভাল কাজ করা মাইক্রোসফ্টে বাগগুলি আশা করি না ।

— ইয়ান রিংরোজ

আমরা সকলেই মাইক্রোসফ্টের উদ্বেগের সাথে অপেক্ষা করছি .....

— তালহা

উত্তর:

211

এটি একটি জেআইটি অপ্টিমাইজার বাগ। এটি অভ্যন্তরীণ লুপটিকে তালিকাভুক্ত করছে তবে ওভেক.ইয়ের মানটি সঠিকভাবে আপডেট করছে না:

      for (oVec.x = 0; oVec.x < 2; oVec.x++) {
0000000a  xor         esi,esi                         ; oVec.x = 0
        for (oVec.y = 0; oVec.y < 2; oVec.y++) {
0000000c  mov         edi,2                           ; oVec.y = 2, WRONG!
          oDoesSomething.Do(oVec);
00000011  push        edi  
00000012  push        esi  
00000013  mov         ecx,ebx 
00000015  call        dword ptr ds:[00170210h]        ; first unrolled call
0000001b  push        edi                             ; WRONG! does not increment oVec.y
0000001c  push        esi  
0000001d  mov         ecx,ebx 
0000001f  call        dword ptr ds:[00170210h]        ; second unrolled call
      for (oVec.x = 0; oVec.x < 2; oVec.x++) {
00000025  inc         esi  
00000026  cmp         esi,2 
00000029  jl          0000000C

আপনি যখন OVec.y ইনক্রিমেন্ট 4 এ বাড়িয়ে দিবেন তখন বাগটি অদৃশ্য হয়ে যায়, এটি আনরোল করার জন্য অনেক কল।

এর একটাই কাজ:

  for (int x = 0; x < 2; x++) {
    for (int y = 0; y < 2; y++) {
      oDoesSomething.Do(new IntVec(x, y));
    }
  }

আপডেট: আগস্ট ২০১২-এ পুনরায় পরীক্ষা করা হয়েছে, এই বাগটি 4.0.30319 জিটার সংস্করণে ঠিক করা হয়েছিল। তবে এখনও ভি 2.0.50727 জিটারে উপস্থিত রয়েছে। এটি এত দীর্ঘ পরে পুরানো সংস্করণে এটি ঠিক করবে বলে মনে হয় না।

— হান্স প্যাস্যান্ট
সূত্র

+1, অবশ্যই একটি বাগ - আমি সম্ভবত ত্রুটির শর্তগুলি চিহ্নিত করতে পেরেছি (এটি বলছে না যে নবুবজ আমার কারণেই এটি পেয়েছিল, যদিও!), তবে এটি (এবং আপনার, নিক, আপনার জন্যও +1) দেখায় যে জেআইটি অপরাধী। ইন্টারেস্টিকটি শ্রেণি হিসাবে ঘোষিত হলে অপ্টিমাইজেশনটি মুছে ফেলা হয় বা আলাদা হয় তা আকর্ষণীয়। এমনকি লুপের একই আচরণটি দেখার আগে আপনি প্রথমে স্ট্রাক্ট ক্ষেত্রগুলিকে 0 থেকে শুরুতে প্রাথমিকভাবে শুরু করেন। কদর্য!

— আন্দ্রেস জোল্টান

@ હંস প্যাস্যান্ট অ্যাসেম্বলি কোড আউটপুট দেওয়ার জন্য আপনি কোন সরঞ্জামটি ব্যবহার করেছেন?

@ জোয়ান - জাস্ট ভিজ্যুয়াল স্টুডিও, ডিবাগারের ডিসসেস্পল উইন্ডো থেকে অনুলিপি / পেস্ট করুন এবং মন্তব্যগুলি নিজের হাতে যুক্ত করেছেন।

— হান্স প্যাস্যান্ট

আমি বিশ্বাস করি এটি একটি আসল জেআইটি সংকলন বাগে রয়েছে। আমি এটি মাইক্রোসফ্টকে প্রতিবেদন করব এবং তারা কী বলবে তা দেখতে। মজার বিষয় হল, আমি খুঁজে পেয়েছি যে x 64 জেআইটির একই সমস্যা নেই।

এখানে আমার x86 জেআইটি পড়তে হবে।

// save context
00000000  push        ebp  
00000001  mov         ebp,esp 
00000003  push        edi  
00000004  push        esi  
00000005  push        ebx  

// put oDoesSomething pointer in ebx
00000006  mov         ebx,ecx 

// zero out edi, this will store oVec.y
00000008  xor         edi,edi 

// zero out esi, this will store oVec.x
0000000a  xor         esi,esi 

// NOTE: the inner loop is unrolled here.
// set oVec.y to 2
0000000c  mov         edi,2 

// call oDoesSomething.Do(oVec) -- y is always 2!?!
00000011  push        edi  
00000012  push        esi  
00000013  mov         ecx,ebx 
00000015  call        dword ptr ds:[002F0010h] 

// call oDoesSomething.Do(oVec) -- y is always 2?!?!
0000001b  push        edi  
0000001c  push        esi  
0000001d  mov         ecx,ebx 
0000001f  call        dword ptr ds:[002F0010h] 

// increment oVec.x
00000025  inc         esi  

// loop back to 0000000C if oVec.x < 2
00000026  cmp         esi,2 
00000029  jl          0000000C 

// restore context and return
0000002b  pop         ebx  
0000002c  pop         esi  
0000002d  pop         edi  
0000002e  pop         ebp  
0000002f  ret

এটি দেখে মনে হচ্ছে একটি অপ্টিমাইজেশন আমার কাছে খারাপ হয়ে গেছে ...

— নিক গেরেরা
সূত্র

আমি আপনার কোডটি একটি নতুন কনসোল অ্যাপে অনুলিপি করেছি।

ডিবাগ বিল্ড
- উভয় ডিবাগার এবং কোনও ডিবাগার দিয়ে সঠিক আউটপুট
রিলিজ বিল্ডে স্যুইচ করা হয়েছে
- আবার, উভয় বার সঠিক আউটপুট
একটি নতুন x86 কনফিগারেশন তৈরি হয়েছে (আমি এক্স 64 উইন্ডোজ 2008 চালাচ্ছি এবং 'যে কোনও সিপিইউ' ব্যবহার করছিলাম)
ডিবাগ বিল্ড
- F5 এবং CTRL + F5 উভয়ই সঠিক আউটপুট পেয়েছে
রিলিজ বিল্ড
- সংযুক্ত ডিবাগার সহ সঠিক আউটপুট
- কোনও ডিবাগার নেই - ভুল আউটপুট পেয়েছে

সুতরাং এটি x86 জেআইটি ভুলভাবে কোড উত্পন্ন করছে। লুপ ইত্যাদির পুনঃক্রম সম্পর্কিত আমার মূল পাঠ্যটি মুছে ফেলেছে here

সমস্যার সমাধানের জন্য আপনি ইন্টভিেকের ঘোষণাটি কোনও শ্রেণিতে পরিবর্তন করতে পারেন এবং এটি সমস্ত স্বাদে কাজ করে।

এমএস কানেক্ট এ যাওয়ার দরকার মনে করুন ....

মাইক্রোসফ্ট!

— আন্দ্রেস জোল্টান
সূত্র

আকর্ষণীয় ধারণা, তবে অবশ্যই এটি "অপ্টিমাইজেশন" নয় তবে সংকলকটিতে খুব বড় একটি বাগ আছে যদি এটি হয় তবে? এতক্ষণে কি পাওয়া যেত না?

— ডেভিড এম

আমি আপনার সাথে একমত. এর মতো লুপগুলি পুনরায় অর্ডার করা অনির্বাচিত সমস্যার কারণ হতে পারে। আসলে এটি আরও কম সম্ভাবনা বলে মনে হয়, কারণ লুপগুলি কখনও 2

— --আন্দ্রাস জোল্টান

দেখে মনে হচ্ছে এগুলির মধ্যে কোনও এক দুর্গন্ধযুক্ত হাইজেনব্যাগগুলি: পি

— আরুল

কোনও সিপিইউ কাজ করবে না যদি ওপি (বা তার অ্যাপ্লিকেশন ব্যবহার করে এমন কেউ) এর কাছে 32-বিট x86 মেশিন থাকে। সমস্যাটি হ'ল অপটিমাইজেশনের সক্ষম x86 জেআইটি খারাপ কোড উত্পন্ন করে।

— নিক গেরেরা