I've written an article that gives an overview on why pfsync and CARP are necessary, how they work, examples of how they can be used, and a sample configuration:
http://www.countersiege.com/doc/pfsync-carp/ If you're considering building yourself a redundant firewall cluster, you'll probably want to read this. -Ryan
