Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.lang.java.programmer > #5905 > unrolled thread
| Started by | rop rop <rop049@gmail.com> |
|---|---|
| First post | 2011-07-06 08:35 -0700 |
| Last post | 2011-07-09 12:16 -0700 |
| Articles | 20 on this page of 277 — 46 participants |
Back to article view | Back to comp.lang.java.programmer
Arithmetic overflow checking rop rop <rop049@gmail.com> - 2011-07-06 08:35 -0700
Re: Arithmetic overflow checking markspace <-@.> - 2011-07-06 09:42 -0700
Re: Arithmetic overflow checking stefan@nyniva.se - 2011-07-06 11:30 -0700
Re: Arithmetic overflow checking markspace <-@.> - 2011-07-06 11:36 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-18 23:06 -0400
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-06 10:16 -0700
Re: Arithmetic overflow checking "John B. Matthews" <nospam@nospam.invalid> - 2011-07-07 02:26 -0400
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-18 23:07 -0400
Re: Arithmetic overflow checking Peter Duniho <NpOeStPeAdM@NnOwSlPiAnMk.com> - 2011-07-07 07:11 -0700
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-07 10:02 -0700
Re: Arithmetic overflow checking Peter Duniho <NpOeStPeAdM@NnOwSlPiAnMk.com> - 2011-07-07 17:51 -0700
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-07 20:04 -0700
Re: Arithmetic overflow checking Peter Duniho <NpOeStPeAdM@NnOwSlPiAnMk.com> - 2011-07-07 20:29 -0700
Re: Arithmetic overflow checking rop rop <rop049@gmail.com> - 2011-07-08 15:52 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-18 23:12 -0400
Re: Arithmetic overflow checking Tom Anderson <twic@urchin.earth.li> - 2011-07-09 10:31 +0100
Re: Arithmetic overflow checking rop rop <rop049@gmail.com> - 2011-07-09 02:58 -0700
Re: Arithmetic overflow checking Eric Sosman <esosman@ieee-dot-org.invalid> - 2011-07-09 08:53 -0400
Re: Arithmetic overflow checking markspace <-@.> - 2011-07-09 07:46 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-18 23:17 -0400
Re: Arithmetic overflow checking Peter Duniho <NpOeStPeAdM@NnOwSlPiAnMk.com> - 2011-07-18 23:22 -0700
Re: Arithmetic overflow checking tm <thomas.mertes@gmx.at> - 2011-07-10 01:47 -0700
Re: Arithmetic overflow checking China Blue Dolls <chine.bleu@yahoo.com> - 2011-07-10 02:47 -0700
Re: Arithmetic overflow checking pete <pfiland@mindspring.com> - 2011-07-10 06:04 -0400
Re: Arithmetic overflow checking China Blue Dolls <chine.bleu@yahoo.com> - 2011-07-10 03:29 -0700
Re: Arithmetic overflow checking Phil Carmody <thefatphil_demunged@yahoo.co.uk> - 2011-07-10 20:52 +0300
Re: Arithmetic overflow checking pete <pfiland@mindspring.com> - 2011-07-10 23:29 -0400
Re: Arithmetic overflow checking tm <thomas.mertes@gmx.at> - 2011-07-10 04:44 -0700
Re: Arithmetic overflow checking "BartC" <bc@freeuk.com> - 2011-07-12 11:33 +0100
Re: Arithmetic overflow checking tm <thomas.mertes@gmx.at> - 2011-07-12 04:17 -0700
Re: Arithmetic overflow checking "BartC" <bc@freeuk.com> - 2011-07-12 12:33 +0100
Re: Arithmetic overflow checking tm <thomas.mertes@gmx.at> - 2011-07-12 05:24 -0700
Re: Arithmetic overflow checking Eric Sosman <esosman@ieee-dot-org.invalid> - 2011-07-12 21:45 -0400
Re: Arithmetic overflow checking Malcolm McLean <malcolm.mclean5@btinternet.com> - 2011-07-12 05:25 -0700
Re: Arithmetic overflow checking tm <thomas.mertes@gmx.at> - 2011-07-12 10:21 -0700
Re: Arithmetic overflow checking tm <thomas.mertes@gmx.at> - 2011-07-12 23:54 -0700
Re: Arithmetic overflow checking "BartC" <bc@freeuk.com> - 2011-07-12 19:14 +0100
Re: Arithmetic overflow checking Malcolm McLean <malcolm.mclean5@btinternet.com> - 2011-07-13 00:20 -0700
Re: Arithmetic overflow checking markspace <-@.> - 2011-07-12 09:26 -0700
Re: Arithmetic overflow checking Joe Pfeiffer <pfeiffer@cs.nmsu.edu> - 2011-07-12 10:52 -0600
Re: Arithmetic overflow checking Keith Thompson <kst-u@mib.org> - 2011-07-12 10:48 -0700
Re: Arithmetic overflow checking Martin Gregorie <martin@address-in-sig.invalid> - 2011-07-12 16:54 +0000
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-12 11:35 -0700
Re: Arithmetic overflow checking tm <thomas.mertes@gmx.at> - 2011-07-12 10:13 -0700
Re: Arithmetic overflow checking Eric Sosman <esosman@ieee-dot-org.invalid> - 2011-07-12 21:53 -0400
Re: Arithmetic overflow checking "MikeP" <mp011011@some.org> - 2011-07-14 23:41 -0500
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-15 10:56 -0700
Re: Arithmetic overflow checking "MikeP" <mp011011@some.org> - 2011-07-15 21:27 -0500
Re: Arithmetic overflow checking bugbear <bugbear@trim_papermule.co.uk_trim> - 2011-07-20 09:22 +0100
Re: Arithmetic overflow checking tm <thomas.mertes@gmx.at> - 2011-07-20 10:51 -0700
Re: Arithmetic overflow checking gordonb.3urm7@burditt.org (Gordon Burditt) - 2011-07-20 15:39 -0500
Re: Arithmetic overflow checking "BartC" <bc@freeuk.com> - 2011-07-21 12:12 +0100
Re: Arithmetic overflow checking Eric Sosman <esosman@ieee-dot-org.invalid> - 2011-07-10 09:28 -0400
Re: Arithmetic overflow checking Malcolm McLean <malcolm.mclean5@btinternet.com> - 2011-07-10 06:52 -0700
Re: Arithmetic overflow checking Keith Thompson <kst-u@mib.org> - 2011-07-10 14:47 -0700
Re: Arithmetic overflow checking "MikeP" <mp011011@some.org> - 2011-07-14 23:07 -0500
Re: Arithmetic overflow checking Joshua Cranmer <Pidgeot18@verizon.invalid> - 2011-07-10 12:25 -0400
Re: Arithmetic overflow checking Robert Wessel <robertwessel2@yahoo.com> - 2011-07-10 10:47 -0500
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-11 07:58 -0700
Re: Arithmetic overflow checking Malcolm McLean <malcolm.mclean5@btinternet.com> - 2011-07-11 10:48 -0700
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-11 14:40 -0700
Re: Arithmetic overflow checking tm <thomas.mertes@gmx.at> - 2011-07-11 14:54 -0700
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-11 15:55 -0700
Re: Arithmetic overflow checking Eric Sosman <esosman@ieee-dot-org.invalid> - 2011-07-11 21:51 -0400
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-11 21:31 -0700
Re: Arithmetic overflow checking Malcolm McLean <malcolm.mclean5@btinternet.com> - 2011-07-11 23:16 -0700
Re: Arithmetic overflow checking James Kuyper <jameskuyper@verizon.net> - 2011-07-12 06:28 -0400
Re: Arithmetic overflow checking David Thompson <dave.thompson2@verizon.net> - 2011-07-24 22:13 -0400
Re: Arithmetic overflow checking Lew Pitcher <lpitcher@teksavvy.com> - 2011-07-25 10:24 -0400
Re: Arithmetic overflow checking "io_x" <a@b.c.invalid> - 2011-07-12 09:05 +0200
Re: Arithmetic overflow checking tm <thomas.mertes@gmx.at> - 2011-07-12 02:22 -0700
Re: Arithmetic overflow checking "io_x" <a@b.c.invalid> - 2011-07-12 11:34 +0200
Re: Arithmetic overflow checking Malcolm McLean <malcolm.mclean5@btinternet.com> - 2011-07-12 03:04 -0700
Re: Arithmetic overflow checking tm <thomas.mertes@gmx.at> - 2011-07-12 03:33 -0700
Re: Arithmetic overflow checking David Lamb <dalamb@cs.queensu.ca> - 2011-07-12 08:29 -0400
Re: Arithmetic overflow checking "io_x" <a@b.c.invalid> - 2011-07-12 13:18 +0200
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-12 11:39 -0700
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-12 12:38 -0700
Re: Arithmetic overflow checking markspace <-@.> - 2011-07-12 13:20 -0700
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-12 13:23 -0700
Re: Arithmetic overflow checking Martin Gregorie <martin@address-in-sig.invalid> - 2011-07-12 21:08 +0000
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-12 14:48 -0700
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-12 15:24 -0700
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-12 16:09 -0700
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-13 10:38 -0700
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-13 11:00 -0700
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-13 12:16 -0700
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-13 13:10 -0700
Re: Arithmetic overflow checking markspace <-@.> - 2011-07-13 13:21 -0700
Re: Arithmetic overflow checking Keith Thompson <kst-u@mib.org> - 2011-07-13 13:41 -0700
Re: Arithmetic overflow checking Robert Wessel <robertwessel2@yahoo.com> - 2011-07-14 21:10 -0500
Re: Arithmetic overflow checking "io_x" <a@b.c.invalid> - 2011-07-15 11:57 +0200
Re: Arithmetic overflow checking Malcolm McLean <malcolm.mclean5@btinternet.com> - 2011-07-15 04:36 -0700
Re: Arithmetic overflow checking Niklas Holsti <niklas.holsti@tidorum.invalid> - 2011-08-13 21:54 +0300
Re: Arithmetic overflow checking tm <thomas.mertes@gmx.at> - 2011-07-13 00:52 -0700
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-13 07:45 -0700
Re: Arithmetic overflow checking Wolfgang Draxinger <wdraxinger@darkstargames.de> - 2011-09-08 21:02 +0200
Re: Arithmetic overflow checking Wolfgang Draxinger <wdraxinger@darkstargames.de> - 2011-09-08 21:12 +0200
Re: Arithmetic overflow checking Willem <willem@toad.stack.nl> - 2011-09-08 19:15 +0000
Re: Arithmetic overflow checking Wolfgang Draxinger <wdraxinger@darkstargames.de> - 2011-09-08 22:24 +0200
Re: Arithmetic overflow checking Eric Sosman <esosman@ieee-dot-org.invalid> - 2011-07-08 00:30 -0400
Re: Arithmetic overflow checking Peter Duniho <NpOeStPeAdM@NnOwSlPiAnMk.com> - 2011-07-08 01:29 -0700
Re: Arithmetic overflow checking markspace <-@.> - 2011-07-08 07:38 -0700
Re: Arithmetic overflow checking Eric Sosman <esosman@ieee-dot-org.invalid> - 2011-07-08 20:40 -0400
Re: Arithmetic overflow checking markspace <-@.> - 2011-07-08 18:17 -0700
Re: Arithmetic overflow checking Peter Duniho <NpOeStPeAdM@NnOwSlPiAnMk.com> - 2011-07-08 19:49 -0700
Re: Arithmetic overflow checking markspace <-@.> - 2011-07-08 22:26 -0700
Re: Arithmetic overflow checking Peter Duniho <NpOeStPeAdM@NnOwSlPiAnMk.com> - 2011-07-08 17:42 -0700
Re: Arithmetic overflow checking Tom Anderson <twic@urchin.earth.li> - 2011-07-09 10:21 +0100
Re: Arithmetic overflow checking David Lamb <dalamb@cs.queensu.ca> - 2011-07-10 10:53 -0400
Re: Arithmetic overflow checking Martin Gregorie <martin@address-in-sig.invalid> - 2011-07-10 18:07 +0000
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-10 11:29 -0700
Re: Arithmetic overflow checking Martin Gregorie <martin@address-in-sig.invalid> - 2011-07-10 19:22 +0000
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-21 16:40 -0400
Re: Arithmetic overflow checking Martin Gregorie <martin@address-in-sig.invalid> - 2011-07-21 23:06 +0000
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-21 19:38 -0400
Re: Arithmetic overflow checking Henderson <h1@g1.f1> - 2011-07-22 00:27 -0400
Re: Arithmetic overflow checking Martin Gregorie <martin@address-in-sig.invalid> - 2011-07-22 13:00 +0000
Re: Arithmetic overflow checking markspace <-@.> - 2011-07-10 17:17 -0700
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-08 10:23 -0700
Re: Arithmetic overflow checking "John B. Matthews" <nospam@nospam.invalid> - 2011-07-08 19:30 -0400
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-11 08:04 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-21 16:43 -0400
Re: Arithmetic overflow checking "MikeP" <mp011011@some.org> - 2011-07-15 00:28 -0500
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-18 23:09 -0400
Re: Arithmetic overflow checking "MikeP" <mp011011@some.org> - 2011-07-15 00:14 -0500
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-15 07:00 -0700
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-15 08:09 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-20 22:07 -0400
Re: Arithmetic overflow checking "MikeP" <mp011011@some.org> - 2011-07-15 23:29 -0500
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-15 22:26 -0700
Re: Arithmetic overflow checking "MikeP" <mp011011@some.org> - 2011-07-16 00:32 -0500
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-16 11:00 -0700
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-16 11:15 -0700
Re: Arithmetic overflow checking "MikeP" <mp011011@some.org> - 2011-07-16 15:41 -0500
Re: Arithmetic overflow checking Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-07-16 23:18 +0000
Re: Arithmetic overflow checking "MikeP" <mp011011@some.org> - 2011-07-17 00:30 -0500
Re: Arithmetic overflow checking "John B. Matthews" <nospam@nospam.invalid> - 2011-07-16 08:39 -0400
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-16 10:33 -0700
Re: Arithmetic overflow checking "MikeP" <mp011011@some.org> - 2011-07-16 15:51 -0500
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-17 08:46 -0700
Re: Arithmetic overflow checking "MikeP" <mp011011@some.org> - 2011-07-18 07:03 -0500
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-18 06:21 -0700
Re: Arithmetic overflow checking "MikeP" <mp011011@some.org> - 2011-07-16 15:43 -0500
Re: Arithmetic overflow checking "John B. Matthews" <nospam@nospam.invalid> - 2011-07-17 09:50 -0400
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-17 08:15 -0700
Re: Arithmetic overflow checking "John B. Matthews" <nospam@nospam.invalid> - 2011-07-18 01:12 -0400
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-21 16:50 -0400
Re: Arithmetic overflow checking "MikeP" <mp011011@some.org> - 2011-07-18 06:56 -0500
Re: Arithmetic overflow checking David Lamb <dalamb@cs.queensu.ca> - 2011-07-18 19:26 -0400
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-18 15:03 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-20 22:16 -0400
Re: Arithmetic overflow checking Henderson <h1@g1.f1> - 2011-07-20 22:25 -0400
Re: Arithmetic overflow checking David Lamb <dalamb@cs.queensu.ca> - 2011-07-21 08:50 -0400
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-21 07:37 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-21 16:52 -0400
Re: Arithmetic overflow checking Martin Gregorie <martin@address-in-sig.invalid> - 2011-07-21 12:19 +0000
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-21 16:54 -0400
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-21 14:46 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-21 18:10 -0400
Re: Arithmetic overflow checking Martin Gregorie <martin@address-in-sig.invalid> - 2011-07-21 23:22 +0000
Re: Arithmetic overflow checking "John B. Matthews" <nospam@nospam.invalid> - 2011-07-21 21:47 -0400
Re: Arithmetic overflow checking David Lamb <dalamb@cs.queensu.ca> - 2011-07-23 10:15 -0400
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-16 10:46 -0700
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-16 11:13 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-20 22:09 -0400
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-20 21:01 -0700
Re: Arithmetic overflow checking Arved Sandstrom <asandstrom3minus1@eastlink.ca> - 2011-07-21 07:05 -0300
Re: Arithmetic overflow checking supercalifragilisticexpialadiamaticonormalizeringelimatisticantations <supercalifragilisticexpialadiamaticonormalizeringelimatisticantations@averylongandannoyingdomainname.com> - 2011-07-21 06:28 -0400
Re: Arithmetic overflow checking Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-07-21 12:32 +0000
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-21 16:58 -0400
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-21 15:58 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-21 19:14 -0400
Re: Arithmetic overflow checking Martin Gregorie <martin@address-in-sig.invalid> - 2011-07-22 13:07 +0000
Re: Arithmetic overflow checking Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-07-22 17:33 +0000
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-22 13:36 -0700
Re: Arithmetic overflow checking Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-07-22 23:16 +0000
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-22 16:50 -0700
Re: Arithmetic overflow checking Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-07-23 20:09 +0000
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-24 08:56 -0700
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-23 09:37 -0700
Re: Arithmetic overflow checking David Lamb <dalamb@cs.queensu.ca> - 2011-07-23 11:23 -0400
Re: Arithmetic overflow checking supercalifragilisticexpialadiamaticonormalizeringelimatisticantations <supercalifragilisticexpialadiamaticonormalizeringelimatisticantations@averylongandannoyingdomainname.com> - 2011-07-23 12:04 -0400
Re: Arithmetic overflow checking David Lamb <dalamb@cs.queensu.ca> - 2011-07-23 14:45 -0400
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-23 11:51 -0700
Re: Arithmetic overflow checking supercalifragilisticexpialadiamaticonormalizeringelimatisticantations <supercalifragilisticexpialadiamaticonormalizeringelimatisticantations@averylongandannoyingdomainname.com> - 2011-07-23 22:39 -0400
Re: Arithmetic overflow checking Joshua Cranmer <Pidgeot18@verizon.invalid> - 2011-07-25 10:20 -0700
Re: Arithmetic overflow checking supercalifragilisticexpialadiamaticonormalizeringelimatisticantations <supercalifragilisticexpialadiamaticonormalizeringelimatisticantations@averylongandannoyingdomainname.com> - 2011-07-25 13:29 -0400
Re: Arithmetic overflow checking David Lamb <dalamb@cs.queensu.ca> - 2011-07-25 13:35 -0400
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-23 09:39 -0700
Re: Arithmetic overflow checking Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-07-23 21:09 +0000
Re: Arithmetic overflow checking Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-07-23 21:24 +0000
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-21 16:57 -0400
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-20 22:12 -0400
Re: Arithmetic overflow checking Arved Sandstrom <asandstrom3minus1@eastlink.ca> - 2011-07-21 06:41 -0300
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-21 16:38 -0400
Re: Arithmetic overflow checking Wanja Gayk <brixomatic@yahoo.com> - 2011-07-06 22:28 +0200
Re: Arithmetic overflow checking Wanja Gayk <brixomatic@yahoo.com> - 2011-07-06 22:30 +0200
Re: Arithmetic overflow checking Tom Anderson <twic@urchin.earth.li> - 2011-07-06 22:32 +0100
Re: Arithmetic overflow checking rop rop <rop049@gmail.com> - 2011-07-07 00:30 -0700
Re: Arithmetic overflow checking Eric Sosman <esosman@ieee-dot-org.invalid> - 2011-07-07 07:54 -0400
Re: Arithmetic overflow checking rop rop <rop049@gmail.com> - 2011-07-07 05:36 -0700
Re: Arithmetic overflow checking Daniele Futtorovic <da.futt.news@laposte-dot-net.invalid> - 2011-07-07 19:11 +0200
Re: Arithmetic overflow checking Tom Anderson <twic@urchin.earth.li> - 2011-07-07 14:21 +0100
Re: Arithmetic overflow checking Stanimir Stamenkov <s7an10@netscape.net> - 2011-07-09 16:34 +0300
Re: Arithmetic overflow checking Roedy Green <see_website@mindprod.com.invalid> - 2011-07-06 22:41 -0700
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-07 14:34 -0700
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-07 14:53 -0700
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-07 17:12 -0700
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-07 17:29 -0700
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-08 10:27 -0700
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-08 13:15 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-19 20:54 -0400
Re: Arithmetic overflow checking markspace <-@.> - 2011-07-19 18:07 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-19 21:31 -0400
Re: Arithmetic overflow checking Arved Sandstrom <asandstrom3minus1@eastlink.ca> - 2011-07-20 07:36 -0300
Re: Arithmetic overflow checking RedGrittyBrick <RedGrittyBrick@spamweary.invalid> - 2011-07-20 11:58 +0100
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-20 09:51 -0700
Re: Arithmetic overflow checking RedGrittyBrick <RedGrittyBrick@spamweary.invalid> - 2011-07-21 12:11 +0100
Re: Arithmetic overflow checking Martin Gregorie <martin@address-in-sig.invalid> - 2011-07-21 12:43 +0000
Re: Arithmetic overflow checking Tom McGlynn <taqmcglynn@googlemail.com> - 2011-07-21 07:15 -0700
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-21 07:35 -0700
Re: Arithmetic overflow checking Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-07-21 15:38 +0000
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-21 09:03 -0700
Re: Arithmetic overflow checking Joshua Cranmer <Pidgeot18@verizon.invalid> - 2011-07-21 12:00 -0700
Re: Arithmetic overflow checking Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-07-22 17:16 +0000
Re: Arithmetic overflow checking David Lamb <dalamb@cs.queensu.ca> - 2011-07-23 11:28 -0400
Re: Arithmetic overflow checking Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-07-23 21:03 +0000
Re: Arithmetic overflow checking Henderson <h1@g1.f1> - 2011-07-23 22:55 -0400
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-24 09:16 -0700
Re: Arithmetic overflow checking markspace <-@.> - 2011-07-24 10:40 -0700
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-24 10:54 -0700
Re: Arithmetic overflow checking markspace <-@.> - 2011-07-24 11:09 -0700
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-24 12:53 -0700
Re: Arithmetic overflow checking markspace <-@.> - 2011-07-24 15:15 -0700
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-24 15:41 -0700
Re: Arithmetic overflow checking Henderson <h1@g1.f1> - 2011-07-25 03:21 -0400
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-25 00:56 -0700
Re: Arithmetic overflow checking Arved Sandstrom <asandstrom3minus1@eastlink.ca> - 2011-07-25 07:03 -0300
Re: Arithmetic overflow checking Thomas Richter <thor@math.tu-berlin.de> - 2011-07-26 09:43 +0200
Re: Arithmetic overflow checking Andreas Leitgeb <avl@gamma.logic.tuwien.ac.at> - 2011-07-25 11:06 +0000
Re: Arithmetic overflow checking Henderson <h1@g1.f1> - 2011-07-25 11:12 -0400
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-25 09:09 -0700
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-25 09:30 -0700
Re: Arithmetic overflow checking David Lamb <dalamb@cs.queensu.ca> - 2011-07-25 13:33 -0400
Re: Arithmetic overflow checking "John B. Matthews" <nospam@nospam.invalid> - 2011-07-26 03:04 -0400
Re: Arithmetic overflow checking Joshua Cranmer <Pidgeot18@verizon.invalid> - 2011-07-26 03:28 -0400
Re: Arithmetic overflow checking Henderson <h1@g1.f1> - 2011-07-26 04:53 -0400
Re: Arithmetic overflow checking Joshua Cranmer <Pidgeot18@verizon.invalid> - 2011-07-26 11:35 -0400
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-26 10:48 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-21 17:00 -0400
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-20 19:50 -0400
Re: Arithmetic overflow checking Arved Sandstrom <asandstrom3minus1@eastlink.ca> - 2011-07-20 23:21 -0300
Re: Arithmetic overflow checking Martin Gregorie <martin@address-in-sig.invalid> - 2011-07-21 12:52 +0000
Re: Arithmetic overflow checking Henderson <h1@g1.f1> - 2011-07-21 15:58 -0400
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-21 17:06 -0400
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-20 14:35 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-20 18:22 -0400
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-21 14:54 -0700
Re: Arithmetic overflow checking rop rop <rop049@gmail.com> - 2011-07-08 15:34 -0700
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-11 08:09 -0700
Re: Arithmetic overflow checking Joshua Cranmer <Pidgeot18@verizon.invalid> - 2011-07-11 10:30 -0700
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-11 14:43 -0700
Re: Arithmetic overflow checking Joshua Cranmer <Pidgeot18@verizon.invalid> - 2011-07-11 14:49 -0700
Re: Arithmetic overflow checking Daniele Futtorovic <da.futt.news@laposte-dot-net.invalid> - 2011-07-17 17:14 +0200
Re: Arithmetic overflow checking David Lamb <dalamb@cs.queensu.ca> - 2011-07-18 19:28 -0400
Re: Arithmetic overflow checking Patricia Shanahan <pats@acm.org> - 2011-07-18 16:36 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-19 21:33 -0400
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-19 20:56 -0400
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-20 14:36 -0700
Re: Arithmetic overflow checking Arne Vajhøj <arne@vajhoej.dk> - 2011-07-20 18:24 -0400
Re: Arithmetic overflow checking Gene Wirchenko <genew@ocis.net> - 2011-07-21 14:55 -0700
Re: Arithmetic overflow checking Roedy Green <see_website@mindprod.com.invalid> - 2011-07-06 22:43 -0700
Re: Arithmetic overflow checking Jukka Lahtinen <jtfjdehf@hotmail.com.invalid> - 2011-07-07 14:56 +0300
Re: Arithmetic overflow checking "Nasser M. Abbasi" <nma@12000.org> - 2011-07-08 21:27 -0700
Re: Arithmetic overflow checking "Nasser M. Abbasi" <nma@12000.org> - 2011-07-08 21:57 -0700
Re: Arithmetic overflow checking lewbloch <lewbloch@gmail.com> - 2011-07-09 12:16 -0700
Page 1 of 14 [1] 2 3 … 14 Next page →
| From | rop rop <rop049@gmail.com> |
|---|---|
| Date | 2011-07-06 08:35 -0700 |
| Subject | Arithmetic overflow checking |
| Message-ID | <015aeb15-57db-48ab-9cd4-77f8448b632f@w24g2000yqw.googlegroups.com> |
Hi, If I want to have arithmetic-overflow checking in all parts of an application, what is the most practical, simple, efficient way to achieve this? Id like to clutter the code as little a possible... Is there any way to instruct the JVM to include it?
[toc] | [next] | [standalone]
| From | markspace <-@.> |
|---|---|
| Date | 2011-07-06 09:42 -0700 |
| Message-ID | <iv23a7$dpj$1@dont-email.me> |
| In reply to | #5905 |
On 7/6/2011 8:35 AM, rop rop wrote: > Hi, > > If I want to have arithmetic-overflow checking in all parts of an > application, > what is the most practical, simple, efficient way to achieve this? > Id like to clutter the code as little a possible... > Is there any way to instruct the JVM to include it? Nope, can't be done. And yes I've griped about this myself, so you're in good (well, average at least) company.
[toc] | [prev] | [next] | [standalone]
| From | stefan@nyniva.se |
|---|---|
| Date | 2011-07-06 11:30 -0700 |
| Message-ID | <94bd9deb-c06a-4cf0-86dd-d7092622763d@t9g2000vbs.googlegroups.com> |
| In reply to | #5908 |
On Jul 6, 6:42 pm, markspace <-@.> wrote: > On 7/6/2011 8:35 AM, rop rop wrote: > > > Hi, > > > If I want to have arithmetic-overflow checking in all parts of an > > application, > > what is the most practical, simple, efficient way to achieve this? > > Id like to clutter the code as little a possible... > > Is there any way to instruct the JVM to include it? > > Nope, can't be done. And yes I've griped about this myself, so you're > in good (well, average at least) company. OK... What about patching the JVM to add this (sadly missing) "feature"? It is open-source, isnt it? Nobody has done this already? Doesnt seems like a terribly big project, once I can locate the right place to do it... Any license aspects to consider, if I do it myself?
[toc] | [prev] | [next] | [standalone]
| From | markspace <-@.> |
|---|---|
| Date | 2011-07-06 11:36 -0700 |
| Message-ID | <iv29uq$q6h$1@dont-email.me> |
| In reply to | #5918 |
On 7/6/2011 11:30 AM, stefan@nyniva.se wrote: > Doesnt seems like a terribly big project, once I can locate the right > place to do it... lol. Yeah right. http://openjdk.java.net/ Good luck kid.
[toc] | [prev] | [next] | [standalone]
| From | Arne Vajhøj <arne@vajhoej.dk> |
|---|---|
| Date | 2011-07-18 23:06 -0400 |
| Message-ID | <4e24f4b5$0$312$14726298@news.sunsite.dk> |
| In reply to | #5918 |
On 7/6/2011 2:30 PM, stefan@nyniva.se wrote: > On Jul 6, 6:42 pm, markspace<-@.> wrote: >> On 7/6/2011 8:35 AM, rop rop wrote: >>> If I want to have arithmetic-overflow checking in all parts of an >>> application, >>> what is the most practical, simple, efficient way to achieve this? >>> Id like to clutter the code as little a possible... >>> Is there any way to instruct the JVM to include it? >> >> Nope, can't be done. And yes I've griped about this myself, so you're >> in good (well, average at least) company. > > OK... > What about patching the JVM to add this (sadly missing) "feature"? > It is open-source, isnt it? There are a few open source JVM's around. > Nobody has done this already? I don't think so. And remember that it will not be Java or JVM any longer. > Doesnt seems like a terribly big project, once I can locate the right > place to do it... Probably depends a bit on how you want it to work. > Any license aspects to consider, if I do it myself? You need to follow the license for the open source code. If I remember correct then OpenJDK and GCJ is GPL and Harmony is Apache (for the JVM part). And you can not call it Java or Oracle's lawyers will demand 10 trillion dollars (or something like that) for trademark infringement. Arne
[toc] | [prev] | [next] | [standalone]
| From | Patricia Shanahan <pats@acm.org> |
|---|---|
| Date | 2011-07-06 10:16 -0700 |
| Message-ID | <2rydnez7l-H5BYnTnZ2dnUVZ_vGdnZ2d@earthlink.com> |
| In reply to | #5905 |
On 7/6/2011 8:35 AM, rop rop wrote: > Hi, > > If I want to have arithmetic-overflow checking in all parts of an > application, > what is the most practical, simple, efficient way to achieve this? Write the application in Ada. Patricia
[toc] | [prev] | [next] | [standalone]
| From | "John B. Matthews" <nospam@nospam.invalid> |
|---|---|
| Date | 2011-07-07 02:26 -0400 |
| Message-ID | <nospam-4ADC54.02265107072011@news.aioe.org> |
| In reply to | #5915 |
In article <2rydnez7l-H5BYnTnZ2dnUVZ_vGdnZ2d@earthlink.com>, Patricia Shanahan <pats@acm.org> wrote: > On 7/6/2011 8:35 AM, rop rop wrote: > > > > If I want to have arithmetic-overflow checking in all parts of an > > application, what is the most practical, simple, efficient way to > > achieve this? > > Write the application in Ada. In one popular implementation, the -gnato compiler option enables numeric overflow checking: <http://gcc.gnu.org/onlinedocs/gcc-4.6.1/gnat_ugn_unw/Switches-for-gcc.html#Switches-for-gcc> The language defined attribute 'Machine_Overflows will indicate if checking is available for fixed or floating point types: <http://www.adaic.org/resources/add_content/standards/05rm/html/RM-K.html> JGNAT targets the JVM, but I haven't used it. -- John B. Matthews trashgod at gmail dot com <http://sites.google.com/site/drjohnbmatthews>
[toc] | [prev] | [next] | [standalone]
| From | Arne Vajhøj <arne@vajhoej.dk> |
|---|---|
| Date | 2011-07-18 23:07 -0400 |
| Message-ID | <4e24f504$0$312$14726298@news.sunsite.dk> |
| In reply to | #5957 |
On 7/7/2011 2:26 AM, John B. Matthews wrote: > In article<2rydnez7l-H5BYnTnZ2dnUVZ_vGdnZ2d@earthlink.com>, > Patricia Shanahan<pats@acm.org> wrote: >> On 7/6/2011 8:35 AM, rop rop wrote: >>> >>> If I want to have arithmetic-overflow checking in all parts of an >>> application, what is the most practical, simple, efficient way to >>> achieve this? >> >> Write the application in Ada. > > In one popular implementation, the -gnato compiler option enables > numeric overflow checking: > > <http://gcc.gnu.org/onlinedocs/gcc-4.6.1/gnat_ugn_unw/Switches-for-gcc.html#Switches-for-gcc> > > The language defined attribute 'Machine_Overflows will indicate if > checking is available for fixed or floating point types: > > <http://www.adaic.org/resources/add_content/standards/05rm/html/RM-K.html> > > JGNAT targets the JVM, but I haven't used it. It works pretty well. Arne
[toc] | [prev] | [next] | [standalone]
| From | Peter Duniho <NpOeStPeAdM@NnOwSlPiAnMk.com> |
|---|---|
| Date | 2011-07-07 07:11 -0700 |
| Message-ID | <CpmdnZ2c6KsSI4jTnZ2dnUVZ_jydnZ2d@posted.palinacquisition> |
| In reply to | #5915 |
On 7/6/11 10:16 AM, Patricia Shanahan wrote: > On 7/6/2011 8:35 AM, rop rop wrote: >> Hi, >> >> If I want to have arithmetic-overflow checking in all parts of an >> application, >> what is the most practical, simple, efficient way to achieve this? > > Write the application in Ada. Or use C#, which has the same feature, but is a lot more like Java otherwise. That said, I suspect Tom's guess is correct and a language-change just to achieve this goal isn't going to be the practical choice. Pete
[toc] | [prev] | [next] | [standalone]
| From | Patricia Shanahan <pats@acm.org> |
|---|---|
| Date | 2011-07-07 10:02 -0700 |
| Message-ID | <wZCdnWNqDO0pe4jTnZ2dnUVZ_v2dnZ2d@earthlink.com> |
| In reply to | #5965 |
On 7/7/2011 7:11 AM, Peter Duniho wrote: > On 7/6/11 10:16 AM, Patricia Shanahan wrote: >> On 7/6/2011 8:35 AM, rop rop wrote: >>> Hi, >>> >>> If I want to have arithmetic-overflow checking in all parts of an >>> application, >>> what is the most practical, simple, efficient way to achieve this? >> >> Write the application in Ada. > > Or use C#, which has the same feature, but is a lot more like Java > otherwise. > > That said, I suspect Tom's guess is correct and a language-change just > to achieve this goal isn't going to be the practical choice. Like most design decisions, it is a trade-off. If Tom *needs* overflow checking, the most practical, simple, efficient way to achieve it is to use a language that is designed to support overflow checking. If he merely *wants* overflow checking, the best choice may be to stick to Java and drop general overflow checking. That does not prevent having e.g. a BigInteger subclass that takes a range as a constructor parameter and does overflow checking against that range. I have not yet seen an option for getting general overflow checking in Java, without getting false hits on code that depends on the JLS specified arithmetic behavior, that is at all practical, simple, or efficient. Patricia
[toc] | [prev] | [next] | [standalone]
| From | Peter Duniho <NpOeStPeAdM@NnOwSlPiAnMk.com> |
|---|---|
| Date | 2011-07-07 17:51 -0700 |
| Message-ID | <9LWdnZH2hdfmyYvTnZ2dnUVZ_vidnZ2d@posted.palinacquisition> |
| In reply to | #5967 |
On 7/7/11 10:02 AM, Patricia Shanahan wrote: > On 7/7/2011 7:11 AM, Peter Duniho wrote: >> On 7/6/11 10:16 AM, Patricia Shanahan wrote: >>> On 7/6/2011 8:35 AM, rop rop wrote: >>>> Hi, >>>> >>>> If I want to have arithmetic-overflow checking in all parts of an >>>> application, >>>> what is the most practical, simple, efficient way to achieve this? >>> >>> Write the application in Ada. >> >> Or use C#, which has the same feature, but is a lot more like Java >> otherwise. >> >> That said, I suspect Tom's guess is correct and a language-change just >> to achieve this goal isn't going to be the practical choice. > > Like most design decisions, it is a trade-off. If Tom *needs* overflow > checking, the most practical, simple, efficient way to achieve it is to > use a language that is designed to support overflow checking. To be clear, I don't think _Tom_ needs or doesn't need this. He was simply replying to the OP. > If he merely *wants* overflow checking, the best choice may be to stick > to Java and drop general overflow checking. That does not prevent having > e.g. a BigInteger subclass that takes a range as a constructor parameter > and does overflow checking against that range. I don't disagree with that. In fact, I'm skeptical that in any program it really makes sense to apply overflow checking to _every_ computation, even not counting the issues that have already been pointed out wrt the JDK itself and other libraries which rely on the lack of it. For example, does every integral "for" loop _really_ need the index increment operation to be checked for overflow? Seems unlikely to me. While the discussion has been interesting, I can't help but feel that the original question is fundamentally flawed. The answers are mostly academic, as it's unlikely anyone really ought to be trying to approach the problem in this way in the first place. > I have not yet seen an option for getting general overflow checking in > Java, without getting false hits on code that depends on the JLS > specified arithmetic behavior, that is at all practical, simple, or > efficient. Well, I think Tom's suggestion of some sort of automatic code-rewriter _could_ be the best solution in _certain_ scenarios. Such an implementation could be applied selectively to specific code. I would not worry about the "simple" or "efficient" criteria. IMHO, if one is deciding to apply overflow checking to every computation, one has already abandoned the hope of efficiency. And "simple" is relative; if the requirement for checking is absolute, no solution is going to pass the "simple" bar for all programs, especially non-trivial ones. In a very large code base, where one literally wants to apply checking to all of that base, either a rewrite in another language or trying to track down every possible place where one can replace a built-in type with a custom overflow-checking type could very well be more costly and complex a solution as simply writing a generalized tool that inserts overflow checking everywhere as needed. I'm not really that big a fan of code-rewriting, mind you. Debugging can be hard enough without having to deal with live code that's completely different from the original source code, and of course bugs in the rewriter itself can manifest as strange, hard-to-debug problems in the rewritten program. But when one is talking about relative cost of implementation, there may well be scenarios where code-rewriting has the lowest cost compared to other choices. In terms of practicality, that would make it a win. Frankly, as long as the discussion is purely hypothetical (as it is now), I don't see how anyone can claim with 100% certainty the broad superiority or inferiority of any given solution. It's too dependent on the specifics of whatever real-world scenario is at hand. Pete
[toc] | [prev] | [next] | [standalone]
| From | Patricia Shanahan <pats@acm.org> |
|---|---|
| Date | 2011-07-07 20:04 -0700 |
| Message-ID | <pPqdnbD2qr5G7ovTnZ2dnUVZ_qednZ2d@earthlink.com> |
| In reply to | #5976 |
On 7/7/2011 5:51 PM, Peter Duniho wrote: ... > I would not worry about the "simple" or "efficient" criteria. IMHO, if > one is deciding to apply overflow checking to every computation, one has > already abandoned the hope of efficiency. Not necessarily. I assumed a couple of decades ago that array index checking would be impossibly inefficient, but it seems to work fine in Java. I suspect that having integer range types would be a major help. When I'm working out whether an int can overflow, I often think in terms of the ranges of inputs to calculations. A compiler would be able to tell that adding a digit to a digit always fits in the range [0,18]. > And "simple" is relative; if the requirement for checking is absolute, > no solution is going to pass the "simple" bar for all programs, > especially non-trivial ones. In a very large code base, where one > literally wants to apply checking to all of that base, either a rewrite > in another language or trying to track down every possible place where > one can replace a built-in type with a custom overflow-checking type > could very well be more costly and complex a solution as simply writing > a generalized tool that inserts overflow checking everywhere as needed. The problem is "as needed". How does an automated tool tell the difference between code that depends on the standard arithmetic and code for which overflow detection is appropriate? Patricia
[toc] | [prev] | [next] | [standalone]
| From | Peter Duniho <NpOeStPeAdM@NnOwSlPiAnMk.com> |
|---|---|
| Date | 2011-07-07 20:29 -0700 |
| Message-ID | <04OdnShf8tQb5IvTnZ2dnUVZ_uWdnZ2d@posted.palinacquisition> |
| In reply to | #5977 |
On 7/7/11 8:04 PM, Patricia Shanahan wrote: > On 7/7/2011 5:51 PM, Peter Duniho wrote: > .... >> I would not worry about the "simple" or "efficient" criteria. IMHO, if >> one is deciding to apply overflow checking to every computation, one has >> already abandoned the hope of efficiency. > > Not necessarily. I assumed a couple of decades ago that array index > checking would be impossibly inefficient, but it seems to work fine in > Java. The JIT compiler can in many cases remove bounds checking for arrays based on context. I suppose it could do the same sort of thing for overflow checking, which I think is what you're describing in the rest of the paragraph? (here: > I suspect that having integer range types would be a major help. > When I'm working out whether an int can overflow, I often think in terms > of the ranges of inputs to calculations. A compiler would be able to > tell that adding a digit to a digit always fits in the range [0,18]. ?) >> And "simple" is relative; if the requirement for checking is absolute, >> no solution is going to pass the "simple" bar for all programs, >> especially non-trivial ones. In a very large code base, where one >> literally wants to apply checking to all of that base, either a rewrite >> in another language or trying to track down every possible place where >> one can replace a built-in type with a custom overflow-checking type >> could very well be more costly and complex a solution as simply writing >> a generalized tool that inserts overflow checking everywhere as needed. > > The problem is "as needed". How does an automated tool tell the > difference between code that depends on the standard arithmetic and code > for which overflow detection is appropriate? It would rely on the user. It's only "automated" in the sense that it does the code rewriting automatically. It would still at a minimum have to be told which packages to apply the processing to. Pete
[toc] | [prev] | [next] | [standalone]
| From | rop rop <rop049@gmail.com> |
|---|---|
| Date | 2011-07-08 15:52 -0700 |
| Message-ID | <56b82daa-55cf-48df-9843-7eb24b73d7fb@p31g2000vbs.googlegroups.com> |
| In reply to | #5977 |
Generally, as for performance, for the majority of typical industry- apps today (web-app backed by a database) overflow-checking would have completely negligible impact on performance. In-memory-computations, today, typically has extremely little impact, compared to database-accesses and sending data over network. Only in number-crunching applications would it make any significant difference. (Incidentally, however, these are perhaps the ones where overflow-bugs are the most likely to occur?)
[toc] | [prev] | [next] | [standalone]
| From | Arne Vajhøj <arne@vajhoej.dk> |
|---|---|
| Date | 2011-07-18 23:12 -0400 |
| Message-ID | <4e24f624$0$312$14726298@news.sunsite.dk> |
| In reply to | #6000 |
On 7/8/2011 6:52 PM, rop rop wrote: > Generally, as for performance, for the majority of typical industry- > apps today (web-app backed by a database) overflow-checking would have > completely negligible impact on performance. > > In-memory-computations, today, typically has extremely little impact, > compared to database-accesses and sending data over network. Be careful. Do you want to check for overflow in your code only or in all Java code incl. Java library, JDBC drivers etc.? If the first, then I completely agree. If the second I would want to measure before agreeing. Arne
[toc] | [prev] | [next] | [standalone]
| From | Tom Anderson <twic@urchin.earth.li> |
|---|---|
| Date | 2011-07-09 10:31 +0100 |
| Message-ID | <alpine.DEB.2.00.1107091027140.32399@urchin.earth.li> |
| In reply to | #5977 |
On Thu, 7 Jul 2011, Patricia Shanahan wrote: > On 7/7/2011 5:51 PM, Peter Duniho wrote: > >> And "simple" is relative; if the requirement for checking is absolute, >> no solution is going to pass the "simple" bar for all programs, >> especially non-trivial ones. In a very large code base, where one >> literally wants to apply checking to all of that base, either a rewrite >> in another language or trying to track down every possible place where >> one can replace a built-in type with a custom overflow-checking type >> could very well be more costly and complex a solution as simply writing >> a generalized tool that inserts overflow checking everywhere as needed. > > The problem is "as needed". How does an automated tool tell the > difference between code that depends on the standard arithmetic and code > for which overflow detection is appropriate? I'd been thinking it could be something like the presence of an @CheckForOverflow annotation on the method or class. To be clear, this would definitely be a feature that the user would have to request, not something that happened by surprise. You do then have this question of whether code called from a @CheckForOverflow also gets checked for overflow (as with strictfp) or not. I think not, because existing code will not have been written with overflow checking in mind, so it can't be assumed that it will work with it on. This is a blow to reuse, but it's not the end of the world. tom -- ONE IN EIGHT GO MAD
[toc] | [prev] | [next] | [standalone]
| From | rop rop <rop049@gmail.com> |
|---|---|
| Date | 2011-07-09 02:58 -0700 |
| Message-ID | <a2937db9-36f9-420b-8f36-e651b52373ad@h8g2000yqj.googlegroups.com> |
| In reply to | #6013 |
On Jul 9, 11:31 am, Tom Anderson <t...@urchin.earth.li> wrote: > You do then have this question of whether code called from a > @CheckForOverflow also gets checked for overflow (as with strictfp) or > not. I think not, because existing code will not have been written with > overflow checking in mind, so it can't be assumed that it will work with > it on. This is a blow to reuse, but it's not the end of the world. I also think not, in the general case... But you could also have an annotation argument, like @CheckForOverflow(allTheWayDown=true) or @CheckForOverflow(allTheWayDown=false) :)
[toc] | [prev] | [next] | [standalone]
| From | Eric Sosman <esosman@ieee-dot-org.invalid> |
|---|---|
| Date | 2011-07-09 08:53 -0400 |
| Message-ID | <iv9j18$c3s$1@dont-email.me> |
| In reply to | #6015 |
On 7/9/2011 5:58 AM, rop rop wrote:
> On Jul 9, 11:31 am, Tom Anderson<t...@urchin.earth.li> wrote:
>> You do then have this question of whether code called from a
>> @CheckForOverflow also gets checked for overflow (as with strictfp) or
>> not. I think not, because existing code will not have been written with
>> overflow checking in mind, so it can't be assumed that it will work with
>> it on. This is a blow to reuse, but it's not the end of the world.
>
> I also think not, in the general case...
> But you could also have an annotation argument, like
>
> @CheckForOverflow(allTheWayDown=true)
> or
> @CheckForOverflow(allTheWayDown=false)
I don't think the "true" variant would be workable, since it
pretty much forbids hashCode() calls. It probably also forbids
loading any classes, so you'd need to ensure that everything "all
the way down" was pre-loaded; that's going to be extremely hard
with plug-in architectures.
But if you're so interested in the topic, why don't you grab
the sources and go hack on them for a while? I expect the account
of your experiences would be a lot more interesting than idle
speculation is.
--
Eric Sosman
esosman@ieee-dot-org.invalid
[toc] | [prev] | [next] | [standalone]
| From | markspace <-@.> |
|---|---|
| Date | 2011-07-09 07:46 -0700 |
| Message-ID | <iv9pkr$lj6$1@dont-email.me> |
| In reply to | #6015 |
On 7/9/2011 2:58 AM, rop rop wrote: > I also think not, in the general case... > But you could also have an annotation argument, like > > @CheckForOverflow(allTheWayDown=true) > or > @CheckForOverflow(allTheWayDown=false) I did a quick check of the C# variant when it was mentioned here, and this is how they do it: int result = checked( a + b - c ); In other words is a key word. Since Java can't really do this easily, I'd be in favor of using an existing key word and extending it. For example, the key word "try" can't ever appear currently as a class name or package name in any program, so we could do this: int result = try.checked( a + b - c ); Which at least makes sense to me as one reads the code; i.e., it's literate programming. One could, I suppose, also extend the syntax where an annotation can be used, but this might have side effects also. For example, it might be hard to support these new user defined annotations in the general case.
[toc] | [prev] | [next] | [standalone]
| From | Arne Vajhøj <arne@vajhoej.dk> |
|---|---|
| Date | 2011-07-18 23:17 -0400 |
| Message-ID | <4e24f754$0$311$14726298@news.sunsite.dk> |
| In reply to | #6018 |
On 7/9/2011 10:46 AM, markspace wrote:
> On 7/9/2011 2:58 AM, rop rop wrote:
>> I also think not, in the general case...
>> But you could also have an annotation argument, like
>>
>> @CheckForOverflow(allTheWayDown=true)
>> or
>> @CheckForOverflow(allTheWayDown=false)
>
>
> I did a quick check of the C# variant when it was mentioned here, and
> this is how they do it:
>
> int result = checked( a + b - c );
>
> In other words is a key word. Since Java can't really do this easily,
> I'd be in favor of using an existing key word and extending it. For
> example, the key word "try" can't ever appear currently as a class name
> or package name in any program, so we could do this:
>
> int result = try.checked( a + b - c );
>
> Which at least makes sense to me as one reads the code; i.e., it's
> literate programming. One could, I suppose, also extend the syntax where
> an annotation can be used, but this might have side effects also. For
> example, it might be hard to support these new user defined annotations
> in the general case.
Just note that C# is a bit more rich than that:
default and compiled with /checked- => checked(expression) and
checked { } do overflow check for expression / block but do not
for the rest
compiled with /checked+ => unchecked(expression) and
unchecked { } do not overflow check for expression / block
but do for the rest
Arne
[toc] | [prev] | [next] | [standalone]
Page 1 of 14 [1] 2 3 … 14 Next page →
Back to top | Article view | comp.lang.java.programmer
csiph-web