Percanggahan Aritmetik Titik Terapung antara x86 dan x64
Dalam Visual Studio 2010, perbezaan ketara dalam aritmetik titik terapung antara binaan x86 dan x64 timbul apabila membandingkan nilai ungkapan tertentu. Perbezaan ini nyata dalam kod berikut:
float a = 50.0f; float b = 65.0f; float c = 1.3f; float d = a * c; bool bLarger1 = d < b; bool bLarger2 = (a * c) < b;
seni bina x86 dan x64 mengendalikan ungkapan kedua, bLarger2, secara berbeza. Dalam binaan x86, bLarger2 menilai kepada benar, manakala dalam binaan x64, ia menilai kepada palsu. Perbezaan ini berakar umbi dalam pengiraan ungkapan (a * c) dalam operasi titik terapung.
Asal Ketidaksamaan
Punca percanggahan terletak pada perbezaan yang berbeza unit titik terapung yang digunakan oleh dua seni bina: x87 untuk x86 dan SSE untuk x64. Perbezaan asas antara kedua-dua unit adalah ketepatannya. Unit x87 menggunakan lebih tinggi daripada ketepatan tunggal (biasanya ketepatan dua kali ganda) secara lalai, manakala unit SSE beroperasi secara eksklusif dalam ketepatan tunggal.
Membetulkan Percanggahan
Untuk menyelesaikan masalah percanggahan, ketepatan unit x87 boleh dikonfigurasikan secara manual untuk dipadankan dengan unit SSE. Ini boleh dicapai dalam kod 32-bit dengan melaksanakan perkara berikut:
_controlfp(_PC_24, _MCW_PC);
Dengan menetapkan ketepatan kepada ketepatan tunggal, penilaian (a * c) dalam ungkapan bLarger2 akan sejajar dengan x64 bina, menyebabkan kedua-dua bLarger1 dan bLarger2 ditetapkan kepada palsu.
Kesimpulan
Perbezaan dalam aritmetik titik terapung antara binaan x86 dan x64 berpunca daripada tahap ketepatan yang berbeza daripada unit titik terapung x87 dan SSE. Dengan mengawal ketepatan unit x87 secara manual agar sepadan dengan unit SSE, percanggahan boleh dihapuskan, memastikan penilaian yang konsisten bagi ekspresi merentas kedua-dua seni bina.
Atas ialah kandungan terperinci Mengapa aritmetik titik terapung berbeza antara x86 dan x64 dalam Visual Studio 2010?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!