实现高可用的消息队列系统的架构设计和实现可以通过使用RabbitMQ来完成。RabbitMQ是一个开源的消息中间件，它基于AMQP协议，提供了可靠的消息传递和可扩展的架构。
下面是一个基于Golang和RabbitMQ的高可用消息队列系统的架构设计和实现的步骤：
采用生产者-消费者模式，生产者将消息发送到队列，消费者从队列中接收并处理消息。
使用RabbitMQ的集群模式以实现高可用性和水平扩展性。
使用Exchange和Queue来实现消息的路由和存储。
考虑可用性，使用多个实例来运行生产者和消费者。
在不同的服务器上安装并配置RabbitMQ，创建一个RabbitMQ集群。
配置集群节点之间的连接和同步。
配置虚拟主机（vhost）和用户权限。
使用RabbitMQ的Golang客户端库进行开发。
编写生产者代码，将消息发送到队列中。
编写消费者代码，从队列中接收并处理消息。
使用事务或确认模式来确保消息的可靠传递。
在生产者端开启事务或确认模式，并处理发送失败的情况。
在消费者端处理消息处理失败的情况，例如重新入队或记录错误日志。
使用Exchange来实现消息的路由和过滤。
根据消息的类型或其他属性将消息发送到不同的Exchange和Queue中。
在消费者端订阅特定的Queue并处理对应类型的消息。
在生产者和消费者的代码中使用RabbitMQ的连接池来管理连接。
使用负载均衡算法来分发消息到不同的消费者实例。
监控和管理集群节点的健康状况，例如使用心跳机制来检测节点的可用性。
以上是一个简单的高可用消息队列系统的架构设计和实现步骤。实际上，还可以根据具体的需求进行更多的优化和扩展，例如使用消息持久化、消息序列化和反序列化、消息重试机制等。