Fixing syscalls to new seterrno and setretval.
[akaros.git] / kern / src / resource.c
index 29238cd..266f80c 100644 (file)
 
 #include <resource.h>
 #include <process.h>
+#include <smp.h>
 #include <stdio.h>
 #include <assert.h>
+#include <schedule.h>
+#include <hashtable.h>
 
 /* This deals with a request for more cores.  The request is already stored in
  * the proc's amt_wanted (it is compared to amt_granted). 
  * such as if there was not a new request, but it's time to look at the
  * difference between amt_wanted and amt_granted (maybe on a timer interrupt).
  *
- * Will return either the number actually granted or an error code.
+ * Will return either the number actually granted or an error code.  This will
+ * not decrease the actual amount of cores (e.g. from 5 to 2), but it will
+ * transition a process from _M to _S (amt_wanted == 0).
+ *
+ * This needs a consumable/edible reference of p, in case it doesn't return.
+ *
+ * TODO: this is a giant function.  need to split it up a bit, probably move the
+ * guts to process.c and have functions to call for the brains.
  */
 ssize_t core_request(struct proc *p)
 {
@@ -31,16 +41,42 @@ ssize_t core_request(struct proc *p)
        ssize_t amt_new;
        uint32_t corelist[MAX_NUM_CPUS];
        bool need_to_idle = FALSE;
+       bool self_ipi_pending = FALSE;
 
-       spin_lock_irqsave(&p->proc_lock);
+       spin_lock(&p->proc_lock);
+       /* check to see if this is a full deallocation.  for cores, it's a
+        * transition from _M to _S.  Will be issues with handling this async. */
+       if (!p->resources[RES_CORES].amt_wanted) {
+               assert(p->state == PROC_RUNNING_M); // TODO: (ACR) async core req
+               // save the context, to be restarted in _S mode
+               p->env_tf = *current_tf;
+               env_push_ancillary_state(p); // TODO: (HSS)
+               set_retval(ESUCCESS);
+               /* sending death, since it's not our job to save contexts or anything in
+                * this case.  also, if this returns true, we will not return down
+                * below, and need to eat the reference to p */
+               self_ipi_pending = __proc_take_allcores(p, __death, 0, 0, 0);
+               __proc_set_state(p, PROC_RUNNABLE_S);
+               schedule_proc(p);
+               spin_unlock(&p->proc_lock);
+               __proc_kmsg_pending(p, self_ipi_pending);
+               return 0;
+       }
+       /* Fail if we can never handle this amount (based on how many we told the
+        * process it can get). */
+       if (p->resources[RES_CORES].amt_wanted > p->procinfo->max_vcores) {
+               spin_unlock(&p->proc_lock);
+               return -EFAIL;
+       }
+       /* otherwise, see how many new cores are wanted */
        amt_new = p->resources[RES_CORES].amt_wanted -
                  p->resources[RES_CORES].amt_granted;
        if (amt_new < 0) {
                p->resources[RES_CORES].amt_wanted = p->resources[RES_CORES].amt_granted;
-               spin_unlock_irqsave(&p->proc_lock);
+               spin_unlock(&p->proc_lock);
                return -EINVAL;
        } else if (amt_new == 0) {
-               spin_unlock_irqsave(&p->proc_lock);
+               spin_unlock(&p->proc_lock);
                return 0;
        }
        // else, we try to handle the request
@@ -59,27 +95,47 @@ ssize_t core_request(struct proc *p)
                }
                num_granted = amt_new;
        } else {
+               /* In this case, you might want to preempt or do other fun things... */
                num_granted = 0;
        }
        spin_unlock(&idle_lock);
+
        // Now, actually give them out
        if (num_granted) {
-               p->resources[RES_CORES].amt_granted += num_granted;
                switch (p->state) {
                        case (PROC_RUNNING_S):
                                // issue with if we're async or not (need to preempt it)
-                               // either of these should trip it.
-                               if ((current != p) || (p->vcoremap[0] != core_id()))
+                               // either of these should trip it. TODO: (ACR) async core req
+                               // TODO: relies on vcore0 being the caller (VC#)
+                               // TODO: do this in process.c and use this line:
+                               //if ((current != p) || (get_pcoreid(p, 0) != core_id()))
+                               if ((current != p) || (p->procinfo->vcoremap[0].pcoreid != core_id()))
                                        panic("We don't handle async RUNNING_S core requests yet.");
-                               /* in the async case, we'll need to bundle vcore0's TF.  this is
-                                * already done for the sync case (local syscall). */
+                               /* save the tf so userspace can restart it.  Like in __notify,
+                                * this assumes a user tf is the same as a kernel tf.  We save
+                                * it in the preempt slot so that we can also save the silly
+                                * state. */
+                               struct preempt_data *vcpd = &p->procdata->vcore_preempt_data[0];
+                               vcpd->preempt_tf = *current_tf;
+                               save_fp_state(&vcpd->preempt_anc);
+                               __seq_start_write(&vcpd->preempt_tf_valid);
+                               /* If we remove this, vcore0 will start where the _S left off */
+                               vcpd->notif_pending = TRUE;
+                               assert(vcpd->notif_enabled);
+                               /* in the async case, we'll need to remotely stop and bundle
+                                * vcore0's TF.  this is already done for the sync case (local
+                                * syscall). */
                                /* this process no longer runs on its old location (which is
                                 * this core, for now, since we don't handle async calls) */
-                               p->vcoremap[0] = -1;
+                               __seq_start_write(&p->procinfo->coremap_seqctr);
+                               // TODO: (VC#) might need to adjust num_vcores
+                               // TODO: (ACR) will need to unmap remotely (receive-side)
+                               __unmap_vcore(p, 0);
+                               __seq_end_write(&p->procinfo->coremap_seqctr);
                                // will need to give up this core / idle later (sync)
                                need_to_idle = TRUE;
                                // change to runnable_m (it's TF is already saved)
-                               proc_set_state(p, PROC_RUNNABLE_M);
+                               __proc_set_state(p, PROC_RUNNABLE_M);
                                break;
                        case (PROC_RUNNABLE_S):
                                /* Issues: being on the runnable_list, proc_set_state not liking
@@ -91,50 +147,55 @@ ssize_t core_request(struct proc *p)
                        default:
                                break;
                }
-               /* give them the cores.  this will start up the extras if RUNNING_M */
-               proc_give_cores(p, corelist, &num_granted);
-               spin_unlock_irqsave(&p->proc_lock);
+               /* give them the cores.  this will start up the extras if RUNNING_M. */
+               self_ipi_pending = __proc_give_cores(p, corelist, num_granted);
+               spin_unlock(&p->proc_lock);
+               // TODO: (RMS) think about this, esp when its called from a scheduler
+               __proc_kmsg_pending(p, self_ipi_pending);
                /* if there's a race on state (like DEATH), it'll get handled by
                 * proc_run or proc_destroy */
                if (p->state == PROC_RUNNABLE_M)
                        proc_run(p);
                /* if we are moving to a partitionable core from a RUNNING_S on a
                 * management core, the kernel needs to do something else on this core
-                * (just like in proc_destroy).  this cleans up the core and idles. */
-               if (need_to_idle)
+                * (just like in proc_destroy).  it also needs to decref, to consume the
+                * reference that came into this function (since we don't return).  */
+               if (need_to_idle) {
+                       kref_put(&p->kref);
                        abandon_core();
+               }
        } else { // nothing granted, just return
-               spin_unlock_irqsave(&p->proc_lock);
+               spin_unlock(&p->proc_lock);
        }
        return num_granted;
 }
 
-error_t resource_req(struct proc *p, int type, size_t amount, uint32_t flags)
+error_t resource_req(struct proc *p, int type, size_t amt_wanted,
+                     size_t amt_wanted_min, uint32_t flags)
 {
        error_t retval;
-       printk("Received request for type: %d, amount: %d, flag: %d\n",
-              type, amount, flags);
+       printd("Received request for type: %d, amt_wanted: %d, amt_wanted_min: %d, "
+              "flag: %d\n", type, amt_wanted, amt_wanted_min, flags);
        if (flags & REQ_ASYNC)
                // We have no sense of time yet, or of half-filling requests
                printk("[kernel] Async requests treated synchronously for now.\n");
 
        /* set the desired resource amount in the process's resource list. */
-       spin_lock_irqsave(&p->proc_lock);
+       spin_lock(&p->proc_lock);
        size_t old_amount = p->resources[type].amt_wanted;
-       p->resources[type].amt_wanted = amount;
+       p->resources[type].amt_wanted = amt_wanted;
+       p->resources[type].amt_wanted_min = MIN(amt_wanted_min, amt_wanted);
        p->resources[type].flags = flags;
-       spin_unlock_irqsave(&p->proc_lock);
-
-       // no change in the amt_wanted
-       if (old_amount == amount)
-               return 0;
+       spin_unlock(&p->proc_lock);
 
        switch (type) {
                case RES_CORES:
                        retval = core_request(p);
                        // i don't like this retval hackery
-                       if (retval < 0)
-                               return retval;
+                       if (retval < 0) {
+                               set_errno(-retval);
+                               return -1;
+                       }
                        else
                                return 0;
                        break;
@@ -156,17 +217,21 @@ error_t resource_req(struct proc *p, int type, size_t amount, uint32_t flags)
 void print_resources(struct proc *p)
 {
        printk("--------------------\n");
-       printk("PID: %d\n", p->env_id);
+       printk("PID: %d\n", p->pid);
        printk("--------------------\n");
        for (int i = 0; i < MAX_NUM_RESOURCES; i++)
                printk("Res type: %02d, amt wanted: %08d, amt granted: %08d\n", i,
                       p->resources[i].amt_wanted, p->resources[i].amt_granted);
 }
 
-/* TODO: change this when we get rid of the env array */
 void print_all_resources(void)
 {
-       for (int i = 0; i < NENV; i++)
-               if (envs[i].state != ENV_FREE)
-                       print_resources(&envs[i]);
+       spin_lock(&pid_hash_lock);
+       if (hashtable_count(pid_hash)) {
+               hashtable_itr_t *phtable_i = hashtable_iterator(pid_hash);
+               do {
+                       print_resources(hashtable_iterator_value(phtable_i));
+               } while (hashtable_iterator_advance(phtable_i));
+       }
+       spin_unlock(&pid_hash_lock);
 }