ሴማፎር vs ሞኒተር
ሴማፎር ብዙ ሂደቶች ወደ አንድ የጋራ መገልገያ ወይም ወሳኝ ክፍል በተመሳሳይ ጊዜ፣ በትይዩ የፕሮግራም አወጣጥ አካባቢዎች እንዳይደርሱ ለማረጋገጥ የሚያገለግል የውሂብ መዋቅር ነው። ሴማፎሮች የሞቱ መቆለፊያዎችን እና የዘር ሁኔታዎችን ለማስወገድ ያገለግላሉ። ሞኒተር የፕሮግራም አወጣጥ ቋንቋ ግንባታ ሲሆን ብዙ ሂደቶችን በተመሳሳይ ጊዜ የጋራ ሀብትን እንዳያገኝ ጥቅም ላይ ይውላል ስለዚህ እርስ በርስ መገለልን ያረጋግጣል። ተቆጣጣሪዎች ይህንን ተግባር ለማሳካት ሁኔታዊ ተለዋዋጮችን ይጠቀማሉ።
ሴማፎር ምንድን ነው?
Semaphore ወሳኝ ለሆኑ ክፍሎች የጋራ መገለልን ለማቅረብ የሚያገለግል የውሂብ መዋቅር ነው።ሴማፎሮች በዋነኝነት የሚጠቅሙትን ሁለት ኦፕሬሽኖች ይደግፋሉ (በታሪክ P በመባል የሚታወቁት) እና ሲግናል (በታሪክ V በመባል ይታወቃል)። የመጠባበቂያ ክዋኔው ሴማፎሩ ክፍት እስኪሆን ድረስ ሂደቱን ያግዳል እና የሲግናል ኦፕሬሽኑ ሌላ ሂደት (ክር) እንዲገባ ይፈቅዳል። እያንዳንዱ ሴማፎር ከመጠባበቅ ሂደቶች ወረፋ ጋር የተያያዘ ነው. የመጠባበቂያ ክዋኔው በክር ሲጠራ, ሴማፎሩ ክፍት ከሆነ, ክርው ሊቀጥል ይችላል. የጥበቃ ክዋኔው በክር ሲጠራ ሴማፎር ከተዘጋ ክሩ ታግዷል እና ወረፋው ላይ መጠበቅ አለበት። የሲግናል ክዋኔው ሴማፎርን ይከፍታል እና በወረፋው ውስጥ ቀድሞውኑ የሚጠብቀው ክር ካለ, ሂደቱ እንዲቀጥል ይፈቀድለታል እና በወረፋው ውስጥ የሚጠብቁ ክሮች ከሌሉ ምልክቱ ለቀጣዮቹ ክሮች ይታወሳል. mutex semaphores እና semaphores መቁጠር የሚባሉት ሁለት ዓይነት ሴማፎሮች አሉ። ሙቴክስ ሴማፎርስ ለአንድ ግብአት አንድ ጊዜ እንዲደርስ ያስችላል እና ሴማፎሮች መቁጠር ብዙ ክሮች ሀብትን እንዲደርሱ ያስችላቸዋል (ይህም ብዙ ክፍሎች አሉት)።
ሞኒተር ምንድን ነው?
አንድ ማሳያ የተጋራ ውሂብ መዳረሻን ለመቆጣጠር የሚያገለግል የፕሮግራም አወጣጥ ቋንቋ ግንባታ ነው። ተቆጣጣሪዎች የተጋሩ የውሂብ አወቃቀሮችን፣ አካሄዶችን (በጋራ የውሂብ አወቃቀሮች ላይ የሚሰሩ) እና በተመሳሳይ የሂደት ጥሪዎች መካከል ማመሳሰልን ያጠቃልላል። ተቆጣጣሪው መረጃው ካልተዋቀሩ መዳረሻዎች ጋር እንዳልገጠመው ያረጋግጣል እና መረጣዎች (በሂደቱ የቁጥጥር መረጃን የሚደርሱበት) በህጋዊ መንገድ መስተጋብር እንደሚፈጥሩ ዋስትና ይሰጣል። ሞኒተር ማንኛውንም የቁጥጥር ሂደት በተወሰነ ጊዜ እንዲፈጽም አንድ ክር ብቻ በመፍቀድ የጋራ መገለልን ዋስትና ይሰጣል። ሌላ ክር በተቆጣጣሪው ውስጥ ዘዴን ለመጥራት ከሞከረ ፣ ክር ቀድሞውኑ በተቆጣጣሪው ውስጥ አንድ ሂደት ሲያከናውን ፣ ከዚያ ሁለተኛው ሂደት ታግዶ ወረፋው ላይ መጠበቅ አለበት። Hoare Monitors እና Mesa monitors የሚባሉ ሁለት አይነት ተቆጣጣሪዎች አሉ። በዋነኛነት የሚለያዩት በመርሐግብር አወጣጥ ትርጉማቸው ነው።
በሴማፎር እና ሞኒተር መካከል ያለው ልዩነት ምንድን ነው?
ምንም እንኳን ሁለቱም ሴማፎሮች እና ተቆጣጣሪዎች በትይዩ የፕሮግራም አወጣጥ አካባቢዎች የጋራ መገለልን ለማሳካት ጥቅም ላይ የሚውሉ ቢሆንም ይህንን ተግባር ለማሳካት በሚጠቀሙባቸው ዘዴዎች ይለያያሉ። በተቆጣጣሪዎች ውስጥ የጋራ መገለልን ለማግኘት የሚያገለግለው ኮድ በአንድ ቦታ ላይ ነው እና የበለጠ የተዋቀረ ሲሆን የሴማፎርስ ኮድ ደግሞ እንደ መጠበቅ እና ሲግናል ተግባር ጥሪዎች ይሰራጫል። እንዲሁም ሴማፎርን በሚተገበሩበት ጊዜ ስህተቶችን ማድረግ በጣም ቀላል ነው, ነገር ግን ተቆጣጣሪዎችን በሚተገበሩበት ጊዜ ስህተት ለመሥራት በጣም ትንሽ እድል አለ. በተጨማሪ፣ ተቆጣጣሪዎች የሁኔታ ተለዋዋጮችን ይጠቀማሉ፣ ሴማፎሮች ግን አይጠቀሙም።
