concurrency-proof
Amaç
Bir değişikliğin (çalışma ağacı, branch, pull request veya proofline çalıştırması) eşzamanlılık incelemesi; yalnızca kanıtlanmış sorunları bildirir.
Kaynak Skill amacı
Ne zaman kullanılır
Değişmiş paylaşılan durumu, işlemleri ve kritik bölgeleri kanıtlı yarışlar, kilitlenmeler, kayıp güncellemeler, çift işleme, yeniden deneme etkileri ve sıralama sorunları için incelemek üzere concurrency-proof kullanılır. Çalışma ağacı, branch, PR veya proofline çalıştırmasında işler. Bir kaygı için en az iki aktör arasında, her adımı kaynak konumuyla belirtilmiş somut bir zamanlama gerekir. Projenin testleri bu zamanlamayı yeniden üretebilir; mümkün değilse yeniden üretim desteklenmiyor diye işaretlenir. Geçen inceleme yalnızca kanıtlanmış sorun olmadığını söyler; kanıtlanmamış riskler ayrı görünür.
Her aday için Reviewer paylaşılan durumu, okuyucuları, yazıcıları, kilitleri ve işlem sınırlarını kaydeder. İddia edilen arıza aktörlerin kesin çalışma sırasını ve değişmezin bozulduğu noktayı içerir. Kanıtlanamayan aday konumu ve eksik kanıtıyla ayrı tutulur. Değişen satırlardan geçmeyen bulgular bu değişikliğe yüklenmez, önceden var olan sorun diye ele alınır.
Kaynak Skill amacı
Nasıl çalışır
Kaynak Skill akışı
- Değişikliği belirle Temel ve son sürümü, değişen satırları ve çalışma ağacı durumunu kaydet.
Kaynak Skill akışı
- Adayları bul Değişen kodu paylaşılan durum ve olası eşzamanlı erişim için tara.
Kaynak Skill akışı
- Kritik bölgeleri haritala Her adayın okuyucularını, yazıcılarını, kilitlerini, işlemlerini ve yeniden deneme sınırlarını izle.
Kaynak Skill akışı
- Zamanlamayı kur Her geçişte dosya ve satır kanıtı olan somut iki aktörlü zamanlama yaz.
Kaynak Skill akışı
- Güvenle yeniden üret Çalıştırıcı izin veriyorsa izlenen zamanlamaları eşzamanlı veya yinelenen proje testleriyle çalıştır.
Kaynak Skill akışı
- Planı denetle Kanıtlanmış sorunu planda açıkça kabul edilmiş eşzamanlı davranışla karşılaştır.
Kaynak Skill akışı
- Kanıtı bildir Kanıtlanmış zamanlamaları kanıtlanmamış risklerden ayrı doğrula ve raporla.
Kaynak Skill akışı
Temel kurallar
- Bulgu için en az iki aktör arasında izlenmiş veya yeniden üretilmiş zamanlama gerekir.
Kaynak Kanıt kuralları
- Kanıtlanmamış adayı gate'i etkilemeyen risk olarak kaydet.
Kaynak Kanıt kuralları
- Kapsamı eklenmiş veya değişmiş satırlardan geçen zamanlamalarla sınırla.
Kaynak Kanıt kuralları
- Geçen sonucu güvenlik garantisi değil kanıtlanmış sorun bulunmaması olarak anlat.
Kaynak Kanıt kuralları
Çıktı ve gate
Çıktı
- Doğrulanmış eşzamanlılık bulgularını ve somut aktör zamanlamalı raporu yaz.
Kaynak Çıktı tanımı
gate
- Kanıtlanmış eşzamanlı kusur incelemeyi başarısız yapar.
Kaynak Gate kuralı: REVIEW concurrency focus
- Kanıtlanmış kusur yoksa inceleme geçebilir; kanıtlanmamış riskler listede kalır.
Kaynak Gate kuralı: REVIEW concurrency focus
Kaynak
Kaynak Skill tanımı