Կարող եք բացատրել սեմաֆորի գործառնական սկզբունքը բազմատող ծրագրավորման մեջ?

Սեմաֆորն այն մեխանիզմն է, որը օգտագործվում է բազմասխալային ծրագրավորման մեջ՝ վերահսկելու ընդհանուր ռեսուրսի մուտքը։ Այն պարունակում է հաշվիչ, որը ցույց է տալիս, թե քանի թել կարող է միաժամանակ մուտք գործել ռեսուրս։

Աշխատանքի սկզբունքը՝

• Սկզբում սեմաֆորի հաշվիչը սահմանվում է հասանելի ռեսուրսների թվին հավասար։
• Երբ թելը ցանկանում է մուտք գործել, նա կանչում է "wait" (կամ "acquire") գործողությունը, որը նվազեցնում է հաշվիչը 1-ով։
• Եթե հաշվիչը դառնում է բացասական, թելը բլոկվում է և սպասում է, մինչև մյուս թելը ազատի ռեսուրսը։
• Երբ թելը ազատում է ռեսուրսը, նա կանչում է "signal" (կամ "release") գործողությունը, որը մեծացնում է հաշվիչը 1-ով և բացում է սպասող թելերին։

Օրինակ՝ Swift-ում DispatchSemaphore օգտագործելով՝

let semaphore = DispatchSemaphore(value: 2) // թույլ է տալիս միաժամանակ աշխատել 2 թելերի

DispatchQueue.global().async {
    semaphore.wait() // փորձել մուտք գործել
    print("Թելը սկսել է աշխատել")
    sleep(2) // աշխատանքի սիմուլացիա
    print("Թելը ավարտեց աշխատանքը")
    semaphore.signal() // ռեսուրսը ազատել
}

Այսպիսով, սեմաֆորը օգնում է սահմանափակել միաժամանակ աշխատող թելերի քանակը ընդհանուր ռեսուրսի հետ, կանխել մրցակցային պայմանները և ապահովել տվյալների ամբողջականությունը։