Pobierz aplikację
Wybierz folder i poproś asystenta o przeczytanie odpowiednich plików przed ich zmianą. Określ cel oraz granice zadania.
Sposoby pracy
Praca z kodem · Relacje przyczynowe zegarów wektorowych
03
Sposoby pracy
Porównaj zegary wektorowe z maksymalnie 64 nazwanymi licznikami na mapę o wartościach od zera do 10^12. Uznaj brakujące wpisy za zero i sprawdź zdarzenia równe, wcześniejsze, późniejsze oraz współbieżne, odrzucając wartości logiczne i błędne klucze bez zmiany map.
Otwórz folder projektu
Wybierz zgodny endpoint. Dostępne narzędzia i jakość odpowiedzi zależą od skonfigurowanego modelu i serwera.
Podłącz i sprawdź model
Sprawdzaj zmiany i wyniki poleceń. Uruchom testy projektu przed zaakceptowaniem rezultatu; wygenerowany kod nie jest automatycznie przetestowany.
Przejrzyj zmiany i uruchom testy
Porównaj rzeczywiste zachowanie z oczekiwanym wynikiem. Jeśli sprawdzenie się nie powiedzie, wyjaśnij przyczynę przed kolejnymi zmianami.
Relacje przyczynowe zegarów wektorowych
Sposoby pracy
def clock_relation(a, b):
for clock in (a, b):
if type(clock) is not dict or len(clock) > 64:
raise ValueError("clock.map")
if any(type(k) is not str or not 1 <= len(k) <= 32 or type(v) is not int or not 0 <= v <= 10**12 for k, v in clock.items()):
raise ValueError("clock.entry")
keys = a.keys() | b.keys()
less = any(a.get(k, 0) < b.get(k, 0) for k in keys)
more = any(a.get(k, 0) > b.get(k, 0) for k in keys)
return "concurrent" if less and more else "before" if less else "after" if more else "equal"
Sprawdź przed zastosowaniem. Sprawdzaj zmiany i wyniki poleceń. Uruchom testy projektu przed zaakceptowaniem rezultatu; wygenerowany kod nie jest automatycznie przetestowany.