Semaphores (counting and binary) in Operating Systems - Mini Project: Build & Apply

Understanding Semaphores: Counting and Binary

📖 Scenario: You are learning about semaphores, which are tools used in operating systems to control access to shared resources. Imagine a library with a limited number of study rooms. Semaphores help manage how many people can use these rooms at the same time.

🎯 Goal: Build a simple conceptual model of semaphores using variables to represent counting and binary semaphores. You will create initial values, set limits, and simulate resource access control.

📋 What You'll Learn

Create variables representing counting and binary semaphores with exact initial values

Add a configuration variable to represent the maximum count for the counting semaphore

Write logic to simulate acquiring and releasing the semaphore

Complete the model by adding a final state variable showing the semaphore status

💡 Why This Matters

🌍 Real World

Semaphores are used in operating systems to manage access to limited resources like printers, files, or memory, preventing conflicts and ensuring smooth multitasking.

💼 Career

Understanding semaphores is essential for roles in system programming, embedded systems, and software development where resource management and concurrency control are critical.

1

Create initial semaphore variables

Create a variable called counting_semaphore and set it to 3. Also create a variable called binary_semaphore and set it to 1.

Operating Systems

# Create the initial semaphore variables
# Your code here

Need a hint?

Counting semaphore starts with 3, binary semaphore starts with 1.

2

Add maximum count configuration

Create a variable called max_count and set it to 3 to represent the maximum count for the counting semaphore.

Operating Systems

counting_semaphore = 3
binary_semaphore = 1
# Add max_count variable
# Your code here

Need a hint?

max_count should match the initial counting semaphore value.

3

Simulate acquiring the counting semaphore

Write code to decrease counting_semaphore by 1 to simulate acquiring the resource, but only if counting_semaphore is greater than 0.

Operating Systems

counting_semaphore = 3
binary_semaphore = 1
max_count = 3
# Acquire counting semaphore if possible
# Your code here

Need a hint?

Use an if statement to check before decreasing.

4

Add final semaphore status variable

Create a variable called semaphore_status that stores a dictionary with keys 'counting' and 'binary' holding the current values of counting_semaphore and binary_semaphore respectively.

Operating Systems

counting_semaphore = 3
binary_semaphore = 1
max_count = 3
if counting_semaphore > 0:
    counting_semaphore -= 1
# Create semaphore_status dictionary
# Your code here

Need a hint?

Use a dictionary to hold the current semaphore values.