[elektro] STM32f4 interrupt : volatile tombok

[hg12345]

....
Más szavakkal ismétled amit írtam.

"Móczik Gábor" <pm_levlista at progzmaster.hu> írta:
>2013.12.11. 15:24 keltezéssel, hg12345 írta:
>> Ha igazad lenne és a fordító nem változó alapon dolgozna fordítási egységenként, hanem memória alapon, ami eléggé lehetetlen, mert ezt a linker csinálja, akkor nem kéne a volatile-vel foglalkozni, mert látná hogy ennek máshol is értéket adnak.
>
>A fordító bizonyára látja hogy máshol is értéket adtak, bizonyára azt 
>is, hogy ez az ISR-ben történt. A volatile nem azért kell, mert a linker 
>össze-vissza keveri a dolgokat.
>Azért kell, mert a fordító nem tudhatja, hogy ezek a valóságban a valós 
>hardveren a valós események között egymást megszakítják-e majd, azt sem 
>tudja, hogy ha netán igen, építettél-e be védelmet (szemafor, mutex, 
>stb.) erre az esetre.
>Azt sem tudja, hogy mondjuk egy abszolút címre deklarált változó RAM-ba 
>esik-e egyálalán vagy MMIO területre, és változik-e a háttérben.
>
>Ezért kell neked megmondani, mert te ismered az egész rendszert.
>
>A relokációról:
>
>A fordító memória szegmens alapon dolgozik!
>
>A linker nem dolgozik változókkal, nem rak minden egyes változót 
>akárhová, nem is tudja milyen változók vannak. A fordító szépen sorban 
>lepakolja az aligning figyelembevételével a változókat egy szegmensbe.
>A linker utána a komplett szegmenst relokálja, a linker scriptben 
>megadott utasítások szerint.
>
>Például ha megnézel egy startup kódot, látható, hogy a zero init 
>változókat egy ciklusban tölti fel, a kezdőértékkel inicializáltakat meg 
>egy másik szegmensből másolja át. Ez aligha működne, ha a linker 
>szanaszét rakosgathatná a változókat, és akkor is aligha működhetne, ha 
>a compiler nem tudná már fordítási időben hogy azoknak sorban kell 
>lennie a memóriában...
>
>Ha deklarálsz egymás után egy int változót meg egy int tömböt, majd 
>megnézed a generált adatszegmenst, látni fogod, hogy ott is igen jó 
>eséllyel egymás után vannak.
>Ha írsz pár utasítást ami *i majd *(t-1), t[58] majd *(&i+59), látható 
>lesz, hogy igen erősen azonos jellegű kódot fog generálni hozzá, semmi 
>speciális nem fog történni attól hogy a tömböt vagy az előtte lévő 
>változót címzed.
>
>-----------------------------------------
>          elektro[-flame|-etc]
>