Slajd41
Częściowa poprawność
■ Częściowa poprawność zakłada, że jeśli program zatrzyma się, to odpowiedzi muszą być „prawdziwe”
. Z częściowej poprawności wywodzi się własność bezpieczeństwa programu współbieżnego.
Wymagania programowania współbieżnego komplikują rozumienie pojęcia częściowej poprawności algorytmów, gdyż oznaczają one często, że uzyskanie poprawnych wyników nie musi być warunkowane trwałym wstrzymaniem obliczeń. Wynika to z faktu, że w grupie systemów współbieżnych pracujących w trybie ciągłym zatrzymanie działania systemu jest traktowane jako błąd.
Podstawowe pojęcia programowania współbieżnego 41
Wyszukiwarka
Podobne podstrony:
2. NADMIERNE UOGÓLNIANIE. Zakładam, że jeśli wydarzyło się coś złego, to następnym
Obraz7 (113) Zadanie 106. Udowodnij, że jeśli a) x,y są liczbami rzeczywistymi, t
Granica i ciaglosc fukcji strp 71 (zakładamy, że ułamek ten jest nieskracalny), to / (x) = -. Pokaza
Analiza techniczna w praktyce 409 Mamy tu również ilustrację tezy, że jeśli rynek trzyma się przy li
1 M1 JabłońskiP HanusekS ZAD1 Zakładamy że: 1) Jeżeli x dąży do nieskończoności,
CCF20120509 020 KO Częsc I. Przykłady i zadania oraz zakładając, że końce B, C i D przewodów znajduj
69665 P1030045 (4) dobitnie utrwalona w charakterze narodowym, że jeśli ktoś strgcj prace, to jego p
zakłada, że normy prawne dzielą się na sankcjonowane i sankcjonujące i każda z nich zbudowana jest z
JERZY S. WASILEWSKI Zauważmy też, że jeśli zakaz ma się gruntować na modelu przejścia, to sankcje po
Granica i ciaglosc fukcji strp 71 (zakładamy, że ułamek ten jest nieskracalny), to / (x) = -. Pokaza
Ćwiczenie 2 Wybierz poprawne odpowiedzi na temat programu Uczenie się przez całe
wszyscy filozofowie greccy, był realistą; było dlań pewnikiem, że jeśli pojęcia zawierają wiedzę, to
więcej podobnych podstron