lkml.org 
[lkml]   [2022]   [Jul]   [26]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH V7 01/16] rv: Add Runtime Verification (RV) interface
On Mon, 25 Jul 2022 22:11:13 +0200
Daniel Bristot de Oliveira <bristot@kernel.org> wrote:


> +/**
> + * rv_disable_monitor - disable a given runtime monitor
> + *
> + * Returns 0 on success.
> + */
> +int rv_disable_monitor(struct rv_monitor_def *mdef)
> +{
> + int enabled;
> +
> + enabled = __rv_disable_monitor(mdef);
> +

Does this function need to be holding any locks when called?

Because it is not static, and that means something can call it without
locks. If needed, you need to add a lockdep_assert() helper.

> + if (enabled) {
> + /*
> + * Wait for the execution of all previous events.
> + */
> + tracepoint_synchronize_unregister();
> + }
> +
> + return 0;
> +}
> +
> +/**
> + * rv_enable_monitor - enable a given runtime monitor
> + *
> + * Returns 0 on success, error otherwise.
> + */
> +int rv_enable_monitor(struct rv_monitor_def *mdef)
> +{
> + int retval;
> +
> + if (mdef->monitor->enabled)
> + return 0;
> +
> + retval = mdef->monitor->enable();
> +
> + if (!retval)
> + mdef->monitor->enabled = 1;
> +
> + return retval;
> +}
> +
> +/*
> + * interface for enabling/disabling a monitor.
> + */
> +static ssize_t monitor_enable_write_data(struct file *filp, const char __user *user_buf,
> + size_t count, loff_t *ppos)
> +{
> + struct rv_monitor_def *mdef = filp->private_data;
> + int retval;
> + bool val;
> +
> + retval = kstrtobool_from_user(user_buf, count, &val);
> + if (retval)
> + return retval;
> +
> + retval = count;
> +
> + mutex_lock(&rv_interface_lock);
> +
> + if (val)
> + retval = rv_enable_monitor(mdef);
> + else
> + retval = rv_disable_monitor(mdef);
> +
> + mutex_unlock(&rv_interface_lock);
> +
> + return retval ? : count;
> +}
> +

[..]

> +
> +/*
> + * enabled_monitors interface.
> + */
> +static void disable_all_monitors(void)
> +{
> + struct rv_monitor_def *mdef;
> + int enabled = 0;
> +
> + mutex_lock(&rv_interface_lock);
> +
> + list_for_each_entry(mdef, &rv_monitors_list, list)
> + enabled += __rv_disable_monitor(mdef);
> +
> + if (enabled) {
> + /*
> + * Wait for the execution of all current events.
> + */

And do we really need to hold the locks when calling the synchronization?

I think we only care if the caller sees a synchronized view of changes, the
locks will help synchronize the internal code.

> + tracepoint_synchronize_unregister();
> + }
> +
> + mutex_unlock(&rv_interface_lock);
> +}
> +

[..]

> +/**
> + * rv_monitoring_on - checks if monitoring is on
> + *
> + * Returns 1 if on, 0 otherwise.
> + */
> +bool rv_monitoring_on(void)
> +{
> + /* monitoring_on */

You need a better comment than that.

What is this synchronizing?

> + smp_rmb();
> + return READ_ONCE(monitoring_on);
> +}
> +
> +/*
> + * monitoring_on general switcher.
> + */
> +static ssize_t monitoring_on_read_data(struct file *filp, char __user *user_buf,
> + size_t count, loff_t *ppos)
> +{
> + const char *buff;
> +
> + buff = rv_monitoring_on() ? "1\n" : "0\n";
> +
> + return simple_read_from_buffer(user_buf, count, ppos, buff, strlen(buff) + 1);
> +}
> +
> +static void turn_monitoring_off(void)
> +{
> + WRITE_ONCE(monitoring_on, false);
> + /* monitoring_on */

Same here.

> + smp_wmb();
> +}
> +
> +static void reset_all_monitors(void)
> +{
> + struct rv_monitor_def *mdef;
> +
> + list_for_each_entry(mdef, &rv_monitors_list, list) {
> + if (mdef->monitor->enabled)
> + mdef->monitor->reset();
> + }
> +}
> +
> +static void turn_monitoring_on(void)
> +{
> + reset_all_monitors();

Why does this reset all monitors but turn_monitoring_off() does not?

You should keep that out.

> + WRITE_ONCE(monitoring_on, true);
> + /* monitoring_on */
> + smp_wmb();
> +}
> +
> +static ssize_t monitoring_on_write_data(struct file *filp, const char __user *user_buf,
> + size_t count, loff_t *ppos)
> +{
> + int retval;
> + bool val;
> +
> + retval = kstrtobool_from_user(user_buf, count, &val);
> + if (retval)
> + return retval;
> +
> + mutex_lock(&rv_interface_lock);
> +
> + if (val)
> + turn_monitoring_on();
> + else
> + turn_monitoring_off();
> +
> + /*
> + * Wait for the execution of all current events to notice
> + * the change before returning to user-space.
> + */
> + tracepoint_synchronize_unregister();

Again, I think we want this outside the lock.

> +
> + mutex_unlock(&rv_interface_lock);
> +
> + return count;
> +}
> +
> +static const struct file_operations monitoring_on_fops = {
> + .open = simple_open,
> + .llseek = no_llseek,
> + .write = monitoring_on_write_data,
> + .read = monitoring_on_read_data,
> +};
> +
> +static void destroy_monitor_dir(struct rv_monitor_def *mdef)
> +{
> + rv_remove(mdef->root_d);
> +}
> +
> +/**
> + * rv_register_monitor - register a rv monitor.
> + * @monitor: The rv_monitor to be registered.
> + *
> + * Returns 0 if successful, error otherwise.
> + */
> +int rv_register_monitor(struct rv_monitor *monitor)
> +{
> + struct rv_monitor_def *r;
> + int retval = 0;
> +
> + if (strlen(monitor->name) >= MAX_RV_MONITOR_NAME_SIZE) {
> + pr_info("Monitor %s has a name longer than %d\n", monitor->name,
> + MAX_RV_MONITOR_NAME_SIZE);
> + return -1;
> + }
> +
> + mutex_lock(&rv_interface_lock);
> +
> + list_for_each_entry(r, &rv_monitors_list, list) {
> + if (strcmp(monitor->name, r->monitor->name) == 0) {
> + pr_info("Monitor %s is already registered\n", monitor->name);
> + retval = -1;
> + goto out_unlock;
> + }
> + }
> +
> + r = kzalloc(sizeof(struct rv_monitor_def), GFP_KERNEL);
> + if (!r) {
> + retval = -ENOMEM;
> + goto out_unlock;
> + }
> +
> + r->monitor = monitor;
> +
> + retval = create_monitor_dir(r);
> + if (retval) {
> + kfree(r);
> + goto out_unlock;
> + }
> +
> + list_add_tail(&r->list, &rv_monitors_list);
> +
> +out_unlock:
> + mutex_unlock(&rv_interface_lock);
> + return retval;
> +}
> +
> +/**
> + * rv_unregister_monitor - unregister a rv monitor.
> + * @monitor: The rv_monitor to be unregistered.
> + *
> + * Returns 0 if successful, error otherwise.
> + */
> +int rv_unregister_monitor(struct rv_monitor *monitor)
> +{
> + struct rv_monitor_def *ptr, *next;
> +
> + mutex_lock(&rv_interface_lock);
> +
> + list_for_each_entry_safe(ptr, next, &rv_monitors_list, list) {
> + if (strcmp(monitor->name, ptr->monitor->name) == 0) {
> + rv_disable_monitor(ptr);
> + list_del(&ptr->list);
> + destroy_monitor_dir(ptr);
> + }
> + }
> +
> + mutex_unlock(&rv_interface_lock);
> + return 0;
> +}
> +
> +int __init rv_init_interface(void)
> +{
> + struct dentry *tmp;
> +
> + rv_root.root_dir = rv_create_dir("rv", NULL);
> + if (!rv_root.root_dir)
> + goto out_err;
> +
> + rv_root.monitors_dir = rv_create_dir("monitors", rv_root.root_dir);
> + if (!rv_root.monitors_dir)
> + goto out_err;
> +
> + tmp = rv_create_file("available_monitors", RV_MODE_READ, rv_root.root_dir, NULL,
> + &available_monitors_ops);
> + if (!tmp)
> + goto out_err;
> +
> + tmp = rv_create_file("enabled_monitors", RV_MODE_WRITE, rv_root.root_dir, NULL,
> + &enabled_monitors_ops);
> + if (!tmp)
> + goto out_err;
> +
> + tmp = rv_create_file("monitoring_on", RV_MODE_WRITE, rv_root.root_dir, NULL,
> + &monitoring_on_fops);
> + if (!tmp)
> + goto out_err;
> +

This should call "turn_monitoriing_on()" instead of open coding it,
especially since it includes a memory barrier (another reason to not
reset the monitors in that function.

-- Steve


> + WRITE_ONCE(monitoring_on, true);
> + /* monitoring_on */
> + smp_wmb();
> +
> + return 0;
> +
> +out_err:
> + rv_remove(rv_root.root_dir);
> + printk(KERN_ERR "RV: Error while creating the RV interface\n");
> + return 1;
> +}

\
 
 \ /
  Last update: 2022-07-26 18:24    [W:0.140 / U:2.128 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site