So, when F finishes, then it has to see whether how to go out ok. So, when before going out, before going out of this F what it what the process does its is that it checks whether there is any process waiting on the next semaphore variable and that count is given by next count.
जैसे ही F का एग्जीक्यूशन कंप्लीट होता है तब एग्जिट करने से पहले प्रोसेस यह चेक करता है की सीमाफोर वेरिएबल नेक्स्ट के लिए कोई प्रोसेस वेट कर रहा है या नहीं और ऐसे प्रोसेस की काउंटिंग वेरिएबल नेक्स्ट काउंट में मिल जाती है।