Changes in / [405dbb3:0188539c]

Location:

doc

Files:

• LaTeXmacros/lstlang.sty (modified) (2 diffs)
• bibliography/pl.bib (modified) (8 diffs)
• proposals/modules.md (modified) (2 diffs)

doc/LaTeXmacros/lstlang.sty

@@ -8 +8 @@
 %% Created On       : Sat May 13 16:34:42 2017
 %% Last Modified By : Peter A. Buhr
-%% Last Modified On : Mon Apr 15 11:28:44 2024
-%% Update Count     : 43
+%% Last Modified On : Fri May 31 14:36:02 2024
+%% Update Count     : 44
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
@@ -115 +115 @@
         morekeywords={
                 alignas, _Alignas, alignof, _Alignof, __alignof, __alignof__, and, asm, __asm, __asm__, _Atomic, __attribute, __attribute__,
-                __auto_type, basetypeof, _Bool, catch, catchResume, choose, coerce, corun, cofor, _Complex, __complex, __complex__,
+                __auto_type, basetypeof, _Bool, bool, catch, catchResume, choose, coerce, corun, cofor, _Complex, __complex, __complex__,
                 __const, __const__, continue, coroutine, _Decimal32, _Decimal64, _Decimal128, disable, dtype, enable, exception, __extension__,
                 fallthrough, fallthru, finally, fixup, __float80, float80, __float128, float128, _Float16, _Float32, _Float32x, _Float64,

doc/bibliography/pl.bib

@@ -813 +813 @@
     title       = {The Art of Multiprocessor Programming},
     year        = 2008,
-    isbn        = {0123705916, 9780123705914},
     publisher   = {Morgan Kaufmann Publishers},
     address     = {San Francisco},
@@ -928 +927 @@
     month       = sep,
     year        = 2013,
-    pages       = {46--53},
+    pages       = {46-53},
     publisher   = {ACM},
     address     = {New York, NY, USA},
+}
+
+@inproceedings{Aravind18,
+    contributer = {pabuhr@plg},
+    author      = {Alex Aravind},
+    title       = {Barrier Synchronization: Simplified, Generalized, and Solved without Mutual Exclusion},
+    organization= {IEEE International Parallel and Distributed Processing Symposium Workshops},
+    series      = {IPDPSW'18},
+    month       = may,
+    year        = 2018,
+    pages       = {773-782},
 }
 
@@ -1106 +1116 @@
     publisher   = {ACM},
     address     = {New York, NY, USA},
+}
+
+@article{Brooks87,
+    author      = {Eugene D. Brooks III},
+    title       = {The Butterfly Barrier},
+    journal     = {International Journal of Parallel Programming},
+    volume      = 15,
+    number      = 4,
+    pages       = {295-307},
+    year        = 1987,
 }
 
@@ -4340 +4360 @@
     chapter     = {1},
     publisher   = {The MIT Press}
+}
+
+@article{Lamport08,
+    keywords    = {concurrency, barrier},
+    contributer = {pabuhr@plg},
+    author      = {Leslie Lamport},
+    title       = {Implementing Dataflow with Threads},
+    journal     = {Distributed Computing},
+    year        = 2008,
+    month       = jul,
+    volume      = 21,
+    number      = 3,
+    pages       = {163-181},
 }
 
@@ -5171 +5204 @@
     journal     = {ACM Trans. Parallel Comput.},
     issn        = {2329-4949},
-    url         = {https://doi.org/10.1145/3584696},
-    doi         = {10.1145/3584696},
     articleno   = 11,
     numpages    = 23,
@@ -7769 +7800 @@
 }
 
+@book{Scott24,
+    author      = {Michael L. Scott and Trevor Brown},
+    booktitle   = {Shared-Memory Synchronization},
+    series      = {Synthesis Lectures on Computer Architecture},
+    edition     = {2nd},
+    year        = 2024,
+    publisher   = {Springer International Publishing},
+    address     = {Cham, Switzerland},
+}
+
 @inproceedings{Leissa14,
     title       = {{S}ierra: a {SIMD} extension for {C}++},
@@ -8661 +8702 @@
 }
 
+@article{Hensgen88,
+    author      = {Debra Hensgen and Raphael Finkel and Udi Manber},
+    title       = {Two algorithms for barrier synchronization},
+    journal     = {International Journal of Parallel Programming},
+    volume      = 17,
+    number      = 1,
+    pages       = {1-17},
+    year        = 1988,
+}
+
 @article{Leroy00,
     keywords    = {type-systems, exceptions},
@@ -8752 +8803 @@
     title       = {Understanding Control Flow: Concurrent Programming using $\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
     publisher   = {Springer},
-    address     = {Switzerland},
+    address     = {Cham, Switzerland},
     year        = 2016,
 }

doc/proposals/modules.md

@@ -122 +122 @@
 ----'
 
-Programming languages are divided into those embedded in an IDE, think Smalltalk and Racket, largely manipulating a symbol-table/abstract-symbol-tree, and those where the IDE is an external program largely manipulating program text.
+Programming languages are divided into those embedded in an IDE, think Smalltalk and Lisp, Database, largely manipulating a symbol-table/abstract-symbol-tree, and those where the IDE is an external program largely manipulating program text.
 Separate compilation in programming languages without an embedded IDE is the process of giving a compiler command a series of files that are read and processed as a whole.
 The compiler output is placed in another set of files for execution loading or further processing.
@@ -133 +133 @@
 In a file system where file-links can be embedded in data creating a tree, duplicate source code can be eliminated by generating a complex linking structure among the source files.
 Without embedded file-links, dynamic embedding using #include/import is necessary to compose all the program components necessary for a compilation.
+
+inlining?
 
 I see two separate issues with respect to program structuring for controlling visibility and initializing a program.