l4/pkg/plr/doc/threadini.sh

   1 #!/bin/bash
   2
   3 echo "# Auto-generated for '$1'"
   4 echo ""
   5 echo "[general]"
   6 echo "   page_fault_handling = rw"
   7 echo "  threads             = yes"
   8 echo "#  redundancy          = none"
   9 echo "#  redundancy          = dual"
  10 echo "#  redundancy          = triple"
  11 echo ""
  12 echo "  logbuf               = 16"
  13 echo "  logreplica           = true"
  14 echo "  logrdtsc             = true"
  15 echo "# logtimeout           = 45"
  16 echo ""
  17 echo "#  print_vcpu_state    = y"
  18 echo "#  log                 = all"
  19
  20 echo ""
  21
  22 echo "[threads]"
  23
  24 function_list="__pthread_lock __pthread_unlock pthread_mutex_lock pthread_mutex_unlock"
  25
  26 for f in $function_list; do
  27         nm $1 | grep -E "\ $f" | sed -re "s/([0-9a-f]+) [TW] ($f(_rep)?)/  \2 = 0x\1/" | sed -re "s/[_]*pthread_//g"
  28 done
  29
  30
  31 kiptime=""
  32 for line in `objdump -lSCd $1 | grep ff0a0 | cut -d: -f 1`; do
  33         kiptime+="0x$line "
  34 done
  35 kiptime=`echo $kiptime | sed -re 's/\w$//' | sed -re 's/ 0x/,0x/g'`
  36 echo ""
  37 echo "[kip-time]"
  38 echo "target = $kiptime"