eiffelroom - profile - Comments

ISE only?

colin-adams — Thu, 01 May 2008 03:00:36 -0700

Does this tool only work with ec, or will it work with gec too? If not, can it be made to do so? Colin Adams

Definitely add the agent

peter_gummer — Thu, 11 Oct 2007 17:00:28 -0700

The SHARED_PROFILE_SETTINGS idea is good. It would make it clear that this is a singleton setting. The current approach of creating a new object, which you then instruct to start and stop, is a bit weird. It feels like you are starting and stopping something local, but you have to imagine that the implementation is starting and stopping some global flag.

The agent is a great idea. I've used a similar pattern to ensure, for example, that an EiffelVision application's hourglass cursor gets reset to the the normal mouse cursor even if there's an exception. I've noticed that Eiffel programmers tend to be lax at this, compared with good programmers in languages with try..finally at their disposal; partly because Eiffel's rescue mechanism is more heavy-handed in these situations; and partly because the Eiffel philosophy that exceptions are bugs tends to cause us to pretend that they will never happen. (I learned long ago that bugs often occur when you least expect them. That's what attracted me to DbC in the first place. It also made me paranoid about ensuring that resources are always disposed or reset, even in the event of an exception.)

Yet another example of the power of Eiffel idioms! I can't understand Colin's opinion that the try..finally code looks as complicated as Manu's rescue code, but Paul has shown a third way. I'm more than happy with this idiom. I just wonder sometimes, however, whether the need to relearn stuff like this just raises too much of a learning barrier for those zillions of programmers out there who, like me, are comfortable with the try..finally idiom. Maybe someone will invent an even simpler way someday, that hides the rescue and the agent behind some syntactic sugar: maybe something like C#'s using?

No try/catch/finally for me

colin-adams — Tue, 09 Oct 2007 12:15:59 -0700

I don't care for any of this try (totally redundant noise word)/catch (rescue seems a better word to me)/finally. I didn't think Peter's example looked any more readable - less if anything. Colin Adams

I've already heard this...

manus_eiffel — Tue, 09 Oct 2007 10:00:00 -0700

It would be interesting to have an idea of whom in the Eiffel community favor the existing solution over the more traditional try-catch-finally. Note that you can get the required behavior through inline agents when it is a matter of scoping a few instructions with a rescue clause (agreed it looks a little bit heavy).

The agent solution would

manus_eiffel — Tue, 09 Oct 2007 09:58:01 -0700

The agent solution would definitely simplify the code by hiding the rescue clause from the user. I've added something similar for MEMORY in 6.1, the name of the new routine is called `execute_without_collection'. In PROFILING_SETTINGS, we could have `execute_without_profiling'.

Two Things...

paulbates — Tue, 09 Oct 2007 09:10:16 -0700

You should add a shared class SHARED_PROFILING_SETTINGS providing single instance access to the settings.

Second, it would be nice to have a single routine that starts/stops the profiler, which a client can pass an agent to. The agent is always executed when the profiler polling is suspended.

It would look a lot less complicated if Eiffel had try..finally!

peter_gummer — Sat, 06 Oct 2007 17:25:50 -0700

f is

    local

        l_prof_setting: PROFILING_SETTING

        l_is_profiling: BOOLEAN

    do

        create l_prof_setting.make

        try     -- WARNING! THIS IS NOT EIFFEL!

            l_is_profiling := l_prof_setting.is_profiling

            l_prof_setting.stop_profiling

                -- Your code here

            ...

        finally -- WARNING! THIS IS NOT EIFFEL!

            if l_is_profiling then

                l_prof_setting.start_profiling

            end

        end

    end

Moved

patrickr — Wed, 19 Sep 2007 09:52:37 -0700

The location of the converter has moved to

https://svn.origo.ethz.ch/eiffelstudio-developers/users/patrickr/valgrind_converter/