about summary refs log tree commit diff
path: root/tvix/nix-compat/src/wire
diff options
context:
space:
mode:
authorPicnoir <picnoir@alternativebit.fr>2024-03-21T08·23+0100
committerpicnoir picnoir <picnoir@alternativebit.fr>2024-03-22T05·58+0000
commitaaf68bc39d08be03ef59f8bd0b5a5bc7a5620a66 (patch)
tree30e4287127d71ff9db2a67c4fda9050fa7867bde /tvix/nix-compat/src/wire
parent9793745459fb5a8d2d66c4e8832b9ca79fdd9a1a (diff)
feat(tvix/nix-compat): add read_u32 wire primitive r/7758
Change-Id: I87a40f79ee7e91bc4fe3dc0ee7818a533c729373
Reviewed-on: https://cl.tvl.fyi/c/depot/+/11225
Reviewed-by: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/nix-compat/src/wire')
-rw-r--r--tvix/nix-compat/src/wire/primitive.rs36
1 files changed, 35 insertions, 1 deletions
diff --git a/tvix/nix-compat/src/wire/primitive.rs b/tvix/nix-compat/src/wire/primitive.rs
index e675fcd2d106..a925bd00df53 100644
--- a/tvix/nix-compat/src/wire/primitive.rs
+++ b/tvix/nix-compat/src/wire/primitive.rs
@@ -8,6 +8,27 @@ use tokio::io::{AsyncRead, AsyncReadExt, AsyncWrite, AsyncWriteExt};
 pub static MAGIC_HELLO: [u8; 8] = *b"cxin\0\0\0\0";
 // LE-encoded dxio on 64 bits. What's dxio? I have no clue.
 pub static MAGIC_HELLO_RESPONSE: [u8; 8] = *b"oixd\0\0\0\0";
+// LE-encoded protocol version.
+pub static PROTOCOL_VERSION: [u8; 8] = [0x23, 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00];
+
+/// Read a LE u32 from the least-significant bytes of a LE u64.
+///
+/// Overall, it looks like this on the wire:
+///
+/// 00 0x12 0x32 0x00 0x00 0x00 0x00 0x00 0x00
+///    |------------------|-------------------|
+///          LE u32            padding
+///
+/// Not sure why the protocol does this instead of using a plain u64,
+/// but well, it is what it is.
+///
+/// Analogous to the readInt function in cppnix.
+pub async fn read_u32<R: AsyncReadExt + Unpin>(r: &mut R) -> std::io::Result<u32> {
+    let val64 = r.read_u64_le().await?;
+    u32::try_from(val64).map_err(|_| {
+        std::io::Error::new(std::io::ErrorKind::InvalidData, "padding is not all zeroes")
+    })
+}
 
 #[allow(dead_code)]
 /// Read a u64 from the AsyncRead (little endian).
@@ -35,7 +56,8 @@ pub async fn write_bool<W: AsyncWrite + Unpin>(w: &mut W, v: bool) -> std::io::R
 #[cfg(test)]
 mod tests {
     use super::*;
-    use tokio_test::io::Builder;
+    use hex_literal::hex;
+    use tokio_test::{assert_err, io::Builder};
 
     // Integers.
     #[tokio::test]
@@ -76,4 +98,16 @@ mod tests {
         let mut mock = Builder::new().write(&1u64.to_le_bytes()).build();
         write_bool(&mut mock, true).await.unwrap();
     }
+    #[tokio::test]
+    async fn test_read_u32() {
+        let mut mock = Builder::new().read(&hex!("7856341200000000")).build();
+        let res = read_u32(&mut mock).await.unwrap();
+        assert_eq!(res, 0x12345678);
+    }
+    #[tokio::test]
+    async fn test_read_too_large_u32_fail() {
+        let mut mock = Builder::new().read(&hex!("7856341298760000")).build();
+        let res = read_u32(&mut mock).await;
+        assert_err!(res);
+    }
 }