twocentplain pisze z edycji z MIT wiadomości o Jolt, projekt badawczy, w celu odblokowania oprogramowania i utknął w nieskończonej pętli (dla części nieskończone pętle). Wykorzystuje połączenie statycznych oprzyrządowanie (przy użyciu LLVM) i strażnika czasu pracy, który sprawdza stan programu podczas iteracji pętli, gdy duplikat stan jest wykrywany to pozwala użytkownikowi mieć jedną parę działania uciec pętli. Autorzy twierdzą, że działa na tyle dobrze, że program może często nadal działa poprawnie. Oryginalny dokument zawiera szczegółowe studia przypadków.
Czytaj więcej o tej historii w Slashdot.
Brak komentarzy:
Prześlij komentarz