Weryfikacja funkcji obliczającej Checksumę w C dla Arduino

Question

Cześć. Potrzebuję w swoim programie pisanym w C (Arduino) zaimplementować wyliczanie Checksumy według poniższych wytycznych. Stworzyłem taką funkcję, która będzie obliczała Checksumę z danych umieszczonych w tablicy. Parametrem lenght określam wielkość tablicy. Proszę o zweryfikowanie czy to co...

riman · Accepted Answer

Cześć,
Zasadniczo dobrze, ale nie w pełni zgodne z wytycznymi jakie podałeś.
Teoretycznie brak modulo 256 w zależności od implementacji procesora w pewnych sytuacjach może spowodować, że wynik może być nieprzewidywalny.

Checksum += data[i] % 256;

oscil1 · Answer

Dobrze. Nie jest to przypadek ponieważ liczby bez znaku przekręcają się (wraparound) w sposób zdefiniowany przez standard języka.

michal.zd · Answer

Mógłbyś mi coś więcej powiedzieć na ten temat? Jakoś nie przychodzi mi do głowy hipotetyczna sytuacja. Dane są zadeklarowane jako tablica bajtów.

oscil1 · Answer

Nie może, bo post rimana jest nieprawdziwy (a mówiąc otwarcie to co twierdzi to są bzdury). Standard języka C++ (C zachowuje siędokłądnie tak samo) dokładnie mówi co się dzieje w takiej sytuacji i twój kod jest prawidłowy. Implementacja procesora (cokolwiek by to miało znaczyć - bo w tym przypadku o implementacji można tylko mówić w kontekście kompilatora) nie ma tu żadnego znaczenia. Dodawanie (Checksum += data): Mimo że Checksum i data są typu uint8_t, to w wyrażeniu arytmetycznym obie te wartości są promowane do typu co najmniej int. Oznacza to, że sama operacja dodawania odbywa się w typie int (o większym zakresie niż uint8_t). Dopiero wynik tej operacji — po zakończeniu dodawania — zostaje z powrotem rzutowany (zawężony) do uint8_t przy zapisie do zmiennej Checksum. Zawężenie do uint8_t: Jeśli suma przekroczy 255, nastąpi po prostu obcięcie (mod 256), co dla niektórych zastosowań (np. klasycznych sum kontrolnych) bywa zachowaniem pożądanym. Overflow w typie bez znaku uint8_t jest w C/C++ dobrze zdefiniowany (wykonywany modulo 2^8). Cytaty ze standardu C++17

michal.zd · Answer

No właśnie tego nie mogłem sobie wyobrazić, jakakolwiek architektura by nie była, kompilator ma za zadanie utrzymać w ryzach typ zmiennej, w tym przypadku uint8_t czy tam char. Chciałem wiedzieć, czy riman spotkał się z taką sytuacją, czy filozofuje.

oscil1 · Answer

Jak napisałem architektura nie ma znaczenia. Kompilator ma wygenerować taki kod, który będzie sprawować się dokładnie jak jest to napisane w standardzie, nawet jak by miało to być kosztowne. Na tym polega język C. Standard czasami nie podaje dokłądnie zachowania programu i tu są dwie kategorie: 1. Implementation defined behaviour - gdzie twórca kompilatora (portu) moze zdecydować jak program ma się zachować. Przykłąd - jeżeli zamiast uint8_t byśmy użyli int8__t w dyskutowanej funkcji. 2. Undefined Bahaviour - gdzie zachowanie programiu może być dowolne i z reguły oznacza bład programisty - np. derefencja NULL wskaźnika

Weryfikacja funkcji obliczającej Checksumę w C dla Arduino

Post #1

Post #2

Post #3

Post #4

Post #5

Post #6

Post #7

Podsumowanie tematu