Skip to content

Commit

Permalink
rust: file: add Kuid wrapper
Browse files Browse the repository at this point in the history
Adds a wrapper around `kuid_t` called `Kuid`. This allows us to define
various operations on kuids such as equality and current_euid. It also
lets us provide conversions from kuid into userspace values.

Rust Binder needs these operations because it needs to compare kuids for
equality, and it needs to tell userspace about the pid and uid of
incoming transactions.

To read kuids from a `struct task_struct`, you must currently use
various #defines that perform the appropriate field access under an RCU
read lock. Currently, we do not have a Rust wrapper for rcu_read_lock,
which means that for this patch, there are two ways forward:

 1. Inline the methods into Rust code, and use __rcu_read_lock directly
    rather than the rcu_read_lock wrapper. This gives up lockdep for
    these usages of RCU.

 2. Wrap the various #defines in helpers and call the helpers from Rust.

This patch uses the second option. One possible disadvantage of the
second option is the possible introduction of speculation gadgets, but
as discussed in [1], the risk appears to be acceptable.

Of course, once a wrapper for rcu_read_lock is available, it is
preferable to use that over either of the two above approaches.

Link: https://lore.kernel.org/all/202312080947.674CD2DC7@keescook/ [1]
Reviewed-by: Benno Lossin <[email protected]>
Signed-off-by: Alice Ryhl <[email protected]>
Link: https://lore.kernel.org/r/[email protected]
  • Loading branch information
Darksonn authored and fbq committed Feb 5, 2024
1 parent 39db1d9 commit db75ea7
Show file tree
Hide file tree
Showing 4 changed files with 118 additions and 2 deletions.
1 change: 1 addition & 0 deletions rust/bindings/bindings_helper.h
Original file line number Diff line number Diff line change
Expand Up @@ -15,6 +15,7 @@
#include <linux/jiffies.h>
#include <linux/mdio.h>
#include <linux/phy.h>
#include <linux/pid_namespace.h>
#include <linux/security.h>
#include <linux/slab.h>
#include <linux/refcount.h>
Expand Down
45 changes: 45 additions & 0 deletions rust/helpers.c
Original file line number Diff line number Diff line change
Expand Up @@ -142,6 +142,51 @@ void rust_helper_put_task_struct(struct task_struct *t)
}
EXPORT_SYMBOL_GPL(rust_helper_put_task_struct);

kuid_t rust_helper_task_uid(struct task_struct *task)
{
return task_uid(task);
}
EXPORT_SYMBOL_GPL(rust_helper_task_uid);

kuid_t rust_helper_task_euid(struct task_struct *task)
{
return task_euid(task);
}
EXPORT_SYMBOL_GPL(rust_helper_task_euid);

#ifndef CONFIG_USER_NS
uid_t rust_helper_from_kuid(struct user_namespace *to, kuid_t uid)
{
return from_kuid(to, uid);
}
EXPORT_SYMBOL_GPL(rust_helper_from_kuid);
#endif /* CONFIG_USER_NS */

bool rust_helper_uid_eq(kuid_t left, kuid_t right)
{
return uid_eq(left, right);
}
EXPORT_SYMBOL_GPL(rust_helper_uid_eq);

kuid_t rust_helper_current_euid(void)
{
return current_euid();
}
EXPORT_SYMBOL_GPL(rust_helper_current_euid);

struct user_namespace *rust_helper_current_user_ns(void)
{
return current_user_ns();
}
EXPORT_SYMBOL_GPL(rust_helper_current_user_ns);

pid_t rust_helper_task_tgid_nr_ns(struct task_struct *tsk,
struct pid_namespace *ns)
{
return task_tgid_nr_ns(tsk, ns);
}
EXPORT_SYMBOL_GPL(rust_helper_task_tgid_nr_ns);

struct kunit *rust_helper_kunit_get_current_test(void)
{
return kunit_get_current_test();
Expand Down
5 changes: 3 additions & 2 deletions rust/kernel/cred.rs
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@
use crate::{
bindings,
task::Kuid,
types::{AlwaysRefCounted, Opaque},
};

Expand Down Expand Up @@ -57,11 +58,11 @@ impl Credential {
}

/// Returns the effective UID of the given credential.
pub fn euid(&self) -> bindings::kuid_t {
pub fn euid(&self) -> Kuid {
// SAFETY: By the type invariant, we know that `self.0` is valid. Furthermore, the `euid`
// field of a credential is never changed after initialization, so there is no potential
// for data races.
unsafe { (*self.0.get()).euid }
Kuid::from_raw(unsafe { (*self.0.get()).euid })
}
}

Expand Down
69 changes: 69 additions & 0 deletions rust/kernel/task.rs
Original file line number Diff line number Diff line change
Expand Up @@ -9,6 +9,7 @@ use crate::{
types::{NotThreadSafe, Opaque},
};
use core::{
cmp::{Eq, PartialEq},
ffi::{c_int, c_long, c_uint},
ops::Deref,
ptr,
Expand Down Expand Up @@ -96,6 +97,12 @@ unsafe impl Sync for Task {}
/// The type of process identifiers (PIDs).
type Pid = bindings::pid_t;

/// The type of user identifiers (UIDs).
#[derive(Copy, Clone)]
pub struct Kuid {
kuid: bindings::kuid_t,
}

impl Task {
/// Returns a raw pointer to the current task.
///
Expand Down Expand Up @@ -157,12 +164,34 @@ impl Task {
unsafe { *ptr::addr_of!((*self.0.get()).pid) }
}

/// Returns the UID of the given task.
pub fn uid(&self) -> Kuid {
// SAFETY: By the type invariant, we know that `self.0` is valid.
Kuid::from_raw(unsafe { bindings::task_uid(self.0.get()) })
}

/// Returns the effective UID of the given task.
pub fn euid(&self) -> Kuid {
// SAFETY: By the type invariant, we know that `self.0` is valid.
Kuid::from_raw(unsafe { bindings::task_euid(self.0.get()) })
}

/// Determines whether the given task has pending signals.
pub fn signal_pending(&self) -> bool {
// SAFETY: By the type invariant, we know that `self.0` is valid.
unsafe { bindings::signal_pending(self.0.get()) != 0 }
}

/// Returns the given task's pid in the current pid namespace.
pub fn pid_in_current_ns(&self) -> Pid {
let current = Task::current_raw();
// SAFETY: Calling `task_active_pid_ns` with the current task is always safe.
let namespace = unsafe { bindings::task_active_pid_ns(current) };
// SAFETY: We know that `self.0.get()` is valid by the type invariant, and the namespace
// pointer is not dangling since it points at this task's namespace.
unsafe { bindings::task_tgid_nr_ns(self.0.get(), namespace) }
}

/// Wakes up the task.
pub fn wake_up(&self) {
// SAFETY: By the type invariant, we know that `self.0.get()` is non-null and valid.
Expand All @@ -172,6 +201,46 @@ impl Task {
}
}

impl Kuid {
/// Get the current euid.
#[inline]
pub fn current_euid() -> Kuid {
// SAFETY: Just an FFI call.
Self::from_raw(unsafe { bindings::current_euid() })
}

/// Create a `Kuid` given the raw C type.
#[inline]
pub fn from_raw(kuid: bindings::kuid_t) -> Self {
Self { kuid }
}

/// Turn this kuid into the raw C type.
#[inline]
pub fn into_raw(self) -> bindings::kuid_t {
self.kuid
}

/// Converts this kernel UID into a userspace UID.
///
/// Uses the namespace of the current task.
#[inline]
pub fn into_uid_in_current_ns(self) -> bindings::uid_t {
// SAFETY: Just an FFI call.
unsafe { bindings::from_kuid(bindings::current_user_ns(), self.kuid) }
}
}

impl PartialEq for Kuid {
#[inline]
fn eq(&self, other: &Kuid) -> bool {
// SAFETY: Just an FFI call.
unsafe { bindings::uid_eq(self.kuid, other.kuid) }
}
}

impl Eq for Kuid {}

// SAFETY: The type invariants guarantee that `Task` is always ref-counted.
unsafe impl crate::types::AlwaysRefCounted for Task {
fn inc_ref(&self) {
Expand Down

0 comments on commit db75ea7

Please sign in to comment.