Uygulamayı indirin
Bir klasör seçin ve düzenlemeden önce ilgili dosyaları okumasını asistandan isteyin. Görevin hedefini ve sınırlarını belirleyin.
İş akışları
Kodlama iş akışları · Vektör saatlerin nedensel ilişkileri
03
İş akışları
Her haritada sıfırdan 10^12 değerine kadar en fazla 64 adlandırılmış sayaç içeren vektör saatleri karşılaştırın. Eksik girdileri sıfır sayıp eşit, önceki, sonraki ve eşzamanlı olayları test edin, Boolean sayaçları ve geçersiz anahtarları haritaları değiştirmeden reddedin.
Proje klasörünü açın
Uyumlu bir endpoint seçin. Kullanılabilir araçlar ve yanıt kalitesi, yapılandırılan modele ve sunucuya bağlıdır.
Modeli bağlayıp test edin
Değişiklikleri ve komut çıktılarını inceleyin. Sonucu kabul etmeden önce proje kontrollerini çalıştırın; üretilen kod otomatik olarak test edilmiş değildir.
Değişiklikleri inceleyip testleri çalıştırın
Gerçek davranışı beklenen sonuçla karşılaştırın. Bir kontrol başarısız olursa yeni değişikliklerden önce nedenini araştırın.
Vektör saatlerin nedensel ilişkileri
İş akışları
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"
Uygulamadan önce inceleyin. Değişiklikleri ve komut çıktılarını inceleyin. Sonucu kabul etmeden önce proje kontrollerini çalıştırın; üretilen kod otomatik olarak test edilmiş değildir.