473,222 Members | 1,740 Online
Bytes | Software Development & Data Engineering Community
Post Job

Home Posts Topics Members FAQ

Join Bytes to post your question to a community of 473,222 software developers and data experts.

help: why setjmp/longjmp take STRUCT jmp_buf as parameter, not a pointer?

I have *thought* that setjmp/longjmp() should take a pointer to
jmp_buf. And the calling function should hold the actual struct data.
But ... I trid on both Win32 and Linux, it seems that
setjmp/longjmp() are taking stuct:

c:\> dmc sj.c (Digital Mars Compiler Version 8.38n)
link sj,,,user32+kernel32/noi;
c:\> sj.exe
sizeof(jmp_buf) = 64
----------------------------------------------------------------- sj.c
-----
#include <setjmp.h>
#include <stdio.h>

int main()
{
printf("sizeof(jmp_buf) = %d\n", sizeof(jmp_buf));
return 0;
}
----------------------------------------------------------------- sj.c
-----

And on Linux:

[d] ./sj
sizeof(jmp_buf) = 156

I'm totally confused. The jmp_buf is used to store the program state
info in setjmp(), and the info will be used again when longjmp is
called.

However in C, struct is pass-by-copy; so the calling function's
jmp_buf will not be modified, because setjmp() can only modify it's
own copy of jmp_buf. Then where is the info stored, and how longjmp()
can use the saved info to jump back?

What's the magic behind, or I miss something?

Can you try my example? and can you give an explanation?

Thanks.
Nov 14 '05 #1
6 4801
someone wrote:

What's the magic behind, or I miss something?

It is simple as that. It is implementation-dependent. And I dont
think the C standard defines this.
For example, for me on Win32 i got it to be 64 ( I used MS VC++ IDE
,cl compiler )
On Solaris, I got 48 ( gcc ).

If you can add more info. about this, it would be helpful.

--
Karthik
Humans please 'removeme_' for my real email.
Nov 14 '05 #2

"someone" <so******@yahoo.com> a écrit dans le message de
news:eb**************************@posting.google.c om...

Hi,
I have *thought* that setjmp/longjmp() should take a pointer to
jmp_buf. And the calling function should hold the actual struct data.
But ... I trid on both Win32 and Linux, it seems that
setjmp/longjmp() are taking stuct:
setjmp/longjmp() are taking an argument of type jmp_buf, not a structure or
pointer to structure.

[snipped]

I'm totally confused. The jmp_buf is used to store the program state
info in setjmp(), and the info will be used again when longjmp is
called.

However in C, struct is pass-by-copy; so the calling function's
jmp_buf will not be modified, because setjmp() can only modify it's
own copy of jmp_buf. Then where is the info stored, and how longjmp()
can use the saved info to jump back?

What's the magic behind, or I miss something?


There is no magic behind, jmp_buf is in fact an array type.

Regis
Nov 14 '05 #3
"someone" <so******@yahoo.com> wrote in message
news:eb**************************@posting.google.c om...
I have *thought* that setjmp/longjmp() should take a pointer to
jmp_buf. And the calling function should hold the actual struct data.
But ... I trid on both Win32 and Linux, it seems that
setjmp/longjmp() are taking stuct:

c:\> dmc sj.c (Digital Mars Compiler Version 8.38n)
link sj,,,user32+kernel32/noi;
c:\> sj.exe
sizeof(jmp_buf) = 64
....
I'm totally confused. The jmp_buf is used to store the program state
info in setjmp(), and the info will be used again when longjmp is
called.

However in C, struct is pass-by-copy; so the calling function's
jmp_buf will not be modified, because setjmp() can only modify it's
own copy of jmp_buf. Then where is the info stored, and how longjmp()
can use the saved info to jump back?

What's the magic behind, or I miss something?


jmp_buf is an array, not a struct.

--
Peter
Nov 14 '05 #4
In article <news:40******@news.rivernet.com.au>
Peter Nilsson <ai***@acay.com.au> writes:
jmp_buf is an array, not a struct.


Indeed. It may, of course, be a type-alias for an array of one
element, whose element-type is a structure type. This is the case
for every setjmp() implementation I have written (which is not
very many; mostly I have to work within someone else's initial
implementation).

In other words:

typedef struct __jmp_buf jmp_buf[1];
struct __jmp_buf { ... contents ... };

is a valid implementation, but changing the first line to:

typedef struct __jmp_buf jmp_buf;

is not, even if the implementation happens to pass structures by
reference internally. Why? Becuase the C Standards say so:

7.10 Nonlocal jumps <setjmp.h>

[#1] The header <setjmp.h> defines the macro setjmp, and
declares one function and one type, for bypassing the normal
function call and return discipline.191

[#2] The type declared is

jmp_buf

which is an array type suitable for holding the information
needed to restore a calling environment. ...

The C standard says "this is an array type" so it had better be an
array type. An implementation can cheat if and only if the effect
of cheating is invisible, and array types have visible characteristics.
For instance, "sizeof instance" is usually different from "sizeof
(instance + 0)", and applying "+ 0" to an array object is always
valid:

#include <setjmp.h>
#include <stdio.h>

int main(void) {
jmp_buf x;
printf("sizes: %lu %lu\n", (unsigned long)sizeof x,
(unsigned long) sizeof(x + 0));
return 0;
}

This *must* compile and will virtually always print two different
numbers (in rare cases you might actually get "8 8" today). The
array object "x" has as its size the number of bytes in the entire
array, while adding zero causes the array object to undergo the
transition prescribed by The Rule about arrays and pointers in C,
so that sizeof (x + 0) is the number of bytes in a pointer to the
first element of the array. The second number is usually 4 or 8
today, while the first is often at least 12 and almost always at
least 8 (to hold stack and frame pointers, plus another 4 or more
for signal information in POSIX systems).
--
In-Real-Life: Chris Torek, Wind River Systems
Salt Lake City, UT, USA (40°39.22'N, 111°50.29'W) +1 801 277 2603
email: forget about it http://web.torek.net/torek/index.html
Reading email is like searching for food in the garbage, thanks to spammers.
Nov 14 '05 #5
so******@yahoo.com (someone) wrote:
# I have *thought* that setjmp/longjmp() should take a pointer to
# jmp_buf. And the calling function should hold the actual struct data.
# But ... I trid on both Win32 and Linux, it seems that
# setjmp/longjmp() are taking stuct:

setjmp/longjmp are magic, like stdargs. It might make sense as C code, it
might not: the source code that is there might be intecepted and handled
differently by the compiler.

It's like an eggroll. You eat it whole and don't worry about the individual
ingredients.

--
SM Ryan http://www.rawbw.com/~wyrmwif/
GERBILS
GERBILS
GERBILS
Nov 14 '05 #6
so******@yahoo.com (someone) wrote:
# I have *thought* that setjmp/longjmp() should take a pointer to
# jmp_buf. And the calling function should hold the actual struct data.
# But ... I trid on both Win32 and Linux, it seems that
# setjmp/longjmp() are taking stuct:

setjmp/longjmp are magic, like stdargs. It might make sense as C code, it
might not: the source code that is there might be intecepted and handled
differently by the compiler.

It's like an eggroll. You eat it whole and don't worry about the individual
ingredients.

--
SM Ryan http://www.rawbw.com/~wyrmwif/
GERBILS
GERBILS
GERBILS
Nov 14 '05 #7

This thread has been closed and replies have been disabled. Please start a new discussion.

Similar topics

18
by: Peter Smithson | last post by:
Hi, I've read this page - http://devrsrc1.external.hp.com/STK/impacts/i634.html but don't understand it. Here's the text - "Non-standard usage of setjmp() and longjmp() could result in...
20
by: JS | last post by:
When setjmp is called how can the if statement evaluate to true or false when setjmp only returns 0 or non-zero? struct pcb { void *(*start_routine) (void *); void *arg; jmp_buf state; int...
2
by: JS | last post by:
I have this struct: struct pcb { void *(*start_routine) (void *); void *arg; jmp_buf state; int stak; };
8
by: Zheng Da | last post by:
I wrote a simple one as follow: typedef struct __myjmp_buf { int efp; int epc; }myjmp_buf; int mysetjmp(myjmp_buf env) {
4
by: Sreekanth | last post by:
Hi All I am trying to write a code in which I have to access an array of jmp_buf so i have declared it as jmp_buf mybuf Now when i am doing a longjmp like
15
by: rover8898 | last post by:
Hello all, I used setjmp() in a recent of program of mine (it is not completed, so I have not the chance to test it out yet). I am not very profocient in C coding as are some of my co-workers....
3
by: no_click_there | last post by:
Hi, I'm learning to use the setjmp/longjmp functions and still can't really grasp what's going on here. I'd basically like to be able to jump back and forth from (or to) two given functions. ...
0
by: sh.vipin | last post by:
Based on some study about setjmp / longjmp I have developed following notions about setjmp / longjmp . Would like to get feedback on them ?? Q1. Is there any point in keeping jmp_buf variable...
1
isladogs
by: isladogs | last post by:
The next online meeting of the Access Europe User Group will be on Wednesday 6 Dec 2023 starting at 18:00 UK time (6PM UTC) and finishing at about 19:15 (7.15PM). In this month's session, Mike...
3
isladogs
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 3 Jan 2024 starting at 18:00 UK time (6PM UTC) and finishing at about 19:15 (7.15PM). For other local times, please check World Time Buddy In...
0
by: jianzs | last post by:
Introduction Cloud-native applications are conventionally identified as those designed and nurtured on cloud infrastructure. Such applications, rooted in cloud technologies, skillfully benefit from...
0
by: abbasky | last post by:
### Vandf component communication method one: data sharing ​ Vandf components can achieve data exchange through data sharing, state sharing, events, and other methods. Vandf's data exchange method...
2
by: jimatqsi | last post by:
The boss wants the word "CONFIDENTIAL" overlaying certain reports. He wants it large, slanted across the page, on every page, very light gray, outlined letters, not block letters. I thought Word Art...
2
isladogs
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 7 Feb 2024 starting at 18:00 UK time (6PM UTC) and finishing at about 19:30 (7.30PM). In this month's session, the creator of the excellent VBE...
0
by: fareedcanada | last post by:
Hello I am trying to split number on their count. suppose i have 121314151617 (12cnt) then number should be split like 12,13,14,15,16,17 and if 11314151617 (11cnt) then should be split like...
0
Git
by: egorbl4 | last post by:
Скачал я git, хотел начать настройку, а там вылезло вот это Что это? Что мне с этим делать? ...
1
by: davi5007 | last post by:
Hi, Basically, I am trying to automate a field named TraceabilityNo into a web page from an access form. I've got the serial held in the variable strSearchString. How can I get this into the...

By using Bytes.com and it's services, you agree to our Privacy Policy and Terms of Use.

To disable or enable advertisements and analytics tracking please visit the manage ads & tracking page.