Ring buffer for UART receive in Embedded C - Time & Space Complexity
We want to understand how the time to process UART data grows as more bytes arrive.
How does the ring buffer handle incoming data efficiently as input size changes?
Analyze the time complexity of the following code snippet.
#define BUFFER_SIZE 128
volatile uint8_t ring_buffer[BUFFER_SIZE];
volatile uint16_t head = 0;
volatile uint16_t tail = 0;
void uart_receive_byte(uint8_t data) {
ring_buffer[head] = data;
head = (head + 1) % BUFFER_SIZE;
}
This code stores each received byte into a ring buffer and moves the head pointer forward.
Identify the loops, recursion, array traversals that repeat.
- Primary operation: Storing one byte and updating the head index.
- How many times: Once per received byte, repeated as many bytes arrive.
Each new byte causes one store and one index update, so work grows directly with bytes received.
| Input Size (n) | Approx. Operations |
|---|---|
| 10 | 10 stores and 10 index updates |
| 100 | 100 stores and 100 index updates |
| 1000 | 1000 stores and 1000 index updates |
Pattern observation: Operations increase linearly as more bytes arrive.
Time Complexity: O(n)
This means the time to process data grows directly in proportion to the number of bytes received.
[X] Wrong: "The ring buffer processes all bytes at once, so time does not grow with input size."
[OK] Correct: Each byte triggers a store and index update, so time grows with each byte received, not all at once.
Understanding how data structures like ring buffers handle input efficiently shows your grasp of real-time data processing.
"What if the ring buffer size doubled? How would the time complexity change when receiving bytes?"
Practice
ring buffer for UART receive data?Solution
Step 1: Understand UART data flow
UART data arrives asynchronously and can be lost if not stored properly.Step 2: Role of ring buffer
A ring buffer stores data in a circular way so new data overwrites old only when full, preventing data loss.Final Answer:
To store incoming data in a circular way to prevent data loss -> Option DQuick Check:
Ring buffer = circular storage for UART data [OK]
- Confusing ring buffer with baud rate control
- Thinking it encrypts data
- Assuming it converts data format
Solution
Step 1: Understand array declaration syntax
In C, arrays are declared with type, name, and size in square brackets.Step 2: Check each option
char ringBuffer[64]; correctly declares a char array of size 64. Others are invalid syntax or wrong types.Final Answer:
char ringBuffer[64]; -> Option AQuick Check:
Array declaration = type name[size] [OK]
- Using parentheses instead of brackets
- Assigning size to variable instead of array
- Leaving size empty or incorrect
uint8_t buffer[8]; uint8_t head = 0; uint8_t tail = 0; // Add data buffer[head] = 0x55; head = (head + 1) % 8; // Add data buffer[head] = 0xAA; head = (head + 1) % 8; // Read data uint8_t data = buffer[tail]; tail = (tail + 1) % 8;What is the value of
data after this code runs?Solution
Step 1: Track buffer writes
First, 0x55 is stored at buffer[0], head moves to 1. Then 0xAA stored at buffer[1], head moves to 2.Step 2: Read from tail
Tail is 0, so reading buffer[0] returns 0x55, then tail moves to 1.Final Answer:
0x55 -> Option BQuick Check:
Read at tail=0 returns first stored value 0x55 [OK]
- Reading from head instead of tail
- Forgetting modulo wrap-around
- Assuming data is 0xAA instead of 0x55
if ((head + 1) % BUFFER_SIZE == tail) {
// Buffer full
return;
}
buffer[head] = data;
head = (head + 1) % BUFFER_SIZE;
Solution
Step 1: Understand buffer full condition
Buffer is full when next head position equals tail, meaning no space to write.Step 2: Analyze given condition
The condition uses (head + 1) % BUFFER_SIZE == tail, which correctly detects full buffer.Final Answer:
Buffer full condition is correct, no bug -> Option AQuick Check:
Full when next head equals tail [OK]
- Using wrong comparison operator
- Forgetting modulo operation
- Checking head == tail for full (actually empty)
uart_receive_byte() that reads one byte from the ring buffer if available, or returns -1 if empty. Which code snippet correctly implements this?Solution
Step 1: Check empty condition
Buffer is empty when head equals tail, so return -1 in that case.Step 2: Read data and update tail
Read from buffer[tail], then move tail forward with modulo wrap.Final Answer:
Function returns -1 if empty, else data from tail and updates tail -> Option CQuick Check:
Empty if head==tail; read from tail pointer [OK]
- Checking wrong empty condition
- Reading from head instead of tail
- Returning 0 instead of -1 when empty
Ready to prove it?
Pass the test and this pattern moves unknown
