"Failure: unmarshaling error" occurs when running the jbpf_verifier_cli to verify a new codelet

[amurgZainar]

Hello,

I ran the jbpf_verifier_cli to verify my codelet but I ran into an error ("unmarshaling error"). Is there any way to debug this further?

amurg$ ../../out/bin/jbpf_verifier_cli codelet1.o jbpf_ran_spectral --asm codelet1.asm
Failure: unmarshaling error

Thanks.

[doctorlai-msrc]

Can you share the codelet? You can comment out line by line to identify which causes errror or you can start with an empty codelet and add code incrementally.

[amurgZainar]

I managed to get my head around this issue, by commenting out the helper function call. The Failure: unmarshaling error was coming from the fact that the helper function was not declared (known) to the codelet1, even though the codelet1 build process was successful.

Now, after commenting out the helper function call, the jbpf_verifier_cli fails as expected, because the jbpf_verifier_cli is not extended to verify the codelet's context/program, which is necessary for the verification process to succeed.

[amurgZainar]

Actually no, I've made a mistake. The helper function prototype was part of the header file which was included in the codelet code. So basically, even though the helper function prototype is known to the codelet, the jbpf_verifier_cli fails with that Failure: unmarshaling error.

• below is the helper function prototype definition:

typedef struct jbpf_ul_srs_copy_req
{
  uint16_t symbol_index;
  uint16_t antenna_index;
  uint16_t first_subc;
  uint16_t num_subc;
} jbpf_ul_srs_copy_req_t;


static int (*jbpf_ran_ul_copy_srs_iq)(
                      const struct jbpf_ran_spectral_ctx *ctx,
                      const jbpf_ul_srs_copy_req_t *copy_req,
                      uint32_t req_len,
                      void *buff_out,
                      uint32_t buff_out_size) = (void *)CUSTOM_HELPER_START_ID;

• snippet codelet 1 implementation below:

SEC("jbpf_ran_spectral")
uint64_t
jbpf_main(void *state)
{
...
    for (int ant_elem_idx = 0;
       ant_elem_idx < out->ru_tf_grid_per_antenna_count;
       ant_elem_idx++)
  {
...
    for (int symb_idx_in_slot = FIRST_OFDM_SYMB_WITH_SRS_IN_SLOT, symb_idx = 0;
         symb_idx_in_slot < NUM_OFDM_SYMBS_PER_SLOT;
         symb_idx_in_slot++, symb_idx++)
    {
      /*
       * Fill in the structure information related to the exact placement in
       * the time-frequency grid where the REs extraction will be performed:
       *
       * - the antenna element index;
       * - the OFDM symbol index;
       * - the first RE (subcarrier) from which we start copying;
       * - the number of REs (subcarriers) to be copied.
       *
       * Consider the BWP start and size when performing the REs copy. At this
       * stage we know for sure that the BWP start and size cannot be different
       * among UEs transmitting in the current slot. Hence we can rely on these
       * two parameters to perform the copy.
       */
      jbpf_ul_srs_copy_req_t ul_srs_copy_req;
      ul_srs_copy_req.antenna_index = ant_elem_idx;
      ul_srs_copy_req.symbol_index = symb_idx_in_slot;
      ul_srs_copy_req.first_subc = prev_bwp_start;
      ul_srs_copy_req.num_subc = prev_bwp_size * NUM_RES_PER_RB;

...

      /*
       * Perform the REs copy using the helper function for the current OFDM
       * symbol period and for the current antenna element.
       */
#if 1
      /*
       * Note: Until we get to the point where the verification of the helper
       * function is done, the helper function call cannot be performed, as
       * if it is peformed, is causing the verification process to fail with
       * the following error: `Failure: unmarshaling error`.
       */
      if (jbpf_ran_ul_copy_srs_iq(ctx,                 <------------------------ helper function call
                                  &ul_srs_copy_req,
                                  sizeof(ul_srs_copy_req),
                                  first_re,
                                  sizeof(complex_int16) *
                                                   MAX_RES_PER_OFDM_SYMB) != 0)
      {
        jbpf_printf_debug("Failed to copy RES:ant_elem_idx=%d symb_idx=%d "
                                                       "symb_idx_in_slot=%d\n",
                           ant_elem_idx,
                           symb_idx,
                           symb_idx_in_slot);

        return 0;
      }
#endif
      /*
       * Finally set the number of REs that were copied for the current OFDM
       * symbol.
       */
      cur_ofdm_symbol->iqs_per_ofdm_symb_count = prev_bwp_size *
                                                                NUM_RES_PER_RB;
    }
  }
}

When the helper function call is not commented out, the unmarshalling error arises. Could this be from the fact that the helper function is not registered with the jbpf_verifier_cli?

[amurgZainar]

After extending the verifier to check the program type, the context and the helper function, the codelet verification is successful. So probably, the unmarshalling error has something to do with the fact that the helper function is not registered with the verifier.