Yığın Kaynak Politikası - Stack Resource Policy

Bu makale olabilir gerek Temizlemek Wikipedia'yla tanışmak için kalite standartları. Spesifik sorun şudur: Gayri resmi konuşma ile küçük bilgiler Lütfen yardım et bu makaleyi geliştir Eğer yapabilirsen. (Mayıs 2012) (Bu şablon mesajını nasıl ve ne zaman kaldıracağınızı öğrenin)

Bu makale bir yetim, başka hiçbir makale olmadığı gibi ona bağlantı. Lütfen bağlantıları tanıtmak dan bu sayfaya İlgili Makaleler; dene Bağlantı bul aracı öneriler için. (Haziran 2012)

Yığın Kaynak Politikası (SRP), gerçek zamanlı hesaplamada kullanılan bir kaynak tahsis politikasıdır ve kullanım sırasında paylaşılan kaynaklara erişmek için kullanılır. en erken son tarih ilk planlama. T. P. Baker tarafından tanımlanmıştır.^[1] SRP ile aynı şey değildir Öncelikli tavan protokolü sabit öncelikli görevler (FP) içindir.

Fonksiyon

Her göreve aşağıdaki formüle göre bir öncelik düzeyi atanır: ${ displaystyle D (T_ {i})}$ görevin son tarihini gösterir ${ displaystyle i}$ ve ${ displaystyle pi _ {i} (T_ {i})}$ i görevinin ön hazırlık düzeyini gösterir:

${ displaystyle D (T_ {i}) pi _ {i} (T_ {j})}$

Her kaynak R'nin geçerli bir tavanı vardır ${ displaystyle C_ {R} (V_ {R})}$ Engellenebilecek görevlerin maksimum ön hazırlık düzeylerini temsil eden ${ displaystyle V}$ birimleri ${ displaystyle R}$ mevcut ve ${ displaystyle mu _ {R} (J)}$ maksimum birimdir ${ displaystyle R}$ o ${ displaystyle T_ {i}}$ herhangi bir zamanda gerekebilir. ${ displaystyle C_ {R} (V_ {R})}$ aşağıdaki gibi atanır:

${ displaystyle C_ {R} (V_ {R}) = max ( {0 } cup { pi (J) | V_ {R} < mu _ {R} (J) })}$

Ayrıca bir sistem tavanı vardır ${ displaystyle pi '}$ bu, kaynakların mevcut tüm tavanlarının maksimumudur.

${ displaystyle pi '= max ( {C_ {R} (i) | i = 1, ..., m } fincan { pi (J_ {c}) })}$

Herhangi bir görev ${ displaystyle T_ {i}}$ Sistemi önceden almak isteyenler önce aşağıdaki kısıtlamayı karşılamalıdır:

${ displaystyle pi '$

Bu, İşletim Sistemi uygulaması için iyileştirilebilir ( MarteOS ) çok birimli kaynakları kaldırarak ve yığın kaynak politikasını aşağıdaki gibi tanımlayarak

• Kaynakları kilitlerken görevlerin sırasını birbirleriyle ilişkili olarak korumak için tüm görevlere bir öncelik düzeyi atanır. En düşük göreceli son teslim tarihi görevlerine en yüksek ön ödeme seviyesi atanır.
• Her paylaşılan kaynağın, bu korumalı nesneye erişen tüm görevlerin maksimum ön hazırlık düzeyi olan ilişkili bir tavan düzeyi vardır.
• Sistem tavanı, herhangi bir anda, sistem içinde halihazırda yürütülen tüm görevlerin maksimum aktif önceliğidir.
• Bir göreve yalnızca, mutlak son tarihi şu anda yürütülen görevden daha az olduğunda ve ön hazırlık düzeyi mevcut sistem tavanından yüksek olduğunda sisteme öncelik verilmesine izin verilir.

Alaka düzeyi

2011 kitabı Zor Gerçek Zamanlı Hesaplama Sistemleri: Öngörülebilir Çizelgeleme Algoritmaları ve Uygulamaları Yazan: Giorgio C. Buttazzo, Baker 1991 çalışmasından SRP'yi gözden geçirmeye ayrılmış bir bölüme sahipti.^[2][3]

Referanslar