Re:Counterexamples in Type Systems: programs that crash, seg...
by nerdponx on Tuesday June 06, 2023 @12:25PM
(#36215206)
I've never encountered a segfault in Python that wasn't caused by interacting with C code. Is that claim even true about Java? unless it's a bug in the JVM itself, I'd be really really surprised to see an actual memory-related error arise from user-written code in any popular GCed language.
[ Parent
| on HN ]
Re:Counterexamples in Type Systems: programs that crash, seg...
by norir on Tuesday June 06, 2023 @01:29PM
(#36216224)
Can confirm I've only gotten the jvm to segfault when writing jni code -- never when writing vanilla java. To be generous to the OP though, perhaps the person who made the original comment was trying to write system code in java with lots of jni to access syscalls, or perhaps earlier versions of the jvm were less stable. The first jvm I ever used was 6, so I can't personally speak to earlier version.
Re:Counterexamples in Type Systems: programs that crash, seg...
by lmm on Tuesday June 06, 2023 @06:21PM
(#36219876)
I've found two segfaults in a 10+ year Java (well, actually mostly Scala) career (both known JVM bugs). It's rare, but possible.
Re:Counterexamples in Type Systems: programs that crash, seg...
by syngrog66 on Tuesday June 06, 2023 @09:53PM
(#36221819)
I luv C and have shipped tons of it in the past successfully enough but... to be frank C was, in effect, literally designed to cause/allow/enable segfaults. as a by-product of the "wild west" power of its & and * operators.