ALT Linux Community general discussions
 help / color / mirror / Atom feed
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



  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