Век живи, век учись - дураком помрешь.

[vitus_wagner]

Больше 10 лет программирую для *nix, и только сегодня совершенно случайно узнал, что оказывается, существует способ проверить, случится Segmentation Fault при обращении по определенному указателю, или нет.
Оказывается, если передать некорректный указатель (и соответствующий размер) в системный вызов write, он не пошлет программе SIGSEGV, а просто вернет EFAULT в errno. К сожалению, это не работает в случае, если этот файл связан с /dev/null. Но fileno(popen("cat >/dev/null")) прокатывает.

Comments

[bofhland.livejournal.com]

Однако ж.

Сейчас проверим. )

[angry-elf.livejournal.com]

чего только не придумают, только что б не юзать try-except :)

[vitus_wagner]

Ну в тех языках, в которых он есть, его можно юзать. Но как правило, там где есть нормальные исключения, нет такого явления как указатель. Исключение - perl. Но там при работе с указателями через pack/unpack ошибка сегментации нифига не ловится. Perl в segmentation fault с помощью
unpack "p","\0\0\0\1" только так кладется.

[angry-elf.livejournal.com]

Хых. Ну, я не наезжаю на "другие" языки. Понятно, что у каждого своя ниша и каждый крутится как может...

[vadiml.livejournal.com]

в perl'e обычно хватает посмотреть в какой функции был segfault, если вызывается С-код, достаточно посмотреть bt в gdb

[max630.livejournal.com]

какое отношение исклюения имеют к сигналу 11?

[angry-elf.livejournal.com]

Да не, никаких. Спокойней только, без холивора :)

Я вот в питоне ни одного сигнала не перехватываю. А программа неубиваемая. Чудеса? :)

[max630.livejournal.com]

это просто никак не связанные вещи, и для холивора тут нет темы.

[vadiml.livejournal.com]

Вы видать не писали на питоне обертки для C/C++ :)

[angry-elf.livejournal.com]

Эээ... Да, согласен... Низлежащие сегфолты крайне неприятны :)

Но вот чистый питон.. !

[blacklion.livejournal.com]

Такое, что синхронные сигналы очень удобно представлять исключениями. MS'овский SEH так и работает — но только с их компилятором, конечно. И эти исключения ортогональны C++-исключениям и работают и в C тоже.

[max630.livejournal.com]

кто такой "MS и их компилятор"? ;)

[blacklion.livejournal.com]

Microsoft и их VisualStudio C++ compiler

[e-kolo.livejournal.com]

Это было опытным путем получено, или есть источник?

[vitus_wagner]

Это было вычинано в comp.os.linux.development.apps. В man - подтверждается.

[nskboy.livejournal.com]

А не может ли это быть багом, который приняли за фичу?

[lodin]

Из man 2 write:

   EFAULT       buf is outside your accessible address space.

Таки фича.

[kouzdra.livejournal.com]

Самое забавное, что я это знал - но вот такого применения в голову мне не приходило.

[arilou]

А, кстати, да. Читал же про все эти коды ошибок, и про этот читал.
А токого применения не придумал.

[max630.livejournal.com]

+1

[catap.livejournal.com]

Спасибо

[cmike.livejournal.com]

Век живи, век учись - дураком помрешь.
+1

Рву на себе волосы и ухожу читать документацию.

Паллиатива :(

[cmike.livejournal.com]

Для вызова функции по указателю, очевидно, неработает.

[besm6.livejournal.com]

"most useless use of cat"

[vitus_wagner]

Ну не без того. К сожалению, в comp.unix.shell, где этот авард присуждается, данное применение - явный оффтопик.

[alec_v.livejournal.com]

Дак вызов write уходит из glibc (usermode) почти прямо в ядро (syscall(__NR_write)->kernel mode) как есть. Полагаю, что /dev/null проверяется зачем-то в glibc.

Надо смотреть исходники.

[michael.ul.myopenid.com (from livejournal.com)]

Интересно. То есть ядро знает как выяснить, принадлежит ли область памяти процессу или нет. Почему же тогда до сих пор нет отдельного системного вызова специально для этой цели?

P.S. Я бы сделал проверку на файле, созданном mktemp(3), чтобы не порождать при каждой проверке ненужный процесс.

[stepancheg.livejournal.com]

А зачем может понадобиться узнать, случится ли Segmentation Fault при обращении по определенному указателю, или нет?

[vadiml.livejournal.com]

И я не знал такого, обычно ищу в отладчике, правда только для *nix пишу всего 3 года

спасибо.