hermit-detcore 0.4.0

Detcore: the deterministic scheduler and syscall determinization core of the Hermit execution engine.
Documentation 
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

/*
 * Copyright (c) Meta Platforms, Inc. and affiliates.
 * All rights reserved.
 *
 * This source code is licensed under the BSD-style license found in the
 * LICENSE file in the root directory of this source tree.
 */

//! Constant values.

#![allow(unused)]

use reverie::Pid;

use crate::types::DetInode;
use crate::types::DetPid;
use crate::types::DetTid;

/// A separate offset for special devices, including file descriptors 0,1,2
/// stdin/stdout/stderr.
pub static DET_SPECIAL_INODE_OFFSET: DetInode = DetInode::mint(1000);

/// The starting point for deterministic inodes *other* than those addressed by
/// `DET_SPECIAL_INODE_OFFSET`.
pub static DET_INODE_OFFSET: DetInode = DetInode::mint(9000);

pub const DEFAULT_HOSTNAME: &str = "hermetic-container.local";

/// A convention of how we set up our PID namespace leaves us with a starting pid of 3.
pub const ROOT_DETPID: DetPid = DetPid::from_raw(3);