Java implementation of a lightweight distributed task scheduler based on Redis