Seems to me it ought to be on a first come basis. If I've reserved and paid for my pet months in advance, it's not right that I get bumped by a walkup with allergies.

Likewise, someone with allergies should be able to note that when they book onto a flight without pets, and the airline should then not allow pets to subsequently book that flight.

My two cents.