WebSocket+Redis实现消息推送机制以及离线消息推送，我需要实现代码

好的，这是一个比较复杂的功能，需要涉及到多个模块的编写。下面是一个简单的示例代码，供您参考。

1. 首先是WebSocket的部分，我们可以使用Python的tornado框架来实现：

import tornado.web
import tornado.websocket
import tornado.ioloop
import redis

r = redis.Redis(host='localhost', port=6379, db=0)

class WebSocketHandler(tornado.websocket.WebSocketHandler):

    def open(self):
        # 获取用户信息，将其作为Redis的key值
        user_id = self.get_secure_cookie('user_id').decode('utf-8')
        self.user_id = user_id

    def on_close(self):
        pass

    def check_origin(self, origin):
        return True

    def on_message(self, message):
        # 接收到消息后，将其存入Redis，key为用户ID，value为消息内容
        r.rpush(self.user_id, message)

def make_app():
    return tornado.web.Application([
        (r'/ws', WebSocketHandler),
    ])

if __name__ == '__main__':
    app = make_app()
    app.listen(8000)
    tornado.ioloop.IOLoop.current().start()

2. 接下来是Redis的部分，我们需要实现一个推送消息的函数，同时也需要实现一个获取离线消息的函数：

import redis

r = redis.Redis(host='localhost', port=6379, db=0)

def push_message(user_id, message):
    # 将消息推送到当前用户的WebSocket连接中
    for conn in WebSocketHandler.connections:
        if conn.user_id == user_id:
            conn.write_message(message)

def get_offline_message(user_id):
    # 获取当前用户的离线消息，并返回一个列表
    messages = r.lrange(user_id, 0, -1)
    r.delete(user_id)
    return messages

3. 最后，我们需要在适当的位置调用这些函数，来实现消息的推送和离线消息的获取。例如，在用户登录后，我们可以调用`get_offline_message()`函数，获取用户的离线消息：

class LoginHandler(tornado.web.RequestHandler):

    def post(self):
        user_id = self.get_argument('user_id')
        self.set_secure_cookie('user_id', user_id)

        # 获取用户的离线消息，并推送到当前用户的WebSocket连接中
        offline_messages = get_offline_message(user_id)
        for msg in offline_messages:
            push_message(user_id, msg)

当用户收到新消息时，我们可以调用`push_message()`函数，将消息推送到当前用户的WebSocket连接中：

class SendMessageHandler(tornado.web.RequestHandler):

    def post(self):
        user_id = self.get_secure_cookie('user_id').decode('utf-8')
        message = self.get_argument('message')

        # 将消息推送到当前用户的WebSocket连接中
        push_message(user_id, message)

        # 将消息存入Redis，供离线推送使用
        r.rpush(user_id, message)

这样，我们就完成了WebSocket+Redis实现消息推送机制以及离线消息推送的功能。当用户收到新消息时，会立即推送到其当前的WebSocket连接中；当用户下线后，未读的消息会存入Redis中，等用户再次登录时，会将其离线消息推送给用户。