- 博客(4)
- 收藏
- 关注
RSS订阅原创 消息中间件学习笔记（二）
作用：直接传输消息，即将接收到的信息根据规则 路由到指定的Queue。绑定到交换机的队列（即每个队列都能收到交换机传来的消息）。小结：Direct交换机与Fanout交换机的差异？我们最早在控制台使用的正是Fanout交换机。小结：Fanout交换机的作用是什么？作用：广播信息，即将消息交给。
2023-11-04 22:09:58
54
1
原创 消息中间件学习笔记 (一）
百科对消息中间件的解释：面向消息的系统。消息中间件是在分布式系统中完成消息的发送和接收的基础软件。消息中间件也可以称消息队列，是指用高效可靠的消息传递机制进行与平台无关的数据交流，并基于数据通信来进行分布式系统的集成。多个消费者绑定到一个队列，可以加快消息处理速度同一条消息只会被一个消费者处理通过设置prefetch来控制消费者预取的消息数量，实现能者多劳。
2023-11-03 23:17:34
33
原创 形式化建模与分析方法——2.2 程序正确性证明
将一个完整程序Q拆成若干步骤：Q1、Q2、…Qn，证明每步都正确。因此出现Floyd前后断言法、Floyd归纳断言法、Floyd良序集法、Hoare公理化方法、Dijkstra最弱前置法来解决怎么拆和怎么证的两个问题。
2023-10-31 23:30:45
209
4
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人