Changeset cf966b5 for doc/proposals/concurrency/annex

Timestamp:

Nov 28, 2017, 3:52:01 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

6c2ba38

Parents:

f7a4f89

Message:

Results need to be updated but otherwise, tentative final draft

Location:

doc/proposals/concurrency/annex

Files:

• glossary.tex (modified) (9 diffs)
• local.bib (modified) (3 diffs)

doc/proposals/concurrency/annex/glossary.tex

@@ -4 +4 @@
 {name={callsite-locking}}
 {
-Locking done by the calling routine. With this technique, a routine calling a monitor routine will aquire the monitor \emph{before} making the call to the actuall routine.
+Locking done by the calling routine. With this technique, a routine calling a monitor routine aquires the monitor \emph{before} making the call to the actuall routine.
 }
 
@@ -10 +10 @@
 {name={entry-point-locking}}
 {
-Locking done by the called routine. With this technique, a monitor routine called by another routine will aquire the monitor \emph{after} entering the routine body but prior to any other code.
+Locking done by the called routine. With this technique, a monitor routine called by another routine aquires the monitor \emph{after} entering the routine body but prior to any other code.
 }
 
@@ -22 +22 @@
 {name={multiple-acquisition}}
 {
-Any locking technique which allow any single thread to acquire a lock multiple times.
+Any locking technique that allows a single thread to acquire the same lock multiple times.
 }
 
@@ -35 +35 @@
 {name={user-level thread}}
 {
-Threads created and managed inside user-space. Each thread has its own stack and its own thread of execution. User-level threads are insisible to the underlying operating system.
+Threads created and managed inside user-space. Each thread has its own stack and its own thread of execution. User-level threads are invisible to the underlying operating system.
 
 \textit{Synonyms : User threads, Lightweight threads, Green threads, Virtual threads, Tasks.}
@@ -51 +51 @@
 {name={fiber}}
 {
-Fibers are non-preemptive user-level threads. They share most of the caracteristics of user-level threads except that they cannot be preempted by an other fiber.
+Fibers are non-preemptive user-level threads. They share most of the caracteristics of user-level threads except that they cannot be preempted by another fiber.
 
 \textit{Synonyms : Tasks.}
@@ -59 +59 @@
 {name={job}}
 {
-Unit of work, often send to a thread pool or worker pool to be executed. Has neither its own stack or its own thread of execution.
+Unit of work, often sent to a thread pool or worker pool to be executed. Has neither its own stack nor its own thread of execution.
 
 \textit{Synonyms : Tasks.}
@@ -75 +75 @@
 {name={cluster}}
 {
-TBD...
-
-\textit{Synonyms : None.}
-}
-
-\longnewglossaryentry{cfacpu}
-{name={processor}}
-{
-TBD...
+A group of \gls{kthread} executed in isolation.
 
 \textit{Synonyms : None.}
@@ -91 +83 @@
 {name={thread}}
 {
-TBD...
+User level threads that are the default in \CFA. Generally declared using the \code{thread} keyword.
 
 \textit{Synonyms : None.}
@@ -99 +91 @@
 {name={preemption}}
 {
-TBD...
+Involuntary context switch imposed on threads at a specified rate.
 
 \textit{Synonyms : None.}

doc/proposals/concurrency/annex/local.bib

@@ -38 +38 @@
         keywords        = {Intel, TBB},
         title   = {Intel Thread Building Blocks},
+        note            = "\url{https://www.threadingbuildingblocks.org/}"
 }
 
@@ -74 +75 @@
         title   = {TwoHardThings},
         author  = {Martin Fowler},
-        address = {https://martinfowler.com/bliki/TwoHardThings.html},
+        howpublished= "\url{https://martinfowler.com/bliki/TwoHardThings.html}",
         year            = 2009
 }
@@ -88 +89 @@
 }
 
-@misc{affinityLinux,
+@book{Herlihy93,
+        title={Transactional memory: Architectural support for lock-free data structures},
+        author={Herlihy, Maurice and Moss, J Eliot B},
+        volume={21},
+        number={2},
+        year={1993},
+        publisher={ACM}
+}
+
+@manual{affinityLinux,
         title           = "{Linux man page - sched\_setaffinity(2)}"
 }
 
-@misc{affinityWindows,
+@manual{affinityWindows,
         title           = "{Windows (vs.85) - SetThreadAffinityMask function}"
 }
 
-@misc{affinityFreebsd,
+@manual{switchToWindows,
+        title           = "{Windows (vs.85) - SwitchToFiber function}"
+}
+
+@manual{affinityFreebsd,
         title           = "{FreeBSD General Commands Manual - CPUSET(1)}"
 }
 
-@misc{affinityNetbsd,
+@manual{affinityNetbsd,
         title           = "{NetBSD Library Functions Manual - AFFINITY(3)}"
 }
 
-@misc{affinityMacosx,
+@manual{affinityMacosx,
         title           = "{Affinity API Release Notes for OS X v10.5}"
 }
+
+
+@misc{NodeJs,
+        title           = "{Node.js}",
+        howpublished= "\url{https://nodejs.org/en/}",
+}
+
+@misc{SpringMVC,
+        title           = "{Spring Web MVC}",
+        howpublished= "\url{https://docs.spring.io/spring/docs/current/spring-framework-reference/web.html}",
+}
+
+@misc{Django,
+        title           = "{Django}",
+        howpublished= "\url{https://www.djangoproject.com/}",
+}