Changeset 3d5701e for doc/papers/concurrency

Timestamp:

Feb 25, 2020, 1:17:33 PM (4 years ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

7dc2e015

Parents:

9fb8f01 (diff), dd9e1ca (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

resolve conflict

File:

• doc/papers/concurrency/Paper.tex (modified) (7 diffs)

doc/papers/concurrency/Paper.tex

@@ -239 +239 @@
 \lstMakeShortInline@%
 
+\newcommand{\commenttd}[1]{{\color{red}{Thierry : #1}}}
+
 \let\OLDthebibliography\thebibliography
 \renewcommand\thebibliography[1]{
@@ -1163 +1165 @@
 % }
 % int main() {
-% 
+%
 %       for ( int i = 0; i < 10; i += 1 ) {
 %               printf( "%d\n", fib() );
@@ -1834 +1836 @@
                 if ( random() % 3 ) transfer( b1, b2, 7 );
         }
-}    
+}
 int main() {
         `Person p1 = { b1, b2 }, p2 = { b2, b1 };`
@@ -1864 +1866 @@
                 if ( random() % 3 ) transfer( b1, b2, 7 );
         }
-}    
+}
 int main() {
         `thread p1(person, ref(b1), ref(b2)), p2(person, ref(b2), ref(b1));`
@@ -2739 +2741 @@
 % \section{Parallelism}
 % \label{s:Parallelism}
-% 
+%
 % Historically, computer performance was about processor speeds.
 % However, with heat dissipation being a direct consequence of speed increase, parallelism is the new source for increased performance~\cite{Sutter05, Sutter05b}.
@@ -2746 +2748 @@
 % However, kernel threads are better as an implementation tool because of complexity and higher cost.
 % Therefore, different abstractions are often layered onto kernel threads to simplify them, \eg pthreads.
-% 
-% 
+%
+%
 % \subsection{User Threads}
-% 
+%
 % A direct improvement on kernel threads is user threads, \eg Erlang~\cite{Erlang} and \uC~\cite{uC++book}.
 % This approach provides an interface that matches the language paradigms, gives more control over concurrency by the language runtime, and an abstract (and portable) interface to the underlying kernel threads across operating systems.
@@ -2755 +2757 @@
 % Like kernel threads, user threads support preemption, which maximizes nondeterminism, but increases the potential for concurrency errors: race, livelock, starvation, and deadlock.
 % \CFA adopts user-threads to provide more flexibility and a low-cost mechanism to build any other concurrency approach, \eg thread pools and actors~\cite{Actors}.
-% 
+%
 % A variant of user thread is \newterm{fibres}, which removes preemption, \eg Go~\cite{Go} @goroutine@s.
 % Like functional programming, which removes mutation and its associated problems, removing preemption from concurrency reduces nondeterminism, making race and deadlock errors more difficult to generate.