Ignore:
Timestamp:
Jan 7, 2021, 3:27:00 PM (5 years ago)
Author:
Thierry Delisle <tdelisle@…>
Branches:
ADT, arm-eh, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum, stuck-waitfor-destruct
Children:
2b4daf2, 64aeca0
Parents:
3c64c668 (diff), eef8dfb (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 park_unpark

File:
1 edited

Legend:

Unmodified
Added
Removed

  • doc/bibliography/pl.bib

    r3c64c668 r58fe85a  
    99%    Predefined journal names:
    1010%  acmcs: Computing Surveys             acta: Acta Infomatica
    11 @string{acta="Acta Infomatica"}
    1211%  cacm: Communications of the ACM
    1312%  ibmjrd: IBM J. Research & Development ibmsj: IBM Systems Journal
    … …  
    2221%  tcs: Theoretical Computer Science
    2322
     23@string{acta="Acta Infomatica"}
    2424string{ieeepds="IEEE Transactions on Parallel and Distributed Systems"}
    2525@string{ieeepds="IEEE Trans. Parallel Distrib. Syst."}
    … …  
    124124    series      = {ACM Distinguished Dissertations},
    125125    year        = 1983,
     126}
     127
     128@article{Zhang19,
     129    keywords    = {Algebraic effects, dynamic scoping, exceptions, parametricity, type systems},
     130    author      = {Zhang, Yizhou and Myers, Andrew C.},
     131    title       = {Abstraction-safe Effect Handlers via Tunneling},
     132    journal     = {Proc. ACM Program. Lang.},
     133    issue_date  = {January 2019},
     134    volume      = {3},
     135    number      = {POPL},
     136    month       = jan,
     137    year        = {2019},
     138    issn        = {2475-1421},
     139    pages       = {5:1--5:29},
     140    articleno   = {5},
     141    publisher   = {ACM},
     142    address     = {New York, NY, USA},
     143}
     144
     145@inproceedings{Zhang16,
     146    keywords    = {Exception tunneling, Genus, exception handling},
     147    author      = {Zhang, Yizhou and Salvaneschi, Guido and Beightol, Quinn and Liskov, Barbara and Myers, Andrew C.},
     148    title       = {Accepting Blame for Safe Tunneled Exceptions},
     149    booktitle   = {Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation},
     150    series      = {PLDI'16},
     151    year        = {2016},
     152    location    = {Santa Barbara, CA, USA},
     153    pages       = {281--295},
     154    publisher   = {ACM},
     155    address     = {New York, NY, USA},
    126156}
    127157
    … …  
    398428    journal     = sigplan,
    399429    year        = 1981,
    400     month       = feb, volume = 16, number = 2, pages = {48-52},
     430    month       = feb,
     431    volume      = 16,
     432    number      = 2,
     433    pages       = {48-52},
    401434    comment     = {
    402435        A one-pass, top-down algorithm for overload resolution.  Input is a
    … …  
    477510    title       = {An Alternative to Subclassing},
    478511    journal     = sigplan,
    479     volume      = {21},    number = {11},
     512    volume      = {21},
     513    number      = {11},
    480514    pages       = {424-428},
    481     month       = nov, year = 1986,
     515    month       = nov,
     516    year        = 1986,
    482517    comment     = {
    483518        The Smalltalk class hierarchy has three uses: factoring out code;
    … …  
    533568    isbn        = {3-540-66538-2},
    534569    location    = {Toulouse, France},
    535     doi         = {http://doi.acm.org/10.1145/318773.319251},
    536570    publisher   = {Springer},
    537571    address     = {London, UK},
    … …  
    631665    year        = 2010,
    632666    pages       = {39--50},
    633     numpages    = {12},
    634667    publisher   = {IEEE Computer Society},
    635668    address     = {Washington, DC, USA},
    … …  
    922955}
    923956
     957@manual{C99,
     958    keywords    = {ISO/IEC C 9899},
     959    contributer = {pabuhr@plg},
     960    key         = {C99},
     961    title       = {C Programming Language {ISO/IEC} 9899:1999(E)},
     962    edition     = {2nd},
     963    organization= {International Standard Organization},
     964    address     = {Geneva, Switzerland},
     965    year        = 1999,
     966    note        = {\href{https://webstore.ansi.org/Standards/INCITS/INCITSISOIEC98991999R2005}{https://webstore.ansi.org/\-Standards/\-INCITS/\-INCITSISOIEC98991999R2005}},
     967}
     968
    924969@manual{C11,
    925970    keywords    = {ISO/IEC C 11},
    … …  
    928973    title       = {C Programming Language {ISO/IEC} 9889:2011-12},
    929974    edition     = {3rd},
    930     publisher   = {International Standard Organization},
    931     address     = {\href{https://www.iso.org/standard/57853.html}{https://\-www.iso.org/\-standard/\-57853.html}},
     975    organization= {International Standard Organization},
     976    address     = {Geneva, Switzerland},
    932977    year        = 2012,
     978    note        = {\href{https://www.iso.org/standard/57853.html}{https://\-www.iso.org/\-standard/\-57853.html}},
    933979}
    934980
    … …  
    938984    key         = {Concepts},
    939985    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming language -- Extensions for concepts {ISO/IEC} {TS} 19217:2015},
    940     publisher   = {International Standard Organization},
    941     address     = {\href{https://www.iso.org/standard/64031.html}{https://\-www.iso.org/\-standard/\-64031.html}},
     986    organization= {International Standard Organization},
     987    address     = {Geneva, Switzerland},
    942988    year        = 2015,
     989    note        = {\href{https://www.iso.org/standard/64031.html}{https://\-www.iso.org/\-standard/\-64031.html}},
    943990}
    944991
    … …  
    9571004}
    9581005
    959 @misc{CforallBenchMarks,
     1006@misc{CforallConcurrentBenchmarks,
    9601007    contributer = {pabuhr@plg},
    9611008    key         = {Cforall Benchmarks},
    9621009    author      = {{\textsf{C}{$\mathbf{\forall}$} Benchmarks}},
    963     howpublished= {\href{https://plg.uwaterloo.ca/~cforall/benchmark.tar}{https://\-plg.uwaterloo.ca/\-$\sim$cforall/\-benchmark.tar}},
     1010    howpublished= {\href{https://github.com/cforall/ConcurrentBenchmarks_SPE20}{https://\-github.com/\-cforall/\-ConcurrentBenchmarks\_SPE20}},
    9641011}
    9651012
    … …  
    11051152    title       = {C\# Language Specification, Standard ECMA-334},
    11061153    organization= {ECMA International Standardizing Information and Communication Systems},
     1154    address     = {Geneva, Switzerland},
    11071155    month       = jun,
    11081156    year        = 2006,
    … …  
    12541302    title       = {Programming Languages -- {Cobol} ISO/IEC 1989:2014},
    12551303    edition     = {2nd},
    1256     institution = {International Standard Organization},
    1257     address     = {\href{https://www.iso.org/standard/51416.html}{https://\-www.iso.org/\-standard/\-51416.html}},
     1304    organization= {International Standard Organization},
     1305    address     = {Geneva, Switzerland},
    12581306    year        = 2014,
     1307    note        = {\href{https://www.iso.org/standard/51416.html}{https://\-www.iso.org/\-standard/\-51416.html}},
    12591308}
    12601309
    … …  
    13051354    location    = {London, United Kingdom},
    13061355    pages       = {41--53},
    1307     numpages    = {13},
    1308     url         = {http://doi.acm.org/10.1145/360204.360207},
    1309     doi         = {10.1145/360204.360207},
    1310     acmid       = {360207},
    13111356    publisher   = {ACM},
    13121357    address     = {New York, NY, USA},
    … …  
    16141659    title       = {$\mu${C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Annotated Reference Manual, Version 7.0.0},
    16151660    organization= {University of Waterloo},
     1661    address     = {Waterloo Ontario, Canada},
    16161662    month       = sep,
    16171663    year        = 2018,
    … …  
    19331979    title       = {Cooperating Sequential Processes},
    19341980    institution = {Technological University},
    1935     address     = {Eindhoven, Netherlands},
     1981    address     = {Eindhoven, Neth.},
    19361982    year        = 1965,
    19371983    note        = {Reprinted in \cite{Genuys68} pp. 43--112.}
    … …  
    19421988    author      = {Adya, Atul and Howell, Jon and Theimer, Marvin and Bolosky, William J. and Douceur, John R.},
    19431989    title       = {Cooperative Task Management Without Manual Stack Management},
    1944     booktitle   = {Proceedings of the General Track of the Annual Conference on USENIX Annual Technical Conference},
     1990    booktitle   = {Proc. of the General Track USENIX Tech. Conf.},
    19451991    series      = {ATEC '02},
    19461992    year        = {2002},
    … …  
    20462092    author      = {Walter Bright and Andrei Alexandrescu},
    20472093    organization= {Digital Mars},
     2094    address     = {Vienna Virginia, U.S.A.},
    20482095    year        = 2016,
    20492096    note        = {\href{http://dlang.org/spec/spec.html}{http://\-dlang.org/\-spec/\-spec.html}},
    … …  
    24082455    year        = 1993,
    24092456    pages       = {201--208},
    2410     url         = {http://doi.acm.org/10.1145/155360.155580},
    24112457    publisher   = {ACM},
    24122458    address     = {New York, NY, USA},
    … …  
    26062652    location    = {Boulder, Colorado, USA},
    26072653    pages       = {91--97},
    2608     numpages    = {7},
    26092654    publisher   = {ACM},
    26102655    address     = {New York, NY, USA},
    … …  
    26372682    issn        = {0004-5411},
    26382683    pages       = {215--225},
    2639     numpages    = {11},
    2640     url         = {http://doi.acm.org/10.1145/321879.321884},
    2641     doi         = {10.1145/321879.321884},
    2642     acmid       = {321884},
    26432684    publisher   = {ACM},
    26442685    address     = {New York, NY, USA},
    … …  
    27082749}
    27092750
     2751@misc{Drepper13,
     2752    keywords    = {thread-local storage},
     2753    contributer = {pabuhr@plg},
     2754    author      = {Ulrich Drepper},
     2755    title       = {{ELF} Handling For Thread-Local Storage},
     2756    year        = 2013,
     2757    month       = aug,
     2758    note        = {WikipediA},
     2759    howpublished= {\href{http://www.akkadia.org/drepper/tls.pdf}
     2760                  {http://\-www.akkadia.org/\-drepper/\-tls.pdf}},
     2761}
     2762
    27102763@misc{Turley99,
    27112764    keywords    = {embedded system, micrprocessor},
    … …  
    27182771    howpublished= {\href{https://www.eetimes.com/author.asp?sectionid=36&doc_id=1287712}
    27192772                  {https://\-www.eetimes.com/\-author.asp?sectionid=\-36&doc_id=1287712}},
     2773}
     2774
     2775@article{Xiao19,
     2776    keywords    = {bug classification, fault trigger, Linux operating system, regression bug},
     2777    contributer = {pabuhr@plg},
     2778    author      = {Guanping Xiao and Zheng Zheng and Beibei Yin and Kishor S. Trivedi and Xiaoting Du and Kai-Yuan Cai},
     2779    title       = {An Empirical Study of Fault Triggers in the Linux Operating System: An Evolutionary Perspective},
     2780    journal     = {IEEE Transactions on Reliability},
     2781    month       = dec,
     2782    year        = 2019,
     2783    volume      = 68,
     2784    number      = 4,
     2785    pages       = {1356-1383},
    27202786}
    27212787
    … …  
    31373203}
    31383204
     3205@inproceedings{Palix11,
     3206    keywords    = {Linux, fault-finding tools},
     3207    contributer = {pabuhr@plg},
     3208    author      = {Nicolas Palix and Ga\"el Thomas and Suman Saha and Christophe Calv\`es and Julia Lawall and Gilles Muller},
     3209    title       = {Faults in Linux: Ten Years Later},
     3210    booktitle   = {Proc. of the 16 International Conf. on Arch. Support for Prog. Lang. and Oper. Sys.},
     3211    series      = {ASPLOS'11},
     3212    month       = mar,
     3213    year        = 2011,
     3214    location    = {Newport Beach, California, USA},
     3215    pages       = {305-318},
     3216    publisher   = {ACM},
     3217    address     = {New York, NY, USA},
     3218}
     3219
    31393220@article{Lamport87,
    31403221    keywords    = {software solutions, mutual exclusion, fast},
    … …  
    32583339    issn        = {0001-0782},
    32593340    pages       = {107--115},
    3260     numpages    = {9},
    3261     url         = {http://doi.acm.org/10.1145/1538788.1538814},
    3262     doi         = {10.1145/1538788.1538814},
    3263     acmid       = {1538814},
    32643341    publisher   = {ACM},
    32653342    address     = {New York, NY, USA},
    … …  
    32833360    title       = {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2010},
    32843361    edition     = {3rd},
    3285     publisher   = {International Standard Organization},
    3286     address     = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
     3362    organization= {International Standard Organization},
     3363    address     = {Geneva, Switzerland},
    32873364    year        = 2010,
     3365    note        = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}},
    32883366}
    32893367
    … …  
    32943372    title       = {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2018},
    32953373    edition     = {4rd},
    3296     publisher   = {International Standard Organization},
    3297     address     = {\href{https://www.iso.org/standard/72320.html}{https://\-www.iso.org/\-standard/\-72320.html}},
     3374    organization= {International Standard Organization},
     3375    address     = {Geneva, Switzerland},
    32983376    year        = 2018,
     3377    note        = {\href{https://www.iso.org/standard/72320.html}{https://\-www.iso.org/\-standard/\-72320.html}},
    32993378}
    33003379
    … …  
    36643743}
    36653744
     3745@mastersthesis{Radhakrishnan19,
     3746    author      = {Srihari Radhakrishnan},
     3747    title       = {High Performance Web Servers: A Study In Concurrent Programming Models},
     3748    school      = {School of Computer Sc., University of Waterloo},
     3749    year        = 2019,
     3750    optaddress  = {Waterloo, Ontario, Canada, N2L 3G1},
     3751    note        = {\href{https://uwspace.uwaterloo.ca/handle/10012/14706}{https://\-uwspace.uwaterloo.ca/\-handle/\-10012/\-14706}},
     3752}
     3753
    36663754@article{katzenelson83b,
    36673755    contributer = {gjditchfield@plg},
    … …  
    36973785    pages       = {115-138},
    36983786    year        = 1971,
     3787}
     3788
     3789@inproceedings{Hagersten03,
     3790    keywords    = {cache storage, parallel architectures, performance evaluation, shared memory systems},
     3791    author      = {Zoran Radovi\'{c} and Erik Hagersten},
     3792    title       = {Hierarchical backoff locks for nonuniform communication architectures},
     3793    booktitle   = {Proceedings of the Ninth International Symposium on High-Performance Computer Architecture},
     3794    year        = {2003},
     3795    location    = {Anaheim, CA, USA},
     3796    pages       = {241-252},
     3797    publisher   = {IEEE},
    36993798}
    37003799
    … …  
    43654464}
    43664465
     4466@misc{gccValueLabels,
     4467    keywords    = {gcc extension, value labels},
     4468    contributer = {pabuhr@plg},
     4469    key         = {Labels as Values},
     4470    author      = {{gcc Extension}},
     4471    title       = {Labels as Values},
     4472    year        = {since gcc-3},
     4473    howpublished= {\href{https://gcc.gnu.org/onlinedocs/gcc/Labels-as-Values.html}
     4474                  {https:\-//gcc.gnu.org/\-onlinedocs/\-gcc/\-Labels-as-Values.html}},
     4475}
     4476
    43674477@mastersthesis{Clarke90,
    43684478    keywords    = {concurrency, postponing requests},
    … …  
    44234533}
    44244534
     4535@misc{libfibre,
     4536    key         = {libfibre},
     4537    author      = {Martin Karsten},
     4538    title       = {{libfibre:~User-Level Threading Runtime}},
     4539    howpublished= {\href{https://git.uwaterloo.ca/mkarsten/libfibre}
     4540                  {https://\-git.uwaterloo.ca/\-mkarsten/\-libfibre}},
     4541    note        = {[Online; accessed 2020-04-15]},
     4542}
     4543
    44254544@article{Linda,
    44264545    keywords    = {Linda, concurrency},
    … …  
    44564575}
    44574576
     4577@inproceedings{Fang06,
     4578    author      = {Fang, Yi and McMillan, Kenneth L. and Pnueli, Amir and Zuck, Lenore D.},
     4579    editor      = {Najm, Elie and Pradat-Peyre, Jean-Fran{\c{c}}ois and Donzeau-Gouge, V{\'e}ronique Vigui{\'e}},
     4580    title       = {Liveness by Invisible Invariants},
     4581    booktitle   = {Formal Techniques for Networked and Distributed Systems - FORTE 2006},
     4582    year        = 2006,
     4583    publisher   = {Springer Berlin Heidelberg},
     4584    address     = {Berlin, Heidelberg},
     4585    pages       = {356--371},
     4586}
     4587
    44584588@article{Pierce00,
    4459     keywords    = {Scala},
     4589    keywords    = {Scala, polymorphism, subtyping, type inference},
    44604590    contributer = {a3moss@uwaterloo.ca},
    44614591    author      = {Pierce, Benjamin C. and Turner, David N.},
    … …  
    44694599    issn        = {0164-0925},
    44704600    pages       = {1--44},
    4471     numpages    = {44},
    4472     url         = {http://doi.acm.org/10.1145/345099.345100},
    4473     doi         = {10.1145/345099.345100},
    4474     acmid       = {345100},
    44754601    publisher   = {ACM},
    44764602    address     = {New York, NY, USA},
    4477     keywords    = {polymorphism, subtyping, type inference},
    44784603}
     4604
     4605@article{Dice15,
     4606    keywords    = {Concurrency, NUMA, hierarchical locks, locks, multicore, mutex, mutual exclusion, spin locks},
     4607    author      = {Dice, David and Marathe, Virendra J. and Shavit, Nir},
     4608    title       = {Lock Cohorting: A General Technique for Designing NUMA Locks},
     4609    journal     = {ACM Trans. Parallel Comput.},
     4610    issue_date  = {January 2015},
     4611    volume      = 1,
     4612    number      = 2,
     4613    month       = feb,
     4614    year        = 2015,
     4615    pages       = {13:1--13:42},
     4616    publisher   = {ACM},
     4617    address     = {New York, NY, USA},
     4618}
    44794619
    44804620@article{Sundell08,
    … …  
    45544694    journal     = sigplan,
    45554695    year        = 1989,
    4556     month       = jun, volume = 24, number = 6, pages = {37-48},
     4696    month       = jun,
     4697    volume      = 24,
     4698    number      = 6,
     4699    pages       = {37-48},
    45574700    abstract    = {
    45584701        This paper describes a scheme we have used to manage a large
    … …  
    46104753    address     = {New York, NY, USA},
    46114754}
     4755
    46124756@techreport{Mesa,
    46134757    keywords    = {monitors, packages},
    … …  
    46164760    title       = {Mesa Language Manual},
    46174761    institution = {Xerox Palo Alto Research Center},
     4762    address     = {Palo Alto, California, U.S.A.},
    46184763    number      = {CSL--79--3},
    46194764    month       = apr,
    … …  
    46254770    contributer = {pabuhr@plg},
    46264771    author      = {Gregory R. Andrews},
    4627     title       = {A Method for Solving Synronization Problems},
     4772    title       = {A Method for Solving Synchronization Problems},
    46284773    journal     = scp,
    46294774    volume      = 13,
    … …  
    49505095    title       = {Multiple Inheritance for {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}}},
    49515096    booktitle   = {Proceedings of the Spring '87 EUUG Conference},
    4952     month       = may, year = 1987
     5097    month       = may,
     5098    year        = 1987,
    49535099}
    49545100
    … …  
    49955141    year        = 1986,
    49965142    pages       = {313--326},
    4997     numpages    = {14},
    49985143    publisher   = {ACM},
    49995144    address     = {New York, NY, USA},
    … …  
    50115156    year        = 1986,
    50125157    pages       = {327--348},
    5013     numpages    = {22},
    50145158    publisher   = {ACM},
    50155159    address     = {New York, NY, USA},
    … …  
    52085352    year        = 2005,
    52095353    pages       = {146-196},
    5210     numpages    = {51},
    52115354    publisher   = {ACM},
    52125355    address     = {New York, NY, USA},
    … …  
    53545497    year        = 2000,
    53555498    pages       = {29-46},
    5356     note        = {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minnesota, U.S.A.},
     5499    note        = {OOPSLA'00, Oct. 15--19, 2000, Minneapolis, Minn., U.S.A.},
    53575500}
    53585501
    … …  
    54685611    location    = {San Diego, California, USA},
    54695612    pages       = {101--112},
    5470     numpages    = {12},
    5471     url         = {http://doi.acm.org/10.1145/2535838.2535878},
    5472     doi         = {10.1145/2535838.2535878},
    5473     acmid       = {2535878},
    54745613    publisher   = {ACM},
    54755614    address     = {New York, NY, USA},
    … …  
    55755714    issn        = {0362-1340},
    55765715    pages       = {30--42},
    5577     numpages    = {13},
    5578     url         = {http://doi.acm.org/10.1145/947586.947589},
    5579     doi         = {10.1145/947586.947589},
    55805716    publisher   = {ACM},
    55815717    address     = {New York, NY, USA}
    … …  
    61146250}
    61156251
     6252@article{Bauer15,
     6253    keywords    = {resumption exceptions, theory},
     6254    contributer = {pabuhr@plg},
     6255    author      = {Andrej Bauer and Matija Pretnar},
     6256    title       = {Programming with Algebraic Effects and Handlers},
     6257    journal     = {Journal of Logical and Algebraic Methods in Programming},
     6258    publisher   = {Elsevier BV},
     6259    volume      = 84,
     6260    number      = 1,
     6261    month       = jan,
     6262    year        = 2015,
     6263    pages       = {108-123},
     6264}
     6265
    61166266@book{Butenhof97,
    61176267    keywords    = {PThreads, concurrency},
    … …  
    61626312    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:1998},
    61636313    edition     = {1st},
    6164     publisher   = {International Standard Organization},
    6165     address     = {\href{https://www.iso.org/standard/25845.html}{https://\-www.iso.org/\-standard/\-25845.html}},
     6314    organization  = {International Standard Organization},
     6315    address     = {Geneva, Switzerland},
    61666316    year        = 1998,
     6317    note        = {\href{https://www.iso.org/standard/25845.html}{https://\-www.iso.org/\-standard/\-25845.html}},
    61676318}
    61686319
    … …  
    61736324    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:2014},
    61746325    edition     = {4th},
    6175     publisher   = {International Standard Organization},
    6176     address     = {\href{https://www.iso.org/standard/64029.html}{https://\-www.iso.org/\-standard/\-64029.html}},
     6326    organization= {International Standard Organization},
     6327    address     = {Geneva, Switzerland},
    61776328    year        = 2014,
     6329    note        = {\href{https://www.iso.org/standard/64029.html}{https://\-www.iso.org/\-standard/\-64029.html}},
    61786330}
    61796331
    … …  
    61846336    title       = {{C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Programming Language ISO/IEC 14882:2017},
    61856337    edition     = {5th},
    6186     publisher   = {International Standard Organization},
    6187     address     = {\href{https://www.iso.org/standard/68564.html}{https://\-www.iso.org/\-standard/\-68564.html}},
     6338    organization= {International Standard Organization},
     6339    address     = {Geneva, Switzerland},
    61886340    year        = 2017,
     6341    note        = {\href{https://www.iso.org/standard/68564.html}{https://\-www.iso.org/\-standard/\-68564.html}},
    61896342}
    61906343
    … …  
    63186471    title       = {The Programming Language Concurrent Pascal},
    63196472    journal     = ieeese,
    6320     volume      = 2,
     6473    volume      = {SE-1},
     6474    number      = 2,
    63216475    month       = jun,
    63226476    year        = 1975,
    6323     pages       = {199-206}
     6477    pages       = {199-207}
    63246478}
    63256479
    … …  
    64996653    issn        = {0164-0925},
    65006654    pages       = {429-475},
    6501     url         = {http://doi.acm.org/10.1145/1133651.1133653},
    6502     doi         = {10.1145/1133651.1133653},
    6503     acmid       = {1133653},
    65046655    publisher   = {ACM},
    65056656    address     = {New York, NY, USA},
    … …  
    65316682}
    65326683
     6684@article{Aravind09,
     6685    author      = {Alex A. Aravind and Wim H. Hesselink},
     6686    title       = {A Queue Based Mutual Exclusion Algorithm},
     6687    journal     = acta,
     6688    volume      = 46,
     6689    pages       = {73--86},
     6690    year        = 2009,
     6691}
     6692
    65336693% R
    65346694
    … …  
    65746734    title       = {Programming languages -- {Ada} ISO/IEC 8652:2012},
    65756735    edition     = {3rd},
    6576     publisher   = {International Standard Organization},
    6577     address     = {\href{https://www.iso.org/standard/61507.html}{https://\-www.iso.org/\-standard/\-61507.html}},
     6736    organization= {International Standard Organization},
     6737    address     = {Geneva, Switzerland},
    65786738    year        = 2012,
     6739    note        = {\href{https://www.iso.org/standard/61507.html}{https://\-www.iso.org/\-standard/\-61507.html}},
    65796740}
    65806741
    … …  
    68797040    issn        = {0001-0782},
    68807041    pages       = {565--569},
    6881     numpages    = {5},
    6882     url         = {http://doi.acm.org/10.1145/359545.359566},
    6883     doi         = {10.1145/359545.359566},
    6884     acmid       = {359566},
    68857042    publisher   = {ACM},
    68867043    address     = {New York, NY, USA}
    … …  
    69007057    issn        = {0362-1340},
    69017058    pages       = {145--147},
    6902     numpages    = {3},
    6903     url         = {http://doi.acm.org/10.1145/122598.122614},
    6904     doi         = {10.1145/122598.122614},
    6905     acmid       = {122614},
    69067059    publisher   = {ACM},
    69077060    address     = {New York, NY, USA},
    … …  
    70067159    issn        = {0362-1340},
    70077160    pages       = {82--87},
    7008     numpages    = {6},
    7009     url         = {http://doi.acm.org/10.1145/947680.947688},
    7010     doi         = {10.1145/947680.947688},
    70117161    publisher   = {ACM},
    70127162    address     = {New York, NY, USA},
    … …  
    71537303}
    71547304
     7305@article{Cascaval08,
     7306    author      = {Cascaval, Calin and Blundell, Colin and Michael, Maged and Cain, Harold W. and Wu, Peng and Chiras, Stefanie and Chatterjee, Siddhartha},
     7307    title       = {Software Transactional Memory: Why Is It Only a Research Toy?},
     7308    journal     = {Queue},
     7309    volume      = {6},
     7310    number      = {5},
     7311    month       = sep,
     7312    year        = {2008},
     7313    pages       = {40:46--40:58},
     7314    publisher   = {ACM},
     7315    address     = {New York, NY, USA},
     7316}
     7317
    71557318@article{Dijkstra65a,
    71567319    keywords    = {N-thread software-solution mutual exclusion},
    … …  
    73637526    year        = 1974,
    73647527    pages       = {261-301},
    7365     issn        = {0360-0300},
    7366     doi         = {http://doi.acm.org/10.1145/356635.356640},
    73677528    publisher   = {ACM},
    73687529    address     = {New York, NY, USA},
    … …  
    74547615    publisher   = {ACM Press},
    74557616    address     = {New York, NY, USA},
    7456     doi         = {http://doi.acm.org/10.1145/356586.356588},
    74577617}
    74587618
    … …  
    75827742    title       = {The Thoth System: Multi-Process Structuring and Portability},
    75837743    publisher   = {American Elsevier},
     7744    address     = {New York, New York, U.S.A.},
    75847745    year        = 1982
    75857746}
    … …  
    77557916    howpublished= {\href{https://projects.eclipse.org/proposals/trace-compass}{https://\-projects.eclipse.org/\-proposals/\-trace-compass}},
    77567917}
    7757  
     7918
     7919@inproceedings{Boehm09,
     7920    author      = {Boehm, Hans-J.},
     7921    title       = {Transactional Memory Should Be an Implementation Technique, Not a Programming Interface},
     7922    booktitle   = {Proceedings of the First USENIX Conference on Hot Topics in Parallelism},
     7923    series      = {HotPar'09},
     7924    year        = {2009},
     7925    location    = {Berkeley, California},
     7926    publisher   = {USENIX Association},
     7927    address     = {Berkeley, CA, USA},
     7928}
     7929
    77587930@article{Leroy00,
    77597931    keywords    = {type-systems, exceptions},
    … …  
    78057977    number      = {2},
    78067978    pages       = {204-214},
    7807     month       = apr, year = 1988,
     7979    month       = apr,
     7980    year        = 1988,
    78087981    comment     = {
    78097982        Extended record types add fields to their base record.  Assignment
    … …  
    79048077}
    79058078
     8079@article{Karsten20,
     8080    author      = {Karsten, Martin and Barghi, Saman},
     8081    title       = {{User-level Threading: Have Your Cake and Eat It Too}},
     8082    year        = {2020},
     8083    issue_date  = {March 2020},
     8084    publisher   = {Association for Computing Machinery},
     8085    address     = {New York, NY, USA},
     8086    volume      = {4},
     8087    number      = {1},
     8088    url         = {https://doi.org/10.1145/3379483},
     8089    doi         = {10.1145/3379483},
     8090    journal     = {Proc. ACM Meas. Anal. Comput. Syst.},
     8091    month       = mar,
     8092    numpages    = {30},
     8093}
     8094
    79068095@techreport{Harmony,
    79078096    keywords    = {messages, concurrency},
    … …  
    79198108    contributer = {gjditchfield@plg},
    79208109    author      = {Henry Lieverman},
    7921     title       = {Using Prototypical Objects to Implement Shared Behavior in
    7922                   Object Oriented Systems},
     8110    title       = {Using Prototypical Objects to Implement Shared Behavior in Object Oriented Systems},
    79238111    journal     = sigplan,
    7924     month       = nov, year = 1986,
    7925     volume      = 21, number = 11, pages = {214-223}
     8112    month       = nov,
     8113    year        = 1986,
     8114    volume      = 21,
     8115    number      = 11,
     8116    pages       = {214-223}
    79268117}
    79278118
    … …  
    81108301    issn        = {0004-5411},
    81118302    pages       = {245--281},
    8112     numpages    = {37},
    8113     url         = {http://doi.acm.org/10.1145/62.2160},
    8114     doi         = {10.1145/62.2160},
    8115     acmid       = {2160},
    81168303    publisher   = {ACM},
    81178304    address     = {New York, NY, USA},
    … …  
    81268313    contributer = {pabuhr@plg},
    81278314    author      = {Boehm, Hans-J. and Adve, Sarita V.},
    8128     title       = {You Don'T Know Jack About Shared Variables or Memory Models},
     8315    title       = {You Don't Know Jack About Shared Variables or Memory Models},
    81298316    journal     = cacm,
    81308317    volume      = 55,
Note: See TracChangeset for help on using the changeset viewer.