Thread: [exprla-devel] RE: [XPL] Instruction Set Architecture in XML?
Status: Pre-Alpha
Brought to you by:
xpl2
From: reid_spencer <ras...@re...> - 2002-01-31 09:29:27
|
--- In xpl-dev@y..., "Richard Anthony Hein" <935551@i...> wrote: "except compiled, but we don't have to compile it." What does that mean??? I hope that's a typo, Mr. Contradiction. Plus, it's nothing like a virtual machine. You don't know anything about compilers, or ISA, so keep your mouth shut dumb-ass! -----Original Message----- From: Richard Anthony Hein [mailto:935551@i...] Sent: June 28, 2000 4:07 PM To: xpl@e... Subject: RE: [XPL] Instruction Set Architecture in XML? Why do you say that Richard? Please explain. -----Original Message----- From: Richard Anthony Hein [mailto:935551@i...] Sent: June 28, 2000 4:05 PM To: xpl@e... Subject: RE: [XPL] Instruction Set Architecture in XML? Boy Richard, that's a really stupid idea .... -----Original Message----- From: Richard Anthony Hein [mailto:935551@i...] Sent: June 19, 2000 3:16 PM To: xpl@e... Subject: [XPL] Instruction Set Architecture in XML? I was wondering if it really would be possible to make a schema to describe an ISA in XML and use that during construction of a compiler for XPL, that can map XPL code to the ISA for a specific processor? Then if another ISA comes along, we can use XSLT to map the ISA to the XPL compiler specifically based on the new ISA's schema? Any thoughts? Am I totally off base here? Perhaps this is something like a Virtual Machine, except compiled, but we don't have to compile it. In addition, couldn't we use the same kind of technique for building an XPL I/O library, which maps perfectly to the instruction sets dealing with I/O? Maybe this is nonsense ... don't worry, just tell me, I have no real idea if it would work - it won't hurt my feelings. :-) Richard A. Hein To unsubscribe from this group, send an email to: xpl-unsubscribe@o... To unsubscribe from this group, send an email to: xpl-unsubscribe@o... ---------------------------------------------------------------------- ------ -- ---------------------------------------------------------------------- ------ -- To unsubscribe from this group, send an email to: xpl-unsubscribe@o... --- End forwarded message --- |
From: reid_spencer <ras...@re...> - 2002-01-31 09:29:48
|
--- In xpl-dev@y..., "Richard Anthony Hein" <935551@i...> wrote: Hmm, yes it was a typo ... I think. Either that or I was just half asleep. I guess your right about the virtual machine thing. I just meant that it would be a way to allow a program to be compiled using the specific instruction set's schema, and in that manner would have something like a virtual machine, in that it converts/compiles (whatever) the program to binary when it's run. In that sense it there would be something akin to a VM that does that for you for an XPL program when it's first run. Yeah, I know nothing about ISAs and compilers... so what? Do you think the people that made up ISAs knew about ISAs the first time they made a stupid ISA? Ya gotta start somewhere. -----Original Message----- From: Richard Anthony Hein [mailto:935551@i...] Sent: June 28, 2000 4:11 PM To: xpl@e... Subject: RE: [XPL] Instruction Set Architecture in XML? "except compiled, but we don't have to compile it." What does that mean??? I hope that's a typo, Mr. Contradiction. Plus, it's nothing like a virtual machine. You don't know anything about compilers, or ISA, so keep your mouth shut dumb-ass! -----Original Message----- From: Richard Anthony Hein [mailto:935551@i...] Sent: June 28, 2000 4:07 PM To: xpl@e... Subject: RE: [XPL] Instruction Set Architecture in XML? Why do you say that Richard? Please explain. -----Original Message----- From: Richard Anthony Hein [mailto:935551@i...] Sent: June 28, 2000 4:05 PM To: xpl@e... Subject: RE: [XPL] Instruction Set Architecture in XML? Boy Richard, that's a really stupid idea .... -----Original Message----- From: Richard Anthony Hein [mailto:935551@i...] Sent: June 19, 2000 3:16 PM To: xpl@e... Subject: [XPL] Instruction Set Architecture in XML? I was wondering if it really would be possible to make a schema to describe an ISA in XML and use that during construction of a compiler for XPL, that can map XPL code to the ISA for a specific processor? Then if another ISA comes along, we can use XSLT to map the ISA to the XPL compiler specifically based on the new ISA's schema? Any thoughts? Am I totally off base here? Perhaps this is something like a Virtual Machine, except compiled, but we don't have to compile it. In addition, couldn't we use the same kind of technique for building an XPL I/O library, which maps perfectly to the instruction sets dealing with I/O? Maybe this is nonsense ... don't worry, just tell me, I have no real idea if it would work - it won't hurt my feelings. :-) Richard A. Hein To unsubscribe from this group, send an email to: xpl-unsubscribe@o... To unsubscribe from this group, send an email to: xpl-unsubscribe@o... To unsubscribe from this group, send an email to: xpl-unsubscribe@o... ---------------------------------------------------------------------- ------ -- ---------------------------------------------------------------------- ------ -- To unsubscribe from this group, send an email to: xpl-unsubscribe@o... --- End forwarded message --- |
From: reid_spencer <ras...@re...> - 2002-01-31 09:31:01
|
--- In xpl-dev@y..., Jonathan Burns <saski@w...> wrote: Richard Anthony Hein wrote: Ok ... [snivel] ... I WILL then! In fact I already started! [snivel ... snort] </insanity> <!-- if you can't find the start tag, it's because it was inserted into an earlier message on a totally unrelated newsgroup 4 years ago --><backtowork> Richard ... lad ... are you all right? You give the strongest impression of someone as disoriented with machine code as I am with the Hytime Spec ( yes! the dreaded 10744, and thank you for setting me onto the Groves path ). Listen, did you get my long post a few days ago on what and when to compile in XPL? I did my best to explain that time and memory savings from compiling XML processing were likely to be lost in the larger inefficiencies of the system, unless heroic measures were taken to optimize the latter. Despite this, I have a sense that taking XSLT processing down to the metal might yield benefits. Whether it's so, would depend on the profile of the processing. If we could demonstrate that there are critical loops, in which the same thing happens to a whole lot of data, and if these loops typically take up a lot of the time it takes to do useful things, then yes. That's not quite what you were talking about, though. You were talking about making up descriptions of ISAs, in XML, and using these to generate the XPL compiler for each architecture. Not a stupid idea. But consider this. We're talking about compiling the XPL processing - i.e. the operations on the parsed data - the semantic stuff - the actual nodes and attributes. In other words, the operational semantics. So what defines the operational semantics? Well, the XPL specification that we use. Which could be XPath/XSLT/XPointer/Xcetera. That's what we want to map to the target ISA. Big job, eh? Lots of operations in XPath - lots of options for pattern-matching, tree-walking, etc. And more of them in XSLT. OR, the base specification could be a set of Architectural Forms - i.e. property sets. And the XPath/XPointer/XSLT operations could be written, once and for all or nearly, in terms of them. Then what we would want is a mapping of a sufficient set of property set operations into the target ISA - plus a mapping of the relatively simple programming constructions which express each X-type operation in terms of them. Little job. And that is one reason why I am intensely interested in the Groves stuff, the property sets. I have not yet discovered any material to the effect: X-whatever Implemented In Groves. If it hasn't been done, it should be. I suspect I could do it, if I made it The Priority. IT WOULD ELIMINATE A VERITABLE ARMY OF BUGS FROM XPL AT THE OUTSET. Property Set Architecture -> Instruction Set Architecture is where I think the value lies. Jonathan "Ask anything!" he muttered, as he spat a small blue insect whirring into the gauze. "I would advise stilts for the quagmire Camels for the snowy hills And any survivors Their debts I will certainly pay. There's always a way." - The Incredible String Band --- End forwarded message --- |
From: reid_spencer <ras...@re...> - 2002-01-31 09:31:27
|
--- In xpl-dev@y..., "Richard Anthony Hein" <935551@i...> wrote: -----Original Message----- From: root@m... [mailto:root@m...]On Behalf Of Jonathan Burns Sent: June 29, 2000 9:35 AM To: xpl@e... Subject: Re: [XPL] Instruction Set Architecture in XML? Richard ... lad ... are you all right? [Richard Anthony Hein] I was just really bored, sorry for wasting bandwidth everyone. You give the strongest impression of someone as disoriented with machine code as I am with the Hytime Spec ( yes! the dreaded 10744, and thank you for setting me onto the Groves path ). [Richard Anthony Hein] You're welcome! ;-) Listen, did you get my long post a few days ago on what and when to compile in XPL? [Richard Anthony Hein] Yes. I did my best to explain that time and memory savings from compiling XML processing were likely to be lost in the larger inefficiencies of the system, unless heroic measures were taken to optimize the latter. [Richard Anthony Hein] I thought this concept would be the heroic measure. Nevertheless, I see your point. Doesn't change the fact that there are all these different machines, and here we are writing a programming language. It has to have some kind of VM in order to be able to read the XPL code and process it. Or are we going to use Java to process the XPL and then send it to the VM? If that's the case, you better let me know; I have to understand a lot more about Java I/O stuff before I can even think about what it means. I really want to know, the PROCESS - what is the chain of events when you execute an XPL program? I guess we don't have it yet, do we? Despite this, I have a sense that taking XSLT processing down to the metal might yield benefits. Whether it's so, would depend on the profile of the processing. If we could demonstrate that there are critical loops, in which the same thing happens to a whole lot of data, and if these loops typically take up a lot of the time it takes to do useful things, then yes. [Richard Anthony Hein] In a sense, an optimizing compiler, that decides what those critical loops may be, compiles them, but leaves the rest in the information-rich form of XSLT? That's not quite what you were talking about, though. You were talking about making up descriptions of ISAs, in XML, and using these to generate the XPL compiler for each architecture. [Richard Anthony Hein] Yes. On the fly. Kind of a metacompiler - a compiler that takes instruction sets schemas as input and outputs a compiler. Not a stupid idea. But consider this. [Richard Anthony Hein] It's not? We're talking about compiling the XPL processing - i.e. the operations on the parsed data - the semantic stuff - the actual nodes and attributes. In other words, the operational semantics. [Richard Anthony Hein] Okay ... So what defines the operational semantics? Well, the XPL specification that we use. Which could be XPath/XSLT/XPointer/Xcetera. That's what we want to map to the target ISA. Big job, eh? Lots of operations in XPath - lots of options for pattern-matching, tree-walking, etc. And more of them in XSLT. OR, the base specification could be a set of Architectural Forms - i.e. property sets. And the XPath/XPointer/XSLT operations could be written, once and for all or nearly, in terms of them. [Richard Anthony Hein] Yes. I think so. Then what we would want is a mapping of a sufficient set of property set operations into the target ISA - plus a mapping of the relatively simple programming constructions which express each X-type operation in terms of them. [Richard Anthony Hein] ' Yes, and that semantics of patterns thing that we discussed earlier for XSLT (have you seen it? I think it's succinct), and XPath is available. We need one for XLink and the others, and then we can normalize it, if possible. Then what we have is pretty simple description of all the 'X' technologies in the same format. Map that to the instruction set, and the other way to the actual 'X' technology, like XSLTs syntax. The compiler/parser whatever it is going to be, simply transforms between them. Do I understand yet? Little job. And that is one reason why I am intensely interested in the Groves stuff, the property sets. I have not yet discovered any material to the effect: X- whatever Implemented In Groves. [Richard Anthony Hein] I'll search for it this afternoon. If it hasn't been done, it should be. I suspect I could do it, if I made it The Priority. [Richard Anthony Hein] If you want to, go for it. Maybe wait until we've searched for prior work, but if we don't find anything, then I guess I'll be The Priority for you Jonathan, if you like. Anyone else care to make it The Priority as well? I will do whatever I can to help. I figure I can do up some of it, after I look at the way you go about doing it. IT WOULD ELIMINATE A VERITABLE ARMY OF BUGS FROM XPL AT THE OUTSET. [Richard Anthony Hein] That's certainly a benefit. Property Set Architecture -> Instruction Set Architecture is where I think the value lies. [Richard Anthony Hein] Ok, so then this is saying to me, that we could really use the property sets of the 'X' techs to map to the ISA, and have ourselves a programming language - once we map all those property sets into XPL syntax, which uses XSLT and other stuff, and fill in all the holes that the property sets have with XPL specific property sets and semantics. There is no point in deciding what XPL can do before we know what all the other techs that are recommendations can already do, is there? SO, after figuring that out, we can fill the holes, and make a way to merge them all together in XPL. Do I understand? Grade me Jonathan, you must be used to it! :-) Jonathan "Ask anything!" he muttered, as he spat a small blue insect whirring into the gauze. "I would advise stilts for the quagmire Camels for the snowy hills And any survivors Their debts I will certainly pay. There's always a way." - The Incredible String Band [Richard Anthony Hein] "... it's a hell of a start, it can be made into a monster if we all pull together as a team!" - Pink Floyd - Have a Cigar Richard A. Hein ---------------------------------------------------------------------- ------ -- ---------------------------------------------------------------------- ------ -- To unsubscribe from this group, send an email to: xpl-unsubscribe@o... --- End forwarded message --- |
From: reid_spencer <ras...@re...> - 2002-01-31 09:34:43
|
--- In xpl-dev@y..., "Richard Anthony Hein" <935551@i...> wrote: Basically, groves use a name-value pair property set which makes it simple to model schemas for non-XML data sources, such as an mpeg, or any other data type. You can take those property sets, in theory, and compile them into a header file. So we can treat the given media as an object, and pass it along quite effectively. Using the DOM is complicated for media types like MPEGs (it can't really be modeled by a hierarchy - it isn't that 'XMaLeble'). But if we want to pass information about objects like this, we need some way of effectively describing them. Groves, and the property sets, in theory, is the best known way to do this. Now, I do say "in theory": Jonathan is looking deeper into groves, and I am trying my best to understand it all. If you check on Jonathan's web site, he has an annotated copy of Paul Prescod's paper on Groves. It's not overly long, so check it out: - http://www.warehouse.net/saski/groves_annotated_1.0.html Jonathan understands this stuff a lot better than I do. HTH Richard A. Hein -----Original Message----- From: Sam Hunting [mailto:sam_hunting@y...] Sent: June 30, 2000 11:46 AM To: xpl@e... Cc: saski@w... Subject: Re: [XPL] Instruction Set Architecture in XML? Trying to get up to speed on this list, therefore please forgive redundancy-- --- Jonathan Burns <saski@w...> wrote: > Listen, did you get my long post a few days ago on what and when to > compile in XPL? I did my best to explain that time and memory savings > from compiling XML processing were likely to be lost in the larger > inefficiencies of the system, unless heroic measures were taken to > optimize the latter. Jonathan, I didn't get this mail. Can you repost? Richard -- I'm reasonably familiar with ISO 10744, but not with compiler issues at all. Can you summarize why you want to use groves for XPL? Thanks. Sam Hunting ===== <? "To imagine a language is to imagine a form of life." -- Ludwig Wittgenstein, Philosophical Investigations ?> __________________________________________________ Do You Yahoo!? Get Yahoo! Mail - Free email you can access from anywhere! http://mail.yahoo.com/ ---------------------------------------------------------------------- ------ -- ---------------------------------------------------------------------- ------ -- To unsubscribe from this group, send an email to: xpl-unsubscribe@o... --- End forwarded message --- |