A distributed optimization framework with parameter server