“得益於MQ削峯填谷,系統解耦,操作異步等功能特性,在互聯網行業,可以說有分佈式服務的地方,MQ都往往不會缺席。”
由阿里自研的RocketMQ更是經歷了多年的雙十一高併發挑戰,其中4.3.0版本推出了事務消息的新特性本文對RocketMQ 4.5.0版本事務消息相關的源碼跟蹤介紹,通過閱讀可以知道:
事務消息解決什麼樣的問題
事務消息的實現原理及其設計亮點
01
—
解決什麼問題
假設我所在的系統現在有這樣一個場景:
本地開啓數據庫事務進行扣款操作,成功後發送MQ消息給庫存中心進行發貨。
有人會想到開啓mybatis事務實現,把本地事務和MQ消息放在一起不就行了嗎?如果MQ發送成功,就提交事務,發送失敗就回滾事務,整套操作一氣呵成。
transaction{
扣款();
boolean success = 發送MQ();
if(success){
commit();
}else{
rollBack();
}
}
看似沒什麼問題,但是網絡是不可靠的。
假設MQ返回過來的響應因爲網絡原因遲遲沒有收到,所以在面對不確定的MQ返回結果只好進行回滾。但是MQ 服務器又確實是收到了這條消息的,只是給客戶端的響應丟失了,所以導致的結果就是扣款失敗,成功發貨。
既然MQ消息的發送不能和本地事務寫在一起,那如何來保證其整體具有原子性的需求呢?答案就是今天我們介紹的主角:事務消息。
02
—
概覽
總體而言RocketMQ事務消息分爲兩條主線
定時任務發送流程:發送half message(半消息),執行本地事務,發送事務執行結果
定時任務回查流程:MQ服務器回查本地事務,發送事務執行結果
因此本文也通過這兩條主線對源碼進行分析
03
—
源碼分析
半消息發送流程
本地應用(client)
在本地應用發送事務消息的核心類是TransactionMQProducer,該類通過繼承DefaultMQProducer來複用大部分發送消息相關的邏輯,這個類的代碼量非常少只有100來行,下面是這個類的sendMessageTransaction方法
public TransactionSendResult sendMessageInTransaction(final Message msg,
final Object arg) throws MQClientException {
if (null == this.transactionListener) {
throw new MQClientException("TransactionListener is null", null);
}
return this.defaultMQProducerImpl.sendMessageInTransaction(msg, null, arg);
}
這個方法做了兩件事,
檢查transactionListener是否存在
調用父類執行事務消息發送
TransactionListener在事務消息流程中起到至關重要的作用,一起看看這個接口
public interface TransactionListener {
/**
* When send transactional prepare(half) message succeed, this method will be invoked to execute local transaction.
*
* @param msg Half(prepare) message
* @param arg Custom business parameter
* @return Transaction state
*/
LocalTransactionState executeLocalTransaction(final Message msg, final Object arg);
/**
* When no response to prepare(half) message. broker will send check message to check the transaction status, and this
* method will be invoked to get local transaction status.
*
* @param msg Check message
* @return Transaction state
*/
LocalTransactionState checkLocalTransaction(final MessageExt msg);
}
接口註釋說的很明白,配合上面的概覽圖來看就是,executeLocalTransaction方法對應的就是執行本地事務操作,checkLocalTransaction對應的就是回查本地事務操作。
下面是DefaultMQProducer類的
sendMessageInTransaction方法源碼
public TransactionSendResult sendMessageInTransaction(final Message msg,
final LocalTransactionExecuter localTransactionExecuter, final Object arg)
throws MQClientException {
...
SendResult sendResult = null;
MessageAccessor.putProperty(msg, MessageConst.PROPERTY_TRANSACTION_PREPARED, "true");
MessageAccessor.putProperty(msg, MessageConst.PROPERTY_PRODUCER_GROUP, this.defaultMQProducer.getProducerGroup());
...
sendResult = this.send(msg);
...
switch (sendResult.getSendStatus()) {
case SEND_OK: {
...
localTransactionState = transactionListener.executeLocalTransaction(msg, arg);
...
break;
case FLUSH_DISK_TIMEOUT:
case FLUSH_SLAVE_TIMEOUT:
case SLAVE_NOT_AVAILABLE:
localTransactionState = LocalTransactionState.ROLLBACK_MESSAGE;
break;
default:
break;
}
...
this.endTransaction(sendResult, localTransactionState, localException);
...
}
爲了使源碼的邏輯更加直觀,筆者精簡了核心代碼。sendMessageInTransaction方法主要做了以下事情
給消息打上事務消息相關的標記,用於MQ服務端區分普通消息和事務消息
發送半消息(half message)
發送成功則由transactionListener執行本地事務
執行endTransaction方法,如果半消息發送失敗或本地事務執行失敗告訴服務端是刪除半消息,半消息發送成功且本地事務執行成功則告訴服務端生效半消息。
發送半消息流程,Client端代碼到這裏差不多就結束了,接下來看看RocketMQ Server端是如何處理的
RocketMQ Server
public PutMessageResult putHalfMessage(MessageExtBrokerInner messageInner) {
return store.putMessage(parseHalfMessageInner(messageInner));
}
private MessageExtBrokerInner parseHalfMessageInner(MessageExtBrokerInner msgInner) {
MessageAccessor.putProperty(msgInner, MessageConst.PROPERTY_REAL_TOPIC, msgInner.getTopic());
MessageAccessor.putProperty(msgInner, MessageConst.PROPERTY_REAL_QUEUE_ID,
String.valueOf(msgInner.getQueueId()));
msgInner.setSysFlag(
MessageSysFlag.resetTransactionValue(msgInner.getSysFlag(), MessageSysFlag.TRANSACTION_NOT_TYPE));
msgInner.setTopic(TransactionalMessageUtil.buildHalfTopic());
msgInner.setQueueId(0);
msgInner.setPropertiesString(MessageDecoder.messageProperties2String(msgInner.getProperties()));
return msgInner;
}
這兩個方法主要做了以下事情:
public class Message implements Serializable {
private String topic;
private int flag;
private Map<String, String> properties;
private byte[] body;
private String transactionId;
}
將消息的topic設置爲“RMQ_SYS_TRANS_OP_HALF_TOPIC”,將queueId設置爲0
將消息寫入磁盤持久化
可以看到所有的事務半消息都會被放進同一個topic的同一個queue裏面,通過對topic的區分,從而避免了半消息被consumer給消費到
Server將半消息持久化後然後會發送結果給我們本地的應用程序。到了這裏Server端對半消息的處理就結束了,緊接着的是定時任務的登場。
RocketMQ Server
定時任務是一個叫TransactionalMessageService類的線程,下面是該類的check方法
public void check(long transactionTimeout, int transactionCheckMax,
AbstractTransactionalMessageCheckListener listener) {
...
if (!putBackHalfMsgQueue(msgExt, i)) {
continue;
}
listener.resolveHalfMsg(msgExt);
}
...
}
其中很有意思的是putBackHalfMsgQueue方法,因爲每次把半消息從磁盤拉到內存裏進行處理都會對其屬性進行改變(例如TRANSACTION_CHECK_TIMES,這是是否丟棄事務消息的關鍵信息)。
所以在發送回查消息之前需要對半消息再次放進磁盤。
RocketMQ採取的方法是基於最新的物理偏移量重新寫入,而不是對原有的半消息進行修改,其中的目的就是RocketMQ的存儲設計採用順序寫,如果去修改消息 ,無法做到高性能。
下面是resolveHalfMsg方法,主要就是開啓一個線程然後發送check消息。
public void resolveHalfMsg(final MessageExt msgExt) {
executorService.execute(new Runnable() {
public void run() {
try {
sendCheckMessage(msgExt);
} catch (Exception e) {
LOGGER.error("Send check message error!", e);
}
}
});
}
下面是DefaultMQProducerImpl的checkTransactionState方法,是本地應用對回查消息的處理邏輯
public void checkTransactionState(final String addr, final MessageExt msg,
final CheckTransactionStateRequestHeader header) {
Runnable request = new Runnable() {
...
public void run() {
...
TransactionListener transactionListener = getCheckListener();
...
localTransactionState = transactionListener.checkLocalTransaction(message);
...
this.processTransactionState(
localTransactionState,
group,
exception);
}
private void processTransactionState(
...
DefaultMQProducerImpl.this.mQClientFactory.getMQClientAPIImpl().endTransactionOneway(brokerAddr, thisHeader, remark,
3000);
...
}
};
this.checkExecutor.submit(request);
}
精簡代碼邏輯後可以清晰的看到
開啓一個線程來執行回查的邏輯
執行transactionListener的checkLocalTransaction方法來獲取本地事務執行的結果
RocketMQ Server
讀出半消息——>恢復topic等原消息體的信息——>和普通消息一樣再次寫入磁盤——>刪除之前的半消息
如果是Rollback消息則直接刪除之前的半消息
到此,整條RocketMQ 事務消息的調用鏈就結束了
04
—
思考
1. 分佈式事務等於事務消息嗎?
2. 源碼設計上有什麼亮點嗎?
通過對整條鏈路源碼的學習理解發現還是有不少亮點的
server端回查消息的發送,client端回查消息邏輯的處理,client端commit/rollback消息的提交都是用了異步進行,可以說能異步的地方都用了異步,通過異步+重試的方式保證了在分佈式環境中即使短暫的網絡狀況不良好,也不會影響整體邏輯。
引入TransactionListener,真正做到了開閉原則以及依賴倒置原則,面向接口編程。整體擴展性做得非常好,使用者只需要編寫自己的Listener就可以做到事務消息的發送,非常方便
TransactionMQProducer通過繼承DefaultMQProducer極大地複用了關於發送消息相關的邏輯
3. 源碼設計上有什麼不足嗎?
RocketMQ作爲一款極其成功的消息中間件,要發現不足不是那麼容易了,筆者談幾點看法
sendMessageIntransaction等事務相關的方法被劃分在了DefaultMQProducer裏面,從內聚的角度來說這是跟事務相關的發送消息方法應該被劃分在TransactionMQProducer。
所有topic的半消息都會寫在topic爲RMQ_SYS_TRANS_OP_HALF_TOPIC的半消息隊列裏,並且每條半消息,在整個鏈路裏會被寫多次,如果併發很大且大部分消息都是事務消息的話,可靠性會存在問題。
本文分享自微信公衆號 - 心源意碼(sourceBook)。
如有侵權,請聯繫 [email protected] 刪除。
本文參與“OSC源創計劃”,歡迎正在閱讀的你也加入,一起分享。