perf & Try Catch

I was wondering what is the ill effect of using try catch in the code, both
nested and simple big one.

e.g.

try
{
\\ whole app code goes here
} catch (Exception ee) {}

-- AND --
try
{
try
{
try{...} catch(...){...}
}catch(Exception ee) {}
} catch (Exception ee) {}

re: perf & Try Catch

It depends entirely on what the code does - ultimately the code must be
correct regardless of the perf, but there may be different approaches you
can use to maximize perf and still get correct results.

There is a small performance hit in setting up a try-catch block, so if you
are in a loop you can get a perf gain by wrapping the for loop in a single
try-catch instead of using a try-catch inside the loop. However, if the loop
must continue to enumerate the items regardless of a single item's thrown
exception then you must put the try-catch inside the loop. There is also a
small perf hit in the catch block when the exception is caught because the
runtime must examine each catch handler to determine if it is suitable to
handle a given exception. If not handled the exception continues to
propagate up the call stack, but there is still a non-zero hit in making the
decision not to handle the exception; small, but not nothing.

Most of the perf hit comes from actually throwing the exception, not just
from using a try-catch construct, or just from catching it. In the example
code you have, if an exception is never thrown then the difference a single
versus a nested try-catch would usually be unnoticable. Even in the nested
case, if the inner catch handles the exception then there should be no perf
difference between the single vs. the nested handler because it is only
thrown and caught once.

However, if the inner catch rethrows the exception, then you now have two
exceptions thrown, so the perf hit will be greater, approx twice as much
perf hit. The reason is that the majority of the perf hit comes from the
mechanics of walking the stack twice, the first time to locate a catch
handler, and the second time from running downstream finally blocks before
execution control is handed off the catch handler that deals with the
exception. The stack walk on the 1st pass actually transitions through the
kernel, makes system calls to determine if a debugger is attached, etc. This
is entirely non-local, so cache misses occur, pages may get faulted into
memory, etc. This can happen each time an exception is thrown, so if you do
a lot of try-catch-rethrow your performance will degrade, one would expect
in a linear fashion after the system has warmed up.

As a double-caveat, I regard the extra perf hit from rethrowing an exception
to be the cost of doing business, and I will rethrow as necessary in order
to add sufficient context to make correcting the problem as easy for the end
user as possible. This is because once you accept that you are in a
non-performant path then the extra cost is negligible compared to the cost
associated with an end user calling support saying "you know that error
message that says 'null reference'? Yeah, well, what the heck does that
mean?". In other words, my feeling is that clarity is more important then a
squeezing a few grams of perf fat out of the code. Of course, the
particulars of the code and how it is used dictate the ultimate strategy and
structure of what you must do.

Basically, the strategy I use is to never throw an exception unless there is
a problem that cannot be handled, and then use try-catch-wrap-rethrow as
often as necessary to provide context as much as is necessary; once started
down the exception path I regard the extra perf hit as a minor issue.


"Pohihihi" <pohihihi@hotmail.com> wrote in message
news:%23TlMFJR7EHA.208@TK2MSFTNGP12.phx.gbl...[color=blue]
>I was wondering what is the ill effect of using try catch in the code, both
>nested and simple big one.
>
> e.g.
>
> try
> {
> \\ whole app code goes here
> } catch (Exception ee) {}
>
> -- AND --
> try
> {
> try
> {
> try{...} catch(...){...}
> }catch(Exception ee) {}
> } catch (Exception ee) {}
>[/color]

re: perf & Try Catch

David:

Don't mean to nitpick but there isn't a hit with simply wrapping the code in
a try catch
http://msdn.microsoft.com/library/de...etperftips.asp

"Finding and designing away exception-heavy code can result in a decent perf
win. Bear in mind that this has nothing to do with try/catch blocks: you
only incur the cost when the actual exception is thrown. You can use as many
try/catch blocks as you want. Using exceptions gratuitously is where you
lose performance. For example, you should stay away from things like using
exceptions for control flow."

Throwing the exception is definitely of much more concern and where you
should be concerned -- but you can wrap away - no hit there whatsoever.




--
W.G. Ryan MVP (Windows Embedded)

TiBA Solutions
www.tibasolutions.com | www.devbuzz.com | www.knowdotnet.com
"David Levine" <noSpamdlevineNNTP2@wi.rr.com> wrote in message
news:en78jkR7EHA.2592@TK2MSFTNGP09.phx.gbl...[color=blue]
> It depends entirely on what the code does - ultimately the code must be
> correct regardless of the perf, but there may be different approaches you
> can use to maximize perf and still get correct results.
>
> There is a small performance hit in setting up a try-catch block, so if[/color]
you[color=blue]
> are in a loop you can get a perf gain by wrapping the for loop in a single
> try-catch instead of using a try-catch inside the loop. However, if the[/color]
loop[color=blue]
> must continue to enumerate the items regardless of a single item's thrown
> exception then you must put the try-catch inside the loop. There is also a
> small perf hit in the catch block when the exception is caught because the
> runtime must examine each catch handler to determine if it is suitable to
> handle a given exception. If not handled the exception continues to
> propagate up the call stack, but there is still a non-zero hit in making[/color]
the[color=blue]
> decision not to handle the exception; small, but not nothing.
>
> Most of the perf hit comes from actually throwing the exception, not just
> from using a try-catch construct, or just from catching it. In the example
> code you have, if an exception is never thrown then the difference a[/color]
single[color=blue]
> versus a nested try-catch would usually be unnoticable. Even in the nested
> case, if the inner catch handles the exception then there should be no[/color]
perf[color=blue]
> difference between the single vs. the nested handler because it is only
> thrown and caught once.
>
> However, if the inner catch rethrows the exception, then you now have two
> exceptions thrown, so the perf hit will be greater, approx twice as much
> perf hit. The reason is that the majority of the perf hit comes from the
> mechanics of walking the stack twice, the first time to locate a catch
> handler, and the second time from running downstream finally blocks before
> execution control is handed off the catch handler that deals with the
> exception. The stack walk on the 1st pass actually transitions through the
> kernel, makes system calls to determine if a debugger is attached, etc.[/color]
This[color=blue]
> is entirely non-local, so cache misses occur, pages may get faulted into
> memory, etc. This can happen each time an exception is thrown, so if you[/color]
do[color=blue]
> a lot of try-catch-rethrow your performance will degrade, one would expect
> in a linear fashion after the system has warmed up.
>
> As a double-caveat, I regard the extra perf hit from rethrowing an[/color]
exception[color=blue]
> to be the cost of doing business, and I will rethrow as necessary in order
> to add sufficient context to make correcting the problem as easy for the[/color]
end[color=blue]
> user as possible. This is because once you accept that you are in a
> non-performant path then the extra cost is negligible compared to the cost
> associated with an end user calling support saying "you know that error
> message that says 'null reference'? Yeah, well, what the heck does that
> mean?". In other words, my feeling is that clarity is more important then[/color]
a[color=blue]
> squeezing a few grams of perf fat out of the code. Of course, the
> particulars of the code and how it is used dictate the ultimate strategy[/color]
and[color=blue]
> structure of what you must do.
>
> Basically, the strategy I use is to never throw an exception unless there[/color]
is[color=blue]
> a problem that cannot be handled, and then use try-catch-wrap-rethrow as
> often as necessary to provide context as much as is necessary; once[/color]
started[color=blue]
> down the exception path I regard the extra perf hit as a minor issue.
>
>
> "Pohihihi" <pohihihi@hotmail.com> wrote in message
> news:%23TlMFJR7EHA.208@TK2MSFTNGP12.phx.gbl...[color=green]
> >I was wondering what is the ill effect of using try catch in the code,[/color][/color]
both[color=blue][color=green]
> >nested and simple big one.
> >
> > e.g.
> >
> > try
> > {
> > \\ whole app code goes here
> > } catch (Exception ee) {}
> >
> > -- AND --
> > try
> > {
> > try
> > {
> > try{...} catch(...){...}
> > }catch(Exception ee) {}
> > } catch (Exception ee) {}
> >[/color]
>
>[/color]

re: perf & Try Catch

Hey, go ahead and pick away - that's how I learn.

I'd read that paper and unfortunately the statement "you only incur the cost
when the actual exception is thrown" is simply wrong, or at best,
incomplete. The cost of the exception itself only occurs when it is thrown,
but there is still a cost associated with defining a try block.

Nick Wienholt's book "Maximising .NET Performance" has a section on this - I
don't have it with me otherwise I'd give you the direct quote - that details
some of the overhead of simply using a try/catch block. It stands to reason
that the cost would be non-zero - something has to establish the try blocks,
and the cost, though small, is still non-zero, and the costs will add up.
There's also a small hit (both time and memory) as each method with a
try-catch or try-finally gets JITd (the runtime uses this to determine which
try block is in effect when an exception occurs.) because the relative
offsets of each code block must be calculated and these regions cached in a
table.

In most cases the perf impact of these hits are amortized over a much
costlier code path so the incremental difference is negligble. However, if
you ran a test where the code did little more then define a try block then
the relative impact would be greater.



"W.G. Ryan eMVP" <WilliamRyan@NoSpam.gmail.com> wrote in message
news:%23P2GFoV7EHA.1396@tk2msftngp13.phx.gbl...[color=blue]
> David:
>
> Don't mean to nitpick but there isn't a hit with simply wrapping the code
> in
> a try catch
> http://msdn.microsoft.com/library/de...etperftips.asp
>
> "Finding and designing away exception-heavy code can result in a decent
> perf
> win. Bear in mind that this has nothing to do with try/catch blocks: you
> only incur the cost when the actual exception is thrown. You can use as
> many
> try/catch blocks as you want. Using exceptions gratuitously is where you
> lose performance. For example, you should stay away from things like using
> exceptions for control flow."
>
> Throwing the exception is definitely of much more concern and where you
> should be concerned -- but you can wrap away - no hit there whatsoever.
>
>
>
>
> --
> W.G. Ryan MVP (Windows Embedded)
>
> TiBA Solutions
> www.tibasolutions.com | www.devbuzz.com | www.knowdotnet.com
> "David Levine" <noSpamdlevineNNTP2@wi.rr.com> wrote in message
> news:en78jkR7EHA.2592@TK2MSFTNGP09.phx.gbl...[color=green]
>> It depends entirely on what the code does - ultimately the code must be
>> correct regardless of the perf, but there may be different approaches you
>> can use to maximize perf and still get correct results.
>>
>> There is a small performance hit in setting up a try-catch block, so if[/color]
> you[color=green]
>> are in a loop you can get a perf gain by wrapping the for loop in a
>> single
>> try-catch instead of using a try-catch inside the loop. However, if the[/color]
> loop[color=green]
>> must continue to enumerate the items regardless of a single item's thrown
>> exception then you must put the try-catch inside the loop. There is also
>> a
>> small perf hit in the catch block when the exception is caught because
>> the
>> runtime must examine each catch handler to determine if it is suitable to
>> handle a given exception. If not handled the exception continues to
>> propagate up the call stack, but there is still a non-zero hit in making[/color]
> the[color=green]
>> decision not to handle the exception; small, but not nothing.
>>
>> Most of the perf hit comes from actually throwing the exception, not just
>> from using a try-catch construct, or just from catching it. In the
>> example
>> code you have, if an exception is never thrown then the difference a[/color]
> single[color=green]
>> versus a nested try-catch would usually be unnoticable. Even in the
>> nested
>> case, if the inner catch handles the exception then there should be no[/color]
> perf[color=green]
>> difference between the single vs. the nested handler because it is only
>> thrown and caught once.
>>
>> However, if the inner catch rethrows the exception, then you now have two
>> exceptions thrown, so the perf hit will be greater, approx twice as much
>> perf hit. The reason is that the majority of the perf hit comes from the
>> mechanics of walking the stack twice, the first time to locate a catch
>> handler, and the second time from running downstream finally blocks
>> before
>> execution control is handed off the catch handler that deals with the
>> exception. The stack walk on the 1st pass actually transitions through
>> the
>> kernel, makes system calls to determine if a debugger is attached, etc.[/color]
> This[color=green]
>> is entirely non-local, so cache misses occur, pages may get faulted into
>> memory, etc. This can happen each time an exception is thrown, so if you[/color]
> do[color=green]
>> a lot of try-catch-rethrow your performance will degrade, one would
>> expect
>> in a linear fashion after the system has warmed up.
>>
>> As a double-caveat, I regard the extra perf hit from rethrowing an[/color]
> exception[color=green]
>> to be the cost of doing business, and I will rethrow as necessary in
>> order
>> to add sufficient context to make correcting the problem as easy for the[/color]
> end[color=green]
>> user as possible. This is because once you accept that you are in a
>> non-performant path then the extra cost is negligible compared to the
>> cost
>> associated with an end user calling support saying "you know that error
>> message that says 'null reference'? Yeah, well, what the heck does that
>> mean?". In other words, my feeling is that clarity is more important then[/color]
> a[color=green]
>> squeezing a few grams of perf fat out of the code. Of course, the
>> particulars of the code and how it is used dictate the ultimate strategy[/color]
> and[color=green]
>> structure of what you must do.
>>
>> Basically, the strategy I use is to never throw an exception unless there[/color]
> is[color=green]
>> a problem that cannot be handled, and then use try-catch-wrap-rethrow as
>> often as necessary to provide context as much as is necessary; once[/color]
> started[color=green]
>> down the exception path I regard the extra perf hit as a minor issue.
>>
>>
>> "Pohihihi" <pohihihi@hotmail.com> wrote in message
>> news:%23TlMFJR7EHA.208@TK2MSFTNGP12.phx.gbl...[color=darkred]
>> >I was wondering what is the ill effect of using try catch in the code,[/color][/color]
> both[color=green][color=darkred]
>> >nested and simple big one.
>> >
>> > e.g.
>> >
>> > try
>> > {
>> > \\ whole app code goes here
>> > } catch (Exception ee) {}
>> >
>> > -- AND --
>> > try
>> > {
>> > try
>> > {
>> > try{...} catch(...){...}
>> > }catch(Exception ee) {}
>> > } catch (Exception ee) {}
>> >[/color]
>>
>>[/color]
>
>[/color]

re: perf & Try Catch

I'd be intersted in reading that b/c I've seen quite a bit that contradicts
that - not to say what I've come across is correct. Probably a good thing
to test in depth tonight ;-)

--
W.G. Ryan, MVP

www.tibasolutions.com | www.devbuzz.com | www.knowdotnet.com
"David Levine" <noSpamdlevineNNTP2@wi.rr.com> wrote in message
news:%23FMJRkZ7EHA.2608@TK2MSFTNGP10.phx.gbl...[color=blue]
> Hey, go ahead and pick away - that's how I learn.
>
> I'd read that paper and unfortunately the statement "you only incur the[/color]
cost[color=blue]
> when the actual exception is thrown" is simply wrong, or at best,
> incomplete. The cost of the exception itself only occurs when it is[/color]
thrown,[color=blue]
> but there is still a cost associated with defining a try block.
>
> Nick Wienholt's book "Maximising .NET Performance" has a section on this -[/color]
I[color=blue]
> don't have it with me otherwise I'd give you the direct quote - that[/color]
details[color=blue]
> some of the overhead of simply using a try/catch block. It stands to[/color]
reason[color=blue]
> that the cost would be non-zero - something has to establish the try[/color]
blocks,[color=blue]
> and the cost, though small, is still non-zero, and the costs will add up.
> There's also a small hit (both time and memory) as each method with a
> try-catch or try-finally gets JITd (the runtime uses this to determine[/color]
which[color=blue]
> try block is in effect when an exception occurs.) because the relative
> offsets of each code block must be calculated and these regions cached in[/color]
a[color=blue]
> table.
>
> In most cases the perf impact of these hits are amortized over a much
> costlier code path so the incremental difference is negligble. However, if
> you ran a test where the code did little more then define a try block then
> the relative impact would be greater.
>
>
>
> "W.G. Ryan eMVP" <WilliamRyan@NoSpam.gmail.com> wrote in message
> news:%23P2GFoV7EHA.1396@tk2msftngp13.phx.gbl...[color=green]
> > David:
> >
> > Don't mean to nitpick but there isn't a hit with simply wrapping the[/color][/color]
code[color=blue][color=green]
> > in
> > a try catch
> >[/color][/color]
http://msdn.microsoft.com/library/de...etperftips.asp[color=blue][color=green]
> >
> > "Finding and designing away exception-heavy code can result in a decent
> > perf
> > win. Bear in mind that this has nothing to do with try/catch blocks: you
> > only incur the cost when the actual exception is thrown. You can use as
> > many
> > try/catch blocks as you want. Using exceptions gratuitously is where you
> > lose performance. For example, you should stay away from things like[/color][/color]
using[color=blue][color=green]
> > exceptions for control flow."
> >
> > Throwing the exception is definitely of much more concern and where you
> > should be concerned -- but you can wrap away - no hit there whatsoever.
> >
> >
> >
> >
> > --
> > W.G. Ryan MVP (Windows Embedded)
> >
> > TiBA Solutions
> > www.tibasolutions.com | www.devbuzz.com | www.knowdotnet.com
> > "David Levine" <noSpamdlevineNNTP2@wi.rr.com> wrote in message
> > news:en78jkR7EHA.2592@TK2MSFTNGP09.phx.gbl...[color=darkred]
> >> It depends entirely on what the code does - ultimately the code must be
> >> correct regardless of the perf, but there may be different approaches[/color][/color][/color]
you[color=blue][color=green][color=darkred]
> >> can use to maximize perf and still get correct results.
> >>
> >> There is a small performance hit in setting up a try-catch block, so if[/color]
> > you[color=darkred]
> >> are in a loop you can get a perf gain by wrapping the for loop in a
> >> single
> >> try-catch instead of using a try-catch inside the loop. However, if the[/color]
> > loop[color=darkred]
> >> must continue to enumerate the items regardless of a single item's[/color][/color][/color]
thrown[color=blue][color=green][color=darkred]
> >> exception then you must put the try-catch inside the loop. There is[/color][/color][/color]
also[color=blue][color=green][color=darkred]
> >> a
> >> small perf hit in the catch block when the exception is caught because
> >> the
> >> runtime must examine each catch handler to determine if it is suitable[/color][/color][/color]
to[color=blue][color=green][color=darkred]
> >> handle a given exception. If not handled the exception continues to
> >> propagate up the call stack, but there is still a non-zero hit in[/color][/color][/color]
making[color=blue][color=green]
> > the[color=darkred]
> >> decision not to handle the exception; small, but not nothing.
> >>
> >> Most of the perf hit comes from actually throwing the exception, not[/color][/color][/color]
just[color=blue][color=green][color=darkred]
> >> from using a try-catch construct, or just from catching it. In the
> >> example
> >> code you have, if an exception is never thrown then the difference a[/color]
> > single[color=darkred]
> >> versus a nested try-catch would usually be unnoticable. Even in the
> >> nested
> >> case, if the inner catch handles the exception then there should be no[/color]
> > perf[color=darkred]
> >> difference between the single vs. the nested handler because it is only
> >> thrown and caught once.
> >>
> >> However, if the inner catch rethrows the exception, then you now have[/color][/color][/color]
two[color=blue][color=green][color=darkred]
> >> exceptions thrown, so the perf hit will be greater, approx twice as[/color][/color][/color]
much[color=blue][color=green][color=darkred]
> >> perf hit. The reason is that the majority of the perf hit comes from[/color][/color][/color]
the[color=blue][color=green][color=darkred]
> >> mechanics of walking the stack twice, the first time to locate a catch
> >> handler, and the second time from running downstream finally blocks
> >> before
> >> execution control is handed off the catch handler that deals with the
> >> exception. The stack walk on the 1st pass actually transitions through
> >> the
> >> kernel, makes system calls to determine if a debugger is attached, etc.[/color]
> > This[color=darkred]
> >> is entirely non-local, so cache misses occur, pages may get faulted[/color][/color][/color]
into[color=blue][color=green][color=darkred]
> >> memory, etc. This can happen each time an exception is thrown, so if[/color][/color][/color]
you[color=blue][color=green]
> > do[color=darkred]
> >> a lot of try-catch-rethrow your performance will degrade, one would
> >> expect
> >> in a linear fashion after the system has warmed up.
> >>
> >> As a double-caveat, I regard the extra perf hit from rethrowing an[/color]
> > exception[color=darkred]
> >> to be the cost of doing business, and I will rethrow as necessary in
> >> order
> >> to add sufficient context to make correcting the problem as easy for[/color][/color][/color]
the[color=blue][color=green]
> > end[color=darkred]
> >> user as possible. This is because once you accept that you are in a
> >> non-performant path then the extra cost is negligible compared to the
> >> cost
> >> associated with an end user calling support saying "you know that error
> >> message that says 'null reference'? Yeah, well, what the heck does that
> >> mean?". In other words, my feeling is that clarity is more important[/color][/color][/color]
then[color=blue][color=green]
> > a[color=darkred]
> >> squeezing a few grams of perf fat out of the code. Of course, the
> >> particulars of the code and how it is used dictate the ultimate[/color][/color][/color]
strategy[color=blue][color=green]
> > and[color=darkred]
> >> structure of what you must do.
> >>
> >> Basically, the strategy I use is to never throw an exception unless[/color][/color][/color]
there[color=blue][color=green]
> > is[color=darkred]
> >> a problem that cannot be handled, and then use try-catch-wrap-rethrow[/color][/color][/color]
as[color=blue][color=green][color=darkred]
> >> often as necessary to provide context as much as is necessary; once[/color]
> > started[color=darkred]
> >> down the exception path I regard the extra perf hit as a minor issue.
> >>
> >>
> >> "Pohihihi" <pohihihi@hotmail.com> wrote in message
> >> news:%23TlMFJR7EHA.208@TK2MSFTNGP12.phx.gbl...
> >> >I was wondering what is the ill effect of using try catch in the code,[/color]
> > both[color=darkred]
> >> >nested and simple big one.
> >> >
> >> > e.g.
> >> >
> >> > try
> >> > {
> >> > \\ whole app code goes here
> >> > } catch (Exception ee) {}
> >> >
> >> > -- AND --
> >> > try
> >> > {
> >> > try
> >> > {
> >> > try{...} catch(...){...}
> >> > }catch(Exception ee) {}
> >> > } catch (Exception ee) {}
> >> >
> >>
> >>[/color]
> >
> >[/color]
>
>[/color]

re: perf & Try Catch

Ok, I dug out the book and reread the section on exceptions. Here's a direct
quote:

pg 124: "...making a block of code protected is not overly expensive. For a
simplified test method that assigns new values to elements in a character
array...adding a try-catch block in C# increases execution time by 30
percent. For a try-finally block, execution time is increased by 39 percent.
As the complexity of a method increases, the addition of protected code
blocks becomes less and less significant, but setting up protected code
blocks inside loops should be avoided..."

In other words, for performance this form:
try{ foreach (int i in _arr) { /*some processing*/ } } catch (Exception)
{ }

is preferred over...
foreach (int i in _arr) { try { /* some processing*/ } catch(Exception){} }

Now, there are a lot of unanswered questions that the author does not go
into, such as why the difference in performance between a try-catch versus a
try-finally. I can see why there'd be a onetime perf hit due to the extra
complexity the JIT has to deal with, but it's not clear exactly why there's
an extra runtime hit and where it occurs. I think you'd have to do a deep
dive into the Mono source code to see what code is being executed behind the
scenes to fully understand it, and I don't know how much help it would be,
except in the most general way, because the Mono implementation is different
from the commercial implementation.

If my memory is correct, from what I've read the CLR doesn't setup a stack
frame for each protected block - I think there's only one per thread which
wraps the entire thread, and then the exception info tables are used to
determine where the handler is located - so it shouldn't need to continually
push and pop stack register values into the fs register, so the extra time
isn't consumed with that.

What I think happens is that when a try block is entered some CLR
housekeeping microcode (for want of a better term) is executed, and the same
when a catch and a finally block are entered - this may be where the
additional execution time comes from.


"W.G. Ryan eMVP" <WilliamRyan@gmail.com> wrote in message
news:OuE3Mdf7EHA.3376@TK2MSFTNGP12.phx.gbl...[color=blue]
> I'd be intersted in reading that b/c I've seen quite a bit that
> contradicts
> that - not to say what I've come across is correct. Probably a good
> thing
> to test in depth tonight ;-)
>
> --
> W.G. Ryan, MVP
>
> www.tibasolutions.com | www.devbuzz.com | www.knowdotnet.com
> "David Levine" <noSpamdlevineNNTP2@wi.rr.com> wrote in message
> news:%23FMJRkZ7EHA.2608@TK2MSFTNGP10.phx.gbl...[color=green]
>> Hey, go ahead and pick away - that's how I learn.
>>
>> I'd read that paper and unfortunately the statement "you only incur the[/color]
> cost[color=green]
>> when the actual exception is thrown" is simply wrong, or at best,
>> incomplete. The cost of the exception itself only occurs when it is[/color]
> thrown,[color=green]
>> but there is still a cost associated with defining a try block.
>>
>> Nick Wienholt's book "Maximising .NET Performance" has a section on
>> this -[/color]
> I[color=green]
>> don't have it with me otherwise I'd give you the direct quote - that[/color]
> details[color=green]
>> some of the overhead of simply using a try/catch block. It stands to[/color]
> reason[color=green]
>> that the cost would be non-zero - something has to establish the try[/color]
> blocks,[color=green]
>> and the cost, though small, is still non-zero, and the costs will add up.
>> There's also a small hit (both time and memory) as each method with a
>> try-catch or try-finally gets JITd (the runtime uses this to determine[/color]
> which[color=green]
>> try block is in effect when an exception occurs.) because the relative
>> offsets of each code block must be calculated and these regions cached in[/color]
> a[color=green]
>> table.
>>
>> In most cases the perf impact of these hits are amortized over a much
>> costlier code path so the incremental difference is negligble. However,
>> if
>> you ran a test where the code did little more then define a try block
>> then
>> the relative impact would be greater.
>>
>>
>>
>> "W.G. Ryan eMVP" <WilliamRyan@NoSpam.gmail.com> wrote in message
>> news:%23P2GFoV7EHA.1396@tk2msftngp13.phx.gbl...[color=darkred]
>> > David:
>> >
>> > Don't mean to nitpick but there isn't a hit with simply wrapping the[/color][/color]
> code[color=green][color=darkred]
>> > in
>> > a try catch
>> >[/color][/color]
> http://msdn.microsoft.com/library/de...etperftips.asp[color=green][color=darkred]
>> >
>> > "Finding and designing away exception-heavy code can result in a decent
>> > perf
>> > win. Bear in mind that this has nothing to do with try/catch blocks:
>> > you
>> > only incur the cost when the actual exception is thrown. You can use as
>> > many
>> > try/catch blocks as you want. Using exceptions gratuitously is where
>> > you
>> > lose performance. For example, you should stay away from things like[/color][/color]
> using[color=green][color=darkred]
>> > exceptions for control flow."
>> >
>> > Throwing the exception is definitely of much more concern and where you
>> > should be concerned -- but you can wrap away - no hit there whatsoever.
>> >
>> >
>> >
>> >
>> > --
>> > W.G. Ryan MVP (Windows Embedded)
>> >
>> > TiBA Solutions
>> > www.tibasolutions.com | www.devbuzz.com | www.knowdotnet.com
>> > "David Levine" <noSpamdlevineNNTP2@wi.rr.com> wrote in message
>> > news:en78jkR7EHA.2592@TK2MSFTNGP09.phx.gbl...
>> >> It depends entirely on what the code does - ultimately the code must
>> >> be
>> >> correct regardless of the perf, but there may be different approaches[/color][/color]
> you[color=green][color=darkred]
>> >> can use to maximize perf and still get correct results.
>> >>
>> >> There is a small performance hit in setting up a try-catch block, so
>> >> if
>> > you
>> >> are in a loop you can get a perf gain by wrapping the for loop in a
>> >> single
>> >> try-catch instead of using a try-catch inside the loop. However, if
>> >> the
>> > loop
>> >> must continue to enumerate the items regardless of a single item's[/color][/color]
> thrown[color=green][color=darkred]
>> >> exception then you must put the try-catch inside the loop. There is[/color][/color]
> also[color=green][color=darkred]
>> >> a
>> >> small perf hit in the catch block when the exception is caught because
>> >> the
>> >> runtime must examine each catch handler to determine if it is suitable[/color][/color]
> to[color=green][color=darkred]
>> >> handle a given exception. If not handled the exception continues to
>> >> propagate up the call stack, but there is still a non-zero hit in[/color][/color]
> making[color=green][color=darkred]
>> > the
>> >> decision not to handle the exception; small, but not nothing.
>> >>
>> >> Most of the perf hit comes from actually throwing the exception, not[/color][/color]
> just[color=green][color=darkred]
>> >> from using a try-catch construct, or just from catching it. In the
>> >> example
>> >> code you have, if an exception is never thrown then the difference a
>> > single
>> >> versus a nested try-catch would usually be unnoticable. Even in the
>> >> nested
>> >> case, if the inner catch handles the exception then there should be no
>> > perf
>> >> difference between the single vs. the nested handler because it is
>> >> only
>> >> thrown and caught once.
>> >>
>> >> However, if the inner catch rethrows the exception, then you now have[/color][/color]
> two[color=green][color=darkred]
>> >> exceptions thrown, so the perf hit will be greater, approx twice as[/color][/color]
> much[color=green][color=darkred]
>> >> perf hit. The reason is that the majority of the perf hit comes from[/color][/color]
> the[color=green][color=darkred]
>> >> mechanics of walking the stack twice, the first time to locate a catch
>> >> handler, and the second time from running downstream finally blocks
>> >> before
>> >> execution control is handed off the catch handler that deals with the
>> >> exception. The stack walk on the 1st pass actually transitions through
>> >> the
>> >> kernel, makes system calls to determine if a debugger is attached,
>> >> etc.
>> > This
>> >> is entirely non-local, so cache misses occur, pages may get faulted[/color][/color]
> into[color=green][color=darkred]
>> >> memory, etc. This can happen each time an exception is thrown, so if[/color][/color]
> you[color=green][color=darkred]
>> > do
>> >> a lot of try-catch-rethrow your performance will degrade, one would
>> >> expect
>> >> in a linear fashion after the system has warmed up.
>> >>
>> >> As a double-caveat, I regard the extra perf hit from rethrowing an
>> > exception
>> >> to be the cost of doing business, and I will rethrow as necessary in
>> >> order
>> >> to add sufficient context to make correcting the problem as easy for[/color][/color]
> the[color=green][color=darkred]
>> > end
>> >> user as possible. This is because once you accept that you are in a
>> >> non-performant path then the extra cost is negligible compared to the
>> >> cost
>> >> associated with an end user calling support saying "you know that
>> >> error
>> >> message that says 'null reference'? Yeah, well, what the heck does
>> >> that
>> >> mean?". In other words, my feeling is that clarity is more important[/color][/color]
> then[color=green][color=darkred]
>> > a
>> >> squeezing a few grams of perf fat out of the code. Of course, the
>> >> particulars of the code and how it is used dictate the ultimate[/color][/color]
> strategy[color=green][color=darkred]
>> > and
>> >> structure of what you must do.
>> >>
>> >> Basically, the strategy I use is to never throw an exception unless[/color][/color]
> there[color=green][color=darkred]
>> > is
>> >> a problem that cannot be handled, and then use try-catch-wrap-rethrow[/color][/color]
> as[color=green][color=darkred]
>> >> often as necessary to provide context as much as is necessary; once
>> > started
>> >> down the exception path I regard the extra perf hit as a minor issue.
>> >>
>> >>
>> >> "Pohihihi" <pohihihi@hotmail.com> wrote in message
>> >> news:%23TlMFJR7EHA.208@TK2MSFTNGP12.phx.gbl...
>> >> >I was wondering what is the ill effect of using try catch in the
>> >> >code,
>> > both
>> >> >nested and simple big one.
>> >> >
>> >> > e.g.
>> >> >
>> >> > try
>> >> > {
>> >> > \\ whole app code goes here
>> >> > } catch (Exception ee) {}
>> >> >
>> >> > -- AND --
>> >> > try
>> >> > {
>> >> > try
>> >> > {
>> >> > try{...} catch(...){...}
>> >> > }catch(Exception ee) {}
>> >> > } catch (Exception ee) {}
>> >> >
>> >>
>> >>
>> >
>> >[/color]
>>
>>[/color]
>
>[/color]

re: perf & Try Catch

David Levine <noSpamdlevineNNTP2@wi.rr.com> wrote:

<snip>
[color=blue]
> What I think happens is that when a try block is entered some CLR
> housekeeping microcode (for want of a better term) is executed, and the same
> when a catch and a finally block are entered - this may be where the
> additional execution time comes from.[/color]

Having had a look at the JITted code, I think it's more a case of the
JIT not being able to optimise as heavily, not being able to enregister
as much.

Personally I think that apart from a very, *very* few situations,
exception handling should be implemented according to elegant design
rather than optimal performance. In the case we're talking about, the
processing within the loop would have to be *very* simple for the cost
of adding the try/catch to end up being particularly significant.

--
Jon Skeet - <skeet@pobox.com>
http://www.pobox.com/~skeet
If replying to the group, please do not mail me too

re: perf & Try Catch

>[color=blue]
> Having had a look at the JITted code, I think it's more a case of the
> JIT not being able to optimise as heavily, not being able to enregister
> as much.[/color]

There may be additional housekeeping that isn't obvious just from the JITted
code. Also, did you compile with debug or release settings? (it could make a
difference in how aggressive the optimizations are).
[color=blue]
>
> Personally I think that apart from a very, *very* few situations,
> exception handling should be implemented according to elegant design
> rather than optimal performance. In the case we're talking about, the
> processing within the loop would have to be *very* simple for the cost
> of adding the try/catch to end up being particularly significant.
>[/color]

I agree completely - design for correctness first, then go back and look at
optimizations as needed. However, this only came up because a statement was
made that there was no cost at all to using a try block, and that statement,
as far as I can tell, is false.

re: perf & Try Catch

David Levine <noSpamdlevineNNTP2@wi.rr.com> wrote:[color=blue][color=green]
> > Having had a look at the JITted code, I think it's more a case of the
> > JIT not being able to optimise as heavily, not being able to enregister
> > as much.[/color]
>
> There may be additional housekeeping that isn't obvious just from the JITted
> code. Also, did you compile with debug or release settings? (it could make a
> difference in how aggressive the optimizations are).[/color]

I compiled without any specific optimisation or debug settings (just
the default) which I believe isn't particularly optimised, but doesn't
have debug information either.
[color=blue][color=green]
> > Personally I think that apart from a very, *very* few situations,
> > exception handling should be implemented according to elegant design
> > rather than optimal performance. In the case we're talking about, the
> > processing within the loop would have to be *very* simple for the cost
> > of adding the try/catch to end up being particularly significant.[/color]
>
> I agree completely - design for correctness first, then go back and look at
> optimizations as needed. However, this only came up because a statement was
> made that there was no cost at all to using a try block, and that statement,
> as far as I can tell, is false.[/color]

Agreed. I think I'd say "virtually no cost" to give an appropriate
impression of how small it is in comparison with almost any other
performance penalties, but it's non-zero. At least, it is in some
cases... it could well be that if the JIT is already hampered by other
characteristics of the method, there really *is* no cost. That's a bit
more than I'm willing to investigate atm :)

--
Jon Skeet - <skeet@pobox.com>
http://www.pobox.com/~skeet
If replying to the group, please do not mail me too

re: perf & Try Catch

David... A try catch finally decomposes into a nested try catch so I
would
assume try catch finally should have a greater overhead than try catch.
Hand
coded try catch written in IL assembler looks like this.

.try // get user input
{
ldstr "Enter number: "
call void
[mscorlib]System.Console::Write(string)
call string [mscorlib]System.Console::ReadLine()
call int32 [mscorlib]System.Int32::Parse(string)
// parse may throw exception
stloc.1 // place valid user input into n_input
leave.s got_value // leave don't branch from
try
} // end .try
catch [mscorlib]System.Object
{
pop // remove exception from stack
ldstr "Invalid Number."
call void
[mscorlib]System.Console::WriteLine(string)
leave exit // invalid input so exit program
} // end handler

Regards,
Jeff[color=blue]
>Now, there are a lot of unanswered questions that the author does not[/color]
go
into, such as why the difference in performance between a try-catch
versus a
try-finally.<

*** Sent via Developersdex http://www.developersdex.com ***
Don't just participate in USENET...get rewarded for it!

re: perf & Try Catch

"Jeff Louie" <anonymous@devdex.com> wrote in message
news:%23CZpyoD8EHA.4028@TK2MSFTNGP15.phx.gbl...[color=blue]
> David... A try catch finally decomposes into a nested try catch so I
> would assume try catch finally should have a greater overhead than try
> catch.[/color]

That's true, but you can have a try-catch or a try-finally block - you don't
need a catch statement just to have a finally and vice-versa. The question
was about the overhead associated with simply adding a try-catch or a
try-finally block, not what the performance would be if an exception were
thrown. Also, your example does not have a finally block in it.

re: perf & Try Catch

> I compiled without any specific optimisation or debug settings (just[color=blue]
> the default) which I believe isn't particularly optimised, but doesn't
> have debug information either.
>[/color]

I would expect that the release version would do more aggressive
optimizations but I could well be wrong. Since it compiles to IL rather then
machine code it's harder for me to make the connection between the degree of
optimization and the resulting machine code.
[color=blue][color=green]
>> I agree completely - design for correctness first, then go back and look
>> at
>> optimizations as needed. However, this only came up because a statement
>> was
>> made that there was no cost at all to using a try block, and that
>> statement,
>> as far as I can tell, is false.[/color]
>
> Agreed. I think I'd say "virtually no cost" to give an appropriate
> impression of how small it is in comparison with almost any other
> performance penalties, but it's non-zero. At least, it is in some
> cases... it could well be that if the JIT is already hampered by other
> characteristics of the method, there really *is* no cost. That's a bit
> more than I'm willing to investigate atm :)[/color]

That's the way I felt about it. My motto is: a difference that makes no
difference is no difference :-)

I wish I had spent the time to digest the rotor sources - I think it would
shed some insight into this. Ah well, I'll add that to me TODO list.