Flaga logiczna
Flaga logiczna , bit prawdy lub flaga prawdy w informatyce to wartość logiczna reprezentowana jako jeden lub więcej bitów, która koduje zmienną stanu z dwiema możliwymi wartościami.
Zużycie pamięci
Pojedynczy bajt może zawierać do 8 oddzielnych flag boolowskich poprzez odwzorowanie jednej flagi boolowskiej na każdy bit, dzięki czemu jest to bardzo ekonomiczna i gęsta metoda przechowywania danych. Jest to znane jako reprezentacja spakowana lub pakowanie bitowe, a przeciwne kodowanie z tylko jedną flagą boolowską na użyty bajt jest znane jako reprezentacja rzadka. W przypadku pamięci adresowalnej bajtowo reprezentacja spakowana wymaga maski bitowej i przesunięcia bitowego, aby uzyskać dostęp do poszczególnych flag w każdym bajcie, co może wymagać dodatkowych instrukcji, podczas gdy reprezentacja rzadka nie wymaga maskowania bitowego. Spakowane reprezentacje są częściej spotykane w rejestrach sprzętu i procesora jako pola bitowe , podczas gdy reprezentacje rzadkie są częściej spotykane w oprogramowaniu jako zmienne o szerokości jednego lub więcej bajtów, chociaż reprezentacje spakowane mogą być również obsługiwane.
Efektywność
Większość języków komputerowych obsługuje ustawianie i testowanie kombinacji pojedynczych lub wielu bitów w celu wykorzystania ich jako wskaźników prawdy i zwykle można przetestować do 256 różnych kombinacji warunków za pomocą tylko jednej instrukcji na jednym bajcie przy użyciu operacji bitowych . Postępy w projektowaniu procesorów i obliczeniach równoległych oznaczają, że jeszcze więcej operacji algebry Boole'a na flagach Boole'a można wykonać za pomocą tylko jednej instrukcji przy użyciu technologii SIMD , często implementowanej w językach programowania jako funkcje wewnętrzne kompilatora .
Stosowanie
Czasami programy są pisane tak, aby po prostu ustawiały flagi po wykryciu pewnych warunków, zamiast mieć wiele zagnieżdżonych instrukcji warunkowych (np. if s), które mogą być dość złożone. Gdy wszystkie warunki zostaną przetestowane, a wszystkie flagi odpowiednio włączone lub wyłączone, testowanie może rozpocząć się na różnych kombinacjach warunków — przez odniesienie do flag zamiast samych zmiennych. Może to znacznie uprościć przetwarzanie i umożliwia implementację tabel decyzyjnych poprzez mapowanie ich binarnych reprezentacji w pamięci.