c - Same simple calculation, different results -

-

using gcc 4.8.2 (ubuntu 14.04) different results while calculating value same way. there's difference depending on architecture (32 bit / 64 bit) on systems tested.

#include <math.h> #include <stdio.h>  int main() {     float h = 0.11f;      float y = 0.11f;     float g = 1.37906f;     float x = 2.916949f;      float result1 = (h * y / fabs(g)) / x;      float result2 = h * y / fabs(g);     result2 /= x;      float result3 = (h * y / g) / x;      printf("%.20f \n", result1); //0.00300796888768672943      printf("%.20f \n", result2); //0.00300796912051737309      printf("%.20f \n", result3); //0.00300796912051737309 on x64                                  //0.00300796888768672943 on x32  }

what's reason , how can anticipate or avoid these differences ?

edit: casting fabs float doesn't change results, @ least on system (see comments oli charlesworth).

instead of forcing c compilers implement exacting standard floating-point computation java standards did, c99 standard allows variation respect ideal mode each operation done in order , rounded according ieee 754 format corresponding floating-point type.

you can ask gcc floating-point computation model following, , can use commandline options change behavior , make more predictable. there 2 cases:

  1. if going generate 387 code, compile recent gcc (4.8 should fine) , -std=c99. without (specifically, without -fexcess-precision=standard implies), exact result of floating-point computation unpredictable, , allowing compiler produce different results result1, result2 , result3). -std=c99, values of result1 , result3 must identical. value of result2 can different because intermediate assignment result2 forces value @ point of computation rounded float.
  2. stop generating 387 code, generate sse2 code instead (options -msse2 -mfpmath=sse). in mode, 3 computations in fabs has been replaced fabsf should produce same result. has drawback of generating code compatible processors produced in last 12 years or so(!)

more information: post1, post2, written point of view of intends write static analyzer c programs precisely predicts results of floating-point computations.


Comments

Post a Comment

Popular posts from this blog

C# random value from dictionary and tuple -

-
i have following code, , need random item contains string "region_1" dictionary. public static dictionary<int, tuple<string, int, currencytype>> itemarray = new dictionary<int, tuple<string, int, currencytype>>() { { 0xb3e, new tuple<string, int, currencytype>("region_1", 1500, currencytype.fame) } }; public static int generateitemid(string shopid) { var generateditem = itemarray.elementat(new random().next(0, itemarray.count)).key; } how select this? it's not possible efficiently... first create static random @ class level... prevent non-random behaviour if run query on short period of time... (it's seeded discrete clock) static random rnd = new random(); then: var item = itemarray.values .where(t => t.item1 == shopid) .orderby(_ => rnd.next()) .firstordefault()
Read more

cgi - How do I interpret URLs without extension as files rather than missing directories in nginx? -

-
so i'm trying install zoneminder , have run under nginx, has few compiled files need run using fast-cgi. these files lack extension. if file has extension, there no issue , nginx interprets file , return 404 if can't find it. if has no extension, assume it's directory , return 404 when can't find sort of index page. here have now: # security camera domain. server { listen 888; server_name mydomain.com; root /srv/http/zm; # enable php support. include php.conf; location / { index index.html index.htm index.php; } # enable cgi support. location ~ ^/cgi-bin/(.+)$ { alias /srv/cgi-bin/zm/; fastcgi_pass unix:/run/fcgiwrap.sock; fastcgi_param script_filename $document_root/$1; include fastcgi.conf; } } the idea is, under cgi-bin directory goes through fastcgi pipe. any idea on howi can fix this? upon closer inspection, realized zoneminder has 2 cgi sc...
Read more

.htaccess - htaccess convert request to clean url and add slash at the end of the url -

-
ok , searched more 4 days , more 20 posts here in stach or in websites without kind of success first here htaccess file rewriteengine on rewriterule ^([a-za-z0-9_]+)/?$ index.php?page=$1 [nc] rewriterule ^([a-za-z0-9_]+)\/([a-za-z0-9_]+)\/?$ index.php?page=$1&action=$2 [nc] i tried many codes 1 worked me can call request , works me www.example.com/pagename => www.example.com/index.php?page=pagename here questions , please provide me information "in detail" understand code well 1- how convert request automatically www.example.com/index.php?page=pagename www.example.com/pagename 2- if tried add slash @ end shows me page without images or styling mean www.example.com/pagename => works www.example.com/pagename/ => doesn't work that's :) for first part need 301 rule this: rewritecond %{the_request} /index\.php\?page=([^\s&]+) [nc] rewriterule ^ /%1? [r=301,l] for second part use absolute path in css, js, images files r...
Read more