search

Harvard-PRINCESS / Guppy

A very adaptable fish.
Other
1 stars 3 forks source link

Master Ticket: fix syscall fishframe marshalling #77

Open mwookawa opened 7 years ago

mwookawa commented 7 years ago

and check trapframe marshalling assembly in exceptions.S as well for correctness.

elaboration:

https://github.com/Harvard-PRINCESS/Guppy/blob/dev/kernel/arch/armv7/exceptions.S#L36

disagrees on data structure layout with

https://github.com/Harvard-PRINCESS/Guppy/blob/dev/include/barrelfish_kpi/dispatcher_shared.h#L40

this is a major bug in trunk that i think we have been seeing aborts from. since we're using this as our reference assembly, we need to fix the assembly to first correspond to the existing barrelfish trunk fishframe layout and then modify the asm to match our refactoring of fishframes into a graph structure.

note to self for first step: figure out which tool generates the build offsets for eg

OFFSETOF_DISP_CRIT_PC_HIGH

because the desc file going into it is critically wrong.

jingmeihu commented 7 years ago

already upload my code into jhu-dispatcher-refactoring branch

jingmeihu commented 7 years ago

need to figure out which file will generate /build/armv7/include/asmoffsets.h

jingmeihu commented 7 years ago

have already figured out how to change and generate asmoffsets.h Now, we can change the order of struct dispatcher_shared_arm! (already committed into branch)