Ignore:
Timestamp:
Jun 12, 2023, 2:45:32 PM (3 years ago)
Author:
Fangren Yu <f37yu@…>
Branches:
ast-experimental, master, stuck-waitfor-destruct
Children:
62d62db
Parents:
34b4268 (diff), 251ce80 (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 ast-experimental

File:
1 edited

Legend:

Unmodified
Added
Removed
  • doc/bibliography/pl.bib

    r34b4268 r24d6572  
    147147    author      = {Zhang, Yizhou and Salvaneschi, Guido and Beightol, Quinn and Liskov, Barbara and Myers, Andrew C.},
    148148    title       = {Accepting Blame for Safe Tunneled Exceptions},
    149     booktitle   = {Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation},
     149    organization= {Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation},
    150150    series      = {PLDI'16},
    151151    year        = {2016},
     
    198198}
    199199
     200@inproceedings{Koster16,
     201    keywords    = {Actor Model, Concurrency},
     202    contributer = {pabuhr@plg},
     203    author      = {De Koster, Joeri and Van Cutsem, Tom and De Meuter, Wolfgang},
     204    title       = {43 Years of Actors: A Taxonomy of Actor Models and Their Key Properties},
     205    publisher   = {ACM},
     206    address     = {New York, NY, USA},
     207    organization= {Proceedings of the 6th International Workshop on Programming Based on Actors, Agents, and Decentralized Control},
     208    pages       = {31-40},
     209    numpages    = {10},
     210    year        = {2016},
     211    location    = {Amsterdam, Netherlands},
     212    series      = {AGERE 2016}
     213}
     214
     215@misc{ActorBenchmarks,
     216    keywords    = {Actors, microbenchmarks, uC++. CAF, ProtoActor, AkkaC, AkkaT},
     217    contributer = {pabuhr@plg},
     218    key         = {ActorBenchmarks},
     219    title       = {Actor Benchmarks},
     220    author      = {Peter A. Buhr and Colby A. Parsons},
     221    howpublished= {\href{https://github.com/pabuhr/ActorExperiments}{https://\-github.com/\-pabuhr/\-ActorExperiments}},
     222    year        = 2022,
     223}
     224
    200225@book{Actors,
    201226    keywords    = {actors, concurrency},
     
    205230    publisher   = {MIT Press, Cambridge},
    206231    year        = 1986
     232}
     233
     234@inproceedings{Srinivasan08,
     235    author      = {Srinivasan, Sriram and Mycroft, Alan},
     236    editor      = {Vitek, Jan},
     237    title       = {Kilim: Isolation-Typed Actors for Java},
     238    organization= {ECOOP 2008 -- Object-Oriented Programming},
     239    year        = {2008},
     240    publisher   = {Springer Berlin Heidelberg},
     241    address     = {Berlin, Heidelberg},
     242    pages       = {104--128},
     243}
     244
     245@inproceedings{Haller07,
     246    author      = {Haller, Philipp and Odersky, Martin},
     247    editor      = {Murphy, Amy L. and Vitek, Jan},
     248    title       = {Actors That Unify Threads and Events},
     249    organization= {Coordination Models and Languages},
     250    year        = 2007,
     251    publisher   = {Springer Berlin Heidelberg},
     252    address     = {Berlin, Heidelberg},
     253    pages       = {171-190},
    207254}
    208255
     
    245292}
    246293
     294@manual{Ada95,
     295    keywords    = {Ada},
     296    contributer = {pabuhr@plg},
     297    title       = {{A}da Reference Manual},
     298    edition     = {International Standard {ISO}/{IEC} {8652:1995(E)} with {COR.1:2000}},
     299    organization= {Intermetrics, Inc.},
     300    month       = dec,
     301    year        = 1995,
     302    note        = {Language and Standards Libraries}
     303}
     304
     305@manual{Ada12,
     306    keywords    = {ISO/IEC Ada},
     307    contributer = {pabuhr@plg},
     308    author      = {Ada12},
     309    title       = {Programming languages -- {Ada} ISO/IEC 8652:2012},
     310    edition     = {3rd},
     311    organization= {International Standard Organization},
     312    address     = {Geneva, Switzerland},
     313    year        = 2012,
     314    note        = {\href{https://www.iso.org/standard/61507.html}{https://\-www.iso.org/\-standard/\-61507.html}},
     315}
     316
     317@manual{Ada95:annotated,
     318    keywords    = {Ada},
     319    contributer = {pabuhr@plg},
     320    title       = {Annotated {A}da Reference Manual},
     321    edition     = {International Standard {ISO}/{IEC} {8652:1995(E)} with {COR.1:2000}},
     322    organization= {Intermetrics, Inc.},
     323    month       = dec,
     324    year        = 1995,
     325    note        = {Language and Standards Libraries}
     326}
     327
    247328@article{dim:ada,
    248329    keywords    = {Dimensional Analysis, Ada},
     
    256337    number      = 2,
    257338    pages       = {189-203},
     339}
     340
     341@article{Agrawal08,
     342    keywords    = {Adaptive scheduling, multiprocessing, processor allocation, randomized algorithm, space sharing, thread scheduling, two-level scheduling, work-stealing},
     343    author      = {Agrawal, Kunal and Leiserson, Charles E. and He, Yuxiong and Hsu, Wen Jing},
     344    title       = {Adaptive Work-stealing with Parallelism Feedback},
     345    journal     = {ACM Trans. Comput. Syst.},
     346    issue_date  = {September 2008},
     347    volume      = {26},
     348    number      = {3},
     349    month       = sep,
     350    year        = {2008},
     351    pages       = {7:1-7:32},
     352    publisher   = {ACM},
     353    address     = {New York, NY, USA},
    258354}
    259355
     
    376472    month       = sep,
    377473    year        = 2016,
    378     note        = {\href{http://doc.akka.io/docs/akka/2.4/AkkaScala.pdf}{http://\-doc.akka.io/\-docs/\-akka/\-2.4/\-AkkaScala.pdf}},
     474    note        = {\url{http://doc.akka.io/docs/akka/2.4/AkkaScala.pdf}},
     475}
     476
     477@misc{AkkaClassic,
     478    contributer = {pabuhr@plg},
     479    key         = {AkkaClassic},
     480    title       = {Akka Classic Actors},
     481    author      = {{Lightbend}},
     482    howpublished= {\url{https://doc.akka.io/docs/akka/current/index-classic.html}},
     483    year        = 2023,
     484}
     485
     486@misc{AkkaFuture,
     487    contributer = {pabuhr@plg},
     488    key         = {AkkaFuture},
     489    title       = {Akka Futures},
     490    author      = {{Lightbend}},
     491    howpublished= {\url{https://doc.akka.io/docs/akka/2.5/futures.html}},
     492    year        = 2022,
     493}
     494
     495@misc{AkkaTyped,
     496    contributer = {pabuhr@plg},
     497    key         = {AkkaTyped},
     498    title       = {Akka Typed Actors},
     499    author      = {{Lightbend}},
     500    howpublished= {\url{https://doc.akka.io/docs/akka/2.5/typed-actors.html}},
     501    year        = 2022,
    379502}
    380503
     
    548671}
    549672
     673@inproceedings{Mitzenmacher98,
     674    author      = {Mitzenmacher, Michael},
     675    title       = {Analyses of Load Stealing Models Based on Differential Equations},
     676    organization= {Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures},
     677    series      = {SPAA '98},
     678    year        = {1998},
     679    isbn        = {0-89791-989-0},
     680    location    = {Puerto Vallarta, Mexico},
     681    pages       = {212-221},
     682    publisher   = {ACM},
     683    address     = {New York, NY, USA},
     684}
     685
     686@inproceedings{Squillante91,
     687    author      = {Squillante, Mark S. and Nelson, Randolph D.},
     688    title       = {Analysis of Task Migration in Shared-memory Multiprocessor Scheduling},
     689    organization= {Proceedings of the 1991 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems},
     690    series      = {SIGMETRICS '91},
     691    year        = {1991},
     692    isbn        = {0-89791-392-2},
     693    location    = {San Diego, California, USA},
     694    pages       = {143-155},
     695    publisher   = {ACM},
     696    address     = {New York, NY, USA},
     697}
     698
    550699@article{Sinha00,
    551700    author      = {Saurabh Sinha and Mary Jean Harrold},
     
    562711    author      = {Martin P. Robillard and Gail C. Murphy},
    563712    title       = {Analyzing Exception Flow in {J}ava Programs},
    564     booktitle   = {ESEC/FSE-7: Proceedings of the 7th European Software Engineering Conference held jointly
     713    organization= {ESEC/FSE-7: Proceedings of the 7th European Software Engineering Conference held jointly
    565714                   with the 7th ACM SIGSOFT International Symposium on Foundations of Software Engineering},
    566715    year        = 1999,
     
    604753    author      = {Henry Qin and Qian Li and Jacqueline Speiser and Peter Kraft and John Ousterhout},
    605754    title       = {Arachne: Core-Aware Thread Management},
    606     booktitle   = {13th {USENIX} Symp. on Oper. Sys. Design and Impl. ({OSDI} 18)},
     755    organization= {13th {USENIX} Symp. on Oper. Sys. Design and Impl. ({OSDI} 18)},
    607756    year        = {2018},
    608757    address     = {Carlsbad, CA},
     
    661810    author      = {Jaewoong Chung and Luke Yen and Stephan Diestelhorst and Martin Pohlack and Michael Hohmuth and David Christie and Dan Grossman},
    662811    title       = {ASF: AMD64 Extension for Lock-Free Data Structures and Transactional Memory},
    663     booktitle   = {Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture},
     812    organization= {Proceedings of the 2010 43rd Annual IEEE/ACM International Symposium on Microarchitecture},
    664813    series      = {MICRO '43},
    665814    year        = 2010,
     
    682831}
    683832
     833@misc{AsyncAwait,
     834    contributer = {pabuhr@plg},
     835    key         = {AsyncAwait},
     836    title       = {Async Await},
     837    author      = {{WikipediA}},
     838    howpublished= {\href{https://en.wikipedia.org/wiki/Async/await}{https://\-en.wikipedia.org/\-wiki/\-Async/\-await}},
     839    year        = 2022,
     840}
     841
    684842@inproceedings{Krischer08,
    685843    keywords    = {exception handling, asynchronous, blocked tasks},
     
    687845    author      = {Roy Krischer and Peter A. Buhr},
    688846    title       = {Asynchronous Exception Propagation in Blocked Tasks},
    689     booktitle   = {4th International Workshop on Exception Handling (WEH.08)},
     847    organization= {4th International Workshop on Exception Handling (WEH.08)},
    690848    optorganization= {16th International Symposium on the Foundations of Software Engineering (FSE 16)},
    691849    address     = {Atlanta, U.S.A},
     
    696854
    697855@article{Joung00,
     856    keywords    = {group mutual exclusion, congenial talking philosophers, resource allocation, shared-memory algorithms},
    698857    author      = {Joung, Yuh-Jzer},
    699858    title       = {Asynchronous group mutual exclusion},
     
    759918    publisher   = {ACM},
    760919    address     = {New York, NY, USA},
     920}
     921
     922@techreport{Neill09,
     923    author      = {Daniel Neill and Adam Wierman},
     924    title       = {On the Benefits of Work Stealing in Shared-Memory Multiprocessors},
     925    institution = {Carnegie Mellon University},
     926    address     = {California Institute of Technology, Pasadena, CA, USA},
     927    note        = {\href{http://www.cs.cmu.edu/~acw/15740/paper.pdf}{http://\-www.cs.cmu.edu/\-$\sim$acw/\-15740/\-paper.pdf}, Accessed May 2014},
     928    year        = 2009,
    761929}
    762930
     
    9161084}
    9171085
     1086@inproceedings{Ding12,
     1087    keywords    = {fairness, multicore, time sharing, work stealing},
     1088    author      = {Ding, Xiaoning and Wang, Kaibo and Gibbons, Phillip B. and Zhang, Xiaodong},
     1089    title       = {BWS: Balanced Work Stealing for Time-sharing Multicores},
     1090    organization= {Proceedings of the 7th ACM European Conference on Computer Systems},
     1091    series      = {EuroSys '12},
     1092    year        = {2012},
     1093    location    = {Bern, Switzerland},
     1094    pages       = {365-378},
     1095    publisher   = {ACM},
     1096    address     = {New York, NY, USA},
     1097}
     1098
    9181099% C
    9191100
     
    9901171}
    9911172
     1173@inproceedings{CAF,
     1174    keywords    = {performance measurement, actor model, c++, message-oriented middleware, distributed debugging},
     1175    contributer = {pabuhr@plg},
     1176    author      = {Charousset, Dominik and Hiesgen, Raphael and Schmidt, Thomas C.},
     1177    title       = {{CAF} -- the {C}++ Actor Framework for Scalable and Resource-Efficient Applications},
     1178    publisher   = {ACM},
     1179    address     = {New York, NY, USA},
     1180    organization= {Proceedings of the 4th International Workshop on Programming Based on Actors Agents \& Decentralized Control},
     1181    pages       = {15-28},
     1182    numpages    = 14,
     1183    location    = {Portland, Oregon, USA},
     1184    series      = {AGERE'14},
     1185    year        = 2014,
     1186}
     1187
    9921188@techreport{cfa-cc,
    9931189    keywords    = {Cforall, cfa-cc, transpiler},
     
    10131209    year        = 2018,
    10141210    pages       = {2111-2146},
    1015     note        = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
     1211    optnote     = {\href{http://dx.doi.org/10.1002/spe.2624}{http://\-dx.doi.org/\-10.1002/\-spe.2624}},
    10161212}
    10171213
     
    11721368@techreport{Prokopec11,
    11731369    keywords    = {ctrie, concurrent map},
    1174     contributer = {a3moss@uwaterloo.ca},
     1370    contributer = {a3moss@uwaterloo.ca},
    11751371    title       = {Cache-aware lock-free concurrent hash tries},
    11761372    author      = {Prokopec, Aleksandar and Bagwell, Phil and Odersky, Martin},
     
    14961692    author      = {Emery D. Berger and Benjamin G. Zorn and Kathryn S. McKinley},
    14971693    title       = {Composing High-Performance Memory Allocators},
    1498     booktitle   = {{SIGPLAN} Conference on Programming Language Design and Implementation},
     1694    organization= {{SIGPLAN} Conference on Programming Language Design and Implementation},
    14991695    pages       = {114-124},
    15001696    year        = 2001,
     
    16741870    month       = sep,
    16751871    year        = 2020,
    1676     note        = {\href{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}{https://\-plg.uwaterloo.ca/\-$\sim$usystem/\-pub/\-uSystem/uC++.pdf}},
     1872    note        = {\url{https://plg.uwaterloo.ca/~usystem/pub/uSystem/uC++.pdf}},
    16771873}
    16781874
     
    18082004    number      = 5,
    18092005    pages       = {1005-1042},
    1810     note        = {\href{https://onlinelibrary.wiley.com/doi/10.1002/spe.2925}{https://\-onlinelibrary.wiley.com/\-doi/\-10.1002/\-spe.2925}},
     2006    optnote     = {\href{https://onlinelibrary.wiley.com/doi/10.1002/spe.2925}{https://\-onlinelibrary.wiley.com/\-doi/\-10.1002/\-spe.2925}},
    18112007}
    18122008
     
    19962192    address     = {Eindhoven, Neth.},
    19972193    year        = 1965,
    1998     note        = {Reprinted in \cite{Genuys68} pp. 43--112.}
     2194    optnote     = {Reprinted in \cite{Genuys68} pp. 43--112.},
     2195    note        = {\url{https://pure.tue.nl/ws/files/4279816/344354178746665.pdf}},
    19992196}
    20002197
     
    20032200    author      = {Adya, Atul and Howell, Jon and Theimer, Marvin and Bolosky, William J. and Douceur, John R.},
    20042201    title       = {Cooperative Task Management Without Manual Stack Management},
    2005     booktitle   = {Proc. of the General Track USENIX Tech. Conf.},
     2202    organization= {Proc. of the General Track USENIX Tech. Conf.},
    20062203    series      = {ATEC '02},
    20072204    year        = {2002},
     
    21112308    year        = 2016,
    21122309    note        = {\href{http://dlang.org/spec/spec.html}{http://\-dlang.org/\-spec/\-spec.html}},
     2310}
     2311
     2312@article{Acar02,
     2313    author      = {Acar, Umut A. and Blelloch, Guy E. and Blumofe, Robert D.},
     2314    title       = {The Data Locality of Work Stealing},
     2315    journal     = {Theory of Computing Systems},
     2316    volume      = {35},
     2317    number      = {3},
     2318    year        = {2002},
     2319    publisher   = {Springer-Verlag},
     2320    pages       = {321-347},
    21132321}
    21142322
     
    23702578    editor      = {R. E. A. Mason},
    23712579    organization= {IFIP},
    2372     publisher = {North-Holland},
    2373     summary = {
     2580    publisher   = {North-Holland},
     2581    summary     = {
    23742582        Packages group related declarations or subprograms, and encapsulate
    23752583        data types.  Separate interfaces and bodies promotes information
     
    25982806    address     = {Waterview Corporate Center, 20 Waterview Boulevard, Parsippany, NJ 07054},
    25992807    year        = {1993}
     2808}
     2809
     2810@inproceedings{Chen14,
     2811    keywords    = {Core allocation, Multi-programmed, Work-stealing},
     2812    author      = {Chen, Quan and Zheng, Long and Guo, Minyi},
     2813    title       = {DWS: Demand-aware Work-Stealing in Multi-programmed Multi-core Architectures},
     2814    organization= {Proceedings of Programming Models and Applications on Multicores and Manycores},
     2815    series      = {PMAM'14},
     2816    year        = {2007},
     2817    location    = {Orlando, FL, USA},
     2818    pages       = {131:131-131:139},
     2819    articleno   = {131},
     2820    numpages    = {9},
     2821    publisher   = {ACM},
     2822    address     = {New York, NY, USA},
    26002823}
    26012824
     
    26312854    year        = 2003,
    26322855    pages       = {29-35},
     2856}
     2857
     2858@inproceedings{Hamidzadeh96,
     2859    keywords    = {processor scheduling, resource allocation, shared memory systems, average memory referencing delay},
     2860    author      = {Hamidzadeh, B. and Lilja, D.J.},
     2861    booktitle   = {Distributed Computing Systems, 1996., Proceedings of the 16th International Conference on},
     2862    title       = {Dynamic scheduling strategies for shared-memory multiprocessors},
     2863    year        = {1996},
     2864    month       = {May},
     2865    pages       = {208-215},
     2866}
     2867
     2868@article{Hendler06,
     2869    keywords    = {Concurrent programming; Load balancing; Work stealing; Lock-free; Data structures},
     2870    author      = {Hendler, Danny and Lev, Yossi and Moir, Mark and Shavit, Nir},
     2871    title       = {A dynamic-sized nonblocking work stealing deque},
     2872    journal     = {Distributed Computing},
     2873    volume      = {18},
     2874    number      = {3},
     2875    year        = {2006},
     2876    publisher   = {Springer-Verlag},
     2877    pages       = {189-207},
    26332878}
    26342879
     
    27342979}
    27352980
     2981@inproceedings{Blelloch04,
     2982    keywords    = {chip multiprocessors, multithreaded architectures, scheduling algorithms, shared cache},
     2983    author      = {Blelloch, Guy E. and Gibbons, Phillip B.},
     2984    title       = {Effectively Sharing a Cache Among Threads},
     2985    organization= {Proceedings of the Sixteenth Annual ACM Symposium on Parallelism in Algorithms and Architectures},
     2986    series      = {SPAA '04},
     2987    year        = {2004},
     2988    location    = {Barcelona, Spain},
     2989    pages       = {235-244},
     2990    publisher   = {ACM},
     2991    address     = {New York, NY, USA},
     2992}
     2993
    27362994@techreport{Habermann80,
    27372995    keywords    = {Ada, threads},
     
    28083066    title       = {Encapsulation and Inheritance in Object-Oriented Programming Languages},
    28093067    journal     = sigplan,
    2810     volume      = {21},    number = {11},
     3068    volume      = {21},
     3069    number      = {11},
    28113070    pages       = {38-45},
    2812     month       = nov, year = 1986,
     3071    month       = nov,
     3072    year        = 1986,
    28133073    comment     = {
    28143074        Client, child interfaces should be distinct.  Child interface
     
    28663126}
    28673127
     3128@inproceedings{Ribic14,
     3129    keywords    = {dvfs, energy efficiency, language runtimes, thread management, work stealing},
     3130    author      = {Ribic, Haris and Liu, Yu David},
     3131    title       = {Energy-efficient Work-stealing Language Runtimes},
     3132    organization= {Proceedings of the 19th International Conference on Architectural Support for Programming Languages and Operating Systems},
     3133    series      = {ASPLOS '14},
     3134    year        = {2014},
     3135    location    = {Salt Lake City, Utah, USA},
     3136    pages       = {513-528},
     3137    publisher   = {ACM},
     3138    address     = {New York, NY, USA},
     3139}
     3140
    28683141@manual{EPT,
    28693142    keywords    = {concurrency, light-weight threads},
     
    28873160}
    28883161
     3162@misc{Soleimani16,
     3163    keywords    = {Erlang, scheduler, history},
     3164    contributer = {pabuhr@plg},
     3165    author      = {Hamidreza Soleimani},
     3166    title       = {Erlang Scheduler Details and Why It Matters},
     3167    month       = feb,
     3168    year        = 2016,
     3169    howpublished= {\url{https://hamidreza-s.github.io/erlang/scheduling/real-time/preemptive/migration/2016/02/09/erlang-scheduler-details.html}},
     3170}
     3171
    28893172@inproceedings{MH88,
    28903173    keywords    = {modules, general sums, general products},
     
    29033186    publisher   = {North Oxford Academic},
    29043187    year        = 1985
     3188}
     3189
     3190@article{Torrellas95,
     3191    author      = {J. Torrellas and A. Tucker and A. Gupta},
     3192    title       = {Evaluating the Performance of Cache-Affinity Scheduling in Shared-Memory Multiprocessors},
     3193    journal     = {Journal of Parallel and Distributed Computing},
     3194    volume      = {24},
     3195    number      = {2},
     3196    pages       = {139-151},
     3197    year        = {1995},
    29053198}
    29063199
     
    36143907    author      = {Robert Griesemer and Rob Pike and Ken Thompson},
    36153908    title       = {{Go} Programming Language},
     3909    address     = {Mountain View, CA, USA},
    36163910    organization= {Google},
    36173911    year        = 2009,
     
    37254019@article{Michael04a,
    37264020    keywords    = {Lock-free, synchronization, concurrent programming, memory management, multiprogramming, dynamic data structures},
     4021    contributer = {pabuhr@plg},
    37274022    author      = {Maged M. Michael},
    37284023    title       = {Hazard Pointers: Safe Memory Reclamation for Lock-Free Objects},
     
    37354030    publisher   = {IEEE Press},
    37364031    address     = {Piscataway, NJ, USA},
     4032}
     4033
     4034@inproceedings{Johansson02,
     4035    keywords    = {concurrent languages, erlang, garbage collection, message passing, runtime systems},
     4036    contributer = {pabuhr@plg},
     4037    author      = {Erik Johansson and Konstantinos Sagonas and Jesper Wilhelmsson},
     4038    title       = {Heap Architectures for Concurrent Languages Using Message Passing},
     4039    year        = {2002},
     4040    isbn        = {1581135394},
     4041    publisher   = {ACM},
     4042    address     = {New York, NY, USA},
     4043    organization= {Proceedings of the 3rd International Symposium on Memory Management},
     4044    pages       = {88-99},
     4045    location    = {Berlin, Germany},
    37374046}
    37384047
     
    39144223    title       = {Implementing Lock-Free Queues},
    39154224    booktitle   = {Seventh International Conference on Parallel and Distributed Computing Systems},
     4225    organization= {International Society for Computers and Their Applications},
    39164226    address     = {Las Vegas, Nevada, U.S.A.},
    39174227    year        = {1994},
    39184228    pages       = {64-69},
     4229}
     4230
     4231@inproceedings{Halstead84,
     4232    author      = {Halstead,Jr., Robert H.},
     4233    title       = {Implementation of Multilisp: Lisp on a Multiprocessor},
     4234    organization= {Proceedings of the 1984 ACM Symposium on LISP and Functional Programming},
     4235    series      = {LFP '84},
     4236    year        = {1984},
     4237    location    = {Austin, Texas, USA},
     4238    pages       = {9-17},
     4239    publisher   = {ACM},
     4240    address     = {New York, NY, USA},
    39194241}
    39204242
     
    46955017    contributer = {pabuhr@plg},
    46965018    author      = {Lua},
    4697     title       = {Lua 5.3 Reference Manual},
    4698     address     = {\href{https://www.lua.org/manual/5.3}{https://\-www.lua.org/\-manual/\-5.3}},
    4699     year        = 2018,
     5019    title       = {Lua 5.4 Reference Manual},
     5020    organization= {Pontifical Catholic University},
     5021    address     = {\href{https://www.lua.org/manual/5.4}{https://\-www.lua.org/\-manual/\-5.4}},
     5022    year        = 2020,
    47005023}
    47015024
     
    47645087}
    47655088
    4766 @manual{MMTk,
     5089@misc{MMTk,
    47675090    keywords    = {Java memory management},
    47685091    contributer = {pabuhr@plg},
     
    47715094    month       = sep,
    47725095    year        = 2006,
    4773     note        = {\href{http://cs.anu.edu.au/~Robin.Garner/mmtk-guide.pdf}
    4774                   {http://cs.anu.edu.au/\-$\sim$Robin.Garner/\-mmtk-guide.pdf}},
     5096    howpublished= {\url{http://cs.anu.edu.au/~Robin.Garner/mmtk-guide.pdf}},
    47755097}
    47765098
     
    50785400    year        = 2015,
    50795401    note        = {\href{http://www.mpi-forum.org/docs/mpi-3.1/mpi31-report.pdf}{http://www.mpi-forum.org/\-docs/\-mpi-3.1/\-mpi31-report.pdf}},
     5402}
     5403
     5404@article{Lombardo19,
     5405    contributer = {pabuhr@plg},
     5406    author      = {Lombardo, Gianfranco and Fornacciari, Paolo and Mordonini, Monica and Tomaiuolo, Michele and Poggi, Agostino},
     5407    title       = {A Multi-Agent Architecture for Data Analysis},
     5408    journal     = {Future Internet},
     5409    volume      = 11,
     5410    year        = 2019,
     5411    number      = 2,
    50805412}
    50815413
     
    52775609        Programming Language},
    52785610    year        = 1980,
    5279     month       = dec, pages = {139-145},
     5611    month       = dec,
     5612    pages       = {139-145},
    52805613    note        = {SIGPLAN Notices, v. 15, n. 11},
    52815614    abstract    = {
     
    53985731    year        = 2005,
    53995732    pages       = {146-196},
     5733    publisher   = {ACM},
     5734    address     = {New York, NY, USA},
     5735}
     5736
     5737@inproceedings{Hendler02,
     5738    author      = {Hendler, Danny and Shavit, Nir},
     5739    title       = {Non-blocking Steal-half Work Queues},
     5740    organization= {Proceedings of the Twenty-first Annual Symposium on Principles of Distributed Computing},
     5741    series      = {PODC '02},
     5742    year        = {2002},
     5743    location    = {Monterey, California},
     5744    pages       = {280-289},
    54005745    publisher   = {ACM},
    54015746    address     = {New York, NY, USA},
     
    56465991}
    56475992
     5993@misc{OpenTelemetry,
     5994    contributer = {pabuhr@plg},
     5995    key         = {OpenTelemetry},
     5996    title       = {OpenTelemetry},
     5997    author      = {{Asynkron AB}},
     5998    howpublished= {\href{https://proto.actor/docs/tracing}{https://\-proto.actor/\-docs/\-tracing}},
     5999    year        = 2022,
     6000}
     6001
    56486002@inproceedings{Krebbers14,
    56496003    keywords    = {c formalization},
     
    58836237}
    58846238
     6239@article{Nigro21,
     6240    keywords    = {Actors, Asynchronous messages, Reflective control on message passing, Lock-free parallel computing, Java, Scalable multi-agent systems, Parallel matrix multiplication, Iterated Prisoner's Dilemma},
     6241    contributer = {pabuhr@plg},
     6242    author      = {Libero Nigro},
     6243    title       = {Parallel Theatre: An actor framework in {Java} for high performance computing},
     6244    journal     = {Simulation Modelling Practice and Theory},
     6245    volume      = {106},
     6246    number      = {102189},
     6247    year        = {2021},
     6248}
     6249
    58856250@incollection{Stroustrup96,
    58866251    keywords    = {concurrency, C++},
     
    59176282    journal     = ieeese,
    59186283    year        = 1984,
    5919     month       = sep, volume = "SE-10", number = 5, pages = {528-543},
     6284    month       = sep,
     6285    volume      = "SE-10",
     6286    number      = 5,
     6287    pages       = {528-543},
    59206288    abstract    = {
    59216289        Parameterized programming is a powerful technique for the reliable
     
    59496317    booktitle   = {USENIX {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Conference},
    59506318    organization= {USENIX Association},
    5951     year        = 1988, pages = {1-18}
     6319    year        = 1988,
     6320    pages       = {1-18},
    59526321}
    59536322
     
    60376406}
    60386407
     6408@incollection{Kazempour08,
     6409    keywords    = {multicore processors; cache affinity; performance evaluation; scheduling},
     6410    author      = {Kazempour, Vahid and Fedorova, Alexandra and Alagheband, Pouya},
     6411    title       = {Performance Implications of Cache Affinity on Multicore Processors},
     6412    organization= {Euro-Par 2008 -- Parallel Processing},
     6413    series      = {Lecture Notes in Computer Science},
     6414    editor      = {Luque, Emilio and Margalef, Tomas and Benitez, Domingo},
     6415    year        = {2008},
     6416    volume      = {5168},
     6417    pages       = {151-161},
     6418    publisher   = {Springer Berlin Heidelberg},
     6419}
     6420
     6421@article{Anderson89,
     6422    keywords    = {data structures, multiprocessing systems, operating systems (computers), performance evaluation, critical resource waiting},
     6423    author      = {Anderson, T.E. and Lazowska, E.D. and Levy, H.M.},
     6424    journal     = {Computers, IEEE Transactions on},
     6425    title       = {The Performance Implications of Thread Management Alternatives for Shared-Memory Multiprocessors},
     6426    year        = {1989},
     6427    month       = {Dec},
     6428    volume      = {38},
     6429    number      = {12},
     6430    pages       = {1631-1644},
     6431}
     6432
    60396433@article{Anderson90,
    60406434    keywords    = {spin locks, back off, performance},
     
    60486442    number      = 1,
    60496443    pages       = {6-16},
     6444}
     6445
     6446@article{Blumofe98,
     6447    author      = {Blumofe, Robert D. and Papadopoulos, Dionisios},
     6448    title       = {The Performance of Work Stealing in Multiprogrammed Environments (Extended Abstract)},
     6449    journal     = {SIGMETRICS Perform. Eval. Rev.},
     6450    volume      = {26},
     6451    number      = {1},
     6452    month       = jun,
     6453    year        = {1998},
     6454    issn        = {0163-5999},
     6455    pages       = {266-267},
     6456    publisher   = {ACM},
     6457    address     = {New York, NY, USA},
    60506458}
    60516459
     
    62866694}
    62876695
     6696@article{Varela01,
     6697    keywords    = {programming languages, SALSA, continuations, actors, java, internet, network computing, open systems, mobile computing},
     6698    contributer = {pabuhr@plg},
     6699    author      = {Varela, Carlos and Agha, Gul},
     6700    title       = {Programming Dynamically Reconfigurable Open Systems with SALSA},
     6701    issue_date  = {December 2001},
     6702    publisher   = {Association for Computing Machinery},
     6703    address     = {New York, NY, USA},
     6704    volume      = 36,
     6705    number      = 12,
     6706    journal     = {SIGPLAN Not.},
     6707    year        = 2001,
     6708    month       = dec,
     6709    pages       = {20-34},
     6710}
     6711
    62886712@book{PowerPC,
    62896713    key         = {PowerPC processor},
     
    63476771    title       = {Programming Languages -- {C}},
    63486772    organization= {International Standard ISO/IEC 9899:1999 (E)},
    6349     publisher   = {American National Standards Institute},
     6773    publisher   = {American National Standards Institute},
    63506774    address     = {www.ansi.org},
    63516775    year        = 1999,
     
    63586782    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:1998},
    63596783    edition     = {1st},
    6360     organization  = {International Standard Organization},
     6784    organization= {International Standard Organization},
    63616785    address     = {Geneva, Switzerland},
    63626786    year        = 1998,
     
    66497073}
    66507074
     7075@misc{protoactor,
     7076    contributer = {pabuhr@plg},
     7077    key         = {Protoactor},
     7078    author      = {{proto.actor}},
     7079    title       = {Asynkron AB},
     7080    year        = 2023,
     7081    howpublished= {\url{https://proto.actor}},
     7082}
     7083
    66517084@misc{Pthreads,
    66527085    keywords    = {pthreads, C concurrency},
     
    67607193}
    67617194
    6762 @manual{Ada95,
    6763     keywords    = {Ada},
    6764     contributer = {pabuhr@plg},
    6765     title       = {{A}da Reference Manual},
    6766     edition     = {International Standard {ISO}/{IEC} {8652:1995(E)} with {COR.1:2000}},
    6767     organization= {Intermetrics, Inc.},
    6768     month       = dec,
    6769     year        = 1995,
    6770     note        = {Language and Standards Libraries}
    6771 }
    6772 
    6773 @manual{Ada12,
    6774     keywords    = {ISO/IEC Ada},
    6775     contributer = {pabuhr@plg},
    6776     author      = {Ada12},
    6777     title       = {Programming languages -- {Ada} ISO/IEC 8652:2012},
    6778     edition     = {3rd},
    6779     organization= {International Standard Organization},
    6780     address     = {Geneva, Switzerland},
    6781     year        = 2012,
    6782     note        = {\href{https://www.iso.org/standard/61507.html}{https://\-www.iso.org/\-standard/\-61507.html}},
    6783 }
    6784 
    6785 @manual{Ada95:annotated,
    6786     keywords    = {Ada},
    6787     contributer = {pabuhr@plg},
    6788     title       = {Annotated {A}da Reference Manual},
    6789     edition     = {International Standard {ISO}/{IEC} {8652:1995(E)} with {COR.1:2000}},
    6790     organization = {Intermetrics, Inc.},
    6791     month       = dec,
    6792     year        = 1995,
    6793     note        = {Language and Standards Libraries}
     7195@inproceedings{Bacon03,
     7196    keywords    = {utilization, real-time scheduling, read barrier, defragmentation},
     7197    contributer = {pabuhr@plg},
     7198    author      = {David F. Bacon and Perry Cheng and V. T. Rajan},
     7199    title       = {A Real-Time Garbage Collector with Low Overhead and Consistent Utilization},
     7200    year        = {2003},
     7201    organization= {Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages},
     7202    publisher   = {ACM},
     7203    address     = {New York, NY, USA},
     7204    pages       = {285-298},
     7205    location    = {New Orleans, Louisiana, USA},
    67947206}
    67957207
     
    69277339    journal     = sigplan,
    69287340    year        = 1991,
    6929     month       = oct, volume = 26, number = 10, pages = {29-43},
     7341    month       = oct,
     7342    volume      = 26,
     7343    number      = 10,
     7344    pages       = {29-43},
    69307345    abstract    = {
    69317346        {\tt lcc} is a new retargetable compiler for ANSI C.  Versions for
     
    69877402}
    69887403
     7404@misc{rpmalloc,
     7405    author      = {Mattias Jansson},
     7406    title       = {rpmalloc version 1.4.1},
     7407    month       = apr,
     7408    year        = 2022,
     7409    howpublished= {\href{https://github.com/mjansson/rpmalloc}{https://\-github.com/\-mjansson/\-rpmalloc}},
     7410}
     7411
    69897412@manual{Rust,
    69907413    keywords    = {Rust programming language},
     
    70177440    publisher   = {ACM},
    70187441    address     = {New York, NY, USA},
    7019     booktitle   = {Proceedings of the 4th International Workshop on Programming Based on Actors Agents \& Decentralized Control},
     7442    organization= {Proceedings of the 4th International Workshop on Programming Based on Actors Agents \& Decentralized Control},
    70207443    pages       = {67-80},
    70217444    numpages    = {14},
     
    70417464    booktitle   = {PLDI '04: Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation},
    70427465    location    = {Washington DC, USA},
    7043     publisher   = {ACM},
     7466    organization= {ACM},
    70447467    address     = {New York, NY, USA},
    70457468    volume      = 39,
     
    70477470    month       = jun,
    70487471    pages       = {35-46},
     7472}
     7473
     7474@article{Nickolls08,
     7475    author      = {Nickolls, John and Buck, Ian and Garland, Michael and Skadron, Kevin},
     7476    title       = {Scalable Parallel Programming with CUDA},
     7477    journal     = {Queue},
     7478    volume      = {6},
     7479    number      = {2},
     7480    month       = mar,
     7481    year        = 2008,
     7482    pages       = {40-53},
     7483    publisher   = {ACM},
     7484    address     = {New York, NY, USA},
    70497485}
    70507486
     
    70627498}
    70637499
     7500@article{Blumofe99,
     7501    keywords    = {critical-path length, multiprocessor, multithreading, randomized algorithm, thread scheduling, work stealing},
     7502    author      = {Blumofe, Robert D. and Leiserson, Charles E.},
     7503    title       = {Scheduling Multithreaded Computations by Work Stealing},
     7504    journal     = {Journal of the ACM},
     7505    volume      = {46},
     7506    number      = {5},
     7507    month       = sep,
     7508    year        = {1999},
     7509    pages       = {720-748},
     7510    publisher   = {ACM},
     7511    address     = {New York, NY, USA},
     7512}
     7513
     7514@inproceedings{Acar13,
     7515    keywords    = {dynamic load balancing, nested parallelism, work stealing},
     7516    author      = {Acar, Umut A. and Chargueraud, Arthur and Rainey, Mike},
     7517    title       = {Scheduling Parallel Programs by Work Stealing with Private Deques},
     7518    organization= {Proceedings of the 18th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming},
     7519    series      = {PPoPP '13},
     7520    year        = {2013},
     7521    location    = {Shenzhen, China},
     7522    pages       = {219-228},
     7523    publisher   = {ACM},
     7524    address     = {New York, NY, USA},
     7525}
     7526
     7527@inproceedings{Chen07,
     7528    keywords    = {chip multiprocessors, constructive cache sharing, parallel depth first, scheduling algorithms, thread granularity, work stealing, working set profiling},
     7529    author      = {Chen, Shimin and Gibbons, Phillip B. and Kozuch, Michael and Liaskovitis, Vasileios and Ailamaki, Anastassia and Blelloch, Guy E. and Falsafi, Babak and Fix, Limor and Hardavellas, Nikos and Mowry, Todd C. and Wilkerson, Chris},
     7530    title       = {Scheduling Threads for Constructive Cache Sharing on CMPs},
     7531    organization= {Proceedings of the Nineteenth Annual ACM Symposium on Parallel Algorithms and Architectures},
     7532    series      = {SPAA '07},
     7533    year        = {2007},
     7534    location    = {San Diego, California, USA},
     7535    pages       = {105-115},
     7536    numpages    = {11},
     7537    publisher   = {ACM},
     7538    address     = {New York, NY, USA},
     7539}
     7540
    70647541@manual{SELF,
    70657542    keywords    = {programming language, obect-oriented, polymorphism},
     
    70837560    publisher   = {Springer},
    70847561    note        = {Lecture Notes in Computer Science v. 173},
     7562}
     7563
     7564@inproceedings{Kahn74,
     7565    keywords    = {programming language, obect-oriented, polymorphism},
     7566    contributer = {pabuhr@plg},
     7567    title       = {The Semantics of a Simple Language for Parallel Programming},
     7568    author      = {Gilles Kahn},
     7569    organization= {IFIP Congress},
     7570    year        = 1974,
    70857571}
    70867572
     
    71437629    number      = 12,
    71447630    pages       = {66-76},
     7631}
     7632
     7633@book{Scott13,
     7634    author      = {Michael L. Scott},
     7635    title       = {Shared-Memory Synchronization},
     7636    publisher   = {Morgan \& Claypool},
     7637    year        = 2013,
     7638}
     7639
     7640@inproceedings{Leissa14,
     7641    title       = {{S}ierra: a {SIMD} extension for {C}++},
     7642    author      = {Lei{\ss}a, Roland and Haffner, Immanuel and Hack, Sebastian},
     7643    booktitle   = {Proceedings of the 2014 Workshop on Workshop on programming models for SIMD/Vector processing},
     7644    pages       = {17-24},
     7645    year        = {2014},
     7646    organization= {ACM}
    71457647}
    71467648
     
    77808282
    77818283@article{SysVABI,
    7782     keywords    =  {System V ABI},
    7783     contributer =  {a3moss@uwaterloo.ca},
     8284    keywords    = {System V ABI},
     8285    contributer = {a3moss@uwaterloo.ca},
    77848286    title       = {System {V} application binary interface},
    77858287    author      = {Matz, Michael and Hubicka, Jan and Jaeger, Andreas and Mitchell, Mark},
     
    77878289    volume      = {99},
    77888290    year        = {2013}
     8291}
     8292
     8293@article{Albert18,
     8294    keywords    = {actor-based concurrency, partial order reduction, systematic testing, synchronization, task independence},
     8295    contributer = {pabuhr@plg},
     8296    author      = {Albert, Elvira and Arenas, Puri and G\'{o}mez-Zamalloa, Miguel},
     8297    title       = {Systematic testing of actor systems},
     8298    journal     = {Software Testing, Verification and Reliability},
     8299    volume      = {28},
     8300    number      = {3},
     8301    pages       = {e1661},
     8302    year        = {2018}
    77898303}
    77908304
     
    78138327    journal     = jcss,
    78148328    year        = 1978,
    7815     volume      = 17, pages = {348-375}
     8329    volume      = 17,
     8330    pages       = {348-375},
    78168331}
    78178332
     
    78248339    address     = {New York, New York, U.S.A.},
    78258340    year        = 1982
     8341}
     8342
     8343@article{Arora01,
     8344    author      = {Arora, N. S. and Blumofe, R. D. and Plaxton, C. G.},
     8345    title       = {Thread Scheduling for Multiprogrammed Multiprocessors},
     8346    journal     = {Theory of Computing Systems},
     8347    year        = {2001},
     8348    volume      = {34},
     8349    number      = {2},
     8350    pages       = {115-144},
     8351    publisher   = {Springer-Verlag},
    78268352}
    78278353
     
    80538579}
    80548580
     8581@misc{AkkaBecome,
     8582    contributer = {pabuhr@plg},
     8583    key         = {AkkaBecome},
     8584    title       = {Typed Actors},
     8585    author      = {{Lightbend}},
     8586    howpublished= {\href{https://doc.akka.io/docs/akka/2.5/typed-actors.html}{https://\-doc.akka.io/\-docs/\-akka/\-2.5/\-typed-actors.html}},
     8587    year        = 2022,
     8588}
     8589
    80558590@article{concatenation,
    80568591    keywords    = {record concatenation, isa},
     
    81178652    author      = {Paul R. Wilson},
    81188653    title       = {Uniprocessor Garbage Collection Techniques},
    8119     booktitle   = {Proceedings of the International Workshop on Memory Management},
     8654    organization= {Proceedings of the International Workshop on Memory Management},
    81208655    location    = {St. Malo, France},
    81218656    publisher   = {Springer},
     
    81308665    author      = {Carl Hewitt and Peter Bishop and Richard Steiger},
    81318666    title       = {A Universal Modular {ACTOR} Formalism for Artificial Intelligence},
    8132     booktitle   = {Proceedings of the 3rd International Joint Conference on Artificial Intelligence},
     8667    organization= {Proceedings of the 3rd International Joint Conference on Artificial Intelligence},
    81338668    address     = {Standford, California, U.S.A.},
    81348669    pages       = {235-245},
     8670    location    = {Stanford, USA},
     8671    series      = {IJCAI'73},
    81358672    month       = aug,
    81368673    year        = 1973,
     
    81648701@article{Karsten20,
    81658702    author      = {Karsten, Martin and Barghi, Saman},
    8166     title       = {{User-level Threading: Have Your Cake and Eat It Too}},
     8703    title       = {User-level Threading: Have Your Cake and Eat It Too},
    81678704    year        = {2020},
    81688705    issue_date  = {March 2020},
     
    81898726}
    81908727
     8728@article{Squillante93,
     8729    keywords    = {buffer storage, performance evaluation, queueing theory, scheduling, shared memory systems, processor-cache affinity},
     8730    author      = {Squillante, M.S. and Lazowska, E.D.},
     8731    title       = {Using Processor-Cache Affinity Information in Shared-Memory Multiprocessor Scheduling},
     8732    journal     = {Parallel and Distributed Systems, IEEE Transactions on},
     8733    year        = {1993},
     8734    month       = {Feb},
     8735    volume      = {4},
     8736    number      = {2},
     8737    pages       = {131-143},
     8738}
     8739
    81918740@article{delegation,
    81928741    keywords    = {delegation, inheritance, actors},
     
    83388887    year        = 2003,
    83398888    pages       = {19-24},
     8889}
     8890
     8891@inproceedings{Saman18,
     8892    keywords    = {actors, scheduling, NUMA, locality},
     8893    contributer = {pabuhr@plg},
     8894    author      = {Saman Barghi and Martin Karsten},
     8895    organization= {2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS)},
     8896    title       = {Work-Stealing, Locality-Aware Actor Scheduling},
     8897    year        = {2018},
     8898    address     = {Vancouver, BC, Canada},
     8899    pages       = {484-494},
     8900}
     8901
     8902@article{Wimmer13,
     8903    keywords    = {priorities, scheduler hints, strategies, work-stealing},
     8904    author      = {Wimmer, Martin and Cederman, Daniel and Tr\"{a}ff, Jesper Larsson and Tsigas, Philippas},
     8905    title       = {Work-stealing with Configurable Scheduling Strategies},
     8906    journal     = {SIGPLAN Not.},
     8907    issue_date  = {August 2013},
     8908    volume      = {48},
     8909    number      = {8},
     8910    month       = feb,
     8911    year        = {2013},
     8912    issn        = {0362-1340},
     8913    pages       = {315-316},
     8914    publisher   = {ACM},
     8915    address     = {New York, NY, USA},
    83408916}
    83418917
Note: See TracChangeset for help on using the changeset viewer.