Volatile keyword and why it matters in Embedded C - Mini Project: Build & Apply

Volatile Keyword and Why It Matters

📖 Scenario: You are working on a small embedded system that reads a hardware sensor value repeatedly. The sensor value can change at any time outside the program's control.You want to make sure your program always reads the latest sensor value and does not use a cached or optimized copy.

🎯 Goal: Build a simple program that uses the volatile keyword correctly to read a sensor value that can change unexpectedly.

📋 What You'll Learn

Create a variable to hold the sensor value

Add a flag variable to control the reading loop

Use a loop to read the sensor value repeatedly

Print the sensor value in each loop iteration

💡 Why This Matters

🌍 Real World

Embedded systems often read hardware sensors or flags that change outside the program flow. Using <code>volatile</code> ensures the program reads fresh values.

💼 Career

Understanding <code>volatile</code> is essential for embedded software engineers to write reliable device drivers and firmware.

1

Create the sensor value variable

Create an int variable called sensor_value and initialize it to 0.

Embedded C

int sensor_value = 0;  // Your code here

Hint

Use int sensor_value = 0; to create the variable.

2

Add a flag variable to control the loop

Add an int variable called running and set it to 1 to control the reading loop.

Embedded C

int sensor_value = 0;
int running = 1;  // Your code here

Hint

Use int running = 1; to create the flag variable.

3

Use volatile keyword and loop to read sensor

Change the declaration of sensor_value to use the volatile keyword. Then write a while loop that runs while running is 1 and inside the loop, assign sensor_value to a function call read_sensor().

Embedded C

volatile int sensor_value = 0;
int running = 1;

// Your code here

Hint

Use volatile int sensor_value = 0; and a while (running == 1) loop with sensor_value = read_sensor(); inside.

4

Print the sensor value inside the loop

Inside the while loop, add a printf statement to print the text "Sensor value: %d\n" with the current sensor_value.

Embedded C

volatile int sensor_value = 0;
int running = 1;

while (running == 1) {
    sensor_value = read_sensor();
    // Your code here
}

Hint

Use printf("Sensor value: %d\n", sensor_value); inside the loop.

For testing, assume read_sensor() returns 42.

Practice

1. What does the volatile keyword tell the compiler about a variable?

easy

A. The variable is stored in a register for faster access

B. The variable is constant and never changes

C. The variable is only used inside a function

D. The variable can change at any time outside the program flow

Solution

1. Step 1: Understand the role of volatile

   The volatile keyword tells the compiler that the variable's value can change unexpectedly, such as by hardware or interrupts.

2. Step 2: Identify what this means for the compiler

   The compiler must not optimize away reads or writes to this variable because its value can change outside normal program flow.

3. Final Answer:

   The variable can change at any time outside the program flow -> Option D

4. Quick Check:

   volatile means variable changes anytime [OK]

Hint: Volatile means variable can change anytime outside code [OK]

Common Mistakes:

• Thinking volatile means variable is constant
• Assuming volatile stores variable in register
• Confusing volatile with static or const

2. Which of the following is the correct syntax to declare a volatile integer variable named flag?

easy

A. int volatile flag;

B. volatile int flag;

C. Both A and B are correct

D. int flag volatile;

Solution

1. Step 1: Recall volatile declaration syntax

   In C, volatile can appear before or after the type specifier, so both volatile int flag; and int volatile flag; are valid.

2. Step 2: Check each option

   int volatile flag; and volatile int flag; are both correct syntax. int flag volatile; is invalid because volatile must come before or immediately after the type, not after the variable name.

3. Final Answer:

   Both A and B are correct -> Option C

4. Quick Check:

   Volatile can be before or after type [OK]

Hint: Volatile can be before or after type keyword [OK]

Common Mistakes:

• Placing volatile after variable name
• Using volatile without type
• Confusing volatile with const syntax

3. Consider this code snippet:

volatile int flag = 0;

void loop() {
  while(flag == 0) {
    // wait
  }
  // do something
}

What happens if flag is not declared volatile and is changed by an interrupt?

medium

A. The loop may never end because compiler optimizes flag check

B. The loop ends immediately as expected

C. Compilation error due to missing volatile

D. The program crashes

Solution

1. Step 1: Understand compiler optimization without volatile

   If flag is not volatile, the compiler may assume it does not change inside the loop and optimize by reading it once.

2. Step 2: Effect on loop behavior

   Because the compiler caches the value, changes made by interrupts to flag may be ignored, causing the loop to never end.

3. Final Answer:

   The loop may never end because compiler optimizes flag check -> Option A

4. Quick Check:

   Without volatile, compiler may cache variable [OK]

Hint: Without volatile, compiler may cache variable causing infinite loop [OK]

Common Mistakes:

• Thinking code will always work without volatile
• Assuming volatile causes compilation errors
• Believing volatile slows down program always

4. Identify the problem in this code snippet:

int data_ready = 0;

void ISR() {
  data_ready = 1;
}

void main_loop() {
  while(data_ready == 0) {
    // wait
  }
  // process data
}

How to fix it?

medium

A. Declare data_ready as volatile int data_ready = 0;

B. Make data_ready a global constant

C. Remove the while loop

D. Declare data_ready as static int data_ready = 0;

Solution

1. Step 1: Identify variable shared with ISR

   data_ready is changed inside an interrupt service routine (ISR) and read in main loop.

2. Step 2: Understand why volatile is needed

   Without volatile, compiler may optimize and cache data_ready, ignoring changes from ISR.

3. Step 3: Fix by declaring volatile

   Declaring volatile int data_ready = 0; tells compiler to always read fresh value.

4. Final Answer:

   Declare data_ready as volatile int data_ready = 0; -> Option A

5. Quick Check:

   Shared ISR variables must be volatile [OK]

Hint: Make ISR-shared variables volatile to avoid caching [OK]

Common Mistakes:

• Using static instead of volatile
• Removing loop without fixing variable
• Making variable constant incorrectly

5. You have a hardware register at address 0x4000 that changes asynchronously. Which declaration ensures safe access to this register in embedded C?

hard

A. int *reg = (int *)0x4000;

B. volatile int *reg = (int *)0x4000;

C. const int *reg = (int *)0x4000;

D. static int *reg = (int *)0x4000;

Solution

1. Step 1: Understand hardware register behavior

   Hardware registers can change anytime outside program control, so compiler must not optimize access.

2. Step 2: Choose correct pointer declaration

   Declaring pointer as volatile int * tells compiler to always read/write actual memory, not cached value.

3. Step 3: Evaluate options

   int *reg = (int *)0x4000; lacks volatile, risking optimization. const int *reg = (int *)0x4000; makes it constant, disallowing writes. static int *reg = (int *)0x4000; uses static incorrectly.

4. Final Answer:

   volatile int *reg = (int *)0x4000; -> Option B

5. Quick Check:

   Hardware registers need volatile pointers [OK]

Hint: Use volatile pointer for hardware registers [OK]

Common Mistakes:

• Omitting volatile causing stale reads
• Using const preventing writes
• Confusing static with volatile