Threadsafe URIs in Gecko

Valentin Goșu

valentin@mozilla.com

nsIURI is not thread safe

Hack around it:

 

Bounce to the main thread to access the URI

because addons

var url = {
    counter: 0,
    password: "",
    asciiSpec:
        function() { counter++; return "spec" + counter; },
    QueryInterface: XPCOMUtils.generateQI([Ci.nsIURI])
}

We now control all 11 nsIURI implementations

nsStandardURL
  -> SubstitutingURL
nsSimpleURI
  -> nsSimpleNestedURI
      -> nsNestedAboutURI
  -> nsHostObjectURI
  -> nsJSURI
nsJARURI
NullPrincipalURI
nsMozIconURI
  -> nsNestedMozIconURI

6864 lines containing "nsIURI"

Hurray for Quantum!

Why don't we just add a Mutex?

// Thread 1
url.spec = "http://test.com/path"
if (url.scheme == "http") {
    url.hostname = "other.com"
}
// We expect url.spec == "http://other.com/path"
// Thread 2

url.spec = "ftp://kernel.org/file"

// We expect url.spec == "ftp://kernel.org/file"
Actual results may be any of:
"http://other.com/path"
"ftp://kernel.org/file"
"ftp://other.com/file"

Solution: make nsIURI immutable

interface nsIURI : nsISupports
{
    [...]
    nsIURIMutator mutate();
}
interface nsIURIMutator : nsISupports
{
    nsIURIMutator setScheme(in AUTF8String aScheme);
    nsIURIMutator setUserPass(in AUTF8String aUserPass);
    [...]
    nsIURI finalize();
}

Step 1: Add new nsIURIMutator API [done]*

Step 2: Update all the places where we call nsIURI setters

Step 2b: Add warnings/assertions for all nsIURI setters

Step 3: Make nsIURI attributes readonly

 

Follow up:

Step 4: Centralize all URI parsers

Step 5: Replace all with rust-url

Plan:

function DO_NOT_DO_THIS(uri) {
    uri.query = "hello";
    uri.ref = "bla";
    uri.scheme = "ftp";
    return uri; // you just changed the initial URI!
}

function oldWay(uri) {
    let newURI = uri.clone();
    newURI.query = "hello";
    newURI.ref = "bla";
    newURI.scheme = "ftp";
    return newURI;
}

function betterWay(uri) {
    return uri.mutate()
              .setQuery("hello")
              .setRef("bla")
              .setScheme("ftp")
              .finalize();
}
nsresult DO_NOT_DO_THIS(nsIURI* aURI, nsIURI** changedURI) {
    nsCOMPtr<nsIURI> newURI = aURI;
    nsresult rv = newURI->SetRef(NS_LITERAL_CSTRING("test"));
    newURI.forget(changedURI); // we changed the initial URI
    return rv;
}

nsresult OldWay(nsIURI* aURI, nsIURI** changedURI) {
    nsCOMPtr<nsIURI> newURI;
    nsresult rv = aURI->Clone(getter_AddRefs(newURI));
    NS_ENSURE_SUCCESS(rv, rv);
    rv = newURI->SetRef(NS_LITERAL_CSTRING("test"));
    newURI.forget(changedURI);
    return rv;
}

#include "nsIURIMutator.h"
nsresult BetterWay(nsIURI* aURI, nsIURI** changedURI) {
    nsCOMPtr<nsIURI> newURI;
    nsresult rv = NS_MutateURI(uri)
                    .SetRef(NS_LITERAL_CSTRING("test"));
                    .Finalize(newURI);
    newURI.forget(changedURI);
    return rv;
}
#include "nsIURIMutator.h"
nsresult BetterWay(nsIURI* aURI, nsIURI** changedURI) {
    nsCOMPtr<nsIURI> newURI;
    nsresult rv = NS_MutateURI(uri)
                    .SetRef(NS_LITERAL_CSTRING("test"));
                    .Finalize(newURI);
    newURI.forget(changedURI);
    return rv;
}

#include "nsIURIMutator.h"
nsresult EvenBetterWay(nsIURI* aURI, nsIURI** changedURI) {
    // after patch lands
    return NS_MutateURI(uri)
             .SetRef(NS_LITERAL_CSTRING("test"));
             .Finalize(changedURI);
}

Help us make nsIURI threadsafe by:

  • Write new code using the nsIURIMutator API
  • Change old code to use nsIURIMutator

Helpful resources:

nsIURIMutator.idl

TestStandardURL.cpp::Mutator

test_uri_mutator.js

Threadsafe URIs in Gecko

By Valentin Gosu

Threadsafe URIs in Gecko

  • 2,075