From: Serge Skorokhodov <suralis-s@mtu-net.ru>
To: ALT Linux Community <community@lists.altlinux.org>
Subject: Re: [Comm] value overflow on C
Date: Thu, 23 Feb 2006 12:39:55 +0300
Message-ID: <1843681085.20060223123955@mtu-net.ru> (raw)
In-Reply-To: <43FC76E5.7090708@iop.kiev.ua>
>> По определению языка C возможность отслеживать переполнение
>> целочисленных типов
> А типов float & double? Я говорил не только про целочисленные,
> но и встроенные арифметические(int, double). Целочисленнные -
> это только для примера.
Не являюсь знатоком численных дел в С, но в плавающей точке вроде
при всяких неожиданностях/ошибках генерируются аппаратные
исключения, результаты могут принимать значение несигнальных NaN,
+-Inf etc. Еще раз, я тут не спец.
> gcc version 3.3.4 20040817 (ALT Linux, build 3.3.4-alt1)
Увы, я не знаю детальных возможностей и расширений этого
компилятора:(
Если речь идет о C++, то в boost есть библиотека безопасного
преобразования числовых типов, которая вроде позволяет
генерировать единообразные исключения при выходе за диапазоны и
т.д. Деталей не помню, но помню, что скорость работы программы
такие проверки не улучшают:(
Кроме того, можно попробовать библиотеки для вычислений с
произвольной точностью типа MAPM. Это может сильно все упростить,
причем настолько, что потеря эффективности на "длинную"
арифметику будут в значительной степени скомпенсированы
упрощением алгоритмов и отсутствием проверок.
Думать надо и искать... ;)
-- 
Best regards,
 Serge Skorokhodov                            mailto:suralis-s@mtu-net.ru
next prev parent reply	other threads:[~2006-02-23  9:39 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-02-22 11:25 Andrey Rybak
2006-02-22 11:51 ` Damir Shayhutdinov
2006-02-22 12:51   ` Andrey Rybak
2006-02-22 12:56     ` Damir Shayhutdinov
2006-02-22 13:41       ` Andrey Rybak
2006-02-22 14:23         ` Serge Skorokhodov
2006-02-22 14:36           ` Andrey Rybak
2006-02-22 15:13             ` Yura Kalinichenko
2006-02-23  9:39             ` Serge Skorokhodov [this message]
2006-02-23  9:51               ` Kaydannik Axel
2006-02-22 19:54         ` Kosserior
2006-02-22 17:28 ` spider
2006-02-22 18:19   ` Хихин Руслан
2006-02-25 12:07   ` Andrey Rybak
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox
  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):
  git send-email \
    --in-reply-to=1843681085.20060223123955@mtu-net.ru \
    --to=suralis-s@mtu-net.ru \
    --cc=community@lists.altlinux.org \
    /path/to/YOUR_REPLY
  https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
ALT Linux Community general discussions
This inbox may be cloned and mirrored by anyone:
	git clone --mirror http://lore.altlinux.org/community/0 community/git/0.git
	# If you have public-inbox 1.1+ installed, you may
	# initialize and index your mirror using the following commands:
	public-inbox-init -V2 community community/ http://lore.altlinux.org/community \
		mandrake-russian@linuxteam.iplabs.ru community@lists.altlinux.org community@lists.altlinux.ru community@lists.altlinux.com
	public-inbox-index community
Example config snippet for mirrors.
Newsgroup available over NNTP:
	nntp://lore.altlinux.org/org.altlinux.lists.community
AGPL code for this site: git clone https://public-inbox.org/public-inbox.git