Line data Source code
1 : #include "../../disco/topo/fd_topo.h"
2 : #include "../../disco/metrics/fd_metrics.h"
3 : #include "../../ballet/lthash/fd_lthash.h"
4 : #include "../../flamenco/runtime/fd_hashes.h"
5 :
6 : #include "utils/fd_ssctrl.h"
7 :
8 : #include "generated/fd_snapls_tile_seccomp.h"
9 :
10 : #define NAME "snapls"
11 :
12 0 : #define IN_KIND_SNAPIN (0)
13 0 : #define IN_KIND_SNAPLA (1)
14 : #define MAX_IN_LINKS (1 + FD_SNAPSHOT_MAX_SNAPLA_TILES)
15 :
16 : struct fd_snapls_tile {
17 : int state;
18 : int full;
19 :
20 : fd_lthash_value_t running_lthash;
21 :
22 : fd_blake3_t b3[1];
23 : ulong acc_data_sz;
24 : int hash_account;
25 : ulong num_hash_tiles;
26 :
27 : uchar in_kind[ MAX_IN_LINKS ];
28 : ulong adder_in_offset;
29 :
30 : ulong num_acks;
31 : uchar acks[ 1 + FD_SNAPSHOT_MAX_SNAPLA_TILES ];
32 :
33 : struct {
34 : fd_lthash_value_t expected_lthash;
35 : fd_lthash_value_t calculated_lthash;
36 : ulong received_lthashes;
37 : ulong ack_sig;
38 : int awaiting_ack;
39 : int hash_check_done;
40 : } hash_accum;
41 :
42 : struct {
43 : uchar pubkey[ FD_HASH_FOOTPRINT ];
44 : uchar owner[ FD_HASH_FOOTPRINT ];
45 : ulong data_len;
46 : int executable;
47 : } account_hdr;
48 :
49 : struct {
50 : struct {
51 : ulong accounts_hashed;
52 : } full;
53 :
54 : struct {
55 : ulong accounts_hashed;
56 : } incremental;
57 : } metrics;
58 :
59 : struct {
60 : fd_wksp_t * wksp;
61 : ulong chunk0;
62 : ulong wmark;
63 : ulong mtu;
64 : ulong pos;
65 : } in;
66 :
67 : struct {
68 : fd_wksp_t * wksp;
69 : ulong chunk0;
70 : ulong wmark;
71 : ulong mtu;
72 : } adder_in[ FD_SNAPSHOT_MAX_SNAPLA_TILES ];
73 : };
74 :
75 : typedef struct fd_snapls_tile fd_snapls_tile_t;
76 :
77 : static inline int
78 0 : should_shutdown( fd_snapls_tile_t * ctx ) {
79 0 : return ctx->state==FD_SNAPSHOT_STATE_SHUTDOWN;
80 0 : }
81 :
82 : static ulong
83 0 : scratch_align( void ) {
84 0 : return alignof(fd_snapls_tile_t);
85 0 : }
86 :
87 : static ulong
88 0 : scratch_footprint( fd_topo_tile_t const * tile ) {
89 0 : (void)tile;
90 0 : ulong l = FD_LAYOUT_INIT;
91 0 : l = FD_LAYOUT_APPEND( l, alignof(fd_snapls_tile_t), sizeof(fd_snapls_tile_t) );
92 0 : return FD_LAYOUT_FINI( l, alignof(fd_snapls_tile_t) );
93 0 : }
94 :
95 : static void
96 0 : metrics_write( fd_snapls_tile_t * ctx ) {
97 0 : FD_MGAUGE_SET( SNAPLS, FULL_ACCOUNTS_HASHED, ctx->metrics.full.accounts_hashed );
98 0 : FD_MGAUGE_SET( SNAPLS, INCREMENTAL_ACCOUNTS_HASHED, ctx->metrics.incremental.accounts_hashed );
99 0 : FD_MGAUGE_SET( SNAPLS, STATE, (ulong)(ctx->state) );
100 0 : }
101 :
102 : static void
103 : transition_malformed( fd_snapls_tile_t * ctx,
104 0 : fd_stem_context_t * stem ) {
105 0 : ctx->state = FD_SNAPSHOT_STATE_ERROR;
106 0 : fd_stem_publish( stem, 0UL, FD_SNAPSHOT_MSG_CTRL_ERROR, 0UL, 0UL, 0UL, 0UL, 0UL );
107 0 : }
108 :
109 : static void
110 : handle_data_frag( fd_snapls_tile_t * ctx,
111 : ulong sig,
112 : ulong chunk,
113 0 : ulong sz ) {
114 0 : FD_TEST( ctx->state==FD_SNAPSHOT_STATE_PROCESSING );
115 :
116 0 : switch( sig ) {
117 0 : case FD_SNAPSHOT_HASH_MSG_SUB: {
118 0 : fd_snapshot_full_account_t const * prev_acc = fd_chunk_to_laddr_const( ctx->in.wksp, chunk );
119 :
120 0 : fd_lthash_value_t prev_lthash[1];
121 0 : fd_hashes_account_lthash_simple( prev_acc->hdr.pubkey,
122 0 : prev_acc->hdr.owner,
123 0 : prev_acc->hdr.lamports,
124 0 : prev_acc->hdr.executable,
125 0 : prev_acc->data,
126 0 : prev_acc->hdr.data_len,
127 0 : prev_lthash );
128 0 : fd_lthash_add( &ctx->running_lthash, prev_lthash );
129 :
130 0 : if( FD_LIKELY( ctx->full ) ) ctx->metrics.full.accounts_hashed++;
131 0 : else ctx->metrics.incremental.accounts_hashed++;
132 0 : break;
133 0 : }
134 0 : case FD_SNAPSHOT_HASH_MSG_SUB_HDR: {
135 0 : fd_snapshot_account_hdr_t const * acc = fd_chunk_to_laddr_const( ctx->in.wksp, chunk );
136 :
137 0 : if( acc->lamports!=0UL ) {
138 0 : ctx->hash_account = 1;
139 0 : fd_blake3_init( ctx->b3 );
140 0 : fd_blake3_append( ctx->b3, &acc->lamports, sizeof(ulong) );
141 0 : ctx->account_hdr.data_len = acc->data_len;
142 0 : ctx->account_hdr.executable = acc->executable;
143 0 : memcpy( ctx->account_hdr.owner, acc->owner, FD_HASH_FOOTPRINT );
144 0 : memcpy( ctx->account_hdr.pubkey, acc->pubkey, FD_HASH_FOOTPRINT );
145 0 : }
146 0 : break;
147 0 : }
148 0 : case FD_SNAPSHOT_HASH_MSG_SUB_DATA: {
149 0 : if( FD_LIKELY( !ctx->hash_account ) ) break;
150 :
151 0 : uchar const * acc_data = fd_chunk_to_laddr_const( ctx->in.wksp, chunk );
152 0 : fd_blake3_append( ctx->b3, acc_data, sz );
153 0 : ctx->acc_data_sz += sz;
154 0 : break;
155 0 : }
156 0 : default:
157 0 : FD_LOG_ERR(( "unexpected sig %lu in handle_data_frag", sig ));
158 0 : return;
159 0 : }
160 :
161 0 : if( FD_LIKELY( ctx->hash_account && ctx->acc_data_sz==ctx->account_hdr.data_len ) ) {
162 0 : fd_lthash_value_t account_lthash[1];
163 0 : fd_lthash_zero( account_lthash );
164 :
165 0 : uchar executable_flag = ctx->account_hdr.executable & 0x1;
166 0 : fd_blake3_append( ctx->b3, &executable_flag, sizeof(uchar) );
167 0 : fd_blake3_append( ctx->b3, ctx->account_hdr.owner, FD_HASH_FOOTPRINT );
168 0 : fd_blake3_append( ctx->b3, ctx->account_hdr.pubkey, FD_HASH_FOOTPRINT );
169 0 : fd_blake3_fini_2048( ctx->b3, account_lthash->bytes );
170 0 : fd_lthash_add( &ctx->running_lthash, account_lthash );
171 :
172 0 : ctx->acc_data_sz = 0UL;
173 0 : ctx->hash_account = 0;
174 :
175 0 : if( FD_LIKELY( ctx->full ) ) ctx->metrics.full.accounts_hashed++;
176 0 : else ctx->metrics.incremental.accounts_hashed++;
177 0 : }
178 0 : }
179 :
180 : static int
181 : recv_acks( fd_snapls_tile_t * ctx,
182 0 : ulong in_idx ) {
183 0 : FD_TEST( ctx->acks[ in_idx ]==0 );
184 :
185 0 : ctx->acks[ in_idx ] = 1;
186 0 : ctx->num_acks++;
187 :
188 0 : if( FD_UNLIKELY( ctx->num_acks!=1UL+ctx->num_hash_tiles ) ) return 0;
189 :
190 0 : fd_memset( ctx->acks, 0, sizeof(ctx->acks) );
191 0 : ctx->num_acks = 0UL;
192 0 : return 1;
193 0 : }
194 :
195 : static void
196 : handle_control_frag( fd_snapls_tile_t * ctx,
197 : fd_stem_context_t * stem,
198 : ulong sig,
199 0 : ulong in_idx ) {
200 0 : switch( sig ) {
201 0 : case FD_SNAPSHOT_MSG_CTRL_INIT_FULL:
202 0 : case FD_SNAPSHOT_MSG_CTRL_INIT_INCR: {
203 0 : int done = recv_acks( ctx, in_idx );
204 0 : if( !done ) return;
205 :
206 0 : FD_TEST( ctx->state==FD_SNAPSHOT_STATE_IDLE );
207 0 : ctx->full = sig==FD_SNAPSHOT_MSG_CTRL_INIT_FULL;
208 0 : ctx->state = FD_SNAPSHOT_STATE_PROCESSING;
209 0 : fd_lthash_zero( &ctx->running_lthash );
210 0 : break;
211 0 : }
212 :
213 0 : case FD_SNAPSHOT_MSG_CTRL_FAIL: {
214 0 : FD_TEST( ctx->state==FD_SNAPSHOT_STATE_PROCESSING ||
215 0 : ctx->state==FD_SNAPSHOT_STATE_FINISHING ||
216 0 : ctx->state==FD_SNAPSHOT_STATE_ERROR );
217 0 : int done = recv_acks( ctx, in_idx );
218 0 : if( !done ) return;
219 :
220 0 : ctx->state = FD_SNAPSHOT_STATE_IDLE;
221 0 : fd_lthash_zero( &ctx->running_lthash );
222 0 : break;
223 0 : }
224 :
225 0 : case FD_SNAPSHOT_MSG_CTRL_NEXT:
226 0 : case FD_SNAPSHOT_MSG_CTRL_DONE: {
227 0 : int done = recv_acks( ctx, in_idx );
228 0 : if( !done ) return;
229 :
230 0 : FD_TEST( ctx->state==FD_SNAPSHOT_STATE_PROCESSING );
231 0 : if( FD_UNLIKELY( ctx->state!=FD_SNAPSHOT_STATE_PROCESSING ) ) {
232 0 : transition_malformed( ctx, stem );
233 0 : return;
234 0 : }
235 :
236 0 : ctx->hash_accum.ack_sig = sig;
237 0 : ctx->hash_accum.awaiting_ack = 1;
238 0 : ctx->state = FD_SNAPSHOT_STATE_IDLE;
239 0 : return; /* the ack is sent when all hashes are received */
240 0 : }
241 :
242 0 : case FD_SNAPSHOT_MSG_CTRL_SHUTDOWN: {
243 0 : int done = recv_acks( ctx, in_idx );
244 0 : if( !done ) return;
245 :
246 0 : FD_TEST( ctx->state==FD_SNAPSHOT_STATE_IDLE );
247 0 : ctx->state = FD_SNAPSHOT_STATE_SHUTDOWN;
248 0 : break;
249 0 : }
250 :
251 0 : case FD_SNAPSHOT_MSG_CTRL_ERROR:
252 0 : ctx->state = FD_SNAPSHOT_STATE_ERROR;
253 0 : break;
254 :
255 0 : default:
256 0 : FD_LOG_ERR(( "unexpected control sig %lu", sig ));
257 0 : return;
258 0 : }
259 :
260 : /* Forward the control message down the pipeline */
261 0 : fd_stem_publish( stem, 0UL, sig, 0UL, 0UL, 0UL, 0UL, 0UL );
262 0 : }
263 :
264 : static void
265 : handle_hash_frag( fd_snapls_tile_t * ctx,
266 : ulong in_idx,
267 : ulong sig,
268 : ulong chunk,
269 0 : ulong sz ) {
270 0 : FD_TEST( ctx->state==FD_SNAPSHOT_STATE_PROCESSING || ctx->state==FD_SNAPSHOT_STATE_IDLE );
271 0 : switch( sig ) {
272 0 : case FD_SNAPSHOT_HASH_MSG_RESULT_ADD: {
273 0 : FD_TEST( sz==sizeof(fd_lthash_value_t) );
274 0 : fd_lthash_value_t const * result = fd_chunk_to_laddr_const( ctx->adder_in[ in_idx-ctx->adder_in_offset ].wksp, chunk );
275 0 : fd_lthash_add( &ctx->hash_accum.calculated_lthash, result );
276 0 : ctx->hash_accum.received_lthashes++;
277 0 : break;
278 0 : }
279 0 : case FD_SNAPSHOT_HASH_MSG_EXPECTED: {
280 0 : FD_TEST( sz==sizeof(fd_lthash_value_t) );
281 0 : FD_TEST( ctx->in_kind[ in_idx ]==IN_KIND_SNAPIN );
282 0 : fd_lthash_value_t const * result = fd_chunk_to_laddr_const( ctx->in.wksp, chunk );
283 0 : fd_memcpy( &ctx->hash_accum.expected_lthash, result, sizeof(fd_lthash_value_t) );
284 0 : break;
285 0 : }
286 0 : default:
287 0 : FD_LOG_ERR(( "unexpected hash sig %lu", sig ));
288 0 : break;
289 0 : }
290 :
291 0 : }
292 :
293 : static inline int
294 : returnable_frag( fd_snapls_tile_t * ctx,
295 : ulong in_idx FD_PARAM_UNUSED,
296 : ulong seq FD_PARAM_UNUSED,
297 : ulong sig,
298 : ulong chunk,
299 : ulong sz,
300 : ulong ctl FD_PARAM_UNUSED,
301 : ulong tsorig FD_PARAM_UNUSED,
302 : ulong tspub FD_PARAM_UNUSED,
303 0 : fd_stem_context_t * stem ) {
304 0 : FD_TEST( ctx->state!=FD_SNAPSHOT_STATE_SHUTDOWN );
305 :
306 0 : if( FD_LIKELY( sig==FD_SNAPSHOT_HASH_MSG_SUB ||
307 0 : sig==FD_SNAPSHOT_HASH_MSG_SUB_HDR ||
308 0 : sig==FD_SNAPSHOT_HASH_MSG_SUB_DATA ) ) handle_data_frag( ctx, sig, chunk, sz );
309 0 : else if( FD_LIKELY( sig==FD_SNAPSHOT_HASH_MSG_RESULT_ADD ||
310 0 : sig==FD_SNAPSHOT_HASH_MSG_EXPECTED ) ) handle_hash_frag( ctx, in_idx, sig, chunk, sz );
311 0 : else handle_control_frag( ctx, stem, sig, in_idx );
312 :
313 0 : return 0;
314 0 : }
315 :
316 : static void
317 : after_credit( fd_snapls_tile_t * ctx,
318 : fd_stem_context_t * stem,
319 : int * opt_poll_in FD_PARAM_UNUSED,
320 0 : int * charge_busy FD_PARAM_UNUSED ) {
321 0 : if( FD_UNLIKELY( ctx->hash_accum.received_lthashes==ctx->num_hash_tiles && ctx->hash_accum.awaiting_ack ) ) {
322 0 : fd_lthash_sub( &ctx->hash_accum.calculated_lthash, &ctx->running_lthash );
323 0 : if( FD_UNLIKELY( memcmp( &ctx->hash_accum.expected_lthash, &ctx->hash_accum.calculated_lthash, sizeof(fd_lthash_value_t) ) ) ) {
324 0 : FD_LOG_WARNING(( "calculated accounts lthash %s does not match accounts lthash %s in snapshot manifest",
325 0 : FD_LTHASH_ENC_32_ALLOCA( &ctx->hash_accum.calculated_lthash ),
326 0 : FD_LTHASH_ENC_32_ALLOCA( &ctx->hash_accum.expected_lthash ) ));
327 0 : transition_malformed( ctx, stem );
328 0 : } else {
329 0 : FD_LOG_NOTICE(( "calculated accounts lthash %s matches accounts lthash %s in snapshot manifest",
330 0 : FD_LTHASH_ENC_32_ALLOCA( &ctx->hash_accum.calculated_lthash ),
331 0 : FD_LTHASH_ENC_32_ALLOCA( &ctx->hash_accum.expected_lthash ) ));
332 0 : }
333 0 : ctx->hash_accum.received_lthashes = 0UL;
334 0 : ctx->hash_accum.hash_check_done = 1;
335 0 : }
336 :
337 0 : if( FD_UNLIKELY( ctx->hash_accum.awaiting_ack && ctx->hash_accum.hash_check_done ) ) {
338 0 : fd_stem_publish( stem, 0UL, ctx->hash_accum.ack_sig, 0UL, 0UL, 0UL, 0UL, 0UL );
339 0 : ctx->hash_accum.awaiting_ack = 0;
340 0 : ctx->hash_accum.hash_check_done = 0;
341 0 : }
342 0 : }
343 :
344 : static ulong
345 : populate_allowed_fds( fd_topo_t const * topo FD_PARAM_UNUSED,
346 : fd_topo_tile_t const * tile FD_PARAM_UNUSED,
347 : ulong out_fds_cnt,
348 0 : int * out_fds ) {
349 0 : if( FD_UNLIKELY( out_fds_cnt<2UL ) ) FD_LOG_ERR(( "out_fds_cnt %lu", out_fds_cnt ));
350 :
351 0 : ulong out_cnt = 0;
352 0 : out_fds[ out_cnt++ ] = 2UL; /* stderr */
353 0 : if( FD_LIKELY( -1!=fd_log_private_logfile_fd() ) ) {
354 0 : out_fds[ out_cnt++ ] = fd_log_private_logfile_fd(); /* logfile */
355 0 : }
356 :
357 0 : return out_cnt;
358 0 : }
359 :
360 : static ulong
361 : populate_allowed_seccomp( fd_topo_t const * topo FD_PARAM_UNUSED,
362 : fd_topo_tile_t const * tile FD_PARAM_UNUSED,
363 : ulong out_cnt,
364 0 : struct sock_filter * out ) {
365 0 : populate_sock_filter_policy_fd_snapls_tile( out_cnt, out, (uint)fd_log_private_logfile_fd() );
366 0 : return sock_filter_policy_fd_snapls_tile_instr_cnt;
367 0 : }
368 :
369 : static void
370 : unprivileged_init( fd_topo_t * topo,
371 0 : fd_topo_tile_t * tile ) {
372 0 : void * scratch = fd_topo_obj_laddr( topo, tile->tile_obj_id );
373 :
374 0 : FD_SCRATCH_ALLOC_INIT( l, scratch );
375 0 : fd_snapls_tile_t * ctx = FD_SCRATCH_ALLOC_APPEND( l, alignof(fd_snapls_tile_t), sizeof(fd_snapls_tile_t) );
376 :
377 0 : ulong expected_in_cnt = 1UL + fd_topo_tile_name_cnt( topo, "snapla" );
378 0 : if( FD_UNLIKELY( tile->in_cnt!=expected_in_cnt ) ) FD_LOG_ERR(( "tile `" NAME "` has %lu ins, expected %lu", tile->in_cnt, expected_in_cnt ));
379 0 : if( FD_UNLIKELY( tile->out_cnt!=1UL ) ) FD_LOG_ERR(( "tile `" NAME "` has %lu outs, expected 1", tile->out_cnt ));
380 :
381 0 : ulong adder_idx = 0UL;
382 0 : for( ulong i=0UL; i<(tile->in_cnt); i++ ) {
383 0 : fd_topo_link_t * in_link = &topo->links[ tile->in_link_id[ i ] ];
384 0 : fd_topo_wksp_t const * in_wksp = &topo->workspaces[ topo->objs[ in_link->dcache_obj_id ].wksp_id ];
385 0 : if( FD_LIKELY( 0==strcmp( in_link->name, "snapin_ls" ) ) ) {
386 0 : ctx->in.wksp = in_wksp->wksp;;
387 0 : ctx->in.chunk0 = fd_dcache_compact_chunk0( ctx->in.wksp, in_link->dcache );
388 0 : ctx->in.wmark = fd_dcache_compact_wmark( ctx->in.wksp, in_link->dcache, in_link->mtu );
389 0 : ctx->in.mtu = in_link->mtu;
390 0 : ctx->in.pos = 0UL;
391 0 : ctx->in_kind[ i ] = IN_KIND_SNAPIN;
392 0 : } else if( FD_LIKELY( 0==strcmp( in_link->name, "snapla_ls" ) ) ) {
393 0 : ctx->adder_in[ adder_idx ].wksp = in_wksp->wksp;
394 0 : ctx->adder_in[ adder_idx ].chunk0 = fd_dcache_compact_chunk0( ctx->adder_in[ adder_idx ].wksp, in_link->dcache );
395 0 : ctx->adder_in[ adder_idx ].wmark = fd_dcache_compact_wmark ( ctx->adder_in[ adder_idx ].wksp, in_link->dcache, in_link->mtu );
396 0 : ctx->adder_in[ adder_idx ].mtu = in_link->mtu;
397 0 : ctx->in_kind[ i ] = IN_KIND_SNAPLA;
398 0 : if( FD_LIKELY( adder_idx==0UL ) ) ctx->adder_in_offset = i;
399 0 : adder_idx++;
400 0 : } else {
401 0 : FD_LOG_ERR(( "tile `" NAME "` has unexpected in link name `%s`", in_link->name ));
402 0 : }
403 0 : }
404 :
405 0 : fd_topo_link_t * out_link = &topo->links[ tile->out_link_id[ 0UL ] ];
406 0 : FD_TEST( 0==strcmp( out_link->name, "snapls_ct" ) );
407 :
408 0 : ctx->metrics.full.accounts_hashed = 0UL;
409 0 : ctx->metrics.incremental.accounts_hashed = 0UL;
410 :
411 0 : ctx->state = FD_SNAPSHOT_STATE_IDLE;
412 0 : ctx->full = 1;
413 0 : ctx->hash_account = 0;
414 :
415 0 : ctx->num_hash_tiles = fd_topo_tile_name_cnt( topo, "snapla" );
416 :
417 0 : ctx->hash_accum.received_lthashes = 0UL;
418 0 : ctx->hash_accum.awaiting_ack = 0;
419 0 : ctx->hash_accum.hash_check_done = 0;
420 :
421 0 : ctx->num_acks = 0UL;
422 0 : fd_memset( ctx->acks, 0, sizeof(ctx->acks) );
423 :
424 0 : fd_lthash_zero( &ctx->hash_accum.calculated_lthash );
425 0 : fd_lthash_zero( &ctx->running_lthash );
426 0 : }
427 :
428 0 : #define STEM_BURST 2UL /* one control message and one malformed message */
429 0 : #define STEM_LAZY 1000L
430 :
431 0 : #define STEM_CALLBACK_CONTEXT_TYPE fd_snapls_tile_t
432 0 : #define STEM_CALLBACK_CONTEXT_ALIGN alignof(fd_snapls_tile_t)
433 :
434 : #define STEM_CALLBACK_SHOULD_SHUTDOWN should_shutdown
435 0 : #define STEM_CALLBACK_METRICS_WRITE metrics_write
436 0 : #define STEM_CALLBACK_AFTER_CREDIT after_credit
437 0 : #define STEM_CALLBACK_RETURNABLE_FRAG returnable_frag
438 :
439 : #include "../../disco/stem/fd_stem.c"
440 :
441 : fd_topo_run_tile_t fd_tile_snapls = {
442 : .name = NAME,
443 : .populate_allowed_fds = populate_allowed_fds,
444 : .populate_allowed_seccomp = populate_allowed_seccomp,
445 : .scratch_align = scratch_align,
446 : .scratch_footprint = scratch_footprint,
447 : .unprivileged_init = unprivileged_init,
448 : .run = stem_run,
449 : };
450 :
451 : #undef NAME
452 :
|