REKLAMA

Kod Schrödingera, czyli maszyna abstrakcyjna języka C

Język C uważany jest za niskopoziomowy i „bliski sprzętowi”. Tymczasem model języka C opiera się na abstrakcyjnej maszynie, która z dużą swobodą realizuje program, często działając wbrew potocznym intuicjom na temat kodu. Abstrakcyjna maszyna C „materializuje się” w postaci efektów ubocznych programu, przypominając tym samym słynny paradoks kota Schrödingera, który tym bardziej jest w pudełku, im bardziej tam zaglądamy...

Niektóre zagadnienia poruszane w tym artykule:

  • ZASADA NIEOZNACZONOŚCI PROGRAMÓW;
  • POLOWANIE NA EFEKTY UBOCZNE;
  • EFEKTY UBOCZNE ZAPĘTLONE;
  • ALIASING, CZYLI ZGADNIJ, CO TO;
  • POKOCHAJ SWÓJ KOMPILATOR;
  • ROZWIJANIE FUNKCJI – KOD, KTÓRY ZNIKA.

Artykuł pochodzi z miesięcznika "Programista" nr 08/2015 (39). Spis treści całego wydania: http://programistamag.pl/programista-8-2015-39/

Autorem artykułu jest Maciej Czekaj, Programista systemów wbudowanych w krakowskiej firmie Semihalf, poprzednio w Motoroli. Zajmuje się w systemami wbudowanymi Linux/ARM, stosami sieciowymi i wirtualizacją. Współtworzył m.in. aplikację do zarządzania siecią SDN na bazie DPDK: Contrail Virtual Router.

>>FRAGMENT TEGO ARTYKUŁU DO POBRANIA<<

kodsch