Welcome to the Lounge

BillWoodruff2-Jun-20 2:37

2-Jun-20 2:37

F-ES Sitecore wrote:
your switch statement is converted to an "if\else" block by the compiler.

I suggest you look again. [^]

«One day it will have to be officially admitted that what we have christened reality is an even greater illusion than the world of dreams.» Salvador Dali

F-ES Sitecore2-Jun-20 3:33

F-ES Sitecore

2-Jun-20 3:33

Under what conditions is it not an if\else statement?

(not saying you're wrong, just curious to know)

BillWoodruff2-Jun-20 5:31

2-Jun-20 5:31

You are far too intelligent not to figure this out Smile | :)

hint: "register"

«One day it will have to be officially admitted that what we have christened reality is an even greater illusion than the world of dreams.» Salvador Dali

kalberts2-Jun-20 8:34

2-Jun-20 8:34

Look at the original open source "P4" Pascal compiler, from before the "open source" concept was invented Smile | :)

: Its only implementation technique was a plain jump table of max 256 entries. HTCW has observed (at least she claims in the root entry of this thread) hash tables.

You can handle all swich variants using if/else sequences. If I were to write this part of a compiler, I would start out with if/else as the only and last resort. As I got around to it, I would gradually add other alternatives to take care of those cases suited for e.g. small jump tables, hash tables etc., and only when those alternatives were not applicable would I fall through to the if/else as the default alternative.

jsc422-Jun-20 10:07

jsc42

2-Jun-20 10:07

IIRC, the original P-Code compiler for Pascal only allowed a range of 64 to create its jump table. I worked on the compiler for my final year project at Uni (a long time ago) but concentrated on the expression evaluator so never got around to seeing what happened in the range exceeded that amount.

kalberts2-Jun-20 3:43

2-Jun-20 3:43

Follow up added in the C# forum: Re: State machine performance woes in .NET - C# Discussion Boards[^]

honey the codewitch2-Jun-20 5:00

2-Jun-20 5:00

I mean, that's what I mean. The point is, there's no way that I know of for CIL to have the requisite jmp table to do it properly.

Real programmers use butterflies

BillWoodruff2-Jun-20 5:29

2-Jun-20 5:29

honey the codewitch wrote:
The point is, there's no way that I know of for CIL to have the requisite jmp table to do it properly.

The point may be that you are spending more time writing elaborate essays on the structure of labyrinthine conjectures than on keenly analyzing the design, and outcomes, of experiments you can carry out to test what is possible ... to refine the problem space and narrow the scope of what must be accomplished.

You may not believe this, given my cantankerous history with you Smile | :)

... but, mutatis mutandis, I have come to appreciate your obvious technical gifts, and, I hypothesize that you may be a "Neo" who could actually make generating code for complex business rules from "higher level" abstractions possible for mere mortals.

"If not you, who ? If not now, when" attributed in various forms to Hillel the Elder, and often misattributed in distorted forms to others,

«One day it will have to be officially admitted that what we have christened reality is an even greater illusion than the world of dreams.» Salvador Dali

honey the codewitch2-Jun-20 6:38

2-Jun-20 6:38

I'd argue that in this case my experiments are what led to the essay. It was through experimentation that I found the issue I'm writing about.

BillWoodruff wrote:
"Neo" who could actually make generating code for complex business rules from "higher level" abstractions possible for mere mortals.

Years ago, I did this for a company I worked for. It could generate about 2.5 tiers of a 3 tier web application and supported rest/JSONP before most frameworks. The other half a tier would be the web design part, although you could define the UI elements themselves by attributing the business entities with default appearances that could be overridden on the actual design end.

It wasn't quite for non-developers, but you could define all three (2.5 really) tiers through attributed XSD.

Real programmers use butterflies

BillWoodruff2-Jun-20 8:06

2-Jun-20 8:06

Cool ! Why not do it here, utilizing all you've learned to optimize it ?

«One day it will have to be officially admitted that what we have christened reality is an even greater illusion than the world of dreams.» Salvador Dali

honey the codewitch2-Jun-20 9:39

2-Jun-20 9:39

I don't think it's possible to optimize my code much further under .NET. I'd have to rewrite it in C++, and that takes scarcely any intellectual effort - just porting.

Real programmers use butterflies

Super Lloyd2-Jun-20 2:24

Super Lloyd

2-Jun-20 2:24

Wow.. this level of performance investigation is beyond me...
I couldn't help but wonder though... have you considered what kind of native code Ryujin (native compiler) ultimately produce, eventually?

Other than that I have to admit the C# doesn't produce the ultimate performance than C++ allegedly produce. I say allegedly because it is, apparently, quite hard to produce consistently.. but doable nonetheless.

A new .NET Serializer
All in one Menu-Ribbon Bar
Taking over the world since 1371!

obermd2-Jun-20 3:34

obermd

2-Jun-20 3:34

C++ doesn't support the full range of case statements you find in VB.Net (and now in C#). The limited support in C++ lends itself to jump tables. The full range unfortunately needs to be compiled to a slew of if then elseif then elseif then else endif statements.

User 110609792-Jun-20 6:27

User 11060979

2-Jun-20 6:27

What I think to remember is, that you are very familiar with code generating. Therefore creating/generating a class for each state maybe will help Unsure | :~

It does not solve my Problem, but it answers my question

modified 19-Jan-21 21:04pm.

honey the codewitch2-Jun-20 6:33

2-Jun-20 6:33

In C# I typically use a class to represent a state in a state machine. However, when the code gets generated it either resolves to an array instantiation with the appropriate state machine information (fastest option under .NET) or it can resolve to series of gotos (can't really switch case here unless you were to have goto case all over the place in which case you may as well just use goto). The latter option doesn't perform as well as the array/table driven approach. In C++ however, the latter would be faster - and I'd be using a switch to make sure the compiler was generating jmp tables.

Real programmers use butterflies

kalberts2-Jun-20 8:40

2-Jun-20 8:40

honey the codewitch wrote:
In C# I typically use a class to represent a state in a state machine.

Fair enough. But if you activate anything as complex as a class mechanism to serve for state value (which in most simpler state machines is nothing more than a scalar value), then I do not understand why you are worried about the compiler using hash tables rather than simple jump tables in a small set of cases where it might have saved you some small fraction of a microsecond.

honey the codewitch2-Jun-20 9:37

2-Jun-20 9:37

> where it might have saved you some small fraction of a microsecond.

Microseconds add up.

Lexing is inner inner loop stuff - it's absolutely critical for this codepath to be as efficient as possible. Like Microsoft's hashtable dictionary implementation, performance is key.

Most of the time it's not. Typically my state machine code is.

Real programmers use butterflies

kalberts2-Jun-20 9:57

2-Jun-20 9:57

Yet you involve a class mechanism to hold the state? That is what surprises me.

honey the codewitch2-Jun-20 10:12

I have such mixed feelings about python

2-Jun-20 10:12

The classes don't exist in the compiled code. The class instances simply hold data used to compile the machine. The compiled code uses no state classes

Real programmers use butterflies

honey the codewitch2-Jun-20 0:51

Re: I have such mixed feelings about python

2-Jun-20 0:51

I'm not a python dev. I have written exactly zero bits of software in it.

That said, even I know you can do practically anything with it, and a lot of complicated things can be shockingly easy to do in python.

I'm guessing that's probably why it's so popular with the AI crowd.

The thing that keeps me away from it is the significant whitespace in the grammar** and my general distaste for scripting. I know both of those things are just me being nit picky but we all have our preferences.

**I'm deeply concerned about this as it raises a lot of questions. Is 4 spaces read the same way as a tab? Is my editor going to destroy my sourcecode if it reformats the document? etc. I really don't like this.

Real programmers use butterflies

OriginalGriff2-Jun-20 0:55

OriginalGriff

2-Jun-20 0:55

honey the codewitch wrote:
Is 4 spaces read the same way as a tab?

No. A tab is one whitespace character, four spaces are four - so the compiler looks at identical looking code in your editor and thinks that it's differently indented.

There have been quite a few question this year where that has been the problem.

And that's one of the reasons I really don't like Python.

"I have no idea what I did, but I'm taking full credit for it." - ThisOldTony
AntiTwitter: @DalekDave is now a follower!

Re: I have such mixed feelings about python

kalberts2-Jun-20 1:10

Re: I have such mixed feelings about python

2-Jun-20 1:10

Another problem with whitespace is which definition of whitespace. Python scopes by a subset of whitespace characters. I guess this subset is defined in a language spec, but there is only one way to be reasonably sure to avoid problems: Whenever anyone says "whitespace", read it as "a space character".

honey the codewitch2-Jun-20 1:26