1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57

//! The Shadow network simulator.
//!
//! Shadow is a discrete-event network simulator that directly executes real application code,
//! enabling you to simulate distributed systems with thousands of network-connected processes in
//! realistic and scalable private network experiments using your laptop, desktop, or server running
//! Linux.

// https://github.com/rust-lang/rfcs/blob/master/text/2585-unsafe-block-in-unsafe-fn.md
#![deny(unsafe_op_in_unsafe_fn)]
#![allow(clippy::not_unsafe_ptr_arg_deref)]
#![allow(clippy::enum_variant_names)]
#![allow(clippy::too_many_arguments)]

// we make all of the modules public so that rustdoc will generate documentation for them, even
// though it doesn't really make sense for them to be public

// this must be exactly "cbindgen:ignore"; you cannot add any other text to the doc string
/// cbindgen:ignore
pub mod cshadow {
    #![allow(non_upper_case_globals)]
    #![allow(non_camel_case_types)]
    #![allow(non_snake_case)]
    // https://github.com/rust-lang/rust/issues/66220
    #![allow(improper_ctypes)]
    #![allow(unsafe_op_in_unsafe_fn)]
    #![allow(clippy::all)]
    include!(concat!(env!("OUT_DIR"), "/cshadow.rs"));
}

// modules with macros must be included before other modules
#[macro_use]
pub mod utility;

pub mod core;
pub mod host;
pub mod network;
pub mod shadow;

// Force cargo to link against crates that aren't (yet) referenced from Rust
// code (but are referenced from this crate's C code).
// https://github.com/rust-lang/cargo/issues/9391
extern crate shadow_shmem;
extern crate shadow_tsc;

// shadow re-exports this definition from /usr/include/linux/tcp.h
// TODO: Provide this via the linux-api crate instead.
unsafe impl shadow_pod::Pod for crate::cshadow::tcp_info {}

// check that the size and alignment of `CompatUntypedForeignPtr` and `ForeignPtr<()>` are the same`
static_assertions::assert_eq_size!(
    cshadow::CompatUntypedForeignPtr,
    shadow_shim_helper_rs::syscall_types::UntypedForeignPtr,
);
static_assertions::assert_eq_align!(
    cshadow::CompatUntypedForeignPtr,
    shadow_shim_helper_rs::syscall_types::UntypedForeignPtr,
);