Bir iş parçacığını uyku nasıl çalışır?

Bir iplik uyuduğunuzda , aslında neler oluyor?

Bir iş parçacığının uyutulmasının "geçerli iş parçacığını belirli bir süre duraklatır" olduğunu görüyorum . Ama nasıl çalışır?

Göre içten) (Nasıl Thread.sleep işleri ve Thread.sleep gerçekten nasıl çalışır? :

• uyku süresi sisteme özgü bir ayrıntı düzeyine tabi olacaktır
• uyku engelliyor
• iş parçacığı CPU'dan ayrılır ve yürütülmesini durdurur
• iplik uyku sırasında CPU zamanını tüketmiyor

Tüm bunların ne anlama geldiğinin iç ve temel mekaniğini tam olarak anlayamıyorum.

İş parçacıkları arasında geçiş yapmaktan sorumlu zamanlayıcı adı verilen bir şey olduğunu anlıyorum .

Kaynaklar, bunun işletim sistemine (veya donanıma?) Göre değiştiğini ve CPU'ya başka bir iş parçacığına geçmeden önce bazı eylemleri gerçekleştirmek için çoğu iş parçacığına 1ms - 60ms kadar verildiğini gösteriyor.

Ancak bir iş parçacığı uyuduğunda (örneğin, birkaç saniye), nasıl devam eder? Sanırım bir zamanlayıcı bir şekilde dahil, anakartın saati mi? İşlemci saat hızı ile mi ilgili?

Ve bir zamanlayıcı dahil olsa bile, CPU iş parçacığına tekrar dikkat etmenin zamanı geldiğini nasıl bilebilir? Hazır olup olmadığını görmek için iş parçacığını sürekli kontrol etmesi gerekmez mi? Etkin bir şekilde değil mi yoklama ve dolayısıyla tür bir CPU zaman alıcı?

Uyumak bir iş parçacığı diline özgü mü yoksa işletim sisteminden sorumlu mu yoksa CPU'ya özgü bir şey mi?

Birisi bunu bana zamanlayıcı gibi şeylerin temel açıklamaları ve tüm bunlar sırasında CPU'nun ne yaptığını açıklar mı?

Bir programı çalıştırmak, o programın içindeki koddan çok daha fazlasıdır.

Çok işlemli bir işletim sisteminde çalışan herhangi bir program, işletim sisteminin zamanlayıcısının kontrolü altındadır ve zamanlayıcı , hangi işlemin çalıştığını, hangilerinin CPU döngüleri kullanılabilir olduğunda çalışmayı beklediğini ve hatta olmayanları belirten açık bir tablo tutmaktadır. koşmaya çalışıyor (uyuyor). Programlayıcı , önceliklerine ve yürütme geçmişlerine bağlı olarak işlemlere genellikle çift boyutlu zaman dilimleri atar . Sonuçta, bu döngü genellikle ana karttaki bir osilatör tarafından üretilen donanım kesintileri tarafından tahrik edilir.

Uyku, her zaman bir programlama dilinin destekleyebileceği bir özelliktir, çünkü yalnızca çalıştırılacağı çalışma zamanı ortamı onu destekler. Normal bir programı askıya alamaz kendisini sadece o nasıl zamanlayıcı söyleyebilir, ister ve zamanlayıcı bu dileğini tatmin yeteneğine bile daima hayır yükümlü yollarla ya gereğidir - tedavi edilecek. Bir dizüstü bilgisayarın kapalı ve hazırda bekletme moduna geçtiğini düşünün; ana kartın osilatörü titreşmeye devam eder, ancak zamanlayıcı çalışmadığından, önceliği ne kadar yüksek olursa olsun hiçbir işlem yürütülemez.

As Doc Brown Bir yorumda, kesmeler anahtar ve sadece uyumak içindir.

Kesme işlemi, işlemcinin yaptıklarını durdurması ve bir kod parçası çalıştırması gereken bir donanım sinyalidir. Harici cihazlar işlemcinin dikkatini çekmesi gerektiğinde kesintileri tetikler: örneğin, bir disk veri okumayı bitirdiğinde veya bir tuşa basıldığında veya anakarttaki geri sayım zamanlayıcısı sıfıra ulaştığında.

Kesme işleme kodu genellikle çok küçük ve çok hızlıdır. Örneğin, disk bir bloğun belleğe kopyalandığını gösterdiğinde, işletim sistemi bu gerçeği bir yerde "hazır bloklar" listesine kaydedebilir ve daha sonra başka bir şeye geri dönebilir. CPU'nun tüm zamanlarını kesme işleme kodunda geçirmesini ve kullanıcı kodunu çalıştırmasını istemezsiniz.

Kesinlikle küçük olmayan kesmeye bağlı kodlardan biri zamanlayıcıdır. Geri sayım zamanlayıcısından gelen bir sinyal tarafından tetiklenir ve her çalıştırıldığında sistemin durumunu inceler. Bu, genellikle çalışmaya hazır olan tanımlama işlemlerini (örneğin, bekledikleri blok belleğe ulaştığı için) ve zaman dilimlerini tüketenleri içerecektir.

Yani, bir iplik uykusu yürüttüğünüzde, yaptığınız şey OS'ye (1) zaman diliminizden vazgeçtiğinizi ve (2) belirli bir süre geçene kadar tekrar uyanmamanız gerektiğini söyler.

Zamanlayıcı her çalıştığında, iş parçacığınıza bakar ve yalnızca bu süre geçtiyse "çalışmaya hazır" olarak işaretler. Bu bir tür sorgulamadır, ancak bir kesinti tarafından tetiklendiği için "meşgul döngü" yoklaması değildir. Ayrıca o kadar pahalı değil: tipik olarak bir seferde sadece bin kadar iplik çalışıyor.

Bu aynı zamanda uyku zamanlarının neden kesin olmadığına dair bir fikir vermelidir: iş parçacığınız çalışmaya hazır hale geldiğinde, hala çalışan ve zaman dilimlerini tüketmemiş başka iş parçacıkları da olabilir. Veya çalışmaya hazır yüksek öncelikli iş parçacıkları olabilir.