[darrin]

The best solution I've seen is to do batch auctions every millisecond or so, and randomize matches within that window (for market orders or limit orders at the same price). You could use a longer window to include slower players in the market.