-
Path: news-archive.icm.edu.pl!news.icm.edu.pl!news.chmurka.net!.POSTED.pi.v.chmurka.n
et!not-for-mail
From: q...@t...no1 (Queequeg)
Newsgroups: pl.misc.elektronika
Subject: Re: Zagwozdka w C Keil - wyjaśnienie.
Date: Wed, 13 Feb 2019 21:59:29 +0000 (UTC)
Organization: news.chmurka.net
Message-ID: <2...@t...no1>
References: <q3q59d$hp9$1@node1.news.atman.pl> <q3vee4$o74$1@node1.news.atman.pl>
<5c63f185$0$476$65785112@news.neostrada.pl>
<q41tof$422$1@node1.news.atman.pl>
NNTP-Posting-Host: pi.v.chmurka.net
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: 8bit
Injection-Date: Wed, 13 Feb 2019 21:59:29 +0000 (UTC)
Injection-Info: news.chmurka.net; posting-account="gof";
posting-host="pi.v.chmurka.net:172.24.44.20"; logging-data="26325";
mail-complaints-to="abuse-news.(at).chmurka.net"
User-Agent: tin/2.4.2-20171224 ("Lochhead") (UNIX) (Linux/4.4.50-v7+ (armv7l))
Cancel-Lock: sha1:wUNXbrjC+pETjmO81U4eK2rhvd4=
Xref: news-archive.icm.edu.pl pl.misc.elektronika:741002
[ ukryj nagłówki ]Irek.N. <t...@j...taki.jest.pl> wrote:
>> A swoja droga - czy Keil sam ich nie wylacza ? Dla zmiennych volatile
>> powinien.
>
> Niestety ale ignoruje zupełnie volatile, a nie powinien moim zdaniem.
Skąd wiesz?
Zrób test. Napisz funkcję:
int i;
void fn(void) { do { } while (i != 42); }
Skompiluj z optymalizacją, zobacz kod. Potem dodaj volatile, zobacz kod.
Sprawdziłem na raspi (arm), gcc -O2 -S.
Bez volatile:
#v+
ldr r3, .L5
ldr r3, [r3] ; tu ładuje zmienną do rejestru
.L2:
cmp r3, #42 ; tu porównuje rejestr
bne .L2 ; tu skacze z powrotem do porównania
#v-
Z volatile:
#v+
ldr r2, .L5
.L2:
ldr r3, [r2] ; tu ładuje zmienną
cmp r3, #42 ; tu porównuje
bne .L2 ; tu skacze z powrotem do załadowania
#v-
Podobnie na amd64. Bez volatile:
#v+
movl i(%rip), %eax ; tu ładuje zmienną
.p2align 4,,10
.p2align 3
.L2:
cmpl $42, %eax ; tu porównuje
jne .L2 ; tu skacze z powrotem do porównania
#v-
Z volatile:
#v+
.L2:
movl i(%rip), %eax ; tu ładuje zmienną
cmpl $42, %eax ; tu porównuje
jne .L2 ; tu skacze z powrotem do załadowania
#v-
Jeszcze ciekawiej się robi, gdy dodasz modyfikator `static`. Bez volatile,
arm:
#v+
.L2:
b .L2
#v-
Bez volatile, amd64:
#v+
.L2:
jmp .L2
#v-
Dlaczego tak? Bo kompilator wie, że inna jednostka kompilacji nie zmieni
wartości tej zmiennej (bo jest statyczna, widoczna tylko w obrębie danej
jednostki kompilacji), więc nie ma sensu żadne sprawdzanie, bo zmienna i
tak jest zero (bo zmienne globalne są inicjalizowane zerami; spróbuj
zamiast 42 wstawić 0 i zobacz, jaki kod wtedy kompilator wygeneruje).
Oczywiście z volatile działa tak, jak byśmy chcieli.
--
Eksperymentalnie: http://facebook.com/groups/pl.misc.elektronika
Następne wpisy z tego wątku
- 13.02.19 23:01 Queequeg
- 13.02.19 23:06 Queequeg
- 13.02.19 23:07 Grzegorz Niemirowski
- 14.02.19 00:59 HF5BS
- 14.02.19 07:35 Mateusz Viste
- 14.02.19 10:30 Janusz
- 14.02.19 10:44 Grzegorz Niemirowski
- 14.02.19 10:57 Queequeg
- 14.02.19 11:35 J.F.
- 14.02.19 11:42 J.F.
- 14.02.19 11:49 Grzegorz Niemirowski
- 14.02.19 11:59 Queequeg
- 14.02.19 12:14 Queequeg
- 14.02.19 13:07 J.F.
- 14.02.19 13:11 J.F.
Najnowsze wątki z tej grupy
- supercap
- Procesor NMOS i karta CF
- Jak sprawdzic uC
- radyjko znalazłem
- Telewizor przestał widzieć sygnał z anteny
- LED
- System operacyjny dla 6800?
- Przyłączenie działki do sieci elektrycznej
- Działalność nierejestrowana/definicja sprzętu elektronicznego/misie i kolejki
- Smukły, długi ściągacz izolacji do kynaru
- rezystor 3 omy 400W
- [newbie] Jaki multimetr za 2-4 stówy?
- szafka sieciowa
- Raspberry Pi 5 + dyski SATA
- lutownica na węgiel
Najnowsze wątki
- 2024-05-26 O co chodzi?
- 2024-05-26 PJ autobus-tramwaj
- 2024-05-26 Renault Trafic i lampka z czerwonym STOP
- 2024-05-26 cena pięciocyfrowa
- 2024-05-26 Re: Jak dobra KE "okrada" złą Rosję "dla Ukrainy"
- 2024-05-25 supercap
- 2024-05-25 Sulzbach => Technischer Rollouter (d/m/w) <=
- 2024-05-25 Warszawa => Senior Account Manager <=
- 2024-05-25 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-25 Warszawa => Mid PHP Developer (Laravel) <=
- 2024-05-25 Warszawa => Interactive/Experience Designer <=
- 2024-05-25 Warszawa => Key Account Manager <=
- 2024-05-25 Warszawa => SAP WM Consultant / Execution <=
- 2024-05-25 Warszawa => Key Account Manager <=
- 2024-05-25 Re: znów ten wrocław