l4/pkg/plr/doc/threadini.sh

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