Geçici anahtar kelimenin ne yaptığı hakkında biraz daha teknik bilgi almak istiyorsanız, aşağıdaki programı göz önünde bulundurun (DevStudio 2005 kullanıyorum):
#include <iostream>
void main()
{
int j = 0;
for (int i = 0 ; i < 100 ; ++i)
{
j += i;
}
for (volatile int i = 0 ; i < 100 ; ++i)
{
j += i;
}
std::cout << j;
}
Standart optimize (bırakma) derleyici ayarlarını kullanarak, derleyici aşağıdaki derleyiciyi (IA32) oluşturur:
void main()
{
00401000 push ecx
int j = 0;
00401001 xor ecx,ecx
for (int i = 0 ; i < 100 ; ++i)
00401003 xor eax,eax
00401005 mov edx,1
0040100A lea ebx,[ebx]
{
j += i;
00401010 add ecx,eax
00401012 add eax,edx
00401014 cmp eax,64h
00401017 jl main+10h (401010h)
}
for (volatile int i = 0 ; i < 100 ; ++i)
00401019 mov dword ptr [esp],0
00401020 mov eax,dword ptr [esp]
00401023 cmp eax,64h
00401026 jge main+3Eh (40103Eh)
00401028 jmp main+30h (401030h)
0040102A lea ebx,[ebx]
{
j += i;
00401030 add ecx,dword ptr [esp]
00401033 add dword ptr [esp],edx
00401036 mov eax,dword ptr [esp]
00401039 cmp eax,64h
0040103C jl main+30h (401030h)
}
std::cout << j;
0040103E push ecx
0040103F mov ecx,dword ptr [__imp_std::cout (40203Ch)]
00401045 call dword ptr [__imp_std::basic_ostream<char,std::char_traits<char> >::operator<< (402038h)]
}
0040104B xor eax,eax
0040104D pop ecx
0040104E ret
Çıktıya bakıldığında derleyici, j değişkeninin değerini saklamak için ecx yazmacı kullanmaya karar verdi. Uçucu olmayan döngü için (ilk) derleyici eax kaydına i atamıştır. Yeterince açıksözlü. Yine de birkaç ilginç bit var - lea ebx, [ebx] komutu etkili bir şekilde çok baytlı bir nop talimatıdır, böylece döngü 16 baytlık hizalanmış bir bellek adresine atlar. Diğeri, inc eax komutunu kullanmak yerine döngü sayacını artırmak için edx kullanımıdır. Add reg, reg komutunun, birkaç IA32 çekirdeğinde, inc komutuna kıyasla daha düşük gecikme süresi vardır, ancak hiçbir zaman daha yüksek gecikme süresi yoktur.
Şimdi uçucu döngü sayacı olan döngü için. Sayaç [esp] dizininde saklanır ve geçici anahtar sözcük derleyiciye değerin her zaman belleğe okunması / belleğe yazılması ve hiçbir zaman bir kayıt defterine atanmaması gerektiğini bildirir. Derleyici, sayaç değerini güncellerken üç ayrı adım (yük eax, inc eax, eax kaydet) olarak bir yük / artış / depolama yapmayacak kadar ileri gider, bunun yerine bellek doğrudan tek bir komutta değiştirilir (bir ek bellek reg). Kodun oluşturulma şekli, döngü sayacının değerinin her zaman tek bir CPU çekirdeği bağlamında güncel olmasını sağlar. Veriler üzerinde hiçbir işlem bozulmaya veya veri kaybına yol açamaz (bu nedenle, yük sırasında / inc / store kullanılmaz, çünkü inc sırasındaki değer değişebilir ve böylece mağazada kaybolabilir). Kesmeler ancak mevcut talimat tamamlandıktan sonra servis edilebildiğinden,
Sisteme ikinci bir CPU eklediğinizde, geçici anahtar kelime aynı anda başka bir CPU tarafından güncellenen verilere karşı koruma sağlamaz. Yukarıdaki örnekte, potansiyel bir bozulma elde etmek için verilerin atanmamış olması gerekir. Uçucu anahtar kelime, veriler atomik olarak işlenemezse olası bozulmayı engellemez; örneğin, döngü sayacı uzun (64 bit) türdeyse, değeri güncellemek için iki adet 32 bit işlem gerekir. bir kesinti meydana gelebilir ve verileri değiştirebilir.
Bu nedenle, uçucu anahtar sözcük yalnızca işlemler her zaman atomik olacak şekilde yerel kayıtların boyutundan küçük veya ona eşit olan hizalanmış veriler için iyidir.
Uçucu anahtar kelime, IO'nun sürekli değişeceği ancak bellek eşlemeli UART cihazı gibi sabit bir adresin bulunduğu IO işlemleriyle kullanılmak üzere tasarlandı ve derleyici adresten okunan ilk değeri tekrar kullanmaya devam etmemelidir.
Büyük verileri işliyorsanız veya birden fazla CPU'nuz varsa, veri erişimini düzgün bir şekilde işlemek için daha yüksek bir düzey (OS) kilitleme sistemine ihtiyacınız olacaktır.