jdb_tbuf.h

Go to the documentation of this file.

// AUTOMATICALLY GENERATED -- DO NOT EDIT!         -*- c++ -*-

#ifndef jdb_tbuf_h
#define jdb_tbuf_h

#include "jdb_ktrace.h"
#include "l4_types.h"
#include "std_macros.h"
#include "tb_entry.h"

//
// INTERFACE definition follows 
//


class Context;
class Log_event;
class Observer;
class Sys_ipc_frame;
class Tracebuffer_status;

class Jdb_tbuf
{
public:
  static void (*direct_log_entry)(Tb_entry*, const char*);

  enum
  { 
    Event  = 1,
    Result = 2
  };

protected:
  static Tb_entry_fit   *tbuf_act;      // current entry
  static Tb_entry_fit   *tbuf_max;
  static Mword          _entries;       // number of occupied entries
  static Mword          _max_entries;   // maximum number of entries
  static Mword          _filter_enabled;// !=0 if filter is active
  static Mword          number;         // current event number
  static Mword          count_mask1;
  static Mword          count_mask2;
  static Observer       *observer;

public:  
  static inline Tracebuffer_status * const status();
  
  static void clear_tbuf();
  
  static Tb_entry* new_entry();
  
  static void commit_entry();
  
  static inline Mword unfiltered_entries();
  
  static Mword entries();
  
  static inline Mword max_entries();
  
  static inline void max_entries(Mword num);
  
  static inline int event_valid(Mword idx);
  
  static Tb_entry* unfiltered_lookup(Mword idx);
  
  static Tb_entry* lookup(Mword look_idx);
  
  static Mword unfiltered_idx(Tb_entry *e);
  
  static Mword idx(Tb_entry *e);
  
  static inline Tb_entry* search(Mword nr);
  
  static Mword search_to_idx(Mword nr);
  
  static int event(Mword idx, Mword *number, Unsigned32 *kclock, Unsigned64 *tsc, Unsigned32 *pmc1, Unsigned32 *pmc2);
  
  static Tb_entry* ipc_pair_event(Mword idx, Unsigned8 *type);
  
  static Tb_entry* pf_pair_event(Mword idx, Unsigned8 *type);
  
  static int diff_tsc(Mword idx, Signed64 *delta);
  
  static int diff_pmc(Mword idx, Mword nr, Signed32 *delta);
  
  static inline void enable_filter();
  
  static inline void disable_filter();

protected:  
  static inline Tb_entry_fit * const buffer();
};

#ifdef CONFIG_JDB_LOGGING

#ifdef CONFIG_PF_UX

// We don't want to patch the text segment of Fiasco-UX.

#define BEGIN_LOG_EVENT(name)                                   \
  do                                                            \
    {                                                           \
      register Unsigned8 __do_log__;                            \
      asm volatile (".globl  patch_"#name"      \n\t"           \
                    ".data                      \n\t"           \
                    "patch_"#name":             \n\t"           \
                    ".byte   0                  \n\t"           \
                    ".previous                  \n\t"           \
                    "movb    patch_"#name",%0   \n\t"           \
                    : "=q"(__do_log__) );                       \
      if (EXPECT_FALSE( __do_log__ ))                           \
        {

#else // ! CONFIG_PF_UX

#define BEGIN_LOG_EVENT(name)                                   \
  do                                                            \
    {                                                           \
      register Unsigned8 __do_log__;                            \
      asm volatile (".globl  patch_"#name"      \n\t"           \
                    "patch_"#name" = .+1        \n\t"           \
                    "movb    $0,%0              \n\t"           \
                    : "=q"(__do_log__) );                       \
      if (EXPECT_FALSE( __do_log__ ))                           \
        {

#endif // ! CONFIG_PF_UX

#define END_LOG_EVENT                                           \
        }                                                       \
    } while (0)

#else // ! CONFIG_JDB_LOGGING

#define BEGIN_LOG_EVENT(name)                                   \
  if (0)                                                        \
    {

#define END_LOG_EVENT                                           \
    }

#endif // ! CONFIG_JDB_LOGGING

//
// IMPLEMENTATION includes follow (for use by inline functions)
//

#include "mem_layout.h"

//
// IMPLEMENTATION of inline functions (and needed classes)
//




inline Tracebuffer_status * const
Jdb_tbuf::status()
{
  return (Tracebuffer_status*) Mem_layout::Tbuf_status_page;
}


inline Mword
Jdb_tbuf::unfiltered_entries()
{
  return _entries;
}


inline Mword
Jdb_tbuf::max_entries()
{
  return _max_entries;
}


inline void
Jdb_tbuf::max_entries(Mword num)
{
  _max_entries = num;
}


inline int
Jdb_tbuf::event_valid(Mword idx)
{
  return (idx < _entries);
}


inline Tb_entry*
Jdb_tbuf::search(Mword nr)
{
  Tb_entry *e;

  for (Mword idx=0; (e = unfiltered_lookup(idx)); idx++)
    if (e->number() == nr)
      return e;

  return 0;
}



inline void
Jdb_tbuf::enable_filter()
{
  _filter_enabled = 1;
}



inline void
Jdb_tbuf::disable_filter()
{
  _filter_enabled = 0;
}



inline Tb_entry_fit * const
Jdb_tbuf::buffer()
{
  return (Tb_entry_fit*)Mem_layout::Tbuf_buffer_area;
}

#endif // jdb_tbuf_h

---