473,322 Members | 1,778 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,322 software developers and data experts.

Is it required to comply byte alignment within a function?

Hi all.
This is my first post on this group. Nice to meet you, cool guys~!

I'm on system programming on various embedded systems and understand
very well the byte alignment issues. When I write C code, especially
design a structure, I pay attention to the order and size of member
variables. Because, my boss always says that all variables should be
aligned by 4byte boundary, if not a data abort will be occurred on a
specific machine such like ARM.

However, I've never seen such situation. Because, my compiler
automatically aligns the boundary and gives padding properly between
each variable in the structure, if needed. Of course, pack option of
the compiler may change its behavior and this assumption may be break
easily. So, I agree with my boss.

The problem I want to ask is that he wants me to align all local
variables even in a function. For example, see the following code.

Case #1 - THIS IS NOT ALLOWED!!
int foo1()
{
char a;
int b;
short c;
...
}

Case #2 - THIS IS OK. GOOD.
int foo2()
{
char a;
char dummy[3];
int b;
short c;
...
}

I think this is bothersome and even ridiculous.

How do you think about?
Is the case #1 can make a data abort or bus error?

Nov 14 '05 #1
14 1921
"gamja" <as****@gmail.com> wrote:
The problem I want to ask is that he wants me to align all local
variables even in a function. For example, see the following code.

Case #1 - THIS IS NOT ALLOWED!!
int foo1()
{
char a;
int b;
short c;
...
}

Case #2 - THIS IS OK. GOOD.
int foo2()
{
char a;
char dummy[3];
int b;
short c;
...
}

I think this is bothersome and even ridiculous.

How do you think about?
The man is a fool, and that for more reasons than one.
Is the case #1 can make a data abort or bus error?


If it does, you're not using a C compiler, but a bodge job.

Richard
Nov 14 '05 #2
May I know why it is? Hmm.. I need more information somewhat technical
to persuade my boss.

Nov 14 '05 #3
gamja <as****@gmail.com> wrote:
I'm on system programming on various embedded systems and understand
very well the byte alignment issues. When I write C code, especially
design a structure, I pay attention to the order and size of member
variables. Because, my boss always says that all variables should be
aligned by 4byte boundary, if not a data abort will be occurred on a
specific machine such like ARM. However, I've never seen such situation. Because, my compiler
automatically aligns the boundary and gives padding properly between
each variable in the structure, if needed. Of course, pack option of
the compiler may change its behavior and this assumption may be break
easily. So, I agree with my boss. The problem I want to ask is that he wants me to align all local
variables even in a function. For example, see the following code. Case #1 - THIS IS NOT ALLOWED!!
int foo1()
{
char a;
int b;
short c;
...
} Case #2 - THIS IS OK. GOOD.
int foo2()
{
char a;
char dummy[3];
int b;
short c;
...
} I think this is bothersome and even ridiculous.


It is. If your C compiler won't produce code that puts the variables
at addresses with proper alignment all by itself then that compiler
is horribly broken. Your case #1 is perfectly legal and each and
every compiler that has any right to call itself a C compiler will
put in the necessary padding all by itself or re-arrange the order
of the variables - there's no requirement that 'a' comes at lower
address than 'b' just because you defined 'a' before 'b'. So, on
some architectures you may end up with variables reordered to e.g.
'b', 'c', 'a'.

If what your boss claims would be true it would be nearly impossible
to write portable programs. There are lots of architectures with
different alignment requirements (e.g. for some types and machines
you may have to align not on 4-byte boundaries but on 8-byte or
maybe even 16-byte boundaries). And if you write programs that
are supposed to be independent of a special architecture then you
won't be able to know in advance how much padding is going to be
needed. This is only known to the compiler on the machine your
program finally is going to be compiled on and _it_ has to take
care of this problem.

Of course, some compilers have an (non-standard) option to overrule
this behaviour (but only, as far as I have seen, for structures).
Only if you insist on using that optionit becomes your responsibility
to take care of alignment issues, but then you asked for it and you
get given enough rope to hang yourself. But as long as you don't use
this option also all member variables of structures will always be
aligned properly by the compiler.

Regards, Jens
--
\ Jens Thoms Toerring ___ Je***********@physik.fu-berlin.de
\__________________________ http://www.toerring.de
Nov 14 '05 #4
gamja wrote:

Hi all.
This is my first post on this group. Nice to meet you, cool guys~!

I'm on system programming on various embedded systems and understand
very well the byte alignment issues. When I write C code, especially
design a structure, I pay attention to the order and size of member
variables. Because, my boss always says that all variables should be
aligned by 4byte boundary, if not a data abort will be occurred on a
specific machine such like ARM.

However, I've never seen such situation. Because, my compiler
automatically aligns the boundary and gives padding properly between
each variable in the structure, if needed.
Just like any C compiler.
Of course, pack option of
the compiler may change its behavior and this assumption may be break
easily. So, I agree with my boss.

The problem I want to ask is that he wants me to align all local
variables even in a function. For example, see the following code.

Case #1 - THIS IS NOT ALLOWED!!
int foo1()
{
char a;
int b;
short c;
...
}

Case #2 - THIS IS OK. GOOD.
int foo2()
{
char a;
char dummy[3];
int b;
short c;
...
}

I think this is bothersome and even ridiculous.

How do you think about?
There's problems in the logic as stated.
If case #2 does what you want,
then it's merely a matter of coincidence.
There's nothing in the rules of C which implies that
if two automatic objects are defined consecutively in source code,
that they then should have consecutive addresses.
There's also nothing in your boss' stated philosophy which
let's you assume that char a is properly aligned to begin with.
Is the case #1 can make a data abort or bus error?


Only if there is problem with the compiler.
Making sure that automatic objects are properly aligned
for their own access,
is part of what a C compiler is supposed to do.

--
pete
Nov 14 '05 #5
Hi,

Absolutely agree with everyone....order of variable declaration doesn't
have anything to do with order of those variables in memory after
compilation.

-vs_p...

Nov 14 '05 #6
gamja wrote:

May I know why it is? Hmm.. I need more information somewhat
technical to persuade my boss.


Why what is? You need to quote adequate context so every article
stands by itself. If you must use the foul and broken google
interface to usenet see below. Or better, get a real newsreader.

If you want to post a followup via groups.google.com, don't use
the broken "Reply" link at the bottom of the article. Click on
"show options" at the top of the article, then click on the
"Reply" at the bottom of the article headers.

--
Chuck F (cb********@yahoo.com) (cb********@worldnet.att.net)
Available for consulting/temporary embedded and systems.
<http://cbfalconer.home.att.net> USE worldnet address!
Nov 14 '05 #7
Achintya wrote:

Absolutely agree with everyone....order of variable declaration
doesn't have anything to do with order of those variables in
memory after compilation.


If you want to post a followup via groups.google.com, don't use
the broken "Reply" link at the bottom of the article. Click on
"show options" at the top of the article, then click on the
"Reply" at the bottom of the article headers.

--
Chuck F (cb********@yahoo.com) (cb********@worldnet.att.net)
Available for consulting/temporary embedded and systems.
<http://cbfalconer.home.att.net> USE worldnet address!
Nov 14 '05 #8
>I'm on system programming on various embedded systems and understand
very well the byte alignment issues. When I write C code, especially
design a structure, I pay attention to the order and size of member
variables. Because, my boss always says that all variables should be
aligned by 4byte boundary, if not a data abort will be occurred on a
specific machine such like ARM.
All variables will be aligned properly by the C compiler to appropriate
alignment for the target machine, unless you're doing things with
pointers like interpreting a character buffer as a struct when it
wasn't declared that way.

C coders cannot align variables themselves, especially not auto
variables.

That assumption of a 4-byte boundary is not portable. Some machines
may require an 8-byte boundary, some may require a 2-byte boundary,
and there is no standards reason why a machine couldn't require a
7-byte boundary, although I doubt you'll ever see one commercially
available. Also, chars don't require alignment to more than 1 byte,
and they are by definition 1 byte in size (even if that byte is 37
bits long).
The problem I want to ask is that he wants me to align all local
variables even in a function. For example, see the following code.
You CANNOT align local variables.
Case #1 - THIS IS NOT ALLOWED!!
int foo1()
{
char a;
int b;
short c;
...
}

Case #2 - THIS IS OK. GOOD.
int foo2()
{
char a;
char dummy[3];
int b;
short c;


*NO* that is *NOT* good, since auto variables are ordered alphabetically
by *NAME*, or by the NAME spelled backwards, or by the NAME translated
into Pig Latin, and 'dummy' comes after 'c'. (Well, that's just
as stupid as the assumption that auto variables are stored in order
of declaration.)

Gordon L. Burditt
Nov 14 '05 #9
gamja wrote:
Hi all.
This is my first post on this group. Nice to meet you, cool guys~!

I'm on system programming on various embedded systems and understand
very well the byte alignment issues. When I write C code, especially
design a structure, I pay attention to the order and size of member
variables. Because, my boss always says that all variables should be
aligned by 4byte boundary, if not a data abort will be occurred on a
specific machine such like ARM.

However, I've never seen such situation. Because, my compiler
automatically aligns the boundary and gives padding properly between
each variable in the structure, if needed. Of course, pack option of
the compiler may change its behavior and this assumption may be break
easily. So, I agree with my boss.

The problem I want to ask is that he wants me to align all local
variables even in a function. For example, see the following code.

Case #1 - THIS IS NOT ALLOWED!!
int foo1()
{
char a;
int b;
short c;
...
}

Case #2 - THIS IS OK. GOOD.
int foo2()
{
char a;
char dummy[3];
int b;
short c;
...
}

I think this is bothersome and even ridiculous.

How do you think about?
Is the case #1 can make a data abort or bus error?

This is malarky unless you force the compiler to to
do something bad (via pragmas, such as PACK).

The compiler will automatically add padding between
members of a structure or union to make accessing
the data more efficient. This poses a problem when
trying to use structures to model real-world data.
The compiler will place variables at addresses for
improved efficiency unless the programmer tells
the compiler otherwise.

--
Thomas Matthews

C++ newsgroup welcome message:
http://www.slack.net/~shiva/welcome.txt
C++ Faq: http://www.parashift.com/c++-faq-lite
C Faq: http://www.eskimo.com/~scs/c-faq/top.html
alt.comp.lang.learn.c-c++ faq:
http://www.comeaucomputing.com/learn/faq/
Other sites:
http://www.josuttis.com -- C++ STL Library book
http://www.sgi.com/tech/stl -- Standard Template Library
Nov 14 '05 #10
I've re-instated the context so that people can see what is actually
being talked about.

gamja wrote:
Richard Bos wrote:
"gamja" <as****@gmail.com> wrote:
The problem I want to ask is that he wants me to align all local
variables even in a function. For example, see the following code.

Case #1 - THIS IS NOT ALLOWED!!
int foo1()
{
char a;
int b;
short c;
...
}
If in assembler you did something like
a .space 1 # allocate 1 byte
b .space 4 # allocate 4 bytes
c .space 2 # allocate 2 bytes

on a system where alignment for integer access mattered then tried to
read b as a 4 byte integer then yes, this could lead to problems.

The wonder of high level languages is they *compiler* sorts out this
stuff for you except where you deliberately trick it.
Case #2 - THIS IS OK. GOOD.
int foo2()
{
char a;
char dummy[3];
int b;
short c;
...
}

I think this is bothersome and even ridiculous.

How do you think about?
The man is a fool, and that for more reasons than one.


The man is a fool probably thinking of assembler and applying the same
rules to C where they make no sense.

Or the OP is misunderstanding his boss.
Is the case #1 can make a data abort or bus error?


If it does, you're not using a C compiler, but a bodge job.


May I know why it is? Hmm.. I need more information somewhat technical
to persuade my boss.


The language definition says that if you declare a variable of a given
type you can use it as that type. Anything else would not make sense.

You could tell you boss to read *any* C text book. If that won't do,
tell him/her to by a copy of the C standard.
--
Flash Gordon
Living in interesting times.
Although my email address says spam, it is real and I read it.
Nov 14 '05 #11
In article <11**********************@f14g2000cwb.googlegroups .com>,
"gamja" <as****@gmail.com> wrote:
Hi all.
This is my first post on this group. Nice to meet you, cool guys~!

I'm on system programming on various embedded systems and understand
very well the byte alignment issues. When I write C code, especially
design a structure, I pay attention to the order and size of member
variables. Because, my boss always says that all variables should be
aligned by 4byte boundary, if not a data abort will be occurred on a
specific machine such like ARM.

However, I've never seen such situation. Because, my compiler
automatically aligns the boundary and gives padding properly between
each variable in the structure, if needed. Of course, pack option of
the compiler may change its behavior and this assumption may be break
easily. So, I agree with my boss.

The problem I want to ask is that he wants me to align all local
variables even in a function. For example, see the following code.

Case #1 - THIS IS NOT ALLOWED!!
int foo1()
{
char a;
int b;
short c;
...
}

Case #2 - THIS IS OK. GOOD.
int foo2()
{
char a;
char dummy[3];
int b;
short c;
...
}

I think this is bothersome and even ridiculous.


I'd hate to work for your boss.
I'd hate even more to be the person who is your boss.
Nov 14 '05 #12
Gordon Burditt wrote:
You CANNOT align local variables.


If they are union members, then you can.
I used to be a shop steward.

--
pete
Nov 14 '05 #13
On Sat, 14 May 2005 02:13:04 GMT, pete <pf*****@mindspring.com> wrote
in comp.lang.c:
Gordon Burditt wrote:
You CANNOT align local variables.


If they are union members, then you can.
I used to be a shop steward.


Yes indeed, you can align them to the beginning of the union. But, of
course, you can't align the beginning of the union.

I used to eat shop stewards for breakfast.

--
Jack Klein
Home: http://JK-Technology.Com
FAQs for
comp.lang.c http://www.eskimo.com/~scs/C-faq/top.html
comp.lang.c++ http://www.parashift.com/c++-faq-lite/
alt.comp.lang.learn.c-c++
http://www.contrib.andrew.cmu.edu/~a...FAQ-acllc.html
Nov 14 '05 #14
Jack Klein wrote:

On Sat, 14 May 2005 02:13:04 GMT, pete <pf*****@mindspring.com> wrote
in comp.lang.c:
Gordon Burditt wrote:
You CANNOT align local variables.


If they are union members, then you can.
I used to be a shop steward.


Yes indeed, you can align them to the beginning of the union. But, of
course, you can't align the beginning of the union.


You can align the union with every type that is a member of the union.
If you want the union aligned for type int, just give it an int member.

--
pete
Nov 14 '05 #15

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

Similar topics

4
by: Marco | last post by:
Hi I have to read a binary image. Info tell me that it is a binary image without encoding but with RLE. Also i know it is 4 bytes align. What it means ?? How can i read it ?? I red it is for...
4
by: Shashi | last post by:
Can somebody explain how the byte alignment for structures work, taking the following example and considering: byte of 1 Byte word of 2 Bytes dword of 4 Bytes typedef struct { byte a; word...
5
by: Richard Harris | last post by:
Hello, Consider this: struct MBD { double x; double y; int i; }
11
by: Taran | last post by:
Hi all, I was wondering how does address alignment to x byte boundary is done. For example, if I say "adjust the requested size to be on a 4-byte boundary" or for that matter 8 byte boundary....
12
by: Olaf Baeyens | last post by:
I am porting some of my buffer class code for C++ to C#. This C++ class allocates a block of memory using m_pBuffer=new BYTE; But since the class is also used for pointers for funtions that uses...
5
by: Hendrik Schober | last post by:
Hi, we just run into the problem, that "default" alignment in the project properies dialog seem to be different. We have a project that's a DLL, which is linked with a couple of LIBs. All are...
1
by: Gajendra | last post by:
How does the byte packing and the byte alignment work in VC++ compiler? What is the effect of #pragma pack(n) on the alignment and byte packing for example while using the structur struc double...
13
by: Neo Geshel | last post by:
I have examined about 80+ different upload scripts on the 'net, both in VB and C#, and none seem to do what I need them to do. Perhaps someone here can point me somewhere that Google hasn't...
19
by: glchin | last post by:
Does a compiler guarantee that the variable w below is placed on an eight-byte aligned address? void myFunction( long iFreq ) { const double w = two_pi * iFreq; ... ... }
0
by: DolphinDB | last post by:
Tired of spending countless mintues downsampling your data? Look no further! In this article, you’ll learn how to efficiently downsample 6.48 billion high-frequency records to 61 million...
1
isladogs
by: isladogs | last post by:
The next Access Europe meeting will be on Wednesday 6 Mar 2024 starting at 18:00 UK time (6PM UTC) and finishing at about 19:15 (7.15PM). In this month's session, we are pleased to welcome back...
0
by: Vimpel783 | last post by:
Hello! Guys, I found this code on the Internet, but I need to modify it a little. It works well, the problem is this: Data is sent from only one cell, in this case B5, but it is necessary that data...
0
by: ArrayDB | last post by:
The error message I've encountered is; ERROR:root:Error generating model response: exception: access violation writing 0x0000000000005140, which seems to be indicative of an access violation...
1
by: CloudSolutions | last post by:
Introduction: For many beginners and individual users, requiring a credit card and email registration may pose a barrier when starting to use cloud servers. However, some cloud server providers now...
1
by: Defcon1945 | last post by:
I'm trying to learn Python using Pycharm but import shutil doesn't work
1
by: Shællîpôpï 09 | last post by:
If u are using a keypad phone, how do u turn on JavaScript, to access features like WhatsApp, Facebook, Instagram....
0
by: af34tf | last post by:
Hi Guys, I have a domain whose name is BytesLimited.com, and I want to sell it. Does anyone know about platforms that allow me to list my domain in auction for free. Thank you
0
isladogs
by: isladogs | last post by:
The next Access Europe User Group meeting will be on Wednesday 3 Apr 2024 starting at 18:00 UK time (6PM UTC+1) and finishing by 19:30 (7.30PM). In this session, we are pleased to welcome former...

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.