473,491 Members | 1,885 Online
Bytes | Software Development & Data Engineering Community
Create Post

Home Posts Topics Members FAQ

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 1932
"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
2925
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
17671
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
1449
by: Richard Harris | last post by:
Hello, Consider this: struct MBD { double x; double y; int i; }
11
3744
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
8083
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
3889
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
3165
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
2329
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
4087
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
7118
marktang
by: marktang | last post by:
ONU (Optical Network Unit) is one of the key components for providing high-speed Internet services. Its primary function is to act as an endpoint device located at the user's premises. However,...
0
6980
by: Hystou | last post by:
Most computers default to English, but sometimes we require a different language, especially when relocating. Forgot to request a specific language before your computer shipped? No problem! You can...
0
7157
Oralloy
by: Oralloy | last post by:
Hello folks, I am unable to find appropriate documentation on the type promotion of bit-fields when using the generalised comparison operator "<=>". The problem is that using the GNU compilers,...
0
7364
tracyyun
by: tracyyun | last post by:
Dear forum friends, With the development of smart home technology, a variety of wireless communication protocols have appeared on the market, such as Zigbee, Z-Wave, Wi-Fi, Bluetooth, etc. Each...
0
4579
by: conductexam | last post by:
I have .net C# application in which I am extracting data from word file and save it in database particularly. To store word all data as it is I am converting the whole word file firstly in HTML and...
0
3087
by: TSSRALBI | last post by:
Hello I'm a network technician in training and I need your help. I am currently learning how to create and manage the different types of VPNs and I have a question about LAN-to-LAN VPNs. The...
0
1397
by: 6302768590 | last post by:
Hai team i want code for transfer the data from one system to another through IP address by using C# our system has to for every 5mins then we have to update the data what the data is updated ...
1
637
muto222
by: muto222 | last post by:
How can i add a mobile payment intergratation into php mysql website.
0
282
bsmnconsultancy
by: bsmnconsultancy | last post by:
In today's digital era, a well-designed website is crucial for businesses looking to succeed. Whether you're a small business owner or a large corporation in Toronto, having a strong online presence...

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.