[PATCH -perfbook 2/5] bib/os: Update URLs of papers related to Synthesis OS

In commit 2dce7928ddfa ("Bibliography updates (append urls -- part 1)"),
I picked a URL under http://valerieaurora.org/.  This one was used in
an LWN article titled "KHB: Synthesis: An Efficient Implementation of
Fundamental Operating Systems Services" by Valerie dated February 2008.
Unfortunately, it doesn't work any more.

Instead, point a page at ACM's "Browse Theses".

Add URLs to other papers on Synthesis OS along the way.

Note: Wikipedia page of "Alexia Massalin" at
https://en.wikipedia.org/wiki/Alexia_Massalin has a link to the
dissertation (cucs-039-92.ps.gz) archived at the Wayback Machine.
The used-to-work URL is added in the makeshift "brokenurl" field
for the moment.

Signed-off-by: Akira Yokosawa <[email protected]>
---
 bib/os.bib | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/bib/os.bib b/bib/os.bib
index 75e5a9bb..7f608172 100644
--- a/bib/os.bib
+++ b/bib/os.bib
@@ -254,6 +254,8 @@ Multiprocessor Systems",
  volume="1",
  number="1",
  pages="11-32",
+ url="https://www.usenix.org/legacy/publications/compsystems/1988/win_pu.pdf",
+ lastchecked="August 25, 2024",
 }
 
 @article{Massalin89a,
@@ -276,6 +278,8 @@ Systems Principles ({SOSP})",
  Number="CUCS-005-91",
  Month="October",
  Year="1991",
+ url="https://cs.uwaterloo.ca/~brecht/courses/856-Internet-Server-Performance-2003/readings-new/massalin91lockfree.pdf",
+ lastchecked="August 25, 2024",
 }
 
 @phdthesis{HMassalinPhD,
@@ -285,8 +289,8 @@ System Services",
  school="Columbia University",
  address="New York, NY",
  year="1992",
- url="http://valerieaurora.org/synthesis/SynthesisOS/index.html",
- lastchecked="November 13, 2016",
+ url="https://dl.acm.org/doi/book/10.5555/143219",
+ brokenurl="http://www.cs.columbia.edu/~library/TR-repository/reports/reports-1992/cucs-039-92.ps.gz",
 }
 
 @conference{Pu95a,
-- 
2.34.1