Parameters placement on stack in C


 
Thread Tools Search this Thread
Top Forums Programming Parameters placement on stack in C
# 1  
Old 06-12-2019
Parameters placement on stack in C

I am trying to illustrate the reverse order of parameters on the stack when passed to a function in C:


Code:
#include <stdio.h>

void  p(int p1, int p2, double p3)
{
        printf("params:\n"
                        "1) %p offset = %li\n"
                        "2) %p offset = %li\n"
                        "3) %p\n",
                        (void *)&p1,    (void *)&p1 - (void *)&p2,
                        (void *)&p2,    (void *)&p2 - (void *)&p3,
                        (void *)&p3);
}

int main(int argc, char *argv[])
{
  struct A a = {10,11,12, {1,2,3}};

        p(-1, 0, +1);
        return(0);
}

Result is:
Code:
params:
1) 0x7ffe2f20afac offset = 4
2) 0x7ffe2f20afa8 offset = 8
3) 0x7ffe2f20afa0

This is as expected on the 64 bit system (Ubuntu 19.04)


When I pass a structure as a parameter the stack looks puzzling to me:
Code:
#include <stdio.h>
struct A {
        int     n1;
        int     n2;
        int     n3;
        int     arr[3];
};

void    p(int p1, struct A p2, double p3)
{
        printf("params:\n"
                        "1) %p offset = %li\n"
                        "2) %p offset = %li\n"
                        "3) %p\n",
                        (void *)&p1,    (void *)&p1 - (void *)&p2,
                        (void *)&p2,    (void *)&p2 - (void *)&p3,
                        (void *)&p3);
}

int main(int argc, char *argv[])
{
  struct A a = {10,11,12, {1,2,3}};
        p(-1, a, +1);
        return(0);
}

Now result is:
Code:
params:
1) 0x7ffee5f7ddbc offset = -20
2) 0x7ffee5f7ddd0 offset = 32
3) 0x7ffee5f7ddb0

Parameter 3 is close to 1 and parameter 2 is not between 1 and 3? offsets look wrong to me.Please shed some light here, thanks in advance.
The compiler is gcc 7.4.0
# 2  
Old 06-13-2019
The standards don't specify how parameters are placed on the stack when a function is invoked and any code that assumes that parameters are placed on the stack in the order given (or in the reverse of the order given) in the function declaration is highly likely to fail on some operating systems on some hardware.

When an operating system is ported to or designed from scratch, the compiler group, the link editor group, and the operating system group will study the hardware design documents and agree on a scheme that they believe will be fast and conserve space on that hardware for the operating system being designed. Note that the scheme may well have exceptions that apply alternative behaviors when a function is invoked that takes a variable number of parameters (e.g., printf()). The only portable way to write functions like printf() is to use the macros defined in the Standard C header <stdarg.h> (i.e., va_start, va_arg, va_copy, and va_end).
These 3 Users Gave Thanks to Don Cragun For This Post:
# 3  
Old 06-14-2019
Thank you! That is so interesting!



Just for a comparison I run that code where I pass a structure as 2nd parameter on Solaris 11, here is the output, which is quite different
Code:
params:
1) feffed00 offset = -4
2) feffed04 offset = 28
3) feffece8

# 4  
Old 06-14-2019
Was that Solaris 11 on Sparc or on Intel? The results might be different. Smilie

Could it be that Ubuntu is arranging parameters on the stack based on their sizes? Weird indeed.
# 5  
Old 06-15-2019
It was Solaris 11 on Intel
# 6  
Old 06-15-2019
Probably, placement has to do with word boundaries. Which vary with different OS and hardware. As Don mentioned clearly. gcc has options for packing objects in memory. try gcc -Q -v inputfilename.c - assuming that is what you used. Be prepared for a lot of information on your screen.

Last edited by jim mcnamara; 06-15-2019 at 07:46 PM..
This User Gave Thanks to jim mcnamara For This Post:
Login or Register to Ask a Question

Previous Thread | Next Thread

8 More Discussions You Might Find Interesting

1. UNIX for Advanced & Expert Users

Unix linked-list placement

Hi, I am programming in kernel, and I want to use a double linked list that holds infos that every process could access and modify THIS list. So, I suppose it is a 'global' variable since every process(thread) can reach it, I am wondering where to put it? by changing some of the kernel files? (1 Reply)
Discussion started by: louisTan
1 Replies

2. Cybersecurity

Snort/NTOP Placement

I have been asked to place 2 (1 NTOP & 1 SNORT) boxes within our network as part of our tool kit for network monitoring and Intrusion detection. Out network is very simplistic and it layed out like this: internet | | Cisco 1811 Router (8x Layer 2 switch ports) ... (0 Replies)
Discussion started by: metallica1973
0 Replies

3. UNIX for Dummies Questions & Answers

Kernel Stack vs User Mode Stack

Hi, I am new to the linux kernel development area. I want to know what is the difference between kernel mode stack and user mode stack? Does each process has a user mode stack and a kernel mode stack?? Or Each process has a user mode stack and there is only one kernel mode stack that is shared by... (4 Replies)
Discussion started by: saurabhkoar
4 Replies

4. Solaris

Data placement in SVM

Is it possible to place the data in inner or outer edge with SVM ( solaris volume manager ) or VxVM like we can do in AIX LVM ? (1 Reply)
Discussion started by: fugitive
1 Replies

5. Programming

what is stack winding and stack unwinding

helo can u tell me what do you mean by stack winding and stack unwinding Regards, Amit (2 Replies)
Discussion started by: amitpansuria
2 Replies

6. UNIX Desktop Questions & Answers

Controlling icon placement?

Hi, I'm using xterm and aixterm with Mwm on AIX, and having trouble controlling icon placement when minimising windows. Basically when I run an xterm or aixterm I want to be able to specify where the icon will be if minimised. The man page mentions the "#geometry Geometry" option to aixterm,... (1 Reply)
Discussion started by: cunningdavid
1 Replies

7. AIX

Aixterm icon placement?

Hi, I'm using xterm and aixterm with Mwm on AIX, and having trouble controlling icon placement when minimising windows. Basically when I run an xterm or aixterm I want to be able to specify where the icon will be if minimised. The man page mentions the "#geometry Geometry" option to aixterm,... (1 Reply)
Discussion started by: cunningdavid
1 Replies

8. Shell Programming and Scripting

code placement

I'm sorry if something like this has already been posted, but I didn't find anything like it. I'm using ksh The code that I've come up with will initially print what I want, but will then keep repeating the second number. I'm just trying to teach myself and can't seem to find the code to work.... (16 Replies)
Discussion started by: scott78
16 Replies
Login or Register to Ask a Question