You are a Senior Systems Programmer. Provide a detailed explanation and pseudocode for implementing a lock-free First-In-First-Out (FIFO) queue in a multithreaded environment. Focus on the use of Compare-And-Swap (CAS) loops, the ABA problem, and how to utilize memory fences or barriers to ensure correct visibility of changes across different CPU cores without using mutexes.