cerion | 85665ca | 2005-06-20 15:51:07 +0000 | [diff] [blame] | 1 | 20 Jun 05 |
| 2 | ~~~~~~~~~ |
| 3 | PPC32 port |
| 4 | * Paul wrote some code to deal with setting/clearing reservations. |
| 5 | (grep USE_MACHINE_RESERVATION, ARCH_SWITCH_TO, lwarx, stwcx.) |
| 6 | Not yet looked into, but this may be needed. |
| 7 | |
sewardj | 4ec8a63 | 2005-05-11 23:37:18 +0000 | [diff] [blame] | 8 | 11 May 05 |
| 9 | ~~~~~~~~~ |
sewardj | 0be2610 | 2005-05-14 11:18:31 +0000 | [diff] [blame] | 10 | ToDo: vex-amd64: check above/below the line for reg-alloc |
sewardj | 4ec8a63 | 2005-05-11 23:37:18 +0000 | [diff] [blame] | 11 | |
sewardj | 045a405 | 2005-04-23 22:42:27 +0000 | [diff] [blame] | 12 | 23 Apr 05 (memcheck-on-amd64 notes) |
| 13 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
sewardj | 9b3328d | 2005-04-24 00:04:42 +0000 | [diff] [blame] | 14 | * If a thread is given an initial stack with address range [lo .. hi], |
njn | a60a7c1 | 2005-05-08 17:49:37 +0000 | [diff] [blame] | 15 | we need to tell memcheck that the area [lo - VGA_STACK_REDZONE_SZB |
sewardj | 9b3328d | 2005-04-24 00:04:42 +0000 | [diff] [blame] | 16 | .. hi] is valid, rather than just [lo .. hi] as has been the case on |
| 17 | x86-only systems. However, am not sure where to look for the call |
| 18 | into memcheck that states the new stack area. |
sewardj | 045a405 | 2005-04-23 22:42:27 +0000 | [diff] [blame] | 19 | |
sewardj | 9926dce | 2005-03-23 13:31:48 +0000 | [diff] [blame] | 20 | 23 March 05 |
| 21 | ~~~~~~~~~~~ |
| 22 | Do we still need ARCH_PTHREQ_RET (or *PTHREQ* for that matter) ? |
| 23 | |
sewardj | 21c2581 | 2005-03-11 03:07:23 +0000 | [diff] [blame] | 24 | Notes pertaining to the 2.4.0 - 3.0 merge |
| 25 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 26 | As of 10 March (svn rev 3266, vex svn rev 1019) the merged code base |
| 27 | can start and run programs with --tool=none. Both threaded and |
| 28 | unthreaded programs appear to work (knode, opera, konqueror). |
sewardj | f15bba6 | 2005-03-02 14:22:49 +0000 | [diff] [blame] | 29 | |
sewardj | 21c2581 | 2005-03-11 03:07:23 +0000 | [diff] [blame] | 30 | Known breakage is: |
| 31 | |
| 32 | * Basically only x86 works. I was part-way through getting amd64 |
| 33 | to work when I stopped to do the merge. I think you can assume |
| 34 | amd64 is pretty much knackered right now. |
| 35 | |
| 36 | * No other tools work. Memcheck worked fine in 3.0 prior to the |
| 37 | merge but needs to have Jeremy's space-saving hacks folded in. |
| 38 | Also the leak checker improvements. Ditto addrcheck. |
| 39 | Cachegrind is broken because it is not Vex-aware, and Vex needs |
| 40 | to be changed to convey info on instruction boundaries to it. |
| 41 | Helgrind is not Vex aware. Also, Helgrind will not work because |
| 42 | thread-event-modelling does not work (see below). Memcheck |
| 43 | and Addrcheck could be made to work with minor effort, and |
| 44 | that should happen asap. Cachegrind also needs to be fixed |
| 45 | shortly. |
| 46 | |
| 47 | * Function wrapping a la 2.4.0 is disabled, and will likely remain |
| 48 | disabled for an extended period until I consider the software |
| 49 | engineering consequences of it, specifically if a cleaner |
| 50 | implementation is possible. Result of that is that thread-event |
| 51 | modelling and Helgrind are also disabled for that period. |
| 52 | |
sewardj | 21c2581 | 2005-03-11 03:07:23 +0000 | [diff] [blame] | 53 | * signal contexts for x86 signal deliveries are partially broken. On |
| 54 | delivery of an rt-signal, a context frame is built, but only the 8 |
| 55 | integer registers and %eflags are written into it, no SSE and no FP |
| 56 | state. Also, the vcpu state is restored on return to whatever it |
| 57 | was before the signal was delivered; it is not restored from the |
| 58 | sigcontext offered to the handler. That means handlers which |
| 59 | expect to be able to modify the machine state will not work. |
| 60 | This will be fixed; it requires a small amount of work on the |
| 61 | Vex side. |
| 62 | |
| 63 | * I got rid of extra UInt* flags arg for syscall pre wrappers, |
| 64 | so they can't add MayBlock after examining the args. Should |
| 65 | be reinstated. I commented out various *flags |= MayBlock" |
| 66 | so they can easily enough be put back in. |
| 67 | |
| 68 | * Tracking of device segments is somehow broken (I forget how) |
| 69 | |
sewardj | d1212b9 | 2005-03-11 12:43:19 +0000 | [diff] [blame] | 70 | * Core dumping is disabled (has been for a while in the 3.0 line) |
| 71 | because it needs to be factored per arch (or is it per arch+os). |
| 72 | |
sewardj | 21c2581 | 2005-03-11 03:07:23 +0000 | [diff] [blame] | 73 | |
| 74 | Other notes I made: |
| 75 | |
| 76 | * Check tests/filter_stderr_basic; I got confused whilst merging it |
| 77 | |
| 78 | * Dubious use of setjmp in run_thread_for_a_while -- I thought it |
| 79 | was only OK to use setjmp as the arg of an if: if (setjmp(...)) ... |
| 80 | |
| 81 | * EmWarn/Int confusion -- what type is it in the guest state? |
| 82 | |
| 83 | * Reinstate per-thread dispatch ctrs. First find out what the |
| 84 | rationale for per-thread counters is. |
| 85 | |
| 86 | * main: TL_(fini) is not given exitcode and it should be. |
| 87 | |
| 88 | * Prototype for VG_(_client_syscall) [note leading _] is in a |
| 89 | bad place. |
| 90 | |
| 91 | (It was a 3-way merge, using the most recent common ancestor |
| 92 | of the 2.4.0 and 3.0 lines: |
| 93 | |
| 94 | cvs co -D "11/19/2004 17:45:00 GMT" valgrind |
| 95 | |
| 96 | and the 2.4.0 line |
| 97 | |
| 98 | obtained at Fri Mar 4 15:52:46 GMT 2005 by: |
| 99 | cvs co valgrind |
| 100 | |
| 101 | and the 3.0 line, which is svn revision 3261. |
| 102 | ) |
| 103 | |
| 104 | |
| 105 | Cleanup notes derived from making AMD64 work. JRS, started 2 March 05. |
| 106 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
sewardj | f15bba6 | 2005-03-02 14:22:49 +0000 | [diff] [blame] | 107 | The following cleanups need to be done. |
| 108 | |
| 109 | AMD64 vsyscalls |
| 110 | ~~~~~~~~~~~~~~~ |
| 111 | The redirect mechanism should (could) be used to support vsyscalls on |
| 112 | both amd64 and x86, by redirecting jumps to the vsyscall entry |
| 113 | point(s) to appropriate helper stubs instead. There is no point in |
| 114 | using the current x86 scheme of copying the trampoline code around the |
| 115 | place and making the AT_SYSINFO entry point at it, as that mechanism |
| 116 | does not work on amd64. |
| 117 | |
| 118 | On x86-linux, the vsyscall address is whatever the AT_SYSINFO entry |
| 119 | says it is. Reroute all jumps to that to a suitable stub. |
| 120 | |
| 121 | On amd64, there are multiple vsyscall entry points at -10M + |
| 122 | 1024*vsyscall_no (currently there are only two). These each need to be |
| 123 | redirected to suitable stubs which do normal syscalls instead. |
| 124 | |
| 125 | These redirects should be set up as part of platform-specific |
| 126 | initialisation sequences. They should not be set up as at present in |
| 127 | vg_symtab2.c. All this stuff should be within platform-specific |
| 128 | startup code, and should not be visible in generic core service code. |
| 129 | |
| 130 | |
| 131 | Redirection mechanism |
| 132 | ~~~~~~~~~~~~~~~~~~~~~ |
sewardj | 21c2581 | 2005-03-11 03:07:23 +0000 | [diff] [blame] | 133 | How this works is difficult to understand. This should be fixed. The |
| 134 | list of unresolved redirections should be a seperate data structure |
| 135 | from the currently active (addr, addr) mapping. |
sewardj | f15bba6 | 2005-03-02 14:22:49 +0000 | [diff] [blame] | 136 | |
| 137 | There's a whole big #ifdef TEST section in vg_symtab2.c which has |
| 138 | no apparent purpose. |
| 139 | |
sewardj | 6941a1a | 2005-03-02 16:01:23 +0000 | [diff] [blame] | 140 | The redirecting-symtab-loader seems like a good idea on the face |
| 141 | of it: you can write functions whose name says, in effect |
| 142 | "i_am_a_replacement_for_FOO" |
| 143 | and then all jumps/calls to FOO get redirected there. Problem is |
| 144 | that nameing mechanism involves $ signs etc in symbol names, which |
| 145 | makes it very fragile. TODO: (1) figure out if we still need |
| 146 | this, and if so (2) fix. |
| 147 | |
sewardj | f15bba6 | 2005-03-02 14:22:49 +0000 | [diff] [blame] | 148 | |
| 149 | System call handlers |
| 150 | ~~~~~~~~~~~~~~~~~~~~ |
| 151 | The pre/post functions should be factored into: marshallers, which get |
| 152 | the syscall args from wherever they live, and handlers proper, which |
| 153 | do whatever pre/post checks/hanldling is needed. The handlers are |
| 154 | more or less platform independent. The marshallers insulate the |
| 155 | handlers from details of knowing how to get hold of syscall arg/result |
| 156 | values given that different platforms use different and sometimes |
| 157 | strange calling conventions. |
| 158 | |
| 159 | The syscall handlers assume that the result register (RES) does not |
| 160 | overlap with any argument register (ARGn). They assume this by |
| 161 | blithely referring to ARGn in the post-handlers. This should be fixed |
| 162 | properly -- before the call, a copy of the args should be saved so |
| 163 | they can be safely inspected after the call. |
| 164 | |
| 165 | The mechanisms by which a pre-handler can complete a syscall itself |
| 166 | without handing it off to the kernel need to be cleaned up. The |
| 167 | "Special" syscall designation no longer really makes sense (it never |
| 168 | did) and should be removed. |
| 169 | |
sewardj | 6941a1a | 2005-03-02 16:01:23 +0000 | [diff] [blame] | 170 | Sockets: move the socketcall marshaller from vg_syscalls.c into |
| 171 | x86-linux/syscalls.c; it is in the wrong place. |
sewardj | f15bba6 | 2005-03-02 14:22:49 +0000 | [diff] [blame] | 172 | |