Talk:Execution model

This article is within the scope of WikiProject Computing, a collaborative effort to improve the coverage of computers, computing, and information technology on Wikipedia. If you would like to participate, please visit the project page, where you can join the discussion and see a list of open tasks.ComputingWikipedia:WikiProject ComputingTemplate:WikiProject ComputingComputing articles

???

This article has not yet received a rating on the project's importance scale.

This article is supported by WikiProject Computer science.

Things you can help WikiProject Computer science with:

Here are some tasks awaiting attention:

Article requests :
- Requested articles/Applied arts and sciences/Computer science, computing, and Internet
Cleanup :
- Computer science articles needing attention
- Computer science articles needing expert attention
Copyedit :
- Computing
Expand :
- Computer science
Infobox :
- Computer science articles without infoboxes
Maintain :
- Timeline of computing 2020–present
Photo :
- Find pictures for the biographies of computer scientists (see List of computer scientists)
- Computing articles needing images
Stubs :
- Computer science stubs
Unreferenced :
- WikiProject Computer science/Unreferenced BLPs
Project-related :
- Tag all relevant articles in Category:Computer science and sub-categories with {{WikiProject Computer science}}

Thank you for creating this talk page. My name is Sean Halle, I have been curating the Execution Model page. My background is a PhD in Computer Science focused on Execution models for performance-portable parallel languages.

I look forward to discussion on the page. — Preceding unsigned comment added by Seanhalle (talk • contribs) 09:23, 28 March 2018 (UTC)[reply]

Execution model of instruction sets/u-archs

This article currently deals with (high-level) programming language execution models. But assembly languages (and machine code, the two being transformations) also have execution models. One might assume they're trivially serial and sequential, but microarchitectures have evolved to feature superscalar and out-of-order execution capabilities. I'm not clear on whether this changes the execution model(s) of assembly language(s), or whether it is more about a stack of execution models (potentially going all the way down to micro-operations.) 104.228.101.152 (talk) 17:24, 17 October 2020 (UTC)[reply]

[response from Sean] Thank you for the comment. It is true that assembly language also has an execution model, the same as any other language. This execution model is separate from implementation. For example, both a 5 stage in-order pipeline and a large out of order CPU implement the same assembly execution model. IE, the execution model is the definition of the behavior, so all implementations, whether in-order or out-of-order or interpreted or JIT'd etc.. must all give the exact same result, and that result is defined by the execution model. Does that make sense? Kshalle (talk) 05:00, 18 October 2020 (UTC)[reply]

Yes, that makes sense, thanks for the clarification. I'm wondering if micro-architectures have execution models (an execution model below the assembly/machine code execution model). I suppose micro-operations are technically part of the microarchitecture. If so, I will think of language to be added to the article with the motive of a more complete piece. 104.228.101.152 (talk) 20:30, 18 October 2020 (UTC)[reply]