Electrical Engineering Stack Exchange is a question and answer site for electronics and electrical engineering professionals, students, and enthusiasts. It only takes a minute to sign up.
Sign up to join this community
Wikipedia defines the FIFO in electronics as under:
FIFOs are commonly used in electronic circuits for buffering and flow control which is from hardware to software. In its hardware form, a FIFO primarily consists of a set of read and write pointers, storage and control logic.
I understand in hardware what is storage and what is control logic. But in this definition I don't understand the meaning of read and write pointers
Is this simply a kind of Program Counter?
A FIFO is a First In First Out memory. You can think of data being shifted in one end and shifted out the other, with the amount of data in the FIFO being allowed to grow up to some maximum limit.
However, actually shifting data around in memory is costly to do in hardware. A better way is to use a memory more normally but make it look like a circular buffer by manipulation of the next address to write to and read from. These addresses live in separate registers, and are often called the read pointer and the write pointer.
Here is a illustration of the state for a simple FIFO using a 8-word memory:
The next incoming word will be written to the empty word at address 1 (the value of the write pointer), then the write pointer incremented to 2. The next read request will fetch the word at 5 (the value of the read pointer), then the read pointer is incremented by 1. In this example, the addresses are automatically circular if the pointers are 3 bits wide. Adding 1 to 7 yields 0 in 3-bit unsigned math.
Complete FIFO systems need ways to indentify the full and empty conditions. There are various schemes for this. A separate register could be used to keep track of how many words are in the FIFO, which is 4 in the snapshot shown above.
A useful scheme for a firmware implementation is to compare the read and write pointers. You could, for example, decide that both pointers equal is FIFO empty, and write one behind read (after wrapping) is FIFO full. Note that such schemes will leave one word of the FIFO unused. You end up spending a piece of state somewhere to allow detection of full and empty, whether that's a separate register or a unusable word in the FIFO. The advantage of this scheme is that reads and writes can happen independently without conflict, so such a FIFO doesn't need a mutex between reading and writing. For example, you don't have to disable interrupts when reading because no harm is done if a interrupt routine pushes a word onto the FIFO while foreground code is trying to read.
Olin's answer covers it completely.
I just want to add that in digital HW, FIFOs are often used in order to transfer multi-bit data between asynchronous clock domains (Clock Domain Crossing - CDC). This topic might be of no interest to you right now (it is kind of an advanced one), but I think it should be covered for completeness.
These special FIFOs are called asynchronous (async) FIFOs, and while they are similar in structure to basic FIFOs, there are two key additions:
This scheme ensures that multi-bit data will be transferred without metastability issues and avoiding data corruption due to independent synchronization of bits.
A logical structure of async FIFO:
A program counter tracks the last instruction executed in a program. In a FIFO, the read and write pointers track the last bit or byte last read or written. So, they are similar concepts, but for different things.
The concept is not so difficult if you strip away the jargon. If someone gave you a long list of numbers and asked you to read them in order, you might put your finger on the page to help track your place. Your finger is a read counter.
