|
|
1a3471 |
diff -up firefox-78.1.0/Cargo.lock.D87019-thin-vec-big-endian.diff firefox-78.1.0/Cargo.lock
|
|
|
1a3471 |
--- firefox-78.1.0/Cargo.lock.D87019-thin-vec-big-endian.diff 2020-07-22 19:56:54.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/Cargo.lock 2020-08-17 17:04:24.133598583 +0200
|
|
|
1a3471 |
@@ -4792,12 +4792,9 @@ checksum = "8eaa81235c7058867fa8c0e7314f
|
|
|
1a3471 |
|
|
|
1a3471 |
[[package]]
|
|
|
1a3471 |
name = "thin-vec"
|
|
|
1a3471 |
-version = "0.1.0"
|
|
|
1a3471 |
+version = "0.2.1"
|
|
|
1a3471 |
source = "registry+https://github.com/rust-lang/crates.io-index"
|
|
|
1a3471 |
-checksum = "73fdf4b84c65a85168477b7fb6c498e0716bc9487fba24623389ea7f51708044"
|
|
|
1a3471 |
-dependencies = [
|
|
|
1a3471 |
- "libc",
|
|
|
1a3471 |
-]
|
|
|
1a3471 |
+checksum = "dcc760ada4a9f56fc6d0e81bd143984ebc7bb1b875a6891aa2fa613ca7394fc0"
|
|
|
1a3471 |
|
|
|
1a3471 |
[[package]]
|
|
|
1a3471 |
name = "thiserror"
|
|
|
1a3471 |
diff -up firefox-78.1.0/gfx/webrender_bindings/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/gfx/webrender_bindings/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/gfx/webrender_bindings/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-08-17 17:04:24.133598583 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/gfx/webrender_bindings/Cargo.toml 2020-08-17 17:05:26.984805590 +0200
|
|
|
1a3471 |
@@ -20,7 +20,7 @@ nsstring = { path = "../../xpcom/rust/ns
|
|
|
1a3471 |
bincode = "1.0"
|
|
|
1a3471 |
uuid = { version = "0.8", features = ["v4"] }
|
|
|
1a3471 |
fxhash = "0.2.1"
|
|
|
1a3471 |
-thin-vec = { version = "0.1.0", features = ["gecko-ffi"] }
|
|
|
1a3471 |
+thin-vec = { version = "0.2.1", features = ["gecko-ffi"] }
|
|
|
1a3471 |
swgl = { path = "../wr/swgl" }
|
|
|
1a3471 |
|
|
|
1a3471 |
[dependencies.webrender]
|
|
|
1a3471 |
diff -up firefox-78.1.0/intl/l10n/rust/fluent-ffi/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/intl/l10n/rust/fluent-ffi/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/intl/l10n/rust/fluent-ffi/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-07-22 17:56:20.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/intl/l10n/rust/fluent-ffi/Cargo.toml 2020-08-17 17:04:24.134598587 +0200
|
|
|
1a3471 |
@@ -10,4 +10,4 @@ fluent-pseudo = "0.2"
|
|
|
1a3471 |
intl-memoizer = "0.4"
|
|
|
1a3471 |
unic-langid = "0.8"
|
|
|
1a3471 |
nsstring = { path = "../../../../xpcom/rust/nsstring" }
|
|
|
1a3471 |
-thin-vec = { version = "0.1.0", features = ["gecko-ffi"] }
|
|
|
1a3471 |
+thin-vec = { version = "0.2.1", features = ["gecko-ffi"] }
|
|
|
1a3471 |
diff -up firefox-78.1.0/intl/locale/rust/fluent-langneg-ffi/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/intl/locale/rust/fluent-langneg-ffi/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/intl/locale/rust/fluent-langneg-ffi/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-07-22 17:56:20.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/intl/locale/rust/fluent-langneg-ffi/Cargo.toml 2020-08-17 17:04:24.134598587 +0200
|
|
|
1a3471 |
@@ -9,7 +9,7 @@ edition = "2018"
|
|
|
1a3471 |
nserror = { path = "../../../../xpcom/rust/nserror" }
|
|
|
1a3471 |
nsstring = { path = "../../../../xpcom/rust/nsstring" }
|
|
|
1a3471 |
xpcom = { path = "../../../../xpcom/rust/xpcom" }
|
|
|
1a3471 |
-thin-vec = { version = "0.1.0", features = ["gecko-ffi"] }
|
|
|
1a3471 |
+thin-vec = { version = "0.2.1", features = ["gecko-ffi"] }
|
|
|
1a3471 |
fluent-langneg = { version = "0.12.1", features = ["cldr"] }
|
|
|
1a3471 |
unic-langid = "0.8"
|
|
|
1a3471 |
unic-langid-ffi = { path = "../unic-langid-ffi" }
|
|
|
1a3471 |
diff -up firefox-78.1.0/intl/locale/rust/unic-langid-ffi/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/intl/locale/rust/unic-langid-ffi/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/intl/locale/rust/unic-langid-ffi/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-07-22 17:56:20.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/intl/locale/rust/unic-langid-ffi/Cargo.toml 2020-08-17 17:04:24.134598587 +0200
|
|
|
1a3471 |
@@ -9,5 +9,5 @@ edition = "2018"
|
|
|
1a3471 |
nserror = { path = "../../../../xpcom/rust/nserror" }
|
|
|
1a3471 |
nsstring = { path = "../../../../xpcom/rust/nsstring" }
|
|
|
1a3471 |
xpcom = { path = "../../../../xpcom/rust/xpcom" }
|
|
|
1a3471 |
-thin-vec = { version = "0.1.0", features = ["gecko-ffi"] }
|
|
|
1a3471 |
+thin-vec = { version = "0.2.1", features = ["gecko-ffi"] }
|
|
|
1a3471 |
unic-langid = { version = "0.8", features = ["likelysubtags"] }
|
|
|
1a3471 |
diff -up firefox-78.1.0/netwerk/socket/neqo_glue/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/netwerk/socket/neqo_glue/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/netwerk/socket/neqo_glue/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-08-17 17:04:24.134598587 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/netwerk/socket/neqo_glue/Cargo.toml 2020-08-17 17:05:10.352750807 +0200
|
|
|
1a3471 |
@@ -14,7 +14,7 @@ neqo-common = { tag = "v0.2.4", git = "h
|
|
|
1a3471 |
nserror = { path = "../../../xpcom/rust/nserror" }
|
|
|
1a3471 |
nsstring = { path = "../../../xpcom/rust/nsstring" }
|
|
|
1a3471 |
xpcom = { path = "../../../xpcom/rust/xpcom" }
|
|
|
1a3471 |
-thin-vec = { version = "0.1.0", features = ["gecko-ffi"] }
|
|
|
1a3471 |
+thin-vec = { version = "0.2.1", features = ["gecko-ffi"] }
|
|
|
1a3471 |
|
|
|
1a3471 |
[dependencies.neqo-crypto]
|
|
|
1a3471 |
tag = "v0.2.4"
|
|
|
1a3471 |
diff -up firefox-78.1.0/security/manager/ssl/cert_storage/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/security/manager/ssl/cert_storage/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/security/manager/ssl/cert_storage/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-07-22 19:56:55.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/security/manager/ssl/cert_storage/Cargo.toml 2020-08-17 17:04:24.134598587 +0200
|
|
|
1a3471 |
@@ -18,6 +18,6 @@ rust_cascade = "0.6.0"
|
|
|
1a3471 |
sha2 = "^0.8"
|
|
|
1a3471 |
storage_variant = { path = "../../../../storage/variant" }
|
|
|
1a3471 |
tempfile = "3"
|
|
|
1a3471 |
-thin-vec = { version = "0.1.0", features = ["gecko-ffi"] }
|
|
|
1a3471 |
+thin-vec = { version = "0.2.1", features = ["gecko-ffi"] }
|
|
|
1a3471 |
time = "0.1"
|
|
|
1a3471 |
xpcom = { path = "../../../../xpcom/rust/xpcom" }
|
|
|
1a3471 |
diff -up firefox-78.1.0/services/fxaccounts/rust-bridge/firefox-accounts-bridge/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/services/fxaccounts/rust-bridge/firefox-accounts-bridge/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/services/fxaccounts/rust-bridge/firefox-accounts-bridge/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-08-17 17:04:24.134598587 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/services/fxaccounts/rust-bridge/firefox-accounts-bridge/Cargo.toml 2020-08-17 17:04:52.432691786 +0200
|
|
|
1a3471 |
@@ -20,5 +20,5 @@ nserror = { path = "../../../../xpcom/ru
|
|
|
1a3471 |
nsstring = { path = "../../../../xpcom/rust/nsstring" }
|
|
|
1a3471 |
xpcom = { path = "../../../../xpcom/rust/xpcom" }
|
|
|
1a3471 |
storage_variant = { path = "../../../../storage/variant" }
|
|
|
1a3471 |
-thin-vec = { version = "0.1", features = ["gecko-ffi"] }
|
|
|
1a3471 |
+thin-vec = { version = "0.2.1", features = ["gecko-ffi"] }
|
|
|
1a3471 |
fxa-client = { git = "https://github.com/mozilla/application-services", rev = "61dcc364ac0d6d0816ab88a494bbf20d824b009b", features = ["gecko"] }
|
|
|
1a3471 |
diff -up firefox-78.1.0/services/sync/golden_gate/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/services/sync/golden_gate/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/services/sync/golden_gate/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-07-22 17:56:24.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/services/sync/golden_gate/Cargo.toml 2020-08-17 17:04:24.134598587 +0200
|
|
|
1a3471 |
@@ -19,5 +19,5 @@ sync15-traits = { git = "https://github.
|
|
|
1a3471 |
xpcom = { path = "../../../xpcom/rust/xpcom" }
|
|
|
1a3471 |
|
|
|
1a3471 |
[dependencies.thin-vec]
|
|
|
1a3471 |
-version = "0.1.0"
|
|
|
1a3471 |
+version = "0.2.1"
|
|
|
1a3471 |
features = ["gecko-ffi"]
|
|
|
1a3471 |
diff -up firefox-78.1.0/third_party/rust/thin-vec/.cargo-checksum.json.D87019-thin-vec-big-endian.diff firefox-78.1.0/third_party/rust/thin-vec/.cargo-checksum.json
|
|
|
1a3471 |
--- firefox-78.1.0/third_party/rust/thin-vec/.cargo-checksum.json.D87019-thin-vec-big-endian.diff 2020-07-22 17:56:29.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/third_party/rust/thin-vec/.cargo-checksum.json 2020-08-17 17:04:24.134598587 +0200
|
|
|
1a3471 |
@@ -1 +1 @@
|
|
|
1a3471 |
-{"files":{"Cargo.toml":"fb96cad605ae48215811808c1cc1b9a50248f2b14542058094b23983e2f8d8a0","README.md":"c26d7101e3031e7dd8890ce938e50cad7a1e6adf7fc2f2b0d3c36b03afe68c0b","src/heap.rs":"fe84a4ff433568d5713685456d87597ac5dcdb9d5190061a3da8074240ba1bc3","src/lib.rs":"ce36db8e3464dddade7c1ddbe3ee1f5e525af5be492ea51a0d8a0776c1adfc28","src/range.rs":"bac59bcb6230367a39c7e28ac15263e4526f966cd8c72015873017f17c115aaa"},"package":"73fdf4b84c65a85168477b7fb6c498e0716bc9487fba24623389ea7f51708044"}
|
|
|
1a3471 |
\ No newline at end of file
|
|
|
1a3471 |
+{"files":{"Cargo.toml":"754c05523d17eb7591c3ea2c9294e47c05fbb257fed04b78546fb2ec7cafa8b4","README.md":"c26d7101e3031e7dd8890ce938e50cad7a1e6adf7fc2f2b0d3c36b03afe68c0b","src/lib.rs":"627c6094c3f0286dba25bc73f5672c06c5061c25b01c513d213cbdda100673a2"},"package":"dcc760ada4a9f56fc6d0e81bd143984ebc7bb1b875a6891aa2fa613ca7394fc0"}
|
|
|
1a3471 |
\ No newline at end of file
|
|
|
1a3471 |
diff -up firefox-78.1.0/third_party/rust/thin-vec/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/third_party/rust/thin-vec/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/third_party/rust/thin-vec/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-07-22 17:56:29.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/third_party/rust/thin-vec/Cargo.toml 2020-08-17 17:04:24.135598590 +0200
|
|
|
1a3471 |
@@ -3,7 +3,7 @@
|
|
|
1a3471 |
# When uploading crates to the registry Cargo will automatically
|
|
|
1a3471 |
# "normalize" Cargo.toml files for maximal compatibility
|
|
|
1a3471 |
# with all versions of Cargo and also rewrite `path` dependencies
|
|
|
1a3471 |
-# to registry (e.g. crates.io) dependencies
|
|
|
1a3471 |
+# to registry (e.g., crates.io) dependencies
|
|
|
1a3471 |
#
|
|
|
1a3471 |
# If you believe there's an error in this file please file an
|
|
|
1a3471 |
# issue against the rust-lang/cargo repository. If you're
|
|
|
1a3471 |
@@ -11,16 +11,17 @@
|
|
|
1a3471 |
# will likely look very different (and much more reasonable)
|
|
|
1a3471 |
|
|
|
1a3471 |
[package]
|
|
|
1a3471 |
+edition = "2018"
|
|
|
1a3471 |
name = "thin-vec"
|
|
|
1a3471 |
-version = "0.1.0"
|
|
|
1a3471 |
+version = "0.2.1"
|
|
|
1a3471 |
authors = ["Alexis Beingessner <a.beingessner@gmail.com>"]
|
|
|
1a3471 |
description = "a vec that takes up less space on the stack"
|
|
|
1a3471 |
homepage = "https://github.com/gankro/thin-vec"
|
|
|
1a3471 |
readme = "README.md"
|
|
|
1a3471 |
license = "MIT/Apache-2.0"
|
|
|
1a3471 |
repository = "https://github.com/gankro/thin-vec"
|
|
|
1a3471 |
-[dependencies.libc]
|
|
|
1a3471 |
-version = "0.2"
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+[dependencies]
|
|
|
1a3471 |
|
|
|
1a3471 |
[features]
|
|
|
1a3471 |
default = []
|
|
|
1a3471 |
diff -up firefox-78.1.0/third_party/rust/thin-vec/src/heap.rs.D87019-thin-vec-big-endian.diff firefox-78.1.0/third_party/rust/thin-vec/src/heap.rs
|
|
|
1a3471 |
diff -up firefox-78.1.0/third_party/rust/thin-vec/src/lib.rs.D87019-thin-vec-big-endian.diff firefox-78.1.0/third_party/rust/thin-vec/src/lib.rs
|
|
|
1a3471 |
--- firefox-78.1.0/third_party/rust/thin-vec/src/lib.rs.D87019-thin-vec-big-endian.diff 2020-07-22 17:56:28.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/third_party/rust/thin-vec/src/lib.rs 2020-08-17 17:04:24.135598590 +0200
|
|
|
1a3471 |
@@ -1,50 +1,252 @@
|
|
|
1a3471 |
-mod range;
|
|
|
1a3471 |
+//! ThinVec is exactly the same as Vec, except that it stores its `len` and `capacity` in the buffer
|
|
|
1a3471 |
+//! it allocates.
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! This makes the memory footprint of ThinVecs lower; notably in cases where space is reserved for
|
|
|
1a3471 |
+//! a non-existence ThinVec<T>. So `Vec<ThinVec<T>>` and `Option<ThinVec<T>>::None` will waste less
|
|
|
1a3471 |
+//! space. Being pointer-sized also means it can be passed/stored in registers.
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! Of course, any actually constructed ThinVec will theoretically have a bigger allocation, but
|
|
|
1a3471 |
+//! the fuzzy nature of allocators means that might not actually be the case.
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! Properties of Vec that are preserved:
|
|
|
1a3471 |
+//! * `ThinVec::new()` doesn't allocate (it points to a statically allocated singleton)
|
|
|
1a3471 |
+//! * reallocation can be done in place
|
|
|
1a3471 |
+//! * `size_of::<ThinVec<T>>()` == `size_of::<Option<ThinVec<T>>>()`
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! Properties of Vec that aren't preserved:
|
|
|
1a3471 |
+//! * `ThinVec<T>` can't ever be zero-cost roundtripped to a `Box<[T]>`, `String`, or `*mut T`
|
|
|
1a3471 |
+//! * `from_raw_parts` doesn't exist
|
|
|
1a3471 |
+//! * ThinVec currently doesn't bother to not-allocate for Zero Sized Types (e.g. `ThinVec<()>`),
|
|
|
1a3471 |
+//! but it could be done if someone cared enough to implement it.
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! # Gecko FFI
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! If you enable the gecko-ffi feature, ThinVec will verbatim bridge with the nsTArray type in
|
|
|
1a3471 |
+//! Gecko (Firefox). That is, ThinVec and nsTArray have identical layouts *but not ABIs*,
|
|
|
1a3471 |
+//! so nsTArrays/ThinVecs an be natively manipulated by C++ and Rust, and ownership can be
|
|
|
1a3471 |
+//! transferred across the FFI boundary (**IF YOU ARE CAREFUL, SEE BELOW!!**).
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! While this feature is handy, it is also inherently dangerous to use because Rust and C++ do not
|
|
|
1a3471 |
+//! know about eachother. Specifically, this can be an issue with non-POD types (types which
|
|
|
1a3471 |
+//! have destructors, move constructors, or are `!Copy`).
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! ## Do Not Pass By Value
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! The biggest thing to keep in mind is that **FFI functions cannot pass ThinVec/nsTArray
|
|
|
1a3471 |
+//! by-value**. That is, these are busted APIs:
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! ```rust,ignore
|
|
|
1a3471 |
+//! // BAD WRONG
|
|
|
1a3471 |
+//! extern fn process_data(data: ThinVec<u32>) { ... }
|
|
|
1a3471 |
+//! // BAD WRONG
|
|
|
1a3471 |
+//! extern fn get_data() -> ThinVec<u32> { ... }
|
|
|
1a3471 |
+//! ```
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! You must instead pass by-reference:
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! ```rust
|
|
|
1a3471 |
+//! # use thin_vec::*;
|
|
|
1a3471 |
+//! # use std::mem;
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! // Read-only access, ok!
|
|
|
1a3471 |
+//! extern fn process_data(data: &ThinVec<u32>) {
|
|
|
1a3471 |
+//! for val in data {
|
|
|
1a3471 |
+//! println!("{}", val);
|
|
|
1a3471 |
+//! }
|
|
|
1a3471 |
+//! }
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! // Replace with empty instance to take ownership, ok!
|
|
|
1a3471 |
+//! extern fn consume_data(data: &mut ThinVec<u32>) {
|
|
|
1a3471 |
+//! let owned = mem::replace(data, ThinVec::new());
|
|
|
1a3471 |
+//! mem::drop(owned);
|
|
|
1a3471 |
+//! }
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! // Mutate input, ok!
|
|
|
1a3471 |
+//! extern fn add_data(dataset: &mut ThinVec<u32>) {
|
|
|
1a3471 |
+//! dataset.push(37);
|
|
|
1a3471 |
+//! dataset.push(12);
|
|
|
1a3471 |
+//! }
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! // Return via out-param, usually ok!
|
|
|
1a3471 |
+//! //
|
|
|
1a3471 |
+//! // WARNING: output must be initialized! (Empty nsTArrays are free, so just do it!)
|
|
|
1a3471 |
+//! extern fn get_data(output: &mut ThinVec<u32>) {
|
|
|
1a3471 |
+//! *output = thin_vec![1, 2, 3, 4, 5];
|
|
|
1a3471 |
+//! }
|
|
|
1a3471 |
+//! ```
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! Ignorable Explanation For Those Who Really Want To Know Why:
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! > The fundamental issue is that Rust and C++ can't currently communicate about destructors, and
|
|
|
1a3471 |
+//! > the semantics of C++ require destructors of function arguments to be run when the function
|
|
|
1a3471 |
+//! > returns. Whether the callee or caller is responsible for this is also platform-specific, so
|
|
|
1a3471 |
+//! > trying to hack around it manually would be messy.
|
|
|
1a3471 |
+//! >
|
|
|
1a3471 |
+//! > Also a type having a destructor changes its C++ ABI, because that type must actually exist
|
|
|
1a3471 |
+//! > in memory (unlike a trivial struct, which is often passed in registers). We don't currently
|
|
|
1a3471 |
+//! > have a way to communicate to Rust that this is happening, so even if we worked out the
|
|
|
1a3471 |
+//! > destructor issue with say, MaybeUninit, it would still be a non-starter without some RFCs
|
|
|
1a3471 |
+//! > to add explicit rustc support.
|
|
|
1a3471 |
+//! >
|
|
|
1a3471 |
+//! > Realistically, the best answer here is to have a "heavier" bindgen that can secretly
|
|
|
1a3471 |
+//! > generate FFI glue so we can pass things "by value" and have it generate by-reference code
|
|
|
1a3471 |
+//! > behind our back (like the cxx crate does). This would muddy up debugging/searchfox though.
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! ## Types Should Be Trivially Relocatable
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! Types in Rust are always trivially relocatable (unless suitably borrowed/[pinned][]/hidden).
|
|
|
1a3471 |
+//! This means all Rust types are legal to relocate with a bitwise copy, you cannot provide
|
|
|
1a3471 |
+//! copy or move constructors to execute when this happens, and the old location won't have its
|
|
|
1a3471 |
+//! destructor run. This will cause problems for types which have a significant location
|
|
|
1a3471 |
+//! (types that intrusively point into themselves or have their location registered with a service).
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! While relocations are generally predictable if you're very careful, **you should avoid using
|
|
|
1a3471 |
+//! types with significant locations with Rust FFI**.
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! Specifically, ThinVec will trivially relocate its contents whenever it needs to reallocate its
|
|
|
1a3471 |
+//! buffer to change its capacity. This is the default reallocation strategy for nsTArray, and is
|
|
|
1a3471 |
+//! suitable for the vast majority of types. Just be aware of this limitation!
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! ## Auto Arrays Are Dangerous
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! ThinVec has *some* support for handling auto arrays which store their buffer on the stack,
|
|
|
1a3471 |
+//! but this isn't well tested.
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! Regardless of how much support we provide, Rust won't be aware of the buffer's limited lifetime,
|
|
|
1a3471 |
+//! so standard auto array safety caveats apply about returning/storing them! ThinVec won't ever
|
|
|
1a3471 |
+//! produce an auto array on its own, so this is only an issue for transferring an nsTArray into
|
|
|
1a3471 |
+//! Rust.
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! ## Other Issues
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! Standard FFI caveats also apply:
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! * Rust is more strict about POD types being initialized (use MaybeUninit if you must)
|
|
|
1a3471 |
+//! * `ThinVec<T>` has no idea if the C++ version of `T` has move/copy/assign/delete overloads
|
|
|
1a3471 |
+//! * `nsTArray<T>` has no idea if the Rust version of `T` has a Drop/Clone impl
|
|
|
1a3471 |
+//! * C++ can do all sorts of unsound things that Rust can't catch
|
|
|
1a3471 |
+//! * C++ and Rust don't agree on how zero-sized/empty types should be handled
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! The gecko-ffi feature will not work if you aren't linking with code that has nsTArray
|
|
|
1a3471 |
+//! defined. Specifically, we must share the symbol for nsTArray's empty singleton. You will get
|
|
|
1a3471 |
+//! linking errors if that isn't defined.
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! The gecko-ffi feature also limits ThinVec to the legacy behaviors of nsTArray. Most notably,
|
|
|
1a3471 |
+//! nsTArray has a maximum capacity of i32::MAX (~2.1 billion items). Probably not an issue.
|
|
|
1a3471 |
+//! Probably.
|
|
|
1a3471 |
+//!
|
|
|
1a3471 |
+//! [pinned]: https://doc.rust-lang.org/std/pin/index.html
|
|
|
1a3471 |
|
|
|
1a3471 |
use std::{fmt, io, ptr, mem, slice};
|
|
|
1a3471 |
use std::collections::Bound;
|
|
|
1a3471 |
use std::iter::FromIterator;
|
|
|
1a3471 |
use std::slice::IterMut;
|
|
|
1a3471 |
-use std::ops::{Deref, DerefMut};
|
|
|
1a3471 |
+use std::ops::{Deref, DerefMut, RangeBounds};
|
|
|
1a3471 |
use std::marker::PhantomData;
|
|
|
1a3471 |
+use std::alloc::*;
|
|
|
1a3471 |
use std::cmp::*;
|
|
|
1a3471 |
use std::hash::*;
|
|
|
1a3471 |
use std::borrow::*;
|
|
|
1a3471 |
-use range::RangeArgument;
|
|
|
1a3471 |
use std::ptr::NonNull;
|
|
|
1a3471 |
|
|
|
1a3471 |
-// Heap shimming because reasons. This doesn't unfortunately match the heap api
|
|
|
1a3471 |
-// right now because reasons.
|
|
|
1a3471 |
-mod heap;
|
|
|
1a3471 |
+use impl_details::*;
|
|
|
1a3471 |
|
|
|
1a3471 |
-#[cfg(not(feature = "gecko-ffi"))]
|
|
|
1a3471 |
-type SizeType = usize;
|
|
|
1a3471 |
-#[cfg(feature = "gecko-ffi")]
|
|
|
1a3471 |
-type SizeType = u32;
|
|
|
1a3471 |
-
|
|
|
1a3471 |
-#[cfg(feature = "gecko-ffi")]
|
|
|
1a3471 |
-const AUTO_MASK: u32 = 1 << 31;
|
|
|
1a3471 |
-#[cfg(feature = "gecko-ffi")]
|
|
|
1a3471 |
-const CAP_MASK: u32 = !AUTO_MASK;
|
|
|
1a3471 |
+// modules: a simple way to cfg a whole bunch of impl details at once
|
|
|
1a3471 |
|
|
|
1a3471 |
#[cfg(not(feature = "gecko-ffi"))]
|
|
|
1a3471 |
-const MAX_CAP: usize = !0;
|
|
|
1a3471 |
-#[cfg(feature = "gecko-ffi")]
|
|
|
1a3471 |
-const MAX_CAP: usize = i32::max_value() as usize;
|
|
|
1a3471 |
+mod impl_details {
|
|
|
1a3471 |
+ pub type SizeType = usize;
|
|
|
1a3471 |
+ pub const MAX_CAP: usize = !0;
|
|
|
1a3471 |
|
|
|
1a3471 |
-#[cfg(not(feature = "gecko-ffi"))]
|
|
|
1a3471 |
-#[inline(always)]
|
|
|
1a3471 |
-fn assert_size(x: usize) -> SizeType { x }
|
|
|
1a3471 |
+ #[inline(always)]
|
|
|
1a3471 |
+ pub fn assert_size(x: usize) -> SizeType { x }
|
|
|
1a3471 |
+}
|
|
|
1a3471 |
|
|
|
1a3471 |
#[cfg(feature = "gecko-ffi")]
|
|
|
1a3471 |
-#[inline]
|
|
|
1a3471 |
-fn assert_size(x: usize) -> SizeType {
|
|
|
1a3471 |
- if x > MAX_CAP as usize {
|
|
|
1a3471 |
- panic!("nsTArray size may not exceed the capacity of a 32-bit sized int");
|
|
|
1a3471 |
+mod impl_details {
|
|
|
1a3471 |
+ // Support for briding a gecko nsTArray verbatim into a ThinVec.
|
|
|
1a3471 |
+ //
|
|
|
1a3471 |
+ // ThinVec can't see copy/move/delete implementations
|
|
|
1a3471 |
+ // from C++
|
|
|
1a3471 |
+ //
|
|
|
1a3471 |
+ // The actual layout of an nsTArray is:
|
|
|
1a3471 |
+ //
|
|
|
1a3471 |
+ // ```cpp
|
|
|
1a3471 |
+ // struct {
|
|
|
1a3471 |
+ // uint32_t mLength;
|
|
|
1a3471 |
+ // uint32_t mCapacity: 31;
|
|
|
1a3471 |
+ // uint32_t mIsAutoArray: 1;
|
|
|
1a3471 |
+ // }
|
|
|
1a3471 |
+ // ```
|
|
|
1a3471 |
+ //
|
|
|
1a3471 |
+ // Rust doesn't natively support bit-fields, so we manually mask
|
|
|
1a3471 |
+ // and shift the bit. When the "auto" bit is set, the header and buffer
|
|
|
1a3471 |
+ // are actually on the stack, meaning the ThinVec pointer-to-header
|
|
|
1a3471 |
+ // is essentially an "owned borrow", and therefore dangerous to handle.
|
|
|
1a3471 |
+ // There are no safety guards for this situation.
|
|
|
1a3471 |
+ //
|
|
|
1a3471 |
+ // On little-endian platforms, the auto bit will be the high-bit of
|
|
|
1a3471 |
+ // our capacity u32. On big-endian platforms, it will be the low bit.
|
|
|
1a3471 |
+ // Hence we need some platform-specific CFGs for the necessary masking/shifting.
|
|
|
1a3471 |
+ //
|
|
|
1a3471 |
+ // ThinVec won't ever construct an auto array. They only happen when
|
|
|
1a3471 |
+ // bridging from C++. This means we don't need to ever set/preserve the bit.
|
|
|
1a3471 |
+ // We just need to be able to read and handle it if it happens to be there.
|
|
|
1a3471 |
+ //
|
|
|
1a3471 |
+ // Handling the auto bit mostly just means not freeing/reallocating the buffer.
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+ pub type SizeType = u32;
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+ pub const MAX_CAP: usize = i32::max_value() as usize;
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+ // Little endian: the auto bit is the high bit, and the capacity is
|
|
|
1a3471 |
+ // verbatim. So we just need to mask off the high bit. Note that
|
|
|
1a3471 |
+ // this masking is unnecessary when packing, because assert_size
|
|
|
1a3471 |
+ // guards against the high bit being set.
|
|
|
1a3471 |
+ #[cfg(target_endian = "little")]
|
|
|
1a3471 |
+ pub fn pack_capacity(cap: SizeType) -> SizeType {
|
|
|
1a3471 |
+ cap as SizeType
|
|
|
1a3471 |
+ }
|
|
|
1a3471 |
+ #[cfg(target_endian = "little")]
|
|
|
1a3471 |
+ pub fn unpack_capacity(cap: SizeType) -> usize {
|
|
|
1a3471 |
+ (cap as usize) & !(1 << 31)
|
|
|
1a3471 |
+ }
|
|
|
1a3471 |
+ #[cfg(target_endian = "little")]
|
|
|
1a3471 |
+ pub fn is_auto(cap: SizeType) -> bool {
|
|
|
1a3471 |
+ (cap & (1 << 31)) != 0
|
|
|
1a3471 |
+ }
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+ // Big endian: the auto bit is the low bit, and the capacity is
|
|
|
1a3471 |
+ // shifted up one bit. Masking out the auto bit is unnecessary,
|
|
|
1a3471 |
+ // as rust shifts always shift in 0's for unsigned integers.
|
|
|
1a3471 |
+ #[cfg(target_endian = "big")]
|
|
|
1a3471 |
+ pub fn pack_capacity(cap: SizeType) -> SizeType {
|
|
|
1a3471 |
+ (cap as SizeType) << 1
|
|
|
1a3471 |
+ }
|
|
|
1a3471 |
+ #[cfg(target_endian = "big")]
|
|
|
1a3471 |
+ pub fn unpack_capacity(cap: SizeType) -> usize {
|
|
|
1a3471 |
+ (cap >> 1) as usize
|
|
|
1a3471 |
+ }
|
|
|
1a3471 |
+ #[cfg(target_endian = "big")]
|
|
|
1a3471 |
+ pub fn is_auto(cap: SizeType) -> bool {
|
|
|
1a3471 |
+ (cap & 1) != 0
|
|
|
1a3471 |
+ }
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+ #[inline]
|
|
|
1a3471 |
+ pub fn assert_size(x: usize) -> SizeType {
|
|
|
1a3471 |
+ if x > MAX_CAP as usize {
|
|
|
1a3471 |
+ panic!("nsTArray size may not exceed the capacity of a 32-bit sized int");
|
|
|
1a3471 |
+ }
|
|
|
1a3471 |
+ x as SizeType
|
|
|
1a3471 |
}
|
|
|
1a3471 |
- x as SizeType
|
|
|
1a3471 |
+
|
|
|
1a3471 |
}
|
|
|
1a3471 |
|
|
|
1a3471 |
-/// The header of a ThinVec
|
|
|
1a3471 |
+/// The header of a ThinVec.
|
|
|
1a3471 |
+///
|
|
|
1a3471 |
+/// The _cap can be a bitfield, so use accessors to avoid trouble.
|
|
|
1a3471 |
#[repr(C)]
|
|
|
1a3471 |
struct Header {
|
|
|
1a3471 |
_len: SizeType,
|
|
|
1a3471 |
@@ -56,38 +258,10 @@ impl Header {
|
|
|
1a3471 |
self._len as usize
|
|
|
1a3471 |
}
|
|
|
1a3471 |
|
|
|
1a3471 |
- #[cfg(feature = "gecko-ffi")]
|
|
|
1a3471 |
- fn cap(&self) -> usize {
|
|
|
1a3471 |
- (self._cap & CAP_MASK) as usize
|
|
|
1a3471 |
- }
|
|
|
1a3471 |
-
|
|
|
1a3471 |
- #[cfg(not(feature = "gecko-ffi"))]
|
|
|
1a3471 |
- fn cap(&self) -> usize {
|
|
|
1a3471 |
- self._cap as usize
|
|
|
1a3471 |
- }
|
|
|
1a3471 |
-
|
|
|
1a3471 |
fn set_len(&mut self, len: usize) {
|
|
|
1a3471 |
self._len = assert_size(len);
|
|
|
1a3471 |
}
|
|
|
1a3471 |
|
|
|
1a3471 |
- #[cfg(feature = "gecko-ffi")]
|
|
|
1a3471 |
- fn set_cap(&mut self, cap: usize) {
|
|
|
1a3471 |
- debug_assert!(cap & (CAP_MASK as usize) == cap);
|
|
|
1a3471 |
- // FIXME: this is busted because it reads uninit memory
|
|
|
1a3471 |
- // debug_assert!(!self.uses_stack_allocated_buffer());
|
|
|
1a3471 |
- self._cap = assert_size(cap) & CAP_MASK;
|
|
|
1a3471 |
- }
|
|
|
1a3471 |
-
|
|
|
1a3471 |
- #[cfg(feature = "gecko-ffi")]
|
|
|
1a3471 |
- fn uses_stack_allocated_buffer(&self) -> bool {
|
|
|
1a3471 |
- self._cap & AUTO_MASK != 0
|
|
|
1a3471 |
- }
|
|
|
1a3471 |
-
|
|
|
1a3471 |
- #[cfg(not(feature = "gecko-ffi"))]
|
|
|
1a3471 |
- fn set_cap(&mut self, cap: usize) {
|
|
|
1a3471 |
- self._cap = assert_size(cap);
|
|
|
1a3471 |
- }
|
|
|
1a3471 |
-
|
|
|
1a3471 |
fn data<T>(&self) -> *mut T {
|
|
|
1a3471 |
let header_size = mem::size_of::<Header>();
|
|
|
1a3471 |
let padding = padding::<T>();
|
|
|
1a3471 |
@@ -105,6 +279,41 @@ impl Header {
|
|
|
1a3471 |
}
|
|
|
1a3471 |
}
|
|
|
1a3471 |
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+#[cfg(feature = "gecko-ffi")]
|
|
|
1a3471 |
+impl Header {
|
|
|
1a3471 |
+ fn cap(&self) -> usize {
|
|
|
1a3471 |
+ unpack_capacity(self._cap)
|
|
|
1a3471 |
+ }
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+ fn set_cap(&mut self, cap: usize) {
|
|
|
1a3471 |
+ // debug check that our packing is working
|
|
|
1a3471 |
+ debug_assert_eq!(unpack_capacity(pack_capacity(cap as SizeType)), cap);
|
|
|
1a3471 |
+ // FIXME: this assert is busted because it reads uninit memory
|
|
|
1a3471 |
+ // debug_assert!(!self.uses_stack_allocated_buffer());
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+ // NOTE: this always stores a cleared auto bit, because set_cap
|
|
|
1a3471 |
+ // is only invoked by Rust, and Rust doesn't create auto arrays.
|
|
|
1a3471 |
+ self._cap = pack_capacity(assert_size(cap));
|
|
|
1a3471 |
+ }
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+ fn uses_stack_allocated_buffer(&self) -> bool {
|
|
|
1a3471 |
+ is_auto(self._cap)
|
|
|
1a3471 |
+ }
|
|
|
1a3471 |
+}
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+#[cfg(not(feature = "gecko-ffi"))]
|
|
|
1a3471 |
+impl Header {
|
|
|
1a3471 |
+ fn cap(&self) -> usize {
|
|
|
1a3471 |
+ self._cap as usize
|
|
|
1a3471 |
+ }
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+ fn set_cap(&mut self, cap: usize) {
|
|
|
1a3471 |
+ self._cap = assert_size(cap);
|
|
|
1a3471 |
+ }
|
|
|
1a3471 |
+}
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+
|
|
|
1a3471 |
/// Singleton that all empty collections share.
|
|
|
1a3471 |
/// Note: can't store non-zero ZSTs, we allocate in that case. We could
|
|
|
1a3471 |
/// optimize everything to not do that (basically, make ptr == len and branch
|
|
|
1a3471 |
@@ -121,9 +330,7 @@ extern {
|
|
|
1a3471 |
|
|
|
1a3471 |
// TODO: overflow checks everywhere
|
|
|
1a3471 |
|
|
|
1a3471 |
-// Utils
|
|
|
1a3471 |
-
|
|
|
1a3471 |
-fn oom() -> ! { std::process::abort() }
|
|
|
1a3471 |
+// Utils for computing layouts of allocations
|
|
|
1a3471 |
|
|
|
1a3471 |
fn alloc_size<T>(cap: usize) -> usize {
|
|
|
1a3471 |
// Compute "real" header size with pointer math
|
|
|
1a3471 |
@@ -156,15 +363,22 @@ fn alloc_align<T>() -> usize {
|
|
|
1a3471 |
max(mem::align_of::<T>(), mem::align_of::<Header>())
|
|
|
1a3471 |
}
|
|
|
1a3471 |
|
|
|
1a3471 |
-fn header_with_capacity<T>(cap: usize) -> NonNull<Header> {
|
|
|
1a3471 |
- debug_assert!(cap > 0);
|
|
|
1a3471 |
+fn layout<T>(cap: usize) -> Layout {
|
|
|
1a3471 |
unsafe {
|
|
|
1a3471 |
- let header = heap::allocate(
|
|
|
1a3471 |
+ Layout::from_size_align_unchecked(
|
|
|
1a3471 |
alloc_size::<T>(cap),
|
|
|
1a3471 |
alloc_align::<T>(),
|
|
|
1a3471 |
- ) as *mut Header;
|
|
|
1a3471 |
+ )
|
|
|
1a3471 |
+ }
|
|
|
1a3471 |
+}
|
|
|
1a3471 |
|
|
|
1a3471 |
- if header.is_null() { oom() }
|
|
|
1a3471 |
+fn header_with_capacity<T>(cap: usize) -> NonNull<Header> {
|
|
|
1a3471 |
+ debug_assert!(cap > 0);
|
|
|
1a3471 |
+ unsafe {
|
|
|
1a3471 |
+ let layout = layout::<T>(cap);
|
|
|
1a3471 |
+ let header = alloc(layout) as *mut Header;
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+ if header.is_null() { handle_alloc_error(layout) }
|
|
|
1a3471 |
|
|
|
1a3471 |
// "Infinite" capacity for zero-sized types:
|
|
|
1a3471 |
(*header).set_cap(if mem::size_of::<T>() == 0 { MAX_CAP } else { cap });
|
|
|
1a3471 |
@@ -176,28 +390,8 @@ fn header_with_capacity<T>(cap: usize) -
|
|
|
1a3471 |
|
|
|
1a3471 |
|
|
|
1a3471 |
|
|
|
1a3471 |
-/// ThinVec is exactly the same as Vec, except that it stores its `len` and `capacity` in the buffer
|
|
|
1a3471 |
-/// it allocates.
|
|
|
1a3471 |
-///
|
|
|
1a3471 |
-/// This makes the memory footprint of ThinVecs lower; notably in cases where space is reserved for
|
|
|
1a3471 |
-/// a non-existence ThinVec<T>. So `Vec<ThinVec<T>>` and `Option<ThinVec<T>>::None` will waste less
|
|
|
1a3471 |
-/// space. Being pointer-sized also means it can be passed/stored in registers.
|
|
|
1a3471 |
-///
|
|
|
1a3471 |
-/// Of course, any actually constructed ThinVec will theoretically have a bigger allocation, but
|
|
|
1a3471 |
-/// the fuzzy nature of allocators means that might not actually be the case.
|
|
|
1a3471 |
-///
|
|
|
1a3471 |
-/// Properties of Vec that are preserved:
|
|
|
1a3471 |
-/// * `ThinVec::new()` doesn't allocate (it points to a statically allocated singleton)
|
|
|
1a3471 |
-/// * reallocation can be done in place
|
|
|
1a3471 |
-/// * `size_of::<ThinVec<T>>()` == `size_of::<Option<ThinVec<T>>>()`
|
|
|
1a3471 |
-/// * NOTE: This is only possible when the `unstable` feature is used.
|
|
|
1a3471 |
-///
|
|
|
1a3471 |
-/// Properties of Vec that aren't preserved:
|
|
|
1a3471 |
-/// * `ThinVec<T>` can't ever be zero-cost roundtripped to a `Box<[T]>`, `String`, or `*mut T`
|
|
|
1a3471 |
-/// * `from_raw_parts` doesn't exist
|
|
|
1a3471 |
-/// * ThinVec currently doesn't bother to not-allocate for Zero Sized Types (e.g. `ThinVec<()>`),
|
|
|
1a3471 |
-/// but it could be done if someone cared enough to implement it.
|
|
|
1a3471 |
-#[cfg_attr(feature = "gecko-ffi", repr(C))]
|
|
|
1a3471 |
+/// See the crate's top level documentation for a description of this type.
|
|
|
1a3471 |
+#[repr(C)]
|
|
|
1a3471 |
pub struct ThinVec<T> {
|
|
|
1a3471 |
ptr: NonNull<Header>,
|
|
|
1a3471 |
boo: PhantomData<T>,
|
|
|
1a3471 |
@@ -627,15 +821,15 @@ impl<T> ThinVec<T> {
|
|
|
1a3471 |
}
|
|
|
1a3471 |
|
|
|
1a3471 |
pub fn drain<R>(&mut self, range: R) -> Drain<T>
|
|
|
1a3471 |
- where R: RangeArgument<usize>
|
|
|
1a3471 |
+ where R: RangeBounds<usize>
|
|
|
1a3471 |
{
|
|
|
1a3471 |
let len = self.len();
|
|
|
1a3471 |
- let start = match range.start() {
|
|
|
1a3471 |
+ let start = match range.start_bound() {
|
|
|
1a3471 |
Bound::Included(&n) => n,
|
|
|
1a3471 |
Bound::Excluded(&n) => n + 1,
|
|
|
1a3471 |
Bound::Unbounded => 0,
|
|
|
1a3471 |
};
|
|
|
1a3471 |
- let end = match range.end() {
|
|
|
1a3471 |
+ let end = match range.end_bound() {
|
|
|
1a3471 |
Bound::Included(&n) => n + 1,
|
|
|
1a3471 |
Bound::Excluded(&n) => n,
|
|
|
1a3471 |
Bound::Unbounded => len,
|
|
|
1a3471 |
@@ -666,9 +860,10 @@ impl<T> ThinVec<T> {
|
|
|
1a3471 |
|
|
|
1a3471 |
unsafe fn deallocate(&mut self) {
|
|
|
1a3471 |
if self.has_allocation() {
|
|
|
1a3471 |
- heap::deallocate(self.ptr() as *mut u8,
|
|
|
1a3471 |
- alloc_size::<T>(self.capacity()),
|
|
|
1a3471 |
- alloc_align::<T>());
|
|
|
1a3471 |
+ dealloc(
|
|
|
1a3471 |
+ self.ptr() as *mut u8,
|
|
|
1a3471 |
+ layout::<T>(self.capacity()),
|
|
|
1a3471 |
+ )
|
|
|
1a3471 |
}
|
|
|
1a3471 |
}
|
|
|
1a3471 |
|
|
|
1a3471 |
@@ -678,15 +873,36 @@ impl<T> ThinVec<T> {
|
|
|
1a3471 |
debug_assert!(new_cap > 0);
|
|
|
1a3471 |
if self.has_allocation() {
|
|
|
1a3471 |
let old_cap = self.capacity();
|
|
|
1a3471 |
- let ptr = heap::reallocate(self.ptr() as *mut u8,
|
|
|
1a3471 |
- alloc_size::<T>(old_cap),
|
|
|
1a3471 |
- alloc_size::<T>(new_cap),
|
|
|
1a3471 |
- alloc_align::<T>()) as *mut Header;
|
|
|
1a3471 |
- if ptr.is_null() { oom() }
|
|
|
1a3471 |
+ let ptr = realloc(
|
|
|
1a3471 |
+ self.ptr() as *mut u8,
|
|
|
1a3471 |
+ layout::<T>(old_cap),
|
|
|
1a3471 |
+ alloc_size::<T>(new_cap),
|
|
|
1a3471 |
+ ) as *mut Header;
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+ if ptr.is_null() { handle_alloc_error(layout::<T>(new_cap)) }
|
|
|
1a3471 |
(*ptr).set_cap(new_cap);
|
|
|
1a3471 |
self.ptr = NonNull::new_unchecked(ptr);
|
|
|
1a3471 |
} else {
|
|
|
1a3471 |
- self.ptr = header_with_capacity::<T>(new_cap);
|
|
|
1a3471 |
+ let mut new_header = header_with_capacity::<T>(new_cap);
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+ // If we get here and have a non-zero len, then we must be handling
|
|
|
1a3471 |
+ // a gecko auto array, and we have items in a stack buffer. We shouldn't
|
|
|
1a3471 |
+ // free it, but we should memcopy the contents out of it and mark it as empty.
|
|
|
1a3471 |
+ //
|
|
|
1a3471 |
+ // T is assumed to be trivially relocatable, as this is ~required
|
|
|
1a3471 |
+ // for Rust compatibility anyway. Furthermore, we assume C++ won't try
|
|
|
1a3471 |
+ // to unconditionally destroy the contents of the stack allocated buffer
|
|
|
1a3471 |
+ // (i.e. it's obfuscated behind a union).
|
|
|
1a3471 |
+ //
|
|
|
1a3471 |
+ // In effect, we are partially reimplementing the auto array move constructor
|
|
|
1a3471 |
+ // by leaving behind a valid empty instance.
|
|
|
1a3471 |
+ let len = self.len();
|
|
|
1a3471 |
+ if cfg!(feature = "gecko-ffi") && len > 0 {
|
|
|
1a3471 |
+ new_header.as_mut().data::<T>().copy_from_nonoverlapping(self.data_raw(), len);
|
|
|
1a3471 |
+ self.set_len(0);
|
|
|
1a3471 |
+ }
|
|
|
1a3471 |
+
|
|
|
1a3471 |
+ self.ptr = new_header;
|
|
|
1a3471 |
}
|
|
|
1a3471 |
}
|
|
|
1a3471 |
|
|
|
1a3471 |
@@ -1087,10 +1303,7 @@ mod tests {
|
|
|
1a3471 |
use std::mem::size_of;
|
|
|
1a3471 |
assert_eq!(size_of::<ThinVec<u8>>(), size_of::<&u8>());
|
|
|
1a3471 |
|
|
|
1a3471 |
- // We don't perform the null-pointer optimization on stable rust.
|
|
|
1a3471 |
- if cfg!(feature = "unstable") {
|
|
|
1a3471 |
- assert_eq!(size_of::<Option<ThinVec<u8>>>(), size_of::<&u8>());
|
|
|
1a3471 |
- }
|
|
|
1a3471 |
+ assert_eq!(size_of::<Option<ThinVec<u8>>>(), size_of::<&u8>());
|
|
|
1a3471 |
}
|
|
|
1a3471 |
|
|
|
1a3471 |
#[test]
|
|
|
1a3471 |
@@ -1725,7 +1938,6 @@ mod std_tests {
|
|
|
1a3471 |
assert_eq!(v, &[(), ()]);
|
|
|
1a3471 |
}
|
|
|
1a3471 |
|
|
|
1a3471 |
-/* TODO: support inclusive ranges
|
|
|
1a3471 |
#[test]
|
|
|
1a3471 |
fn test_drain_inclusive_range() {
|
|
|
1a3471 |
let mut v = thin_vec!['a', 'b', 'c', 'd', 'e'];
|
|
|
1a3471 |
@@ -1755,6 +1967,7 @@ mod std_tests {
|
|
|
1a3471 |
}
|
|
|
1a3471 |
|
|
|
1a3471 |
#[test]
|
|
|
1a3471 |
+ #[cfg(not(feature = "gecko-ffi"))]
|
|
|
1a3471 |
fn test_drain_max_vec_size() {
|
|
|
1a3471 |
let mut v = ThinVec::<()>::with_capacity(usize::max_value());
|
|
|
1a3471 |
unsafe { v.set_len(usize::max_value()); }
|
|
|
1a3471 |
@@ -1775,7 +1988,6 @@ mod std_tests {
|
|
|
1a3471 |
let mut v = thin_vec![1, 2, 3, 4, 5];
|
|
|
1a3471 |
v.drain(5..=5);
|
|
|
1a3471 |
}
|
|
|
1a3471 |
-*/
|
|
|
1a3471 |
|
|
|
1a3471 |
/* TODO: implement splice?
|
|
|
1a3471 |
#[test]
|
|
|
1a3471 |
@@ -2181,7 +2393,7 @@ mod std_tests {
|
|
|
1a3471 |
assert!(v.capacity() >= 33)
|
|
|
1a3471 |
}
|
|
|
1a3471 |
|
|
|
1a3471 |
-/* TODO: implement try_reserve
|
|
|
1a3471 |
+/* TODO: implement try_reserve
|
|
|
1a3471 |
#[test]
|
|
|
1a3471 |
fn test_try_reserve() {
|
|
|
1a3471 |
|
|
|
1a3471 |
diff -up firefox-78.1.0/third_party/rust/thin-vec/src/range.rs.D87019-thin-vec-big-endian.diff firefox-78.1.0/third_party/rust/thin-vec/src/range.rs
|
|
|
1a3471 |
diff -up firefox-78.1.0/toolkit/components/cascade_bloom_filter/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/toolkit/components/cascade_bloom_filter/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/toolkit/components/cascade_bloom_filter/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-07-22 17:56:29.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/toolkit/components/cascade_bloom_filter/Cargo.toml 2020-08-17 17:04:24.135598590 +0200
|
|
|
1a3471 |
@@ -8,5 +8,5 @@ nserror = { path = "../../../xpcom/rust/
|
|
|
1a3471 |
nsstring = { path = "../../../xpcom/rust/nsstring" }
|
|
|
1a3471 |
rental = "0.5.5"
|
|
|
1a3471 |
rust_cascade = "0.6.0"
|
|
|
1a3471 |
-thin-vec = { version = "0.1.0", features = ["gecko-ffi"] }
|
|
|
1a3471 |
+thin-vec = { version = "0.2.1", features = ["gecko-ffi"] }
|
|
|
1a3471 |
xpcom = { path = "../../../xpcom/rust/xpcom" }
|
|
|
1a3471 |
diff -up firefox-78.1.0/toolkit/components/extensions/storage/webext_storage_bridge/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/toolkit/components/extensions/storage/webext_storage_bridge/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/toolkit/components/extensions/storage/webext_storage_bridge/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-07-22 17:56:30.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/toolkit/components/extensions/storage/webext_storage_bridge/Cargo.toml 2020-08-17 17:04:24.135598590 +0200
|
|
|
1a3471 |
@@ -13,7 +13,7 @@ moz_task = { path = "../../../../../xpco
|
|
|
1a3471 |
nserror = { path = "../../../../../xpcom/rust/nserror" }
|
|
|
1a3471 |
nsstring = { path = "../../../../../xpcom/rust/nsstring" }
|
|
|
1a3471 |
once_cell = "1"
|
|
|
1a3471 |
-thin-vec = { version = "0.1.0", features = ["gecko-ffi"] }
|
|
|
1a3471 |
+thin-vec = { version = "0.2.1", features = ["gecko-ffi"] }
|
|
|
1a3471 |
xpcom = { path = "../../../../../xpcom/rust/xpcom" }
|
|
|
1a3471 |
serde = "1"
|
|
|
1a3471 |
serde_json = "1"
|
|
|
1a3471 |
diff -up firefox-78.1.0/toolkit/components/kvstore/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/toolkit/components/kvstore/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/toolkit/components/kvstore/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-07-22 17:56:30.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/toolkit/components/kvstore/Cargo.toml 2020-08-17 17:04:24.135598590 +0200
|
|
|
1a3471 |
@@ -18,7 +18,7 @@ rkv = "0.10.2"
|
|
|
1a3471 |
storage_variant = { path = "../../../storage/variant" }
|
|
|
1a3471 |
xpcom = { path = "../../../xpcom/rust/xpcom" }
|
|
|
1a3471 |
tempfile = "3"
|
|
|
1a3471 |
-thin-vec = { version = "0.1.0", features = ["gecko-ffi"] }
|
|
|
1a3471 |
+thin-vec = { version = "0.2.1", features = ["gecko-ffi"] }
|
|
|
1a3471 |
|
|
|
1a3471 |
# Get rid of failure's dependency on backtrace. Eventually
|
|
|
1a3471 |
# backtrace will move into Rust core, but we don't need it here.
|
|
|
1a3471 |
diff -up firefox-78.1.0/toolkit/components/places/bookmark_sync/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/toolkit/components/places/bookmark_sync/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/toolkit/components/places/bookmark_sync/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-07-22 17:56:30.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/toolkit/components/places/bookmark_sync/Cargo.toml 2020-08-17 17:04:24.135598590 +0200
|
|
|
1a3471 |
@@ -19,5 +19,5 @@ url = "2.0"
|
|
|
1a3471 |
xpcom = { path = "../../../../xpcom/rust/xpcom" }
|
|
|
1a3471 |
|
|
|
1a3471 |
[dependencies.thin-vec]
|
|
|
1a3471 |
-version = "0.1.0"
|
|
|
1a3471 |
+version = "0.2.1"
|
|
|
1a3471 |
features = ["gecko-ffi"]
|
|
|
1a3471 |
diff -up firefox-78.1.0/tools/profiler/rust-helper/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/tools/profiler/rust-helper/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/tools/profiler/rust-helper/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-07-22 17:56:30.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/tools/profiler/rust-helper/Cargo.toml 2020-08-17 17:04:24.135598590 +0200
|
|
|
1a3471 |
@@ -23,7 +23,7 @@ features = ["endian_fd", "elf32", "elf64
|
|
|
1a3471 |
default-features = false
|
|
|
1a3471 |
|
|
|
1a3471 |
[dependencies.thin-vec]
|
|
|
1a3471 |
-version = "0.1.0"
|
|
|
1a3471 |
+version = "0.2.1"
|
|
|
1a3471 |
features = ["gecko-ffi"]
|
|
|
1a3471 |
|
|
|
1a3471 |
[features]
|
|
|
1a3471 |
diff -up firefox-78.1.0/xpcom/rust/xpcom/Cargo.toml.D87019-thin-vec-big-endian.diff firefox-78.1.0/xpcom/rust/xpcom/Cargo.toml
|
|
|
1a3471 |
--- firefox-78.1.0/xpcom/rust/xpcom/Cargo.toml.D87019-thin-vec-big-endian.diff 2020-07-22 17:56:30.000000000 +0200
|
|
|
1a3471 |
+++ firefox-78.1.0/xpcom/rust/xpcom/Cargo.toml 2020-08-17 17:04:24.136598593 +0200
|
|
|
1a3471 |
@@ -9,4 +9,4 @@ nsstring = { path = "../nsstring" }
|
|
|
1a3471 |
nserror = { path = "../nserror" }
|
|
|
1a3471 |
threadbound = "0.1"
|
|
|
1a3471 |
xpcom_macros = { path = "xpcom_macros" }
|
|
|
1a3471 |
-thin-vec = { version = "0.1.0", features = ["gecko-ffi"] }
|
|
|
1a3471 |
+thin-vec = { version = "0.2.1", features = ["gecko-ffi"] }
|