Index: doc/bibliography/cfa.bib =================================================================== --- doc/bibliography/cfa.bib (revision 44382815956fb090b63252c2f33345b1a6dc9141) +++ doc/bibliography/cfa.bib (revision 5f20b30579817affc723dc7ade61baa416bdf43e) @@ -28,5 +28,5 @@ % @string{spe="Softw. Pract. Exp."} @string{ccpe="Concurrency and Computation: Practice and Experience"} -% @string{ccpe="Concurrency Comput. Pract. Exp."} +% @string{ccpe="Concurrency Comput: Pract Experience"} @string{sigplan="SIGPLAN Notices"} % @string{sigplan="SIGPLAN Not."} @@ -866,5 +866,5 @@ contributer = {pabuhr@plg}, author = {C11}, - title = {Programming Languages -- {C} {ISO/IEC} 9889:2011}, + title = {Programming Languages -- {C} {ISO/IEC} 9889:2011-12}, edition = {3rd}, publisher = {International Standard Organization}, @@ -877,5 +877,5 @@ keywords = {ISO/IEC TS 19217:2015}, contributer = {a3moss@uwaterloo.ca}, - author = {Concepts}, + key = {Concepts}, title = {Information technology -- Programming languages -- {C}{\kern-.1em\hbox{\large\texttt{+\kern-.25em+}}} Extensions for concepts {ISO/IEC} {TS} 19217:2015}, publisher = {International Standard Organization}, @@ -1019,5 +1019,5 @@ contributer = {pabuhr@plg}, author = {Peter A. Buhr and Glen Ditchfield and David Till and Charles R. Zarnke}, - title = {\mbox{\mdseries\sffamily C{$\mathbf{\forall}$}}\ Users Guide, Version 0.1}, + title = {{\mbox{\mdseries\sffamily C{$\mathbf{\forall}$}}}\ Users Guide, Version 0.1}, institution = {Department of Computer Science, University of Waterloo}, address = {Waterloo, Ontario, Canada, N2L 3G1}, @@ -1437,5 +1437,5 @@ month = jul, year = 2015, - note = {\href{http://plg.uwaterloo.ca/~usystem/pub/uSystem/u++-6.1.0.sh}{\textsf{http://\-plg.\-uwaterloo.\-ca/\-$\sim$usystem/\-pub/\-uSystem/\-u++-6.1.0.sh}}}, + note = {\href{http://plg.uwaterloo.ca/~usystem/pub/uSystem/u++-6.1.0.sh}{http://\-plg.\-uwaterloo.\-ca/\-$\sim$usystem/\-pub/\-uSystem/\-u++-6.1.0.sh}}, } @@ -2447,10 +2447,10 @@ keywords = {Erlang}, contributer = {pabuhr@plg}, - title = {Erlang Reference Manual User's Guide, Vertion 7.0}, - organization= {Erlang/OTP System Documentation}, - address = {1430 Broadway, New York, New York 10018}, - month = jun, - year = 2015, - note = {\href{http://www.erlang.org/doc/pdf/otp-system-documentation.pdf}{\textsf{http://www.erlang.org/\-doc/\-pdf/\-otp-system-\-documentation.pdf}}}, + key = {Erlang}, + title = {Erlang/OTP System Documentation 8.1}, + organization= {Erlang AB}, + month = sep, + year = 2016, + note = {\href{http://erlang.org/doc/pdf/otp-system-documentation.pdf}{http://\-erlang.org/\-doc/\-pdf/\-otp-system-documentation.pdf}}, } @@ -2768,7 +2768,20 @@ month = jan, year = {1987}, - pages = {1--11}, + pages = {1-11}, publisher = {ACM}, address = {New York, NY, USA}, +} + +@article{Hesselink17, + keywords = {concurrency, mutual exclusion, performance experiment, software solutions}, + title = {Fast mutual exclusion by the {T}riangle algorithm}, + author = {Wim H. Hesselink and Peter Buhr and David Dice}, + journal = ccpe, + volume = 30, + number = 4, + year = 2018, + month = feb, + publisher = {John Wiley \& Sons}, + note = {\url{https://doi.org/10.1002/cpe.4183}} } @@ -2850,5 +2863,5 @@ title = {Programming Languages -- {Fortran} Part 1:Base Language ISO/IEC 1539-1:2010}, edition = {3rd}, - publisher = {International Standard Organization}, + publisher = {International Standard Organization}, address = {\href{https://www.iso.org/standard/50459.html}{https://\-www.iso.org/\-standard/\-50459.html}}, year = 2010, @@ -2886,5 +2899,6 @@ journal = sigplan, year = 1976, - volume = 11, pages = {63-65}, + volume = 11, + pages = {63-65}, note = {Conference on Data: Abstraction, Definition and Structure}, summary = { @@ -3672,8 +3686,7 @@ author = {James Gosling and Bill Joy and Guy Steele and Gilad Bracha and Alex Buckley}, title = {{Java} Language Spec.}, - organization= {Oracle}, publisher = {Oracle}, year = 2015, - edition = {Java SE8}, + edition = {Java SE 8}, } @@ -3685,5 +3698,5 @@ organization= {Oracle}, year = 2014, - note = {\href{http://docs.oracle.com/javase/7/docs/api/java/util/concurrent/package-summary.html}{\textsf{http://docs.oracle.com/\-javase/7/\-docs/\-api/\-java/\-util/\-concurrent/\-package-summary.html}}}, + note = {\href{http://docs.oracle.com/javase/7/docs/api/java/util/concurrent/package-summary.html}{http://docs.oracle.com/\-javase/7/\-docs/\-api/\-java/\-util/\-concurrent/\-package-summary.html}}, } @@ -4217,5 +4230,5 @@ month = jun, year = 2015, - note = {\href{http://www.mpi-forum.org/docs/mpi-3.1/mpi31-report.pdf}{\textsf{http://www.mpi-forum.org/\-docs/\-mpi-3.1/\-mpi31-report.pdf}}}, + 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}}, } @@ -4358,5 +4371,5 @@ year = 1980, pages = {833-842}, - note = {\href{http://groups.csail.mit.edu/tds/papers/Lynch/allertonconf.pdf}{\textsf{http://\-groups.csail.mit.edu/\-tds/\-papers/\-Lynch/\-allertonconf.pdf}} [Accessed on March 2014]}, + note = {\href{http://groups.csail.mit.edu/tds/papers/Lynch/allertonconf.pdf}{http://\-groups.csail.mit.edu/\-tds/\-papers/\-Lynch/\-allertonconf.pdf} [Accessed on March 2014]}, optnote = {\textsf{http://\-groups.csail.mit.edu/\-tds/\-papers/\-Lynch/\-allertonconf.pdf}}, } @@ -4441,5 +4454,5 @@ booktitle = {Proceedings of the Summer 1990 UKUUG Conference}, year = 1990, - pages = {41--51}, + pages = {41-51}, note = {\href{http://doc.cat-v.org/bell_labs/new_c_compilers/new_c_compiler.pdf}{http://\-doc.cat-v.org/\-bell\_labs/\-new\_c\_compilers/\-new\_c\_compiler.pdf}}, } @@ -4458,4 +4471,17 @@ } +@article{Anderson01, + keywords = {software solutions, fast path}, + contributer = {pabuhr@plg}, + author = {James H. Anderson and Yong-Jik Kim}, + title = {A New Fast-Path Mechanism For Mutual Exclusion}, + journal = {Distributed Computing}, + month = jan, + year = 2001, + volume = 14, + number = 1, + pages = {17-29}, +} + @article{Lamport74, keywords = {concurrency, N-Process solution, O(N)}, @@ -4469,4 +4495,11 @@ number = 8, pages = {453-455}, +} + +@book{NeWS, + AUTHOR = {James Gosling and David S. H. Rosenthal and Richelle J. Arden}, + TITLE = {The {NeWS} Book}, + PUBLISHER = {Springer-Verlag}, + YEAR = {1989} } @@ -4740,5 +4773,5 @@ month = jul, year = 2013, - note = {\href{http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf}{\textsf{http://\-www.openmp.org/\-mp-documents/\-OpenMP4.0.0.pdf}}}, + note = {\href{http://www.openmp.org/mp-documents/OpenMP4.0.0.pdf}{http://\-www.openmp.org/\-mp-documents/\-OpenMP4.0.0.pdf}}, } @@ -5987,5 +6020,5 @@ month = sep, year = 1995, - note = {\href{http://www.hpl.hp.com/techreports/Compaq-DEC/WRL-95-7.pdf}{\textsf{http://www.hpl.hp.com/\-techreports/\-Compaq-DEC/\-WRL-95-7.pdf}}, Reprinted in \cite{Adve95reprint}.}, + note = {\href{http://www.hpl.hp.com/techreports/Compaq-DEC/WRL-95-7.pdf}{http://www.hpl.hp.com/\-techreports/\-Compaq-DEC/\-WRL-95-7.pdf}, Reprinted in \cite{Adve95reprint}.}, } @@ -6149,5 +6182,5 @@ author = {Herb Sutter and James Larus}, title = {Software and the Concurrency Revolution}, - journal = Queue, + journal = {Queue}, year = 2005, month = sep, @@ -6242,14 +6275,14 @@ @article{Smith98, - keywords = {Polymorphic C}, - contributor = {a3moss@uwaterloo.ca}, - title={A sound polymorphic type system for a dialect of C}, - author={Smith, Geoffrey and Volpano, Dennis}, - journal={Science of computer programming}, - volume={32}, - number={1-3}, - pages={49--72}, - year={1998}, - publisher={Elsevier} + keywords = {Polymorphic C}, + contributor = {a3moss@uwaterloo.ca}, + title = {A sound polymorphic type system for a dialect of C}, + author = {Smith, Geoffrey and Volpano, Dennis}, + journal = {Science of computer programming}, + volume = 32, + number = {1-3}, + pages = {49-72}, + year = {1998}, + publisher = {Elsevier} }