Arduino Operative System?

Hi, im doing a research on the operative system of the arduino(if it has one). So, i was googling it but i didnt found anything about the os of arduino.
I want to know if it has one, and where i can find some info about it.
I also want to do a project about process synchronization on arduino, any ideas? Something like the Producer Consumer problem. I found a library about it (Ryan M Sutton - Arduino Producer-Consumer Library) but i dont understand it at all. Some tips to achieve this?

Thanks in advance!

Arduino does not have an operating system.

Pete

el_supremo:
Arduino does not have an operating system.

That is why it is good at what it does.

An operating system would use too much of the resources of 2k of SRAM and a 16MHz MCU and would prevent it from dealing with real-time events.

..R