( asch | 2020. 12. 03., cs – 08:30 )

Pedig de, van egy ilyen probléma. "Memory model ARM vs x86" a keresőszó, itt van egy fórumtopik, vannak benne linkek is (én  most nem néztem bele a linkekbe már, de a topik erről a problémáról szól, amiről beszélek): https://news.ycombinator.com/item?id=14318877

Többszáló programok esetén jön elő a probléma amennyiben a program erősebb memória konzisztencia modellt vár el, mint amit a CPU ad. C esetén még azt sem mondanám, hogy csak rosszul megírt program esetén fordulhat elő, fogalmazzunk inkább úgy, hogy x86-ra írt program esetén előfordulhat ilyen probléma.

A legnagyobb baj, hogy amennyire én tudom ezek nem ilyen statikus kódanalízissel percek alatt megtalálható és pár nap alatt javítható problémák: jócskán bele kell merülni egy kód működésébe, hogy egyáltalán érvelni tudjunk, hogy van-e benne ilyen hiba, vagy nincs. Egy nagyobb kódhalmaz esetén, ahol az eredeti követelmény is csak az volt, hogy múkoggyon, ezt a munkát megcsinálni mission impossible, de legalábbis összemérhető munkamennyiség egy újraírással.