Kötü çoklu kullanım nedeniyle neredeyse / aslında başarısız olan bir projeden hangi dersleri öğrendiniz? [kapalı]

Kötü çoklu kullanım nedeniyle neredeyse / aslında başarısız olan bir projeden hangi dersleri öğrendiniz?

Bazen, çerçeve, işleri büyüklük sırasını düzeltmeyi zorlaştıran belirli bir diş açma modeli uygular.

Bana gelince, henüz son başarısızlıktan kurtuldum ve bu çerçevede çoklu okuma ile ilgili hiçbir şey üzerinde çalışmamamın daha iyi olduğunu hissediyorum.

Basit çatal / birleştirme olan ve verilerin yalnızca bir yönde gittiğini (sinyaller dairesel bir yönde gidebilirken) çok iş parçacıklı problemlerde iyi olduğumu buldum.

Bazı çalışmaların yalnızca kesin olarak serileştirilmiş bir iş parçacığı ("ana iş parçacığı") ve diğer iş yalnızca ana iş parçacığı ("işçi iş parçacığı") ancak herhangi bir iş parçacığı üzerinde yapılabilir GUI işlem yapamıyorum ve burada veriler ve mesajlar N bileşenleri (tümüyle bağlı bir grafik) arasında her yöne gitmek zorundadır.

O projeyi başka bir proje için terk ettiğim zaman, her yerde kilitlenme sorunları vardı. 2-3 ay sonra, diğer birkaç geliştiricinin müşterilere gönderilebilecek noktaya kadar tüm kilitlenme sorunlarını çözmeyi başardığını duydum. Hiç eksik olduğum bilgi parçasını öğrenemedim.

Proje hakkında bir şey: ileti kimliği sayısı (iş parçacığına bakılmaksızın başka bir nesnenin ileti kuyruğuna gönderilebilen bir olayın anlamını tanımlayan tamsayı değerleri) binlerce olur. Benzersiz dizeler (kullanıcı iletileri) de yaklaşık bin kişiyi bulur.

Katma

Başka bir takımdan aldığım en iyi benzetme (geçmiş veya şimdiki projelerimle ilgisi olmayan) "verileri bir veritabanına koymak" idi. ("Veritabanı", merkezileştirme ve atom güncellemelerine atıfta bulunur.) Birden çok görünüme bölünmüş bir GUI'de, hepsi aynı "ana iş parçacığı" üzerinde çalışır ve GUI olmayan tüm ağır kaldırma işlemleri, bağımsız çalışan iş parçacıklarında yapılır. Veritabanı gibi davranan tek bir düzlükte saklanmalı ve "Veritabanı" nın önemsiz olmayan veri bağımlılıklarını içeren tüm "atomik güncelleştirmeleri" işlemesine izin vermelisiniz. GUI'nin diğer tüm bölümleri ekran çizimini ve başka bir şeyi işlemez. Kullanıcı arabirimi parçaları bir şeyleri önbelleğe alabilir ve kullanıcı düzgün bir şekilde tasarlandıysa bir saniye boyunca eskiyse fark etmez. Bu "veritabanı" aynı zamanda "belge" olarak da bilinir Belge Görünümü mimarisinde. Maalesef - hayır, uygulamam aslında tüm verileri Views'da depolar. Neden böyle olduğunu bilmiyorum.

Katkıda bulunanlar:

(Katkıda bulunanların gerçek / kişisel örnekler kullanmasına gerek yoktur. Eğer kendiniz güvenilir olduğuna karar verilirse, fıkra örnekleri ile ilgili dersler de kabul edilir.)

En sevdiğim ders - çok zor kazandı! - Çok iş parçacıklı bir programda, zamanlayıcının sizden nefret eden gizli bir domuz olmasıdır. Eğer işler ters gidebilirse, yapacaklar ama beklenmedik bir şekilde. Herhangi bir yanlış yapın ve garip heisenbug'ları kovalayacaksınız (çünkü eklediğiniz herhangi bir enstrümantasyon zamanlamaları değiştirecek ve size farklı bir çalışma deseni verecektir).

Bunu düzeltmenin tek aklı yolu, tüm iş parçacığı işlemlerini, her şeyi doğru yapan ve kilitlerin düzgün bir şekilde tutulduğundan emin olmak için çok muhafazakar olan bir kod parçasına sıkıca bağlamaktır (ve küresel olarak sürekli bir edinme sırası ile). . Bunu yapmanın en kolay yolu, zaman uyumsuz olması gereken mesajlaşma haricinde iş parçacıkları arasında bellek (veya başka kaynaklar) paylaşmamaktır ; diğer her şeyi iş parçacığı olmayan bir tarzda yazmanıza olanak tanır. (Bonus: Bir kümede birden çok makineye ölçeklendirmek çok daha kolaydır.)

İşte şu anda düşünebileceğim birkaç temel ders (başarısız projelerden değil, gerçek projelerde görülen gerçek konulardan):

• Paylaşılan bir kaynağı tutarken aramaları engellemekten kaçının. Yaygın kilitlenme deseni iplik muteks kapmak, bir geri arama yapar, aynı muteks üzerinde geri arama blokları.
• Mutex / kritik bölüm ile paylaşılan veri yapılarına erişimi koruyun (veya kilitsiz olanları kullanın - ancak kendinizinkini icat etmeyin!)
• Atomisite varsaymayın - atomik API'ler kullanın (örn. InterlockedIncrement).
• Kullandığınız kitaplıkların, nesnelerin veya API'lerin iş parçacığı güvenliği ile ilgili RTFM.
• Olaylar, semaforlar gibi mevcut senkonizasyon ilkellerinden yararlanın. (Ama onları kullanırken iyi durumda olduğunuzu bildiğinize çok dikkat edin - Yanlış durumda bildirilen olayların veya verilerin kaybolabileceği birçok örnek gördüm)
• İş parçacıklarının aynı anda ve / veya herhangi bir sırada çalışabileceğini ve bu bağlamın iş parçacıkları arasında herhangi bir zamanda değişebileceğini varsayalım (diğer garantileri yapan bir işletim sistemi altında değilse).

• Tüm GUI projeniz yalnızca ana iş parçacığından çağrılmalıdır . Temel olarak, GUI'nize tek bir (.net) "çağırma" koymamalısınız. Birden çok iş parçacığı, daha yavaş veri erişimini işleyen ayrı projelerde kalmalıdır.

GUI projesinin bir düzine iş parçacığı kullandığı bir bölümü miras aldık. Sorunlardan başka bir şey vermiyor. Kilitlenmeler, yarış sorunları, çapraz iplik GUI çağrıları ...

Java 5 ve sonraki sürümlerde, çoklu iş parçacıklı çatal birleştirme stili programlarını işlemek için hayatı kolaylaştırmayı amaçlayan Yürütücüler bulunur.

Bunları kullanın, çok fazla acıyı kaldıracaktır.

(ve evet, bunu bir projeden öğrendim :))

Zor gerçek zamanlı gömülü sistemlerde bir geçmişim var. Çoklu kullanımdan kaynaklanan sorunların olup olmadığını test edemezsiniz. (Bazen varlığı doğrulayabilirsiniz). Kodun doğru olması gerekir. Bu nedenle, tüm iplik etkileşimleri etrafında en iyi uygulama.

• # 1 kuralı: ÖPÜCÜK - İpliğe ihtiyacınız yoksa, döndürmeyin. Mümkün olduğunca seri hale getirin.
• # 2 kuralı: # 1'i kırmayın.
• # 3 Eğer gözden geçirme yoluyla kanıtlayamazsanız, doğru değil.

Geçen yıl aldığım multithreading dersinden bir analoji çok yardımcı oldu. Diş senkronizasyonu, bir kavşağın (veri) iki araba (diş) tarafından aynı anda kullanılmasını önleyen bir trafik sinyali gibidir. Birçok geliştiricinin yaptığı hata, bir arabanın geçmesine izin vermek için şehrin çoğunda ışıkları kırmızıya çevirmek çünkü ihtiyaç duydukları sinyali tam olarak anlamanın çok zor veya tehlikeli olduğunu düşünüyorlar. Trafik az olduğunda bu işe yarayabilir, ancak uygulamanız büyüdükçe gridlock'a yol açacaktır.

Bu teoride zaten bildiğim bir şeydi, ancak bu dersten sonra analoji bana gerçekten yapıştı ve bundan sonra ne kadar sıklıkla bir iş parçacığı sorununu araştıracağım ve bir değişken yazarken her yerde devre dışı bırakılan kesintileri bu kadar şaşırdım. sadece iki iplik kullanılır veya muteksler, tamamen önlemek için yeniden düzenlenebilirken uzun süre tutulur.

Başka bir deyişle, en kötü iş parçacığı sorunlarından bazıları, iş parçacığı sorunlarından kaçınmaya çalışan aşırı yüklenmeden kaynaklanır.

Tekrar yapmayı deneyin.

En azından benim için bir fark yaratan şey pratikti. Çok dişli ve dağıtılmış işleri birkaç kez yaptıktan sonra asın.

Bence hata ayıklama gerçekten zor olan şeydir. VS kullanarak çok iş parçacıklı kod hata ayıklayabilirsiniz ama gdb kullanmak zorunda kalırsanız gerçekten tam bir kayıp var. Benim hatam, muhtemelen.

Hakkında daha fazla bilgi edinen başka bir şey de kilitli veri yapılarıdır.

Çerçeveyi belirtirseniz bu sorunun gerçekten geliştirilebileceğini düşünüyorum. Örneğin, .NET iş parçacığı havuzları ve arka plan çalışanları QThread'den gerçekten farklıdır. Her zaman platforma özgü birkaç yaka vardır.

Alt seviye modüllerden yüksek seviye modüllere geri çağrıların büyük bir kötülük olduğunu öğrendim, çünkü kilitleri ters sırada elde etmeye neden oluyorlar.