学校还教spring和redis?