Ticket #124 (closed defect: fixed)

Opened 12 months ago

Last modified 8 months ago

health compiled with -m32 results in unsuccessful verification for medium.input

Reported by: Nathan Weeks <weeks@…> Owned by: xteruel
Priority: minor Milestone: version 1.2
Component: health Version: version 1.1.1
Keywords: Cc:
Application Version: all Blocked By:
Blocking: Sensitive: no
Needs experiment: no
Experimental observations: 
$ bin/health.gcc.serial -c -f inputs/health/medium.input
Number of levels    = 4
Cities per level    = 36
Population ratio    = 10
Simulation time     = 365
Assess time         = 2
Convalescence time  = 12
Initial seed        = 23
Get sick prob.      = 0.002000
Convalescence prob. = 0.100000
Realloc prob.       = 0.150000
Sim. Variables      = expect / result
Total population    = 988000 / 988000 people
Hospitals           =  47989 /  47989 people
Personnel           =  98800 /  98800 people
Check-in's          = 704632 / 716065 people
In Villages         = 969699 / 971884 people
In Waiting List     =  11955 /  10231 people
In Assess           =   3924 /   3849 people
Inside Hospital     =   2422 /   2036 people
Average Stay        = 5.763031 / 5.165592 u/time
Program             = Health
Parameters          = inputs/health/medium.input
Model               = Serial
Embedded cut-off    = none
# of Threads        = 1
Verification        = UNSUCCESSFUL
Time Program        = 11.907703 seconds
Execution Date      = 2011/02/27;13:52
Execution Message   =
Architecture        = Linux-x86_64;8
Load Avg [1:5:15]   = 2.79;3.29;4.01
Compilation Date    = 2011/02/27;07:52
Compilation Message =
Compiler            = gcc
Compiler Flags      = -c -I../..//common -O3 -m32   -I.
Linker              = gcc
Linker Flags        = -O3 -m32  -lm
$ gcc --version
gcc (GCC) 4.1.2 20080704 (Red Hat 4.1.2-50)
Copyright (C) 2006 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Description

The health kernel fails verification with medium.input/large.input when compiled with -m32, which can be a problem on systems where it's the default.

Change History

Changed 8 months ago by xteruel

  • owner set to xteruel
  • status changed from new to accepted

next seed is computed according with a float type which can vary depending of the architecture. The NRG should be non architecture dependant.

Changed 8 months ago by Xavier Teruel <xavier.teruel@…>

  • status changed from accepted to closed
  • resolution set to fixed

(In [f7dc5a40bc24fc581bdab5743b6bcb0f88aca7df]) Changing NRG in health benchmark to be archeture independant; also changing current inputs to be consistant with current implementation; output verified with serial execution; close #124

Note: See TracTickets for help on using tickets.