I am pretty new to the 8051 development tools. We currently got the EZ-USB-FX Development board. Since I am pretty new to use C for firmware, I don't find any information on how to deal with and use the 8051 interrupts like timer, serial port, general, etc. Is there any document or even a book on this topic?
Grab the Intel MCS-51 Family User's Manual from their website and read the interrupts section. Then, simply declare all your shared ISR/Backround variables (if any) as volatile, use a separate register bank for all ISR's at the same hardware priority if you want consistent latency independent of how many registers your ISR uses, don't call library code from the ISR, and remember that some interrupts are ack'd by vectoring while some require an explicit ack. ISR's just look like this:
void uartIsr(void) interrupt UART_VECTOR using REG_BANK_1 { // code }