Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 1 | /* |
Kevin Schoedel | 8ea423a | 2021-03-11 11:49:18 -0500 | [diff] [blame] | 2 | * Copyright (c) 2020-2021 Project CHIP Authors |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 3 | * All rights reserved. |
| 4 | * |
| 5 | * Licensed under the Apache License, Version 2.0 (the "License"); |
| 6 | * you may not use this file except in compliance with the License. |
| 7 | * You may obtain a copy of the License at |
| 8 | * |
| 9 | * http://www.apache.org/licenses/LICENSE-2.0 |
| 10 | * |
| 11 | * Unless required by applicable law or agreed to in writing, software |
| 12 | * distributed under the License is distributed on an "AS IS" BASIS, |
| 13 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. |
| 14 | * See the License for the specific language governing permissions and |
| 15 | * limitations under the License. |
| 16 | */ |
| 17 | |
| 18 | /** |
| 19 | * @file |
| 20 | * This file defines the reliable message context for the CHIP Message |
| 21 | * Layer. The context is one-on-one relationship with a chip session. |
| 22 | */ |
| 23 | |
| 24 | #pragma once |
| 25 | |
| 26 | #include <stdint.h> |
| 27 | #include <string.h> |
| 28 | |
Kevin Schoedel | 8e5eb8a | 2021-12-09 11:07:45 -0500 | [diff] [blame] | 29 | #include <messaging/ReliableMessageProtocolConfig.h> |
| 30 | |
Zang MingJie | 53dd583 | 2021-09-03 03:05:16 +0800 | [diff] [blame] | 31 | #include <lib/core/CHIPError.h> |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 32 | #include <lib/core/ReferenceCounted.h> |
Zang MingJie | 53dd583 | 2021-09-03 03:05:16 +0800 | [diff] [blame] | 33 | #include <lib/support/DLLUtil.h> |
Zang MingJie | 619b726 | 2021-11-24 02:33:30 +0800 | [diff] [blame] | 34 | #include <messaging/ReliableMessageProtocolConfig.h> |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 35 | #include <system/SystemLayer.h> |
| 36 | #include <transport/raw/MessageHeader.h> |
| 37 | |
| 38 | namespace chip { |
Boris Zbarsky | d30cff3 | 2022-10-25 08:23:30 -0400 | [diff] [blame] | 39 | namespace app { |
| 40 | class TestCommandInteraction; |
| 41 | class TestReadInteraction; |
| 42 | class TestWriteInteraction; |
| 43 | } // namespace app |
Yufeng Wang | 01031e7 | 2020-12-01 09:57:42 -0800 | [diff] [blame] | 44 | namespace Messaging { |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 45 | |
| 46 | class ChipMessageInfo; |
Yufeng Wang | cb23e0c | 2021-01-07 12:36:21 -0800 | [diff] [blame] | 47 | class ExchangeContext; |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 48 | enum class MessageFlagValues : uint32_t; |
Yufeng Wang | 02b31c0 | 2021-02-02 15:15:54 -0800 | [diff] [blame] | 49 | class ReliableMessageMgr; |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 50 | |
Yufeng Wang | cb23e0c | 2021-01-07 12:36:21 -0800 | [diff] [blame] | 51 | class ReliableMessageContext |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 52 | { |
| 53 | public: |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 54 | ReliableMessageContext(); |
| 55 | |
Yufeng Wang | 9fb9d7f | 2021-02-09 12:16:15 -0800 | [diff] [blame] | 56 | /** |
| 57 | * Flush the pending Ack for current exchange. |
| 58 | * |
| 59 | */ |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 60 | CHIP_ERROR FlushAcks(); |
Yufeng Wang | 9fb9d7f | 2021-02-09 12:16:15 -0800 | [diff] [blame] | 61 | |
Boris Zbarsky | 233ec0f | 2021-06-28 17:30:29 -0400 | [diff] [blame] | 62 | /** |
Boris Zbarsky | fa43d00 | 2021-09-28 11:52:23 -0400 | [diff] [blame] | 63 | * Take the pending peer ack message counter from the context. This must |
| 64 | * only be called when HasPiggybackAckPending() is true. After this call, |
| 65 | * IsAckPending() will be false; it's the caller's responsibility to send |
| 66 | * the ack. |
Boris Zbarsky | 233ec0f | 2021-06-28 17:30:29 -0400 | [diff] [blame] | 67 | */ |
Zang MingJie | fa0ef98 | 2021-09-15 00:32:01 +0800 | [diff] [blame] | 68 | uint32_t TakePendingPeerAckMessageCounter() |
Boris Zbarsky | 233ec0f | 2021-06-28 17:30:29 -0400 | [diff] [blame] | 69 | { |
| 70 | SetAckPending(false); |
Zang MingJie | fa0ef98 | 2021-09-15 00:32:01 +0800 | [diff] [blame] | 71 | return mPendingPeerAckMessageCounter; |
Boris Zbarsky | 233ec0f | 2021-06-28 17:30:29 -0400 | [diff] [blame] | 72 | } |
Yufeng Wang | 2d43a7f | 2021-04-19 11:10:27 -0700 | [diff] [blame] | 73 | |
Yufeng Wang | 9fb9d7f | 2021-02-09 12:16:15 -0800 | [diff] [blame] | 74 | /** |
Zang MingJie | 3a5d086 | 2022-06-09 02:03:18 +0800 | [diff] [blame] | 75 | * Check whether we have a mPendingPeerAckMessageCounter. The counter is |
| 76 | * valid once we receive a message which requests an ack. Once |
| 77 | * mPendingPeerAckMessageCounter is valid, it never stops being valid. |
Boris Zbarsky | fa43d00 | 2021-09-28 11:52:23 -0400 | [diff] [blame] | 78 | */ |
| 79 | bool HasPiggybackAckPending() const; |
| 80 | |
| 81 | /** |
Yufeng Wang | 9fb9d7f | 2021-02-09 12:16:15 -0800 | [diff] [blame] | 82 | * Send a SecureChannel::StandaloneAck message. |
| 83 | * |
| 84 | * @note When sent via UDP, the null message is sent *without* requesting an acknowledgment, |
| 85 | * even in the case where the auto-request acknowledgment feature has been enabled on the |
| 86 | * exchange. |
| 87 | * |
| 88 | * @retval #CHIP_ERROR_NO_MEMORY If no available PacketBuffers. |
| 89 | * @retval #CHIP_NO_ERROR If the method succeeded or the error wasn't critical. |
| 90 | * @retval other Another critical error returned by SendMessage(). |
| 91 | */ |
Yufeng Wang | 7efa657 | 2021-01-11 12:28:39 -0800 | [diff] [blame] | 92 | CHIP_ERROR SendStandaloneAckMessage(); |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 93 | |
Yufeng Wang | 9fb9d7f | 2021-02-09 12:16:15 -0800 | [diff] [blame] | 94 | /** |
| 95 | * Determine whether an acknowledgment will be requested whenever a message is sent for the exchange. |
| 96 | * |
| 97 | * @return Returns 'true' an acknowledgment will be requested whenever a message is sent, else 'false'. |
| 98 | */ |
Yufeng Wang | cb23e0c | 2021-01-07 12:36:21 -0800 | [diff] [blame] | 99 | bool AutoRequestAck() const; |
Yufeng Wang | 9fb9d7f | 2021-02-09 12:16:15 -0800 | [diff] [blame] | 100 | |
| 101 | /** |
| 102 | * Set whether an acknowledgment should be requested whenever a message is sent. |
| 103 | * |
| 104 | * @param[in] autoReqAck A Boolean indicating whether or not an |
| 105 | * acknowledgment should be requested whenever a |
| 106 | * message is sent. |
| 107 | */ |
Yufeng Wang | cb23e0c | 2021-01-07 12:36:21 -0800 | [diff] [blame] | 108 | void SetAutoRequestAck(bool autoReqAck); |
Yufeng Wang | 9fb9d7f | 2021-02-09 12:16:15 -0800 | [diff] [blame] | 109 | |
| 110 | /** |
Yufeng Wang | 9fb9d7f | 2021-02-09 12:16:15 -0800 | [diff] [blame] | 111 | * Determine whether there is already an acknowledgment pending to be sent to the peer on this exchange. |
| 112 | * |
| 113 | * @return Returns 'true' if there is already an acknowledgment pending on this exchange, else 'false'. |
| 114 | */ |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 115 | bool IsAckPending() const; |
Yufeng Wang | 9fb9d7f | 2021-02-09 12:16:15 -0800 | [diff] [blame] | 116 | |
Boris Zbarsky | 58875c3 | 2023-10-09 14:59:53 -0400 | [diff] [blame] | 117 | /// Determine whether the reliable message context is waiting for an ack. |
| 118 | bool IsWaitingForAck() const; |
Yufeng Wang | 2d43a7f | 2021-04-19 11:10:27 -0700 | [diff] [blame] | 119 | |
Boris Zbarsky | 58875c3 | 2023-10-09 14:59:53 -0400 | [diff] [blame] | 120 | /// Set whether the reliable message context is waiting for an ack. |
| 121 | void SetWaitingForAck(bool waitingForAck); |
Yufeng Wang | 2d43a7f | 2021-04-19 11:10:27 -0700 | [diff] [blame] | 122 | |
Kamil Kasperczyk | 10bb2fd | 2022-04-28 03:21:18 +0200 | [diff] [blame] | 123 | /// Set if this exchange is requesting Sleepy End Device active mode |
| 124 | void SetRequestingActiveMode(bool activeMode); |
Damian Królik | 73e3c83 | 2022-02-03 14:23:55 +0100 | [diff] [blame] | 125 | |
Zang MingJie | d2a2f07 | 2022-06-10 22:09:05 +0800 | [diff] [blame] | 126 | /// Determine whether this exchange is a EphemeralExchange for replying a StandaloneAck |
| 127 | bool IsEphemeralExchange() const; |
| 128 | |
Boris Zbarsky | 8e8efc3 | 2021-06-03 17:22:09 -0400 | [diff] [blame] | 129 | /** |
| 130 | * Get the reliable message manager that corresponds to this reliable |
| 131 | * message context. |
| 132 | */ |
| 133 | ReliableMessageMgr * GetReliableMessageMgr(); |
| 134 | |
Yufeng Wang | 2d43a7f | 2021-04-19 11:10:27 -0700 | [diff] [blame] | 135 | protected: |
Boris Zbarsky | 58875c3 | 2023-10-09 14:59:53 -0400 | [diff] [blame] | 136 | bool WaitingForResponseOrAck() const; |
| 137 | void SetWaitingForResponseOrAck(bool waitingForResponseOrAck); |
| 138 | |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 139 | enum class Flags : uint16_t |
| 140 | { |
Yufeng Wang | 2d43a7f | 2021-04-19 11:10:27 -0700 | [diff] [blame] | 141 | /// When set, signifies that this context is the initiator of the exchange. |
Boris Zbarsky | fa43d00 | 2021-09-28 11:52:23 -0400 | [diff] [blame] | 142 | kFlagInitiator = (1u << 0), |
Yufeng Wang | 2d43a7f | 2021-04-19 11:10:27 -0700 | [diff] [blame] | 143 | |
| 144 | /// When set, signifies that a response is expected for a message that is being sent. |
Boris Zbarsky | fa43d00 | 2021-09-28 11:52:23 -0400 | [diff] [blame] | 145 | kFlagResponseExpected = (1u << 1), |
Yufeng Wang | 2d43a7f | 2021-04-19 11:10:27 -0700 | [diff] [blame] | 146 | |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 147 | /// When set, automatically request an acknowledgment whenever a message is sent via UDP. |
Boris Zbarsky | fa43d00 | 2021-09-28 11:52:23 -0400 | [diff] [blame] | 148 | kFlagAutoRequestAck = (1u << 2), |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 149 | |
Boris Zbarsky | 58875c3 | 2023-10-09 14:59:53 -0400 | [diff] [blame] | 150 | /// When set, signifies the reliable message context is waiting for an |
| 151 | /// ack: a message that needs an ack has been sent, no ack has been |
| 152 | /// received, and we have not yet run out of MRP retries. |
| 153 | kFlagWaitingForAck = (1u << 3), |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 154 | |
| 155 | /// When set, signifies that there is an acknowledgment pending to be sent back. |
Zang MingJie | 3a5d086 | 2022-06-09 02:03:18 +0800 | [diff] [blame] | 156 | kFlagAckPending = (1u << 4), |
Boris Zbarsky | fa43d00 | 2021-09-28 11:52:23 -0400 | [diff] [blame] | 157 | |
Zang MingJie | 3a5d086 | 2022-06-09 02:03:18 +0800 | [diff] [blame] | 158 | /// When set, signifies that mPendingPeerAckMessageCounter is valid. |
| 159 | /// The counter is valid once we receive a message which requests an ack. |
| 160 | /// Once mPendingPeerAckMessageCounter is valid, it never stops being valid. |
| 161 | kFlagAckMessageCounterIsValid = (1u << 5), |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 162 | |
Boris Zbarsky | 6c172a2 | 2021-07-09 17:08:55 -0400 | [diff] [blame] | 163 | /// When set, signifies that this exchange is waiting for a call to SendMessage. |
Zang MingJie | 3a5d086 | 2022-06-09 02:03:18 +0800 | [diff] [blame] | 164 | kFlagWillSendMessage = (1u << 6), |
Boris Zbarsky | 6c172a2 | 2021-07-09 17:08:55 -0400 | [diff] [blame] | 165 | |
Boris Zbarsky | 6c172a2 | 2021-07-09 17:08:55 -0400 | [diff] [blame] | 166 | /// When set, we have had Close() or Abort() called on us already. |
Zang MingJie | 3a5d086 | 2022-06-09 02:03:18 +0800 | [diff] [blame] | 167 | kFlagClosed = (1u << 7), |
Damian Królik | 73e3c83 | 2022-02-03 14:23:55 +0100 | [diff] [blame] | 168 | |
Zang MingJie | d2a2f07 | 2022-06-10 22:09:05 +0800 | [diff] [blame] | 169 | /// When set, signifies that the exchange created sorely for replying a StandaloneAck |
mkardous-silabs | a8a9659 | 2023-10-19 15:01:58 -0400 | [diff] [blame] | 170 | kFlagEphemeralExchange = (1u << 8), |
Zang MingJie | c9971a5 | 2022-06-18 10:42:58 +0800 | [diff] [blame] | 171 | |
Boris Zbarsky | 03de700 | 2022-06-22 19:19:30 -0400 | [diff] [blame] | 172 | /// When set, ignore session being released, because we are releasing it ourselves. |
mkardous-silabs | a8a9659 | 2023-10-19 15:01:58 -0400 | [diff] [blame] | 173 | kFlagIgnoreSessionRelease = (1u << 9), |
| 174 | |
| 175 | // This flag is used to determine if the peer (receiver) should be considered active or not. |
| 176 | // When set, sender knows it has received at least one application-level message |
| 177 | // from the peer and can assume the peer (receiver) is active. |
| 178 | // If the flag is not set, we don't know if the peer (receiver) is active or not. |
| 179 | kFlagReceivedAtLeastOneMessage = (1u << 10), |
Boris Zbarsky | 58875c3 | 2023-10-09 14:59:53 -0400 | [diff] [blame] | 180 | |
| 181 | /// When set: |
| 182 | /// |
| 183 | /// (1) We sent a message that expected a response (hence |
| 184 | /// IsResponseExpected() is true). |
| 185 | /// (2) We have received neither a response nor an ack for that message. |
| 186 | kFlagWaitingForResponseOrAck = (1u << 11), |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 187 | }; |
| 188 | |
Kevin Schoedel | 8ea423a | 2021-03-11 11:49:18 -0500 | [diff] [blame] | 189 | BitFlags<Flags> mFlags; // Internal state flags |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 190 | |
Yufeng Wang | 2d43a7f | 2021-04-19 11:10:27 -0700 | [diff] [blame] | 191 | private: |
Boris Zbarsky | a62ee31 | 2021-09-22 14:36:37 -0400 | [diff] [blame] | 192 | void HandleRcvdAck(uint32_t ackMessageCounter); |
Zang MingJie | fa0ef98 | 2021-09-15 00:32:01 +0800 | [diff] [blame] | 193 | CHIP_ERROR HandleNeedsAck(uint32_t messageCounter, BitFlags<MessageFlagValues> messageFlags); |
| 194 | CHIP_ERROR HandleNeedsAckInner(uint32_t messageCounter, BitFlags<MessageFlagValues> messageFlags); |
Yufeng Wang | 2d43a7f | 2021-04-19 11:10:27 -0700 | [diff] [blame] | 195 | ExchangeContext * GetExchangeContext(); |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 196 | |
Boris Zbarsky | 233ec0f | 2021-06-28 17:30:29 -0400 | [diff] [blame] | 197 | /** |
| 198 | * Set if an acknowledgment needs to be sent back to the peer on this exchange. |
| 199 | * |
| 200 | * @param[in] inAckPending A Boolean indicating whether (true) or not |
| 201 | * (false) an acknowledgment should be sent back |
| 202 | * in response to a received message. |
| 203 | */ |
| 204 | void SetAckPending(bool inAckPending); |
| 205 | |
Zang MingJie | fa0ef98 | 2021-09-15 00:32:01 +0800 | [diff] [blame] | 206 | // Set our pending peer ack message counter and any other state needed to ensure that we |
Boris Zbarsky | 233ec0f | 2021-06-28 17:30:29 -0400 | [diff] [blame] | 207 | // will send that ack at some point. |
Zang MingJie | fa0ef98 | 2021-09-15 00:32:01 +0800 | [diff] [blame] | 208 | void SetPendingPeerAckMessageCounter(uint32_t aPeerAckMessageCounter); |
Boris Zbarsky | 233ec0f | 2021-06-28 17:30:29 -0400 | [diff] [blame] | 209 | |
Yufeng Wang | 02b31c0 | 2021-02-02 15:15:54 -0800 | [diff] [blame] | 210 | friend class ReliableMessageMgr; |
Yufeng Wang | cb23e0c | 2021-01-07 12:36:21 -0800 | [diff] [blame] | 211 | friend class ExchangeContext; |
Pankaj Garg | 362c5f2 | 2021-04-14 16:35:15 -0700 | [diff] [blame] | 212 | friend class ExchangeMessageDispatch; |
Boris Zbarsky | d30cff3 | 2022-10-25 08:23:30 -0400 | [diff] [blame] | 213 | friend class ::chip::app::TestCommandInteraction; |
| 214 | friend class ::chip::app::TestReadInteraction; |
| 215 | friend class ::chip::app::TestWriteInteraction; |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 216 | |
Zang MingJie | 4ec0e4e | 2021-12-02 15:20:06 +0800 | [diff] [blame] | 217 | System::Clock::Timestamp mNextAckTime; // Next time for triggering Solo Ack |
Zang MingJie | fa0ef98 | 2021-09-15 00:32:01 +0800 | [diff] [blame] | 218 | uint32_t mPendingPeerAckMessageCounter; |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 219 | }; |
| 220 | |
Damian Królik | 4856390 | 2022-01-24 18:27:21 +0100 | [diff] [blame] | 221 | inline bool ReliableMessageContext::AutoRequestAck() const |
| 222 | { |
| 223 | return mFlags.Has(Flags::kFlagAutoRequestAck); |
| 224 | } |
| 225 | |
| 226 | inline bool ReliableMessageContext::IsAckPending() const |
| 227 | { |
| 228 | return mFlags.Has(Flags::kFlagAckPending); |
| 229 | } |
| 230 | |
Boris Zbarsky | 58875c3 | 2023-10-09 14:59:53 -0400 | [diff] [blame] | 231 | inline bool ReliableMessageContext::IsWaitingForAck() const |
Damian Królik | 4856390 | 2022-01-24 18:27:21 +0100 | [diff] [blame] | 232 | { |
Boris Zbarsky | 58875c3 | 2023-10-09 14:59:53 -0400 | [diff] [blame] | 233 | return mFlags.Has(Flags::kFlagWaitingForAck); |
Damian Królik | 4856390 | 2022-01-24 18:27:21 +0100 | [diff] [blame] | 234 | } |
| 235 | |
Damian Królik | 4856390 | 2022-01-24 18:27:21 +0100 | [diff] [blame] | 236 | inline bool ReliableMessageContext::HasPiggybackAckPending() const |
| 237 | { |
| 238 | return mFlags.Has(Flags::kFlagAckMessageCounterIsValid); |
| 239 | } |
| 240 | |
| 241 | inline void ReliableMessageContext::SetAutoRequestAck(bool autoReqAck) |
| 242 | { |
| 243 | mFlags.Set(Flags::kFlagAutoRequestAck, autoReqAck); |
| 244 | } |
| 245 | |
Damian Królik | 4856390 | 2022-01-24 18:27:21 +0100 | [diff] [blame] | 246 | inline void ReliableMessageContext::SetAckPending(bool inAckPending) |
| 247 | { |
| 248 | mFlags.Set(Flags::kFlagAckPending, inAckPending); |
| 249 | } |
| 250 | |
Zang MingJie | d2a2f07 | 2022-06-10 22:09:05 +0800 | [diff] [blame] | 251 | inline bool ReliableMessageContext::IsEphemeralExchange() const |
| 252 | { |
| 253 | return mFlags.Has(Flags::kFlagEphemeralExchange); |
| 254 | } |
| 255 | |
Boris Zbarsky | 58875c3 | 2023-10-09 14:59:53 -0400 | [diff] [blame] | 256 | inline bool ReliableMessageContext::WaitingForResponseOrAck() const |
| 257 | { |
| 258 | return mFlags.Has(Flags::kFlagWaitingForResponseOrAck); |
| 259 | } |
| 260 | |
| 261 | inline void ReliableMessageContext::SetWaitingForResponseOrAck(bool waitingForResponseOrAck) |
| 262 | { |
| 263 | mFlags.Set(Flags::kFlagWaitingForResponseOrAck, waitingForResponseOrAck); |
| 264 | } |
| 265 | |
Yufeng Wang | 01031e7 | 2020-12-01 09:57:42 -0800 | [diff] [blame] | 266 | } // namespace Messaging |
Zang MingJie | 76e0d7b | 2020-10-29 12:26:25 +0800 | [diff] [blame] | 267 | } // namespace chip |