As discussed in the meeting, if we e.g. come to the conclusion that we cannot make it work using what's available out of the box in WF 10, the database-based approach may be an alternative. Probably it'd cause a longer delay until index changes become applied (depending on the polling interval). A single processor could be ensured using the clustered HA singleton mechanism already built into WF (see this quickstart).