[Session] make #workers configurable