Talk:Concurrency (computer science)

message: I have put up a proposal for a concurrency wikiproject at User:Allan McInnes/Concurrency project. Input from all interested parties (especially those who will actually contribute) is most welcome. --Allan McInnes 21:32, 20 January 2006 (UTC)
replies: text: I was persuaded that we'd be better off coordinating through Wikipedia:WikiProject Computer science. --Allan McInnes 01:15, 28 January 2006 (UTC)
thread_title:  Concurrency wikiproject 

message: I'm unfamiliar with the tree logics mentioned here but I'm guessing that they are temporal logic with branching time. If that is so, shouldn't the text be modified so as to indicate that they are a type of temporal logic? Or, for that matter, maybe we should only mention that temporal logic may use either branching or non-branching time, and drop the specific references? Greg Woodhouse 05:24, 27 March 2007 (UTC)
replies: text: I'm afraid that I don't understand. Doesn't the text already talk about the tree logics as being types of temporal logic? (And yes, they are branching-time logics) Apparently not in a clear enough fashion, I guess. Please feel free to rewrite to make this fact more clear. I'd rather include the specific references, since (a) LTL and CTL in particular are both important, especially for things like model-checking, and it's nice to give readers a direct reference to them, and (b) making specific references also makes it possible to highlight the difference between state-based and action-based logics. --Allan McInnes (talk) 06:41, 28 March 2007 (UTC)
thread_title:  Temporal logics 

message: I added one more title to the Furter Reading section, namely Blackburn, et al. I don't think this needs to become a long list of links, but this seems to me to be an essential reference. By all means, use it as a reference in the body of the article if you feel it is appropriate. Greg Woodhouse 13:07, 28 March 2007 (UTC)
replies: text: Oops. Yeah, I guess I did end up repeating myself a bit there. I'll clean that up now. But the multiple superscripts will still appear, even if I use names to refer to an already-defined full reference - that just seems to be the way the Wikipedia citation handler works. --Allan McInnes (talk) 01:56, 29 March 2007 (UTC)
thread_title:  References and Further Reading 

message: Does anyone who knows more about this article think it could be merged with Concurrent computing or does the interaction make a big difference?
Joe Llywelyn Griffith Blakesley talk contrib 14:14, 4 June 2007 (UTC)
replies: text: Concurrent computing largely deals with implementation issues. Thr study of concurrency includes theoretical aspects that don't enter into concurrent computing, and is also a broader topic (having recently been applied to areas as diverse as systems biology and business process modeling). I don't think that the articles should be merged. --Allan McInnes (talk) 02:44, 5 June 2007 (UTC)
thread_title:  Merge? 

message: "In computer science, concurrency is a property of systems in which several computational processes are executing at the same time, and potentially interacting with each other."
There's a difference between a concurrent execution machine and problem concurrency. With respect to problem concurrency, there should be no notion of "executing at the same time". This paragraph cites only a dubious online dictionary, especially since "concurrent" often means "at the same time" to a general audience, such as in prison time sentencing, and I think it confuses people with regards to parallelism that does indeed require "at the same time" capabilities.
General concurrency should refer to the property of problem logic or computational divisibility into order-independent units; the degree to which components of problem logic or computations are coupled is the degree to which a problem or computation is not concurrent.
Of course, this does not stop a person from misusing machine or language features for concurrency, as hardware and language designers don't have insight into the decomposability of a user's problem. Therefore, in terms of misusing features of a concurrent execution machine, then yes, concurrency features can lead to indeterminacy. But a properly decomposed concurrent problem should lead to the same result despite out-of-order, partially-ordered, or indeterminate execution.
I propose that this article should make a clear distinction between a machine concurrency, and the more abstract computer science concept of concurrency, and I think that most people discuss abstract concurrency, because details of the programming language and execution contexts are circumstantial. Therefore, it is this abstract or general concurrency which should receive more article attention. See "Time, Clocks, and the Ordering of Events in a Distributed System" (Lamport, 1978), where a definition of concurrency is defined in "The Partial Ordering" section.
 2602:306:B826:6950:0:0:0:44 (talk) 12:35, 4 February 2016 (UTC)
replies: text: You have a good point.  The term "process" has a technical meaning in computer science.  I cleaned up the article a bit to clarify things.  However, the article still needs a lot of work.--67.170.201.132 (talk) 11:40, 22 January 2009 (UTC)
thread_title:  Concurrency definition 

message: Hello fellow Wikipedians,
I have just modified one external link on Concurrency (computer science). Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20060128114620/http://vl.fmnet.info/concurrent/ to http://vl.fmnet.info/concurrent/
When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.
Cheers.—InternetArchiveBot (Report bug) 00:29, 12 August 2017 (UTC)
thread_title:  External links modified 

message: Hello fellow Wikipedians,
I have just modified one external link on Concurrency (computer science). Please take a moment to review my edit. If you have any questions, or need the bot to ignore the links, or the page altogether, please visit this simple FaQ for additional information. I made the following changes:
*Added archive https://web.archive.org/web/20070516135233/http://ic.arc.nasa.gov/people/filman/text/dpl/dpl.html to http://ic.arc.nasa.gov/people/filman/text/dpl/dpl.html
When you have finished reviewing my changes, you may follow the instructions on the template below to fix any issues with the URLs.
Cheers.—InternetArchiveBot (Report bug) 03:19, 20 December 2017 (UTC)
thread_title:  External links modified