Ignore:
Timestamp:
Sep 21, 2022, 11:02:15 AM (3 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, ast-experimental, master, pthread-emulation, stuck-waitfor-destruct
Children:
95dab9e
Parents:
428adbc (diff), 0bd46fd (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:

Merge branch 'master' into pthread-emulation

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r428adbc r7f6a7c9  
    188188        Unstructured {\it sends\/} and {\it accepts\/} are forbidden.  To
    189189        this the mechanisms of {\it delegation\/} and {\it delay queues\/}
    190         are added to enable switching and triggering of activities. 
    191         Concurrent subactivities and atomic actions are provided for 
     190        are added to enable switching and triggering of activities.
     191        Concurrent subactivities and atomic actions are provided for
    192192        compactness and simplicity.  We show how solutions to many important
    193193        concurrent problems [sic], such as pipelining, constraint management
    194         and ``administration'' can be compactly expressed using these 
     194        and ``administration'' can be compactly expressed using these
    195195        mechanisms.
    196196   },
    … …  
    529529        like ``c is a collection with element type e'', but how such things
    530530        are used isn't explained.
    531        
     531
    532532        For each descriptive class used in a parameter list, an implicit
    533533        parameter is created that is passed a vector of procedures.
    … …  
    11721172@techreport{Prokopec11,
    11731173    keywords    = {ctrie, concurrent map},
    1174     contributer = {a3moss@uwaterloo.ca}, 
     1174    contributer = {a3moss@uwaterloo.ca},
    11751175    title       = {Cache-aware lock-free concurrent hash tries},
    11761176    author      = {Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
    … …  
    15001500    year        = 2001,
    15011501    url         = {http://citeseer.ist.psu.edu/berger01composing.html}
    1502 } 
     1502}
    15031503
    15041504@article{Andrews83,
    … …  
    15451545        We give a rationale for our decisions and compare Concurrent C
    15461546        extensions with the concurrent programming facilities in Ada.
    1547         Concurrent C has been implemented on the UNIX system running on a 
     1547        Concurrent C has been implemented on the UNIX system running on a
    15481548        single processor.  A distributed version of Concurrent C is being
    15491549        implemented.
    … …  
    18141814    keywords    = {objects, concurrency},
    18151815    contributer = {gjditchfield@plg},
    1816     author      = {P. A. Buhr and G. J. Ditchfield and B. M. Younger and C. R. Zarnke}, 
     1816    author      = {P. A. Buhr and G. J. Ditchfield and B. M. Younger and C. R. Zarnke},
    18171817    title       = {Concurrency in {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    18181818    institution = {Department of Computer Science, University of Waterloo},
    … …  
    20442044    series      = {Lecture Notes in Computer Science, Ed. by G. Goos and J. Hartmanis}
    20452045}
    2046  
     2046
    20472047@article{Wang71,
    20482048    keywords    = {coroutines},
    … …  
    20562056    pages       = {425-449},
    20572057}
    2058  
     2058
    20592059@article{Castagna95,
    20602060    keywords    = {type-systems, covariance, contravariance},
    … …  
    23902390    year        = 1996,
    23912391}
    2392  
     2392
    23932393@article{Richardson93,
    23942394    keywords    = {C++, persistence, database},
    … …  
    24732473    publisher   = {ACM},
    24742474    address     = {New York, NY, USA},
    2475 } 
     2475}
    24762476
    24772477@article{design,
    … …  
    27002700    publisher   = {ACM},
    27012701    address     = {New York, NY, USA},
    2702 } 
     2702}
    27032703
    27042704@book{Eiffel,
    … …  
    33573357    publisher   = {ACM},
    33583358    address     = {New York, NY, USA},
    3359 } 
     3359}
    33603360
    33613361@manual{Fortran95,
    … …  
    37403740    keywords    = {processes, distributed computing},
    37413741    contributer = {pabuhr@plg},
    3742     author      = {Robert E. Strom and David F. Bacon and Arthur P. Goldberg and Andy Lowry and Daniel M. Yellin and Shaula Alexander Yemini}, 
     3742    author      = {Robert E. Strom and David F. Bacon and Arthur P. Goldberg and Andy Lowry and Daniel M. Yellin and Shaula Alexander Yemini},
    37433743    title       = {Hermes: A Language for Distributed Computing},
    37443744    institution = {IBM T. J. Watson Research Center},
    … …  
    37513751    keywords    = {processes, distributed computing},
    37523752    contributer = {pabuhr@plg},
    3753     author      = {Robert E. Strom and David F. Bacon and Arthur P. Goldberg and Andy Lowry and Daniel M. Yellin and Shaula Alexander Yemini}, 
     3753    author      = {Robert E. Strom and David F. Bacon and Arthur P. Goldberg and Andy Lowry and Daniel M. Yellin and Shaula Alexander Yemini},
    37543754    title       = {Hermes: A Language for Distributed Computing},
    37553755    publisher   = {Prentice-Hall},
    … …  
    37573757    series      = {Innovative Technology},
    37583758    year        = 1991,
     3759}
     3760
     3761@mastersthesis{Zulfiqar22,
     3762    keywords    = {Cforall, memory allocation, threading},
     3763    contributer = {pabuhr@plg},
     3764    author      = {Mubeen Zulfiqar},
     3765    title       = {High-Performance Concurrent Memory Allocation},
     3766    school      = {School of Computer Science, University of Waterloo},
     3767    year        = 2022,
     3768    address     = {Waterloo, Ontario, Canada, N2L 3G1},
     3769    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/18329}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/18329}},
    37593770}
    37603771
    … …  
    42914302    pages       = {85-103}
    42924303}
    4293    
     4304
    42944305@article{Murer96,
    42954306    keywords    = {interators, generators, cursors},
    … …  
    43194330
    43204331% J
    4321                  
     4332
    43224333@book{Java,
    43234334    keywords    = {Java},
    … …  
    46164627    publisher   = {ACM},
    46174628    address     = {New York, NY, USA},
    4618 } 
     4629}
    46194630
    46204631@article{Dice15,
    … …  
    49674978    number      = 31
    49684979}
    4969  
     4980
    49704981@article{Dueck90,
    49714982    keywords    = {attribute grammars},
    … …  
    50965107    keywords    = {multiple inheritance},
    50975108    contributer = {pabuhr@plg},
    5098     author      = {Harry Bretthauer and Thomas Christaller and J\"{u}rgen Kopp}, 
     5109    author      = {Harry Bretthauer and Thomas Christaller and J\"{u}rgen Kopp},
    50995110    title       = {Multiple vs. Single Inheritance in Object-oriented Programming Languages. What do we really want?},
    51005111    institution = {Gesellschaft F\"{u}r Mathematik und Datenverarbeitung mbH},
    … …  
    56395650    publisher   = {ACM},
    56405651    address     = {New York, NY, USA},
    5641 } 
     5652}
    56425653
    56435654@book{Deitel04,
    … …  
    58165827    year        = 1980,
    58175828    month       = nov, volume = 15, number = 11, pages = {47-56},
    5818     note        = {Proceedings of the ACM-SIGPLAN Symposium on the {Ada} Programming Language}, 
     5829    note        = {Proceedings of the ACM-SIGPLAN Symposium on the {Ada} Programming Language},
    58195830    comment     = {
    58205831        The two-pass (bottom-up, then top-down) algorithm, with a proof
    … …  
    59465957        Given a base typed lambda calculus with function types, type
    59475958        abstractions, and a recursive expression \(\mbox{fix } x:t.e\),
    5948         then type inference for the partially typed language 
     5959        then type inference for the partially typed language
    59495960        \begin{eqnarray}
    59505961        \lambda x:\tau.e        &\Rightarrow& \lambda x.e       \\
    … …  
    65926603        manner.  The paper also discusses efficient composition of
    65936604        sequences of asynchronous calls to different locations in a
    6594         network. 
     6605        network.
    65956606    }
    65966607}
    … …  
    66056616    volume      = 32, number = 4, pages = {305-311},
    66066617    abstract    = {
    6607        
     6618
    66086619    }
    66096620}
    … …  
    69236934        partitioning switch statements into dense tables.  It also
    69246935        implements target-independent function tracing and expression-level
    6925         profiling. 
     6936        profiling.
    69266937    }
    69276938}
    … …  
    71397150    publisher   = {ACM},
    71407151    address     = {New York, NY, USA},
    7141 } 
     7152}
    71427153
    71437154@inproceedings{Leissa14,
    … …  
    72577268    keywords    = {Smalltalk, abstract class, protocol},
    72587269    contributer = {gjditchfield@plg},
    7259     author      = {A. Goldberg and D. Robson}, 
     7270    author      = {A. Goldberg and D. Robson},
    72607271    title       = {Smalltalk-80: The Language and its Implementation},
    72617272    publisher   = {Addison-Wesley},
    … …  
    78347845    title       = {Thread (computing)},
    78357846    author      = {{Threading Model}},
    7836     howpublished= {\href{https://en.wikipedia.org/wiki/Thread_(computing)}{https://\-en.wikipedia.org/\-wiki/\-Thread\_(computing)}},
     7847    howpublished= {\href{https://en.wikipedia.org/wiki/Thread_(computing)}{https://\-en.wikipedia.org/\-wiki/\-Thread\_\-(computing)}},
     7848}
     7849
     7850@misc{Tokio,
     7851    contributer = {pabuhr@plg},
     7852    key         = {Tokio},
     7853    title       = {{T}okio Asynchronous Runtime for {R}ust},
     7854    author      = {Tokio},
     7855    howpublished= {\href{https://tokio.rs}{https://\-tokio.rs}},
    78377856}
    78387857
    … …  
    78707889    note        = {Lecture Notes in Computer Science, v. 19},
    78717890    abstract    = {
    7872        
     7891
    78737892    }
    78747893}
    … …  
    79898008    publisher   = {USENIX Association},
    79908009    address     = {Berkeley, CA, USA},
    7991 } 
     8010}
    79928011
    79938012@article{Leroy00,
    … …  
    81528171    doi         = {10.1145/3379483},
    81538172    journal     = {Proc. ACM Meas. Anal. Comput. Syst.},
    8154     month       = mar,
     8173    month       = jun,
    81558174    numpages    = {30},
    81568175}
    … …  
    83358354    author      = {Bjarne Stroustrup},
    83368355    title       = {What is ``Object-Oriented Programming''?},
    8337     booktitle   = {Proceedings of the First European Conference on Object Oriented Programming}, 
     8356    booktitle   = {Proceedings of the First European Conference on Object Oriented Programming},
    83388357    month       = jun,
    83398358    year        = 1987
    … …  
    83778396    publisher   = {ACM},
    83788397    address     = {New York, NY, USA},
    8379 } 
     8398}
    83808399
    83818400% X
Note: See TracChangeset for help on using the changeset viewer.