Java'da çok iş parçacıklı ortamda statik yöntem davranışı

Beni rahatsız eden ve kafamda birkaç argüman oluşturan basit, aptalca bir soru var. Aşağıdaki sorularla ilgili tüm şüpheleri atmak istiyorum.

class Clstest{

    public static String testStaticMethod(String inFileStr) {

        // section 0

        // section 1

        // do something with inFileStr

        // section 2

        // section 3

        return inFileStr;

    }

}

Her biri Clstest.testStaticMethod("arg-n")aynı anda bir çağrı yürüten beş iş parçacığı olduğunu varsayalım .

Konu 1 çağrı Clstest.testStaticMethod("arg-1").

İplik 1, bölüm 1'de olduğunda, iş parçacığı 2 çağrıları Clstest.testStaticMethod("arg-2").

O halde 1. Konuya ne olacak? Uyku durumuna geçecek mi?

Konu 1 şansı yakaladığında, yürütmeyi duraklatıldığı 1. bölümden devam ettirecek mi?

Beş iş parçacığı arasında bir Clstest.testStaticMethodve aynı Clstest.testStaticMethodşey paylaşıldığında nasıl olur ?

inFileStrBirden çok iş parçacığı tarafından gönderilenleri değiştirme imkanı var mı ?

Hans Passant'ın cevabı güzel. Ama bununla karşılaşan ve Java'ya yeni başlayanlar için biraz daha basit bir şekilde açıklamaya çalışacağımı düşündüm. İşte başlıyor ..

Java'daki bellek iki türe ayrılır - yığın ve yığınlar. Yığın, tüm nesnelerin yaşadığı yerdir ve yığınların işlerini yaptıkları yerlerdir. Her iş parçacığının kendi yığını vardır ve birbirinin yığınlarına erişemez. Her iş parçacığı ayrıca, o anda çalıştırmakta oldukları kod bitini gösteren koda bir işaretçi içerir.

Bir iş parçacığı yeni bir yöntemi çalıştırmaya başladığında, o yöntemdeki argümanları ve yerel değişkenleri kendi yığınına kaydeder. Bu değerlerden bazıları, öbek üzerindeki nesnelere işaret edebilir. Eğer iki iş parçacığı aynı yöntemi aynı anda çalıştırıyorsa, her ikisinin de kod işaretçileri bu yöntemi işaret edecek ve yığınlarında kendi argüman kopyalarına ve yerel değişkenlere sahip olacaktır. Yalnızca yığınlarındaki nesneler yığın üzerindeki aynı nesnelere işaret ederse birbirlerine müdahale ederler. Bu durumda her türlü şey olabilir. Ancak Hans'ın da işaret ettiği gibi, Dizeler değişmezdir (değiştirilemez), bu nedenle "paylaşılan" tek nesne buysa güvendeyiz.

Pek çok iş parçacığı aynı yöntemi çalıştırıyor olabilir. Aynı anda çalışmıyor olabilirler - JVM, Java iş parçacıklarını donanım iş parçacıklarına planlanan işletim sistemi iş parçacıklarına eşlediğinden, makinenizde kaç tane çekirdek bulunduğuna bağlıdır. Bu nedenle, karmaşık senkronizasyon mekanizmaları kullanmadan bu iş parçacığının serpiştirilme şekli üzerinde çok az kontrole sahipsiniz .

Uykunun kendi başına yaptığı bir şey olduğuna dikkat edin.

Uyku durumuna geçecek mi?

Hayır, kasıtlı olarak birbirleriyle senkronize olmadıkları sürece bir iş parçacığı çalıştırmak diğer iş parçacıklarını etkilemez. Birden fazla işlemci çekirdeğiniz varsa, tüm son makinelerde vardır, bu iş parçacıkları muhtemelen aynı anda çalışacaktır. Makinenizde yeterli çekirdek olmadığından, 5 iş parçacığı başlattığınızda bu biraz daha az olasıdır. İşletim sistemi aralarında seçim yapmaya zorlanır ve her birine çalışması için biraz zaman tanır. İş parçacığı zamanlayıcının işi. Bu durumda bir iş parçacığı "uyku" durumunda olmayacaktır, sadece duraklatılır ve iş parçacığı zamanlayıcısının ona çalışma şansı vermesini bekler. Programlayıcı tarafından kesintiye uğradığı yerden devam edecektir.

Birden çok iş parçacığı tarafından gönderilen inFileStr'yi değiştirme imkanı var mı?

Böyle bir olasılık yoktur, evrelerin kendi yığınları vardır, bu nedenle herhangi bir yöntem argümanı ve yerel değişken her evre için benzersiz olacaktır. Bir dizginin kullanılması ayrıca dizgelerin değişmez olması nedeniyle bu evrelerin birbirine karışmayacağını garanti eder.

Eğer argüman başka türden değiştirilebilir bir nesneye referans ise böyle bir garanti yoktur. Veya yöntemin kendisi statik olan değişkenler veya öbek üzerindeki nesnelere başvurular kullanıyorsa. Bir iş parçacığı nesneyi değiştirdiğinde ve başka bir iş parçacığı onu okuduğunda eşitleme gereklidir. Kilit C # dilinde kelime böyle gerekli senkronizasyon uygulamak için demirbaş yoludur. Yöntemin statik olması, bu tür bir senkronizasyonun asla gerekli olmadığı anlamına gelmez. Sadece az olasılıkla aynı nesne (paylaşma erişen parçacığı konusunda endişelenmenize gerek yok çünkü bu ).