So, this is the implementation. So, we have got the semaphore mutex which is initialized to 1; we have got the semaphore next which is initialized to 0 and we have got a next count 0. We know that inside the monitor we have got several functions F. So, on top of F we will be putting here at a wait on mutex. So, this wait on mutex is ensured, then the body of F comes.
यह मॉनिटर का एक इंप्लीमेंटेशन है जिसमें सीमाफोर म्यूटैक्स का इनिशियल वैल्यू वन है और सीमाफोर नेक्स्ट का इनिशियल वैल्यू जीरो है। वेरिएबल नेक्स्ट काउंट का इनिशियल वैल्यू जीरो है। हम जानते हैं कि मॉनिटर के अंदर कई सारे फंक्शन F होते हैं लेकिन इन सभी से पहले हम वेट ऑन म्यूटैक्स जोड़ देते हैं जिससे कि फंक्शन F की बॉडी एग्जीक्यूट होने से पहले वेट ऑन म्यूटैक्स हमेशा एग्जीक्यूट होता है।