ia64/xen-unstable

changeset 8128:ccf76e51e7e6

Disable some over-zealous sanity checking for now (can cause major problems
with live migration to localhost). A proper fix will follow.

Signed-off-by: Steven Hand <steven@xensource.com>
author smh22@firebug.cl.cam.ac.uk
date Tue Nov 29 17:59:03 2005 +0100 (2005-11-29)
parents 4268d0ecdde7
children d963256dc3e0
files tools/examples/block
line diff
     1.1 --- a/tools/examples/block	Tue Nov 29 16:03:06 2005 +0100
     1.2 +++ b/tools/examples/block	Tue Nov 29 17:59:03 2005 +0100
     1.3 @@ -89,29 +89,34 @@ check_sharing()
     1.4      fi
     1.5    done
     1.6  
     1.7 -  for file in /sys/devices/xen-backend/*/physical_device
     1.8 -  do
     1.9 -    if [ -e "$file" ] # Cope with no devices, i.e. the * above did not expand.
    1.10 -    then
    1.11 -      local d=$(cat "$file")
    1.12 -      if [ "$d" == "$devmm" ]
    1.13 -      then
    1.14 -        if [ "$mode" == 'w' ]
    1.15 -        then
    1.16 -          echo 'guest'
    1.17 -          return
    1.18 -        else
    1.19 -          local m=$(cat "${file/physical_device/mode}")
    1.20 +##
    1.21 +## XXX SMH: the below causes live migration on localhost to fail sometimes
    1.22 +## since the source domain may still appear to be using a local device. 
    1.23 +## For now simply comment it out - a proper fix will come in due course. 
    1.24  
    1.25 -          if expr index "$m" 'w' >/dev/null
    1.26 -          then
    1.27 -            echo 'guest'
    1.28 -            return
    1.29 -          fi
    1.30 -        fi
    1.31 -      fi
    1.32 -    fi
    1.33 -  done
    1.34 +#   for file in /sys/devices/xen-backend/*/physical_device
    1.35 +#   do
    1.36 +#     if [ -e "$file" ] # Cope with no devices, i.e. the * above did not expand.
    1.37 +#     then
    1.38 +#       local d=$(cat "$file")
    1.39 +#       if [ "$d" == "$devmm" ]
    1.40 +#       then
    1.41 +#         if [ "$mode" == 'w' ]
    1.42 +#         then
    1.43 +#           echo 'guest'
    1.44 +#           return
    1.45 +#         else
    1.46 +#           local m=$(cat "${file/physical_device/mode}")
    1.47 +
    1.48 +#           if expr index "$m" 'w' >/dev/null
    1.49 +#           then
    1.50 +#             echo 'guest'
    1.51 +#             return
    1.52 +#           fi
    1.53 +#         fi
    1.54 +#       fi
    1.55 +#     fi
    1.56 +#   done
    1.57  
    1.58    echo 'ok'
    1.59  }