Line data Source code
1 : #ifndef HEADER_fd_src_waltz_quic_fd_quic_conn_h
2 : #define HEADER_fd_src_waltz_quic_fd_quic_conn_h
3 :
4 : #include "fd_quic.h"
5 : #include "fd_quic_common.h"
6 : #include "fd_quic_ack_tx.h"
7 : #include "fd_quic_stream.h"
8 : #include "fd_quic_conn_id.h"
9 : #include "crypto/fd_quic_crypto_suites.h"
10 : #include "fd_quic_pkt_meta.h"
11 : #include "fd_quic_svc_q.h"
12 : #include "../fd_rtt_est.h"
13 :
14 948630 : #define FD_QUIC_CONN_STATE_INVALID 0 /* dead object / freed */
15 344856 : #define FD_QUIC_CONN_STATE_HANDSHAKE 1 /* currently doing handshaking with peer */
16 91167 : #define FD_QUIC_CONN_STATE_HANDSHAKE_COMPLETE 2 /* handshake complete, confirming with peer */
17 78298957 : #define FD_QUIC_CONN_STATE_ACTIVE 3 /* connection established - data may be transferred */
18 36039 : #define FD_QUIC_CONN_STATE_PEER_CLOSE 4 /* peer requested close */
19 6432 : #define FD_QUIC_CONN_STATE_ABORT 5 /* connection terminating due to error */
20 36357 : #define FD_QUIC_CONN_STATE_CLOSE_PENDING 6 /* connection is closing */
21 80365652 : #define FD_QUIC_CONN_STATE_DEAD 7 /* connection about to be freed */
22 : #define FD_QUIC_CONN_STATE_CNT 8
23 :
24 : FD_STATIC_ASSERT( FD_QUIC_CONN_STATE_CNT == sizeof(((fd_quic_metrics_t*)0)->conn_state_cnt)/sizeof(((fd_quic_metrics_t*)0)->conn_state_cnt[0]),
25 : "metrics conn_state_cnt is the wrong size" );
26 :
27 : #define FD_QUIC_REASON_CODES(X,SEP) \
28 0 : X(NO_ERROR , 0x00 , "No error" ) SEP \
29 0 : X(INTERNAL_ERROR , 0x01 , "Implementation error" ) SEP \
30 0 : X(CONNECTION_REFUSED , 0x02 , "Server refuses a connection" ) SEP \
31 0 : X(FLOW_CONTROL_ERROR , 0x03 , "Flow control error" ) SEP \
32 0 : X(STREAM_LIMIT_ERROR , 0x04 , "Too many streams opened" ) SEP \
33 0 : X(STREAM_STATE_ERROR , 0x05 , "Frame received in invalid stream state" ) SEP \
34 0 : X(FINAL_SIZE_ERROR , 0x06 , "Change to final size" ) SEP \
35 0 : X(FRAME_ENCODING_ERROR , 0x07 , "Frame encoding error" ) SEP \
36 0 : X(TRANSPORT_PARAMETER_ERROR , 0x08 , "Error in transport parameters" ) SEP \
37 0 : X(CONNECTION_ID_LIMIT_ERROR , 0x09 , "Too many connection IDs received" ) SEP \
38 0 : X(PROTOCOL_VIOLATION , 0x0a , "Generic protocol violation" ) SEP \
39 0 : X(INVALID_TOKEN , 0x0b , "Invalid Token received" ) SEP \
40 0 : X(APPLICATION_ERROR , 0x0c , "Application error" ) SEP \
41 0 : X(CRYPTO_BUFFER_EXCEEDED , 0x0d , "CRYPTO data buffer overflowed" ) SEP \
42 0 : X(KEY_UPDATE_ERROR , 0x0e , "Invalid packet protection update" ) SEP \
43 0 : X(AEAD_LIMIT_REACHED , 0x0f , "Excessive use of packet protection keys" ) SEP \
44 0 : X(NO_VIABLE_PATH , 0x10 , "No viable network path exists" ) SEP \
45 0 : X(CRYPTO_BASE , 0x100 , "0x0100-0x01ff CRYPTO_ERROR TLS alert code" ) SEP \
46 0 : X(HANDSHAKE_FAILURE , 0x128 , "Handshake failed" )
47 :
48 : enum {
49 : # define COMMA ,
50 : # define _(NAME,CODE,DESC) \
51 : FD_QUIC_CONN_REASON_##NAME = CODE
52 : FD_QUIC_REASON_CODES(_,COMMA)
53 : # undef _
54 : # undef COMMA
55 : };
56 :
57 : char const *
58 : fd_quic_conn_reason_name( uint reason );
59 :
60 :
61 : struct fd_quic_conn_stream_rx {
62 : ulong rx_hi_stream_id; /* highest RX stream ID sent by peer + 4 */
63 : ulong rx_sup_stream_id; /* highest allowed RX stream ID + 4 */
64 :
65 : ulong rx_max_data; /* the limit on the number of bytes the peer is allowed to send to us */
66 : ulong rx_tot_data; /* total of all bytes received across all streams and including implied bytes */
67 : ulong rx_max_data_ackd; /* max max_data acked by peer */
68 :
69 : ulong rx_max_streams_unidir_ackd; /* value of MAX_STREAMS acked for UNIDIR */
70 :
71 : long rx_streams_active; /* FIXME: This is a user scratch field, not in use by fd_quic */
72 :
73 : /* FIXME add a TLB */
74 : };
75 :
76 : typedef struct fd_quic_conn_stream_rx fd_quic_conn_stream_rx_t;
77 :
78 : struct fd_quic_conn {
79 : /* 'PERSISTENT' means field should survive a conn_clear */
80 : uint conn_idx; /* connection index - PERSISTENT */
81 : /* connections are sized at runtime */
82 : /* storing the index avoids a division */
83 : uint conn_gen; /* generation of this connection slot - PERSISTENT */
84 :
85 : fd_quic_t * quic; /* PERSISTENT */
86 : void * context; /* user context */
87 :
88 : uint server : 1; /* role from self POV: 0=client, 1=server */
89 : uint established : 1; /* used by clients to determine whether to
90 : switch the destination conn id used */
91 : uint transport_params_set : 1;
92 : uint called_conn_new : 1; /* whether we need to call conn_final on teardown */
93 : uint visited : 1; /* scratch bit, no strict definition */
94 : uint key_phase : 1;
95 : uint key_update : 1;
96 :
97 : /* metadata used by service queue */
98 : fd_quic_svc_timers_conn_meta_t svc_meta;
99 :
100 : /* Dlist membership */
101 : uint free_conn_next;
102 :
103 : ulong our_conn_id;
104 :
105 : /* Save original retry_source_connection_id
106 : * This is used by clients to compare against the retry_source_connection_id
107 : * in the transport parameters as specified in rfc 9000 7.3 */
108 : fd_quic_conn_id_t retry_src_conn_id;
109 :
110 : /* Host network endpoint. Used to determine src address and port */
111 : fd_quic_net_endpoint_t host;
112 :
113 : /* Peer network endpoints – have multiple connection ids and ip:port */
114 : /* TODO: footprint allows specifying conn_id_cnt but hardcoded limit used here */
115 : fd_quic_net_endpoint_t peer[1];
116 : fd_quic_conn_id_t peer_cids[1]; /* FIXME support new/retire conn ID */
117 :
118 : /* initial source connection id */
119 : ulong initial_source_conn_id;
120 :
121 : uint tx_max_datagram_sz; /* size of maximum datagram allowed by peer */
122 :
123 : /* handshake members */
124 : uint handshake_complete : 1; /* have we completed a successful handshake? */
125 : uint handshake_done_send : 1; /* do we need to send handshake-done to peer? */
126 : uint handshake_done_ackd : 1; /* was handshake_done ack'ed? */
127 : fd_quic_tls_hs_t * tls_hs;
128 :
129 : /* amount of handshake data already sent from head of queue */
130 : ulong hs_sent_bytes[4];
131 :
132 : /* amount of handshake data ack'ed by peer counted from head of queue */
133 : ulong hs_ackd_bytes[4];
134 :
135 : /* Keys for header and packet protection
136 : secrets: Contains 'master' secrets used to derive other keys
137 : keys[e][d]: Current pair of keys for each encryption level (e)
138 : and direction (d==0 is incoming, d==1 is outgoing)
139 : new_keys[e]: App keys to use for the next key update. Once app
140 : keys are available these are always kept up-to-date
141 : keys_avail: Bit set of available keys, LSB indexed by enc level */
142 : fd_quic_crypto_secrets_t secrets;
143 : fd_quic_crypto_keys_t keys[FD_QUIC_NUM_ENC_LEVELS][2];
144 : fd_quic_crypto_keys_t new_keys[2];
145 : uint keys_avail;
146 :
147 : fd_quic_stream_t send_streams[1]; /* sentinel of list of streams needing action */
148 : fd_quic_stream_t used_streams[1]; /* sentinel of list of used streams */
149 : /* invariant: an allocated stream must be in exactly one of the following lists:
150 : send_streams
151 : used_streams */
152 :
153 : /* stream id members */
154 : ulong tx_next_stream_id; /* stream ID to be used for new stream */
155 : ulong tx_sup_stream_id; /* highest allowed TX stream ID + 4 */
156 :
157 : fd_quic_stream_map_t * stream_map; /* map stream_id -> stream - PERSISTENT */
158 :
159 : /* packet number info
160 : each encryption level maps to a packet number space
161 : 0-RTT and 1-RTT both map to APPLICATION
162 : pkt_number[j] represents the minimum acceptable packet number
163 : "expected packet number"
164 : packets with a number lower than this will be dropped */
165 : ulong exp_pkt_number[3]; /* different packet number spaces:
166 : INITIAL, HANDSHAKE and APPLICATION */
167 : ulong pkt_number[3]; /* tx packet number by pn space */
168 : ulong last_pkt_number[3]; /* last (highest) packet number seen */
169 : ulong highest_acked[3]; /* highest packet number acked (meaningless if 0) */
170 :
171 : ushort ipv4_id; /* ipv4 id field */
172 :
173 : /* buffer to send next */
174 : /* must be at least FD_QUIC_MAX_UDP_PAYLOAD_SZ */
175 : uchar tx_buf_conn[2048];
176 : uchar * tx_ptr; /* ptr to free space in tx_buf_conn */
177 :
178 : uint state; /* PERSISTENT to keep state counters correct */
179 : uint reason; /* quic reason for closing. see FD_QUIC_CONN_REASON_* */
180 : uint app_reason; /* application reason for closing */
181 :
182 : fd_quic_ack_gen_t ack_gen[1];
183 : ulong unacked_sz; /* Number of received stream frame payload bytes pending ACK */
184 : /* Resets to zero when conn is rescheduled or ACKs are sent */
185 :
186 : fd_quic_pkt_meta_tracker_t pkt_meta_tracker;
187 :
188 : /* flow control */
189 : ulong tx_max_data; /* the limit on the number of bytes we are allowed
190 : to send to the peer across all streams */
191 : /* even if a bytes on a stream are not received,
192 : higher offsets received imply the usage of those bytes,
193 : and they count against the max */
194 : ulong tx_tot_data; /* total of all bytes received across all streams
195 : and including implied bytes */
196 :
197 : uint flags;
198 19278337 : # define FD_QUIC_CONN_FLAGS_MAX_DATA (1u<<0u)
199 19654680 : # define FD_QUIC_CONN_FLAGS_CLOSE_SENT (1u<<1u)
200 19278337 : # define FD_QUIC_CONN_FLAGS_MAX_STREAMS_UNIDIR (1u<<2u)
201 19345162 : # define FD_QUIC_CONN_FLAGS_PING (1u<<4u)
202 19679268 : # define FD_QUIC_CONN_FLAGS_PING_SENT (1u<<5u)
203 :
204 : /* max stream data per stream type */
205 : ulong tx_initial_max_stream_data_uni;
206 :
207 : /* last tx packet num with max_data frame referring to this stream
208 : set to next_pkt_number to indicate a new max_data frame should be sent
209 : if we time out this packet (or possibly a later packet) we resend the frame
210 : and update this value */
211 : ulong upd_pkt_number;
212 :
213 : /* idle timeout arguments */
214 : long idle_timeout_ns;
215 : long last_activity;
216 : long last_ack;
217 : long let_die_time_ns; /* stop keep-alive after this time */
218 :
219 : /* round trip time related members */
220 : fd_rtt_estimate_t rtt[1];
221 : float rtt_period_ns; /* bound on time between RTT measurements */
222 : float peer_ack_delay_scale; /* convert ACK delay units to nanoseconds */
223 : float peer_max_ack_delay_ns; /* peer max ack delay in nanoseconds */
224 :
225 : ulong token_len;
226 : uchar token[ FD_QUIC_RETRY_MAX_TOKEN_SZ ];
227 :
228 : fd_quic_conn_stream_rx_t srx[1];
229 :
230 : ulong used_pkt_meta;
231 : };
232 :
233 : FD_PROTOTYPES_BEGIN
234 :
235 : FD_FN_CONST static inline ulong
236 0 : fd_quic_conn_uid( fd_quic_conn_t const * conn ) {
237 0 : return ( (ulong)conn->conn_idx << 32UL ) | ( (ulong)conn->conn_gen );
238 0 : }
239 :
240 : FD_FN_CONST static inline uint
241 0 : fd_quic_conn_uid_idx( ulong conn_uid ) {
242 0 : return (uint)( conn_uid >> 32UL );
243 0 : }
244 :
245 : FD_FN_CONST static inline uint
246 0 : fd_quic_conn_uid_gen( ulong conn_uid ) {
247 0 : return (uint)( conn_uid & 0xffffffffUL );
248 0 : }
249 :
250 : /* returns the alignment requirement of fd_quic_conn_t */
251 : FD_FN_CONST ulong
252 : fd_quic_conn_align( void );
253 :
254 : /* returns the footprint of the connection object for given limits */
255 : ulong
256 : fd_quic_conn_footprint( fd_quic_limits_t const * );
257 :
258 : /* called by fd_quic_new to initialize the connection objects
259 : used by fd_quic */
260 : fd_quic_conn_t *
261 : fd_quic_conn_new( void * mem,
262 : fd_quic_t * quic,
263 : fd_quic_limits_t const * limits );
264 :
265 : /* clears all non-persistent members of the connection object */
266 : static inline void
267 314403 : fd_quic_conn_clear( fd_quic_conn_t * conn ) {
268 314403 : fd_quic_t * quic = conn->quic;
269 314403 : uint conn_idx = conn->conn_idx;
270 314403 : uint conn_gen = conn->conn_gen;
271 314403 : uint conn_state = conn->state;
272 314403 : fd_quic_stream_map_t * stream_map = conn->stream_map;
273 :
274 314403 : fd_memset( conn, 0, sizeof( fd_quic_conn_t ) );
275 :
276 314403 : conn->quic = quic;
277 314403 : conn->conn_idx = conn_idx;
278 314403 : conn->conn_gen = conn_gen;
279 314403 : conn->state = conn_state;
280 314403 : conn->stream_map = stream_map;
281 314403 : }
282 :
283 : /* set the user-defined context value on the connection */
284 : void
285 : fd_quic_conn_set_context( fd_quic_conn_t * conn, void * context );
286 :
287 : /* get the user-defined context value from a connection */
288 : void *
289 : fd_quic_conn_get_context( fd_quic_conn_t * conn );
290 :
291 :
292 : /* set all conns to not visited, used for validation */
293 : void
294 : fd_quic_conn_validate_init( fd_quic_t * quic );
295 :
296 : FD_PROTOTYPES_END
297 :
298 : #endif /* HEADER_fd_src_waltz_quic_fd_quic_conn_h */
|
