Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Linux/drivers/infiniband/hw/hfi1/   (Open Source Betriebssystem Version 6.17.9©)  Datei vom 24.10.2025 mit Größe 15 kB image not shown  

Quelle  trace.c   Sprache: C

 
// SPDX-License-Identifier: GPL-2.0 OR BSD-3-Clause
/*
 * Copyright(c) 2015 - 2020 Intel Corporation.
 */

#define CREATE_TRACE_POINTS
#include "trace.h"
#include "exp_rcv.h"
#include "ipoib.h"

static u8 __get_ib_hdr_len(struct ib_header *hdr)
{
 struct ib_other_headers *ohdr;
 u8 opcode;

 if (ib_get_lnh(hdr) == HFI1_LRH_BTH)
  ohdr = &hdr->u.oth;
 else
  ohdr = &hdr->u.l.oth;
 opcode = ib_bth_get_opcode(ohdr);
 return hdr_len_by_opcode[opcode] == 0 ?
        0 : hdr_len_by_opcode[opcode] - (12 + 8);
}

static u8 __get_16b_hdr_len(struct hfi1_16b_header *hdr)
{
 struct ib_other_headers *ohdr = NULL;
 u8 opcode;
 u8 l4 = hfi1_16B_get_l4(hdr);

 if (l4 == OPA_16B_L4_FM) {
  opcode = IB_OPCODE_UD_SEND_ONLY;
  return (8 + 8); /* No BTH */
 }

 if (l4 == OPA_16B_L4_IB_LOCAL)
  ohdr = &hdr->u.oth;
 else
  ohdr = &hdr->u.l.oth;

 opcode = ib_bth_get_opcode(ohdr);
 return hdr_len_by_opcode[opcode] == 0 ?
        0 : hdr_len_by_opcode[opcode] - (12 + 8 + 8);
}

u8 hfi1_trace_packet_hdr_len(struct hfi1_packet *packet)
{
 if (packet->etype != RHF_RCV_TYPE_BYPASS)
  return __get_ib_hdr_len(packet->hdr);
 else
  return __get_16b_hdr_len(packet->hdr);
}

u8 hfi1_trace_opa_hdr_len(struct hfi1_opa_header *opa_hdr)
{
 if (!opa_hdr->hdr_type)
  return __get_ib_hdr_len(&opa_hdr->ibh);
 else
  return __get_16b_hdr_len(&opa_hdr->opah);
}

const char *hfi1_trace_get_packet_l4_str(u8 l4)
{
 if (l4)
  return "16B";
 else
  return "9B";
}

const char *hfi1_trace_get_packet_l2_str(u8 l2)
{
 switch (l2) {
 case 0:
  return "0";
 case 1:
  return "1";
 case 2:
  return "16B";
 case 3:
  return "9B";
 }
 return "";
}

#define IMM_PRN  "imm:%d"
#define RETH_PRN "reth vaddr:0x%.16llx rkey:0x%.8x dlen:0x%.8x"
#define AETH_PRN "aeth syn:0x%.2x %s msn:0x%.8x"
#define DETH_PRN "deth qkey:0x%.8x sqpn:0x%.6x"
#define DETH_ENTROPY_PRN "deth qkey:0x%.8x sqpn:0x%.6x entropy:0x%.2x"
#define IETH_PRN "ieth rkey:0x%.8x"
#define ATOMICACKETH_PRN "origdata:%llx"
#define ATOMICETH_PRN "vaddr:0x%llx rkey:0x%.8x sdata:%llx cdata:%llx"
#define TID_RDMA_KDETH "kdeth0 0x%x kdeth1 0x%x"
#define TID_RDMA_KDETH_DATA "kdeth0 0x%x: kver %u sh %u intr %u tidctrl %u tid %x offset %x kdeth1 0x%x: jkey %x"
#define TID_READ_REQ_PRN "tid_flow_psn 0x%x tid_flow_qp 0x%x verbs_qp 0x%x"
#define TID_READ_RSP_PRN "verbs_qp 0x%x"
#define TID_WRITE_REQ_PRN "original_qp 0x%x"
#define TID_WRITE_RSP_PRN "tid_flow_psn 0x%x tid_flow_qp 0x%x verbs_qp 0x%x"
#define TID_WRITE_DATA_PRN "verbs_qp 0x%x"
#define TID_ACK_PRN "tid_flow_psn 0x%x verbs_psn 0x%x tid_flow_qp 0x%x verbs_qp 0x%x"
#define TID_RESYNC_PRN "verbs_qp 0x%x"

#define OP(transport, op) IB_OPCODE_## transport ## _ ## op

static const char *parse_syndrome(u8 syndrome)
{
 switch (syndrome >> 5) {
 case 0:
  return "ACK";
 case 1:
  return "RNRNAK";
 case 3:
  return "NAK";
 }
 return "";
}

void hfi1_trace_parse_9b_bth(struct ib_other_headers *ohdr,
        u8 *ack, bool *becn, bool *fecn, u8 *mig,
        u8 *se, u8 *pad, u8 *opcode, u8 *tver,
        u16 *pkey, u32 *psn, u32 *qpn)
{
 *ack = ib_bth_get_ackreq(ohdr);
 *becn = ib_bth_get_becn(ohdr);
 *fecn = ib_bth_get_fecn(ohdr);
 *mig = ib_bth_get_migreq(ohdr);
 *se = ib_bth_get_se(ohdr);
 *pad = ib_bth_get_pad(ohdr);
 *opcode = ib_bth_get_opcode(ohdr);
 *tver = ib_bth_get_tver(ohdr);
 *pkey = ib_bth_get_pkey(ohdr);
 *psn = mask_psn(ib_bth_get_psn(ohdr));
 *qpn = ib_bth_get_qpn(ohdr);
}

void hfi1_trace_parse_16b_bth(struct ib_other_headers *ohdr,
         u8 *ack, u8 *mig, u8 *opcode,
         u8 *pad, u8 *se, u8 *tver,
         u32 *psn, u32 *qpn)
{
 *ack = ib_bth_get_ackreq(ohdr);
 *mig = ib_bth_get_migreq(ohdr);
 *opcode = ib_bth_get_opcode(ohdr);
 *pad = ib_bth_get_pad(ohdr);
 *se = ib_bth_get_se(ohdr);
 *tver = ib_bth_get_tver(ohdr);
 *psn = mask_psn(ib_bth_get_psn(ohdr));
 *qpn = ib_bth_get_qpn(ohdr);
}

static u16 ib_get_len(const struct ib_header *hdr)
{
 return be16_to_cpu(hdr->lrh[2]);
}

void hfi1_trace_parse_9b_hdr(struct ib_header *hdr, bool sc5,
        u8 *lnh, u8 *lver, u8 *sl, u8 *sc,
        u16 *len, u32 *dlid, u32 *slid)
{
 *lnh = ib_get_lnh(hdr);
 *lver = ib_get_lver(hdr);
 *sl = ib_get_sl(hdr);
 *sc = ib_get_sc(hdr) | (sc5 << 4);
 *len = ib_get_len(hdr);
 *dlid = ib_get_dlid(hdr);
 *slid = ib_get_slid(hdr);
}

void hfi1_trace_parse_16b_hdr(struct hfi1_16b_header *hdr,
         u8 *age, bool *becn, bool *fecn,
         u8 *l4, u8 *rc, u8 *sc,
         u16 *entropy, u16 *len, u16 *pkey,
         u32 *dlid, u32 *slid)
{
 *age = hfi1_16B_get_age(hdr);
 *becn = hfi1_16B_get_becn(hdr);
 *fecn = hfi1_16B_get_fecn(hdr);
 *l4 = hfi1_16B_get_l4(hdr);
 *rc = hfi1_16B_get_rc(hdr);
 *sc = hfi1_16B_get_sc(hdr);
 *entropy = hfi1_16B_get_entropy(hdr);
 *len = hfi1_16B_get_len(hdr);
 *pkey = hfi1_16B_get_pkey(hdr);
 *dlid = hfi1_16B_get_dlid(hdr);
 *slid = hfi1_16B_get_slid(hdr);
}

#define LRH_PRN "len:%d sc:%d dlid:0x%.4x slid:0x%.4x "
#define LRH_9B_PRN "lnh:%d,%s lver:%d sl:%d"
#define LRH_16B_PRN "age:%d becn:%d fecn:%d l4:%d " \
      "rc:%d sc:%d pkey:0x%.4x entropy:0x%.4x"
const char *hfi1_trace_fmt_lrh(struct trace_seq *p, bool bypass,
          u8 age, bool becn, bool fecn, u8 l4,
          u8 lnh, const char *lnh_name, u8 lver,
          u8 rc, u8 sc, u8 sl, u16 entropy,
          u16 len, u16 pkey, u32 dlid, u32 slid)
{
 const char *ret = trace_seq_buffer_ptr(p);

 trace_seq_printf(p, LRH_PRN, len, sc, dlid, slid);

 if (bypass)
  trace_seq_printf(p, LRH_16B_PRN,
     age, becn, fecn, l4, rc, sc, pkey, entropy);

 else
  trace_seq_printf(p, LRH_9B_PRN,
     lnh, lnh_name, lver, sl);
 trace_seq_putc(p, 0);

 return ret;
}

#define BTH_9B_PRN \
 "op:0x%.2x,%s se:%d m:%d pad:%d tver:%d pkey:0x%.4x " \
 "f:%d b:%d qpn:0x%.6x a:%d psn:0x%.8x"
#define BTH_16B_PRN \
 "op:0x%.2x,%s se:%d m:%d pad:%d tver:%d " \
 "qpn:0x%.6x a:%d psn:0x%.8x"
#define L4_FM_16B_PRN \
 "op:0x%.2x,%s dest_qpn:0x%.6x src_qpn:0x%.6x"
const char *hfi1_trace_fmt_rest(struct trace_seq *p, bool bypass, u8 l4,
    u8 ack, bool becn, bool fecn, u8 mig,
    u8 se, u8 pad, u8 opcode, const char *opname,
    u8 tver, u16 pkey, u32 psn, u32 qpn,
    u32 dest_qpn, u32 src_qpn)
{
 const char *ret = trace_seq_buffer_ptr(p);

 if (bypass)
  if (l4 == OPA_16B_L4_FM)
   trace_seq_printf(p, L4_FM_16B_PRN,
      opcode, opname, dest_qpn, src_qpn);
  else
   trace_seq_printf(p, BTH_16B_PRN,
      opcode, opname,
      se, mig, pad, tver, qpn, ack, psn);

 else
  trace_seq_printf(p, BTH_9B_PRN,
     opcode, opname,
     se, mig, pad, tver, pkey, fecn, becn,
     qpn, ack, psn);
 trace_seq_putc(p, 0);

 return ret;
}

const char *parse_everbs_hdrs(
 struct trace_seq *p,
 u8 opcode, u8 l4, u32 dest_qpn, u32 src_qpn,
 void *ehdrs)
{
 union ib_ehdrs *eh = ehdrs;
 const char *ret = trace_seq_buffer_ptr(p);

 if (l4 == OPA_16B_L4_FM) {
  trace_seq_printf(p, "mgmt pkt");
  goto out;
 }

 switch (opcode) {
 /* imm */
 case OP(RC, SEND_LAST_WITH_IMMEDIATE):
 case OP(UC, SEND_LAST_WITH_IMMEDIATE):
 case OP(RC, SEND_ONLY_WITH_IMMEDIATE):
 case OP(UC, SEND_ONLY_WITH_IMMEDIATE):
 case OP(RC, RDMA_WRITE_LAST_WITH_IMMEDIATE):
 case OP(UC, RDMA_WRITE_LAST_WITH_IMMEDIATE):
  trace_seq_printf(p, IMM_PRN,
     be32_to_cpu(eh->imm_data));
  break;
 /* reth + imm */
 case OP(RC, RDMA_WRITE_ONLY_WITH_IMMEDIATE):
 case OP(UC, RDMA_WRITE_ONLY_WITH_IMMEDIATE):
  trace_seq_printf(p, RETH_PRN " " IMM_PRN,
     get_ib_reth_vaddr(&eh->rc.reth),
     be32_to_cpu(eh->rc.reth.rkey),
     be32_to_cpu(eh->rc.reth.length),
     be32_to_cpu(eh->rc.imm_data));
  break;
 /* reth */
 case OP(RC, RDMA_READ_REQUEST):
 case OP(RC, RDMA_WRITE_FIRST):
 case OP(UC, RDMA_WRITE_FIRST):
 case OP(RC, RDMA_WRITE_ONLY):
 case OP(UC, RDMA_WRITE_ONLY):
  trace_seq_printf(p, RETH_PRN,
     get_ib_reth_vaddr(&eh->rc.reth),
     be32_to_cpu(eh->rc.reth.rkey),
     be32_to_cpu(eh->rc.reth.length));
  break;
 case OP(RC, RDMA_READ_RESPONSE_FIRST):
 case OP(RC, RDMA_READ_RESPONSE_LAST):
 case OP(RC, RDMA_READ_RESPONSE_ONLY):
 case OP(RC, ACKNOWLEDGE):
  trace_seq_printf(p, AETH_PRN, be32_to_cpu(eh->aeth) >> 24,
     parse_syndrome(be32_to_cpu(eh->aeth) >> 24),
     be32_to_cpu(eh->aeth) & IB_MSN_MASK);
  break;
 case OP(TID_RDMA, WRITE_REQ):
  trace_seq_printf(p, TID_RDMA_KDETH " " RETH_PRN " "
     TID_WRITE_REQ_PRN,
     le32_to_cpu(eh->tid_rdma.w_req.kdeth0),
     le32_to_cpu(eh->tid_rdma.w_req.kdeth1),
     ib_u64_get(&eh->tid_rdma.w_req.reth.vaddr),
     be32_to_cpu(eh->tid_rdma.w_req.reth.rkey),
     be32_to_cpu(eh->tid_rdma.w_req.reth.length),
     be32_to_cpu(eh->tid_rdma.w_req.verbs_qp));
  break;
 case OP(TID_RDMA, WRITE_RESP):
  trace_seq_printf(p, TID_RDMA_KDETH " " AETH_PRN " "
     TID_WRITE_RSP_PRN,
     le32_to_cpu(eh->tid_rdma.w_rsp.kdeth0),
     le32_to_cpu(eh->tid_rdma.w_rsp.kdeth1),
     be32_to_cpu(eh->tid_rdma.w_rsp.aeth) >> 24,
     parse_syndrome(/* aeth */
      be32_to_cpu(eh->tid_rdma.w_rsp.aeth)
      >> 24),
     (be32_to_cpu(eh->tid_rdma.w_rsp.aeth) &
      IB_MSN_MASK),
     be32_to_cpu(eh->tid_rdma.w_rsp.tid_flow_psn),
     be32_to_cpu(eh->tid_rdma.w_rsp.tid_flow_qp),
     be32_to_cpu(eh->tid_rdma.w_rsp.verbs_qp));
  break;
 case OP(TID_RDMA, WRITE_DATA_LAST):
 case OP(TID_RDMA, WRITE_DATA):
  trace_seq_printf(p, TID_RDMA_KDETH_DATA " " TID_WRITE_DATA_PRN,
     le32_to_cpu(eh->tid_rdma.w_data.kdeth0),
     KDETH_GET(eh->tid_rdma.w_data.kdeth0, KVER),
     KDETH_GET(eh->tid_rdma.w_data.kdeth0, SH),
     KDETH_GET(eh->tid_rdma.w_data.kdeth0, INTR),
     KDETH_GET(eh->tid_rdma.w_data.kdeth0, TIDCTRL),
     KDETH_GET(eh->tid_rdma.w_data.kdeth0, TID),
     KDETH_GET(eh->tid_rdma.w_data.kdeth0, OFFSET),
     le32_to_cpu(eh->tid_rdma.w_data.kdeth1),
     KDETH_GET(eh->tid_rdma.w_data.kdeth1, JKEY),
     be32_to_cpu(eh->tid_rdma.w_data.verbs_qp));
  break;
 case OP(TID_RDMA, READ_REQ):
  trace_seq_printf(p, TID_RDMA_KDETH " " RETH_PRN " "
     TID_READ_REQ_PRN,
     le32_to_cpu(eh->tid_rdma.r_req.kdeth0),
     le32_to_cpu(eh->tid_rdma.r_req.kdeth1),
     ib_u64_get(&eh->tid_rdma.r_req.reth.vaddr),
     be32_to_cpu(eh->tid_rdma.r_req.reth.rkey),
     be32_to_cpu(eh->tid_rdma.r_req.reth.length),
     be32_to_cpu(eh->tid_rdma.r_req.tid_flow_psn),
     be32_to_cpu(eh->tid_rdma.r_req.tid_flow_qp),
     be32_to_cpu(eh->tid_rdma.r_req.verbs_qp));
  break;
 case OP(TID_RDMA, READ_RESP):
  trace_seq_printf(p, TID_RDMA_KDETH_DATA " " AETH_PRN " "
     TID_READ_RSP_PRN,
     le32_to_cpu(eh->tid_rdma.r_rsp.kdeth0),
     KDETH_GET(eh->tid_rdma.r_rsp.kdeth0, KVER),
     KDETH_GET(eh->tid_rdma.r_rsp.kdeth0, SH),
     KDETH_GET(eh->tid_rdma.r_rsp.kdeth0, INTR),
     KDETH_GET(eh->tid_rdma.r_rsp.kdeth0, TIDCTRL),
     KDETH_GET(eh->tid_rdma.r_rsp.kdeth0, TID),
     KDETH_GET(eh->tid_rdma.r_rsp.kdeth0, OFFSET),
     le32_to_cpu(eh->tid_rdma.r_rsp.kdeth1),
     KDETH_GET(eh->tid_rdma.r_rsp.kdeth1, JKEY),
     be32_to_cpu(eh->tid_rdma.r_rsp.aeth) >> 24,
     parse_syndrome(/* aeth */
      be32_to_cpu(eh->tid_rdma.r_rsp.aeth)
      >> 24),
     (be32_to_cpu(eh->tid_rdma.r_rsp.aeth) &
      IB_MSN_MASK),
     be32_to_cpu(eh->tid_rdma.r_rsp.verbs_qp));
  break;
 case OP(TID_RDMA, ACK):
  trace_seq_printf(p, TID_RDMA_KDETH " " AETH_PRN " "
     TID_ACK_PRN,
     le32_to_cpu(eh->tid_rdma.ack.kdeth0),
     le32_to_cpu(eh->tid_rdma.ack.kdeth1),
     be32_to_cpu(eh->tid_rdma.ack.aeth) >> 24,
     parse_syndrome(/* aeth */
      be32_to_cpu(eh->tid_rdma.ack.aeth)
      >> 24),
     (be32_to_cpu(eh->tid_rdma.ack.aeth) &
      IB_MSN_MASK),
     be32_to_cpu(eh->tid_rdma.ack.tid_flow_psn),
     be32_to_cpu(eh->tid_rdma.ack.verbs_psn),
     be32_to_cpu(eh->tid_rdma.ack.tid_flow_qp),
     be32_to_cpu(eh->tid_rdma.ack.verbs_qp));
  break;
 case OP(TID_RDMA, RESYNC):
  trace_seq_printf(p, TID_RDMA_KDETH " " TID_RESYNC_PRN,
     le32_to_cpu(eh->tid_rdma.resync.kdeth0),
     le32_to_cpu(eh->tid_rdma.resync.kdeth1),
     be32_to_cpu(eh->tid_rdma.resync.verbs_qp));
  break;
 /* aeth + atomicacketh */
 case OP(RC, ATOMIC_ACKNOWLEDGE):
  trace_seq_printf(p, AETH_PRN " " ATOMICACKETH_PRN,
     be32_to_cpu(eh->at.aeth) >> 24,
     parse_syndrome(be32_to_cpu(eh->at.aeth) >> 24),
     be32_to_cpu(eh->at.aeth) & IB_MSN_MASK,
     ib_u64_get(&eh->at.atomic_ack_eth));
  break;
 /* atomiceth */
 case OP(RC, COMPARE_SWAP):
 case OP(RC, FETCH_ADD):
  trace_seq_printf(p, ATOMICETH_PRN,
     get_ib_ateth_vaddr(&eh->atomic_eth),
     eh->atomic_eth.rkey,
     get_ib_ateth_swap(&eh->atomic_eth),
     get_ib_ateth_compare(&eh->atomic_eth));
  break;
 /* deth */
 case OP(UD, SEND_ONLY):
  trace_seq_printf(p, DETH_ENTROPY_PRN,
     be32_to_cpu(eh->ud.deth[0]),
     be32_to_cpu(eh->ud.deth[1]) & RVT_QPN_MASK,
     be32_to_cpu(eh->ud.deth[1]) >>
          HFI1_IPOIB_ENTROPY_SHIFT);
  break;
 case OP(UD, SEND_ONLY_WITH_IMMEDIATE):
  trace_seq_printf(p, DETH_PRN,
     be32_to_cpu(eh->ud.deth[0]),
     be32_to_cpu(eh->ud.deth[1]) & RVT_QPN_MASK);
  break;
 /* ieth */
 case OP(RC, SEND_LAST_WITH_INVALIDATE):
 case OP(RC, SEND_ONLY_WITH_INVALIDATE):
  trace_seq_printf(p, IETH_PRN,
     be32_to_cpu(eh->ieth));
  break;
 }
out:
 trace_seq_putc(p, 0);
 return ret;
}

const char *parse_sdma_flags(
 struct trace_seq *p,
 u64 desc0, u64 desc1)
{
 const char *ret = trace_seq_buffer_ptr(p);
 char flags[5] = { 'x''x''x''x', 0 };

 flags[0] = (desc1 & SDMA_DESC1_INT_REQ_FLAG) ? 'I' : '-';
 flags[1] = (desc1 & SDMA_DESC1_HEAD_TO_HOST_FLAG) ?  'H' : '-';
 flags[2] = (desc0 & SDMA_DESC0_FIRST_DESC_FLAG) ? 'F' : '-';
 flags[3] = (desc0 & SDMA_DESC0_LAST_DESC_FLAG) ? 'L' : '-';
 trace_seq_printf(p, "%s", flags);
 if (desc0 & SDMA_DESC0_FIRST_DESC_FLAG)
  trace_seq_printf(p, " amode:%u aidx:%u alen:%u",
     (u8)((desc1 >> SDMA_DESC1_HEADER_MODE_SHIFT) &
          SDMA_DESC1_HEADER_MODE_MASK),
     (u8)((desc1 >> SDMA_DESC1_HEADER_INDEX_SHIFT) &
          SDMA_DESC1_HEADER_INDEX_MASK),
     (u8)((desc1 >> SDMA_DESC1_HEADER_DWS_SHIFT) &
          SDMA_DESC1_HEADER_DWS_MASK));
 return ret;
}

const char *print_u32_array(
 struct trace_seq *p,
 u32 *arr, int len)
{
 int i;
 const char *ret = trace_seq_buffer_ptr(p);

 for (i = 0; i < len ; i++)
  trace_seq_printf(p, "%s%#x", i == 0 ? "" : " ", arr[i]);
 trace_seq_putc(p, 0);
 return ret;
}

u8 hfi1_trace_get_tid_ctrl(u32 ent)
{
 return EXP_TID_GET(ent, CTRL);
}

u16 hfi1_trace_get_tid_len(u32 ent)
{
 return EXP_TID_GET(ent, LEN);
}

u16 hfi1_trace_get_tid_idx(u32 ent)
{
 return EXP_TID_GET(ent, IDX);
}

struct hfi1_ctxt_hist {
 atomic_t count;
 atomic_t data[255];
};

static struct hfi1_ctxt_hist hist = {
 .count = ATOMIC_INIT(0)
};

const char *hfi1_trace_print_rsm_hist(struct trace_seq *p, unsigned int ctxt)
{
 int i, len = ARRAY_SIZE(hist.data);
 const char *ret = trace_seq_buffer_ptr(p);
 unsigned long packet_count = atomic_fetch_inc(&hist.count);

 trace_seq_printf(p, "packet[%lu]", packet_count);
 for (i = 0; i < len; ++i) {
  unsigned long val;
  atomic_t *count = &hist.data[i];

  if (ctxt == i)
   val = atomic_fetch_inc(count);
  else
   val = atomic_read(count);

  if (val)
   trace_seq_printf(p, "(%d:%lu)", i, val);
 }
 trace_seq_putc(p, 0);
 return ret;
}

__hfi1_trace_fn(AFFINITY);
__hfi1_trace_fn(PKT);
__hfi1_trace_fn(PROC);
__hfi1_trace_fn(SDMA);
__hfi1_trace_fn(LINKVERB);
__hfi1_trace_fn(DEBUG);
__hfi1_trace_fn(SNOOP);
__hfi1_trace_fn(CNTR);
__hfi1_trace_fn(PIO);
__hfi1_trace_fn(DC8051);
__hfi1_trace_fn(FIRMWARE);
__hfi1_trace_fn(RCVCTRL);
__hfi1_trace_fn(TID);
__hfi1_trace_fn(MMU);
__hfi1_trace_fn(IOCTL);

Messung V0.5
C=96 H=98 G=96

¤ Dauer der Verarbeitung: 0.15 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.