Ask HN: Are there tools to schedule tasks to execute at specific times?
The PHP programmers tell me to just do a lazy check on each page load for auctions that are closed- if I do that, I'd probably throw it on to an SQS queue and have some server instance processing the closing auctions in bulk. But what if it's a cold day in hell and nobody is triggering these page loads? etc.
What other solutions are out there for time-sensitive scheduling for arbitrarily large numbers of tasks?