/[gxemul]/trunk/TODO
This is repository of my old source code which isn't updated any more. Go to git.rot13.org for current projects!
ViewVC logotype

Diff of /trunk/TODO

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 22 by dpavlin, Mon Oct 8 16:19:37 2007 UTC revision 28 by dpavlin, Mon Oct 8 16:20:26 2007 UTC
# Line 1  Line 1 
1  $Id: TODO,v 1.209 2006/02/18 21:03:09 debug Exp $  $Id: TODO,v 1.324 2006/07/22 10:23:39 debug Exp $
2    
3  Hm. This file is in random order, and not all parts of it are up-to-date.  Hm. This file is in random order, and not all parts of it are up-to-date.
4    
5  Algor:  PCI and ISA and LOCAL interrupts! --> wdc could start working  Code cleanup:
6          Add interrupt controller in dev_algor.c.          x)  64-bit ranges in src/cpus/memory_mips_v2p.c
7            x)  Revert the dyntrans page template experiment? Hm.
8            x)  Refactor the cpu type detection/initialization/listing.
9    
10    Documentation:
11            x)  Rewrite the section about experimental devices, after the
12                framebuffer acceleration has been implemented, and demos
13                written. (Symbolic names instead of numbers; example
14                use cases, etc. Mention demo files that use the various
15                features?)
16            x)  "a very simple linear framebuffer device (for graphics output)"
17                under "which machines does gxemul emulate" ==> better
18                description?
19            x)  Better description on how to set up a cross compiler?
20                Example for MIPS64.
21    
22    Long-term implementation:
23            x)  Testmachine includes:
24                    + dev_fb block fill and copy
25                    + dev_fb draw characters (from the built-in font)?
26                    + dev_fb input device? mouse pointer coordinates and buttons
27                            (allow changes in these to cause interrupts as well?)
28                    + Redefine the halt() function so that it stops "sometimes
29                      soon", i.e. usage in demo code should be:
30                            for (;;) {
31                                    halt();
32                            }
33            x)  Rewrite the networking stack; make OpenBSD work better as a guest
34                OS, fix the performance problems, make Linux work with DHCP, etc.
35            x)  Make the wdc controller work with modern versions of NetBSD!
36            x)  Continue on SPARC emulation
37                    + Enable it in the configure script as soon as it can
38                      run all the demo programs.
39            x)  Continue on Alpha emulation  (virtual memory, etc). Cleanup.
40            x)  Alignment exceptions (MIPS, PPC, ARM?, ...)
41    
42    Long-term design:
43            x)  Instruction combination collisions? How to avoid easily...
44            o)  Actually use the settings object, better debugger stuff, etc!
45            o)  Debugger command for enabling/disabling instruction statistics
46                during runtime.   machine.statistics = on|off
47            x)  MAINBUS REDESIGN!
48            x)  Clock framework! Go through all clock devices, make sure they
49                return correct data, and run at correct speeds!
50            x)  Dyntrans with valgrind-inspired memory checker. (In memory_rw,
51                it would be reasonably simple to add; in each individual fast
52                load/store routine = a lot more work, and it would become
53                kludgy very fast.)
54            x)  Dyntrans with SMP... lots of work to be done here.
55            x)  Dyntrans with cache emulation... lots of work here as well.
56            x)  Reimplement the config file parser from scratch.
57    
58    Test:
59            x)  Test with more than one Sprite instance on an emulated network!
60            x)  NetBSD 4.x, once it is out.
61    
62    -------------------------------------------------------------------------------
63    
64    Simple Valgrind-like checks?
65            o)  Mark every address with bits which tell whether or not the address
66                has been written to.
67            o)  What should happen when programs are loaded?  Text/data, bss (zero
68                filled). But stack space and heap is uninitialized.
69            o)  Uninitialized local variables:
70                    A load from a place on the stack which has not previously
71                    been stored to => warning. Increasing the stack pointer using
72                    any available means should reset the memory to uninitialized.
73            o)  If calls to malloc() and free() can be intercepted:
74                    o)  Access to a memory area after free() => warning.
75                    o)  Memory returned by malloc() is marked as not-initialized.
76                    o)  Non-passive, but good to have: Change the argument
77                        given to malloc, to return a slightly larger memory
78                        area, i.e.  margin_before + size + margin_after,
79                        and return the pointer  + margin_before.
80                        Any access to the margin_before or _after space results
81                        in warnings. (free() must be modified to free the
82                        actually allocated address.)
83    
84    SMP:
85            o)  dev_mp doesn't work well with dyntrans yet
86            o)  In general, IPIs, CAS, LL/SC etc must be made to work with dyntrans
87    
88    MIPS:
89            +)  Some more work on opcodes.
90                    x) MIPS64 revision 2.
91                            o)  Find out which actual CPUs implement the rev2 ISA!
92                    x) _MAYBE_ TX79 and R5900 actually differ in their
93                       opcodes? Check this carefully!
94            o)  Dyntrans: Count register updates are probably not 100% correct yet.
95            o)  Refactor code for performance and readability/maintainability.
96            o)  Instruction combinations? Possible candidates (but profile first!):
97                    o)  R2000/R3000 cache cleaner!
98                    o)  strlen, memset loops etc
99                    o)  multiple loads/stores in a row, e.g. relative to
100                        the stack pointer
101                    o)  lui + or, lui + add, and 64-bit variants
102                    o)  jr ra + addiu to the v0 register?
103                    o)  compare + branch
104            o)  DROTR32 and similar MIPS64 rev 2 instructions, which have
105                a rotation bit which differs from previous ISAs.
106            o)  EI and DI instructions for MIPS64/32 rev 2. NOTE: These are
107                _NOT_ the same as for R5900!
108            o)  (Re)implement 128-bit loads/stores for R5900.
109            o)  R4000 and others:
110                    x)  watchhi/watchlo exceptions, and other exception
111                        handling details
112            o)  R10000 and others:  (R12000, R14000 ?)
113                    x)  memory space, exceptions, ...
114                    x)  use cop0 framemask for tlb lookups
115                        (http://techpubs.sgi.com/library/tpl/cgi-bin/getdoc.cgi/hdwr/bks/SGI_Developer/books/R10K_UM/sgi_html/t5.Ver.2.0.book_284.html)
116    
117  Dyntrans:  Dyntrans:
118          TOP Priority:          x)  Redesign/rethink the delay slot mechanism used for e.g. MIPS,
119                  x)  64-bit stuff: good generic virtual memory translation, and                  so that it caches a translation (that is, an instruction
120                      other structures. not all 64 bits need to be used                  word and the instr_call it was translated to the last
121                      (e.g. Alpha)                  time), so that it doesn't need to do slow
122                  x)  Delay slots!                  to_be_translated for each end of page?
123                  x)  Old MIPS -> dyntrans!          x)  Program Counter statistics:
124          Other stuff:                  Per machine? What about SMP? All data to the same file?
125                    A debugger command should be possible to use to enable/
126                    disable statistics gathering.
127                    Configuration file option!
128            x)  Common fatal_abort() function, which drops into the debugger
129                    without continuing.
130          x)  INVALIDATION should cause translations in _all_ cpus to be          x)  INVALIDATION should cause translations in _all_ cpus to be
131              invalidated, e.g. on a write to a write-protected page              invalidated, e.g. on a write to a write-protected page
132              (containing code)              (containing code)
         x)  Think about sharing code between CPUs of the same  
             arch/bitlength/endianness (the translation caches).  
             (Eg. a little-endian R4000 and a little-endian R5000 could  
             share code, but not an R3000 and an R4000.)  
         x)  better (meaningful) instr call statistics  
133          x)  Call/return hints?          x)  Call/return hints?
134          x)  16-bit encodings? (MIPS16, ARM Thumb, SH3, ...)          x)  16-bit encodings? (MIPS16, ARM Thumb, SH3, ...)
135          x)  PPC optimizations; instr combs          x)  H8?
         x)  Alpha  
         x)  SPARC  
         x)  PPC (64-bit stuff)  
136          x)  Lots of other stuff: see src/cpus/README_DYNTRANS          x)  Lots of other stuff: see src/cpus/README_DYNTRANS
137          x)  true recompilation backend? think carefully about this,          x)  true recompilation backend? think carefully about this,
138              experiment in a separate project (not in GXemul)              experiment in a separate project (not in GXemul)
139                    o) First test would be to just implement a simple
140                       instruction such as MIPS' addiu or lui, on AMD64
141                       hosts...
142            x)  Idle loop detection? (Depends on target.) Could be turned
143                into usleep(1) or similar on the host... except when doing
144                e.g. SMP emulation. Then it becomes trickier.
145    
146    Alpha:
147            o)  Virtual memory (tlbs etc)
148            o)  Get {NetBSD,OpenBSD,Linux}/alpha booting. :)
149    
150    SPARC:
151            o)  Add all registers (floating point, control regs etc)
152            o)  Save/restore register windows etc!
153            o)  Load/stores!
154            o)  Disassemly of some more instructions?
155            o)  Are sll etc 32-bit sign-extending or zero-extending?
156            o)  Finish the cmp (subcc) flag computation code.
157            o)  Finish the GDB register stuff.
158            o)  SPARC v8, v7 etc?
159    
160    Debugger:
161            o)  How does SMP debugging work? Does it simply use "threads"?
162                    What if the guest OS (running on an emulated SMP machine)
163                    has a usertask running, with userland threads?
164            o)  Try to make the debugger more modular and, if possible, reentrant!
165            o)  Remove the emul command? (But show network info if showing
166                    machines?)
167            o)  Generalize the expression evaluator. (debugger_expr.c?)
168                    settable variables      ("show nr of instructions on average")
169                    emul[x]                 defaults to current emul
170                    machine[x]              defaults to current machine
171                    cpu[x]                  defaults to currently focused cpu
172                    registers               cpu arch dependent (#-prefix)
173                    symbols                 @-prefix
174                    numeric constants       decimal, hex, and octal ($-prefix)
175                    boolean                 yes,no, true,false
176                    operators (+ - * / % & | ^ !)
177                    parentheses for grouping subexpressions
178                    NOTE: the change from % to # for register prefix!
179                    examples:
180                                    emul[0].machine[2].cpu[0].pc
181                                    machine[test2].cpu[1].ra = main
182                                    settings.show_trace_tree = yes
183    
184                    Settings:
185                            o)  Remove a setting.
186                            o)  Read/write a setting given a name. (Read as
187                                string and/or int64_t simultaneously?)
188                            o)  Warnings when exiting the emulator, if the
189                                settings have not been removed exactly in
190                                the same way as they were added? This would
191                                improve code cleanliness in the long term.
192                                (I.e. require a corresponding _destroy()
193                                function for all _new functions... machine_
194                                cpu_ etc.)
195    
196                    Help command should have subsections! One for "expressions",
197                    mirrored in the documentation, but the internal help should
198                    be the one that should be considered correct.
199            o)  see src/debugger.c for more
200    
201    POWER/PowerPC:
202            x)  PPC optimizations; instr combs
203            x)  64-bit stuff: either Linux on G5, or perhaps some hobbyist
204                    version of AIX? (if there exists such a thing)
205            x)  find and fix the bug which causes NetBSD/macppc to fail after
206                an install!
207            x)  macppc: adb controller; keyboard (for framebuffer mode)
208            x)  make OpenBSD/macppc work (PCI controller stuff)
209    
210    Algor:
211            PCI and ISA and LOCAL interrupts! --> wdc could start working
212            Add interrupt controller in dev_algor.c.
213    
214    ARM:
215            o)  try to get netbsd/evbarm 3.x running (iq80321)
216            o)  make the xscale counter registers (ccnt) work
217            o)  make the ata controller usable for FreeBSD!
218            o)  zaurus for openbsd...
219            o)  debian/cats crashes because of unimplemented coproc stuff.
220                fix this?
221    
222    Cache simulation:
223            o)  Command line flags for:
224                    o)  CPU endianness?
225                    o)  Cache sizes? (multiple levels)
226            o)  Separate from the CPU concept, so that multi-core CPUs sharing
227                e.g. a L2 cache can be simulated (?)
228            o)  Instruction cache emulation is easiest (if separate from the
229                data cache); similar hack as the S;I; hack in cpu_dyntrans.c.
230                NOTE: if the architecture has a delay slot, then an instruction
231                slot can actually be executed as 2 instructions.
232            o)  Data cache emulation = harder; each arch's load/store routines
233                must include support? running one instruction at a time and
234                having a cpu-dependant lookup function for each instruction
235                is another option (easier to implement, but very very slow).
236    
237    Documentation:
238            o)  machines, cpus, devices.
239            o)  Automagic documentation generation:
240                    x)  REMEMBER that several machines/devices can be in
241                            the same source file!
242            o)  Try to rewrite the install instructions for those machines
243                that use 3MAX into using CATS? (To remove the need to a raw
244                ffs partition using up all of the disk image.)
245    
246  More generic out_of_memory error reporting, and check everywhere!  More generic out_of_memory error reporting, and check everywhere!
247          Causes: OpenBSD has low default limits for normal users.          Causes: OpenBSD has low default limits for normal users.
# Line 44  Breakpoints: 32-bit vs 64-bit sign exten Line 256  Breakpoints: 32-bit vs 64-bit sign exten
256          extended soon to support stuff like  "2*x + symbol + y" etc. cool          extended soon to support stuff like  "2*x + symbol + y" etc. cool
257          stuff)          stuff)
258    
 Sprite (guest OS for DECstation emulation)  
         x)  Timing problems during bootup?  
   
259  The Device subsystem:  The Device subsystem:
260          x)  allow devices to be moved and/or changed in size (down to a          x)  allow devices to be moved and/or changed in size (down to a
261              minimum size, etc, or up to a max size)              minimum size, etc, or up to a max size)
262          x)  keep track of interrupts and busses? actually, allowing any device          x)  keep track of interrupts and busses? actually, allowing any device
263              to be a bus might be a nice idea              to be a bus might be a nice idea.
264            x)  turn interrupt controllers into devices? :-)
265          x)  refactor various clocks/nvram/cmos into one device?          x)  refactor various clocks/nvram/cmos into one device?
266    
267  ARM:  Clocks:
268          o)  add ID for "i80321 600MHz rev 2 (XScale core)"          x)  General framework for automagic clock adjustment for _all_
269          o)  make the ata controller usable for FreeBSD!              kinds of clocks and timers. (Which should be possible to turn
270          x)  zaurus for openbsd...              off, of course, like the way DECstation emulation works now.)
271    
272  PCI:  PCI:
273            x)  last write was ffffffff ==> fix this, it should be used
274                together with a mask to get the correct bits. also, not ALL
275                bits are size bits! (lowest 4 vs lowest 2?)
276          x)  add support for address fixups          x)  add support for address fixups
277          x)  generalize the interrupt routing stuff (lines etc). this should          x)  generalize the interrupt routing stuff (lines etc). this should
278              be per machine? or per bus, that's better              be per machine? or per bus, that's better
279            x)  add a "pcn" NIC (AMD PCnet32 Lance 79c970 (PCI 1022:2000)),
280  MacPPC:              could be useful for several machine modes (Malta, Algor, evbarm,
281          x)  dev_zs / interrupts?              hp700?, macppc, etc.)
         x)  adb controller; keyboard  
         x)  make OpenBSD/macppc work (PCI controller stuff)  
282    
283  Network layer:  Network layer:
284          o)  DHCP (for Debian and BSD installers :-)          o)  DHCP (for Debian and BSD installers :-)
# Line 87  Busses: Line 298  Busses:
298          o)  dev->bus: TurboChannel, PCMCIA, ADB?          o)  dev->bus: TurboChannel, PCMCIA, ADB?
299    
300  Config file parser:  Config file parser:
301          o)  Refresh/rewrite it :)          o)  Rewrite it from scratch!
302          o)  Usage of any expression available through the debugger          o)  Usage of any expression available through the debugger
         o)  Expressions such as "add device" would be nice to be able  
             to do on the command line manually.  
         o)  Allow machine() entries even if there is no emul() entry (but  
             then don't allow any emul() entries at all).  
303          o)  Support for running debugger commands (like the -c          o)  Support for running debugger commands (like the -c
304              command line option)              command line option)
305    
306  Floating point layer:  Floating point layer:
307          o)  make it common enough to be used by _all_ emulation modes          o)  make it common enough to be used by _all_ emulation modes
308            o)  implement more stuff
309          o)  non-IEEE modes (i.e. x86)?          o)  non-IEEE modes (i.e. x86)?
310    
311  Userland emulation:  Userland emulation:
# Line 108  Sound: Line 316  Sound:
316          x)  generic sound framework          x)  generic sound framework
317          x)  add one or more sound cards as devices          x)  add one or more sound cards as devices
318    
319    ASC SCSI controller:
320            x)  NetBSD/arc 2.0 uses the ASC controller in a way which GXemul
321                cannot yet handle. (NetBSD 1.6.2 works ok.) (Possibly a problem
322                in NetBSD itself, http://mail-index.netbsd.org/source-changes/
323                2005/11/06/0024.html suggests that.)
324    
325  Caches / memory hierarchies: (this is mostly MIPS-specific)  Caches / memory hierarchies: (this is mostly MIPS-specific)
         o)  MIPS coproc.c: bits in config registers should reflect  
             correct cache sizes for _all_ CPU types. (currently only  
             implemented for R4000, R1x000, and a few others)  
326          o)  src/memory*.c: Implement correct cache emulation for          o)  src/memory*.c: Implement correct cache emulation for
327              all CPU types. (currently only R2000/R3000 is implemented)              all CPU types. (currently only R2000/R3000 is implemented)
328              (per CPU, multiple levels should be possible,              (per CPU, multiple levels should be possible, associativity etc!)
             associativity etc!)  
329          o)  R2000/R3000 isn't _100%_ correct, just almost correct :)          o)  R2000/R3000 isn't _100%_ correct, just almost correct :)
330          o)  Move the -S (fill mem with random) functionality into the          o)  Move the -S (fill mem with random) functionality into the
331              memory.c subsystem, not machine.c or wherever it is now              memory.c subsystem, not machine.c or wherever it is now
# Line 128  Caches / memory hierarchies: (this is mo Line 338  Caches / memory hierarchies: (this is mo
338              memory latencies should be emulated as correctly as              memory latencies should be emulated as correctly as
339              possible.              possible.
340    
 MIPS CPU emulation:  (note: this is for the OLD mips stuff)  
         o)  i386 bintrans backend: movn etc, slt[u] for  
                 64-bit mode, 64-bit shifts etc  
         o)  Instructions:  
                 o)  All ISAs:  
                         o)  Floating point exception handling, and  
                                 add more instructions.  
                         o)  Finish the MIPS16 translator, and test it!  
                         o)  MIPS ISA I, II, III, IV  
                         o)  MIPS V (SIMD vector stuff?)  
                         o)  MDMX  (MIPS Digital Media Extension)  
                         o)  MIPS 3D  
                         o)  MIPS MT (Multi-thread stuff) (What's this?)  
                 o)  Warn about mis-used bit fields (ie bits that  
                     should be all zeroes, warn about if they are not)!  
                     Both for coprocessor registers and for instruction  
                     opcodes.  
                 o)  the special2 stuff is a mess right now  
                 o)  warn and/or cause exceptions for unimplemented  
                     instructions (depending on CPU type)  
         o)  R2000/R3000:  
                 x)  R3000 "tri-byte stores". (What's this?)  
         o)  R4000 and others:  
                 x)  watchhi/watchlo exceptions, and other exception  
                     handling details  
         o)  R10000 and others:  (R12000, R14000 ?)  
                 x)  memory space, exceptions, ...  
                 x)  use cop0 framemask for tlb lookups  
                     (http://techpubs.sgi.com/library/tpl/cgi-bin/getdoc.cgi/hdwr/bks/SGI_Developer/books/R10K_UM/sgi_html/t5.Ver.2.0.book_284.html)  
         o)  Implement load delays?  Warnings on interlocks.  
         o)  Implement all coprocessor 0 bits / functions.  
                 x)  coproc 0 selectors! (R4000 ?)  
         o)  R4300 (nintendo64, no mmu?), R5900 (playstation2, weird  
                 TLB/cache? 128-bit GPRs, new instructions),  
                 4K (note: NOT R4000), 5K (note: NOT R5000),  
                 R6000 (ISA II), R8000  
         o)  Multi-cpu stuff:  
                 +)  Interrupt routing (ie devices vs mainbus, or  
                     connect each device to a fixed cpu)  
                 +)  SGI's NUMA architecture. Study  
                         x)  Linux sources  
                         x)  SGI's specs on NUMA address space  
                 +)  Ultrix?  NetBSD doesn't do SMP on MIPS yet :-(  
                 +)  Own experiments with ycx2.  
   
341  File/disk/symbol handling:  File/disk/symbol handling:
342            o)  Remove some of the complexity in file format guessing, for
343                    Ultrix kernels that are actually disk images?
344          o)  Better handling of tape files          o)  Better handling of tape files
345          o)  Read function argument count and types from binaries? (ELF?)          o)  Read function argument count and types from binaries? (ELF?)
346          o)  Demangle C++ names.          o)  Better demangling of C++ names. Note: GNU's C++ differs from e.g.
347                Microsoft's C++, so multiple schemes must be possible. See
348  Debugger:              URL at top of src/symbol_demangle.c for more info.
         o)  see src/debugger.c for more  
349    
350  Userland ABI emulation:  Userland ABI emulation:
351          o)  see src/useremul.c          o)  see src/useremul.c
# Line 206  Better framebuffer and X-windows functio Line 372  Better framebuffer and X-windows functio
372                  on size (and center the image, with a black border).                  on size (and center the image, with a black border).
373          o)  Different scaledown on different windows?          o)  Different scaledown on different windows?
374          o)  Switch scaledown during runtime? (Ala CTRL-ALT-plus/minus)          o)  Switch scaledown during runtime? (Ala CTRL-ALT-plus/minus)
375            o)  Bug reported by Elijah Rutschman on MacOS with weird
376                keys (F5 = cursor down?).
377          o)  Keyboard and mouse events:          o)  Keyboard and mouse events:
378                  x)  Do this for more machines than just DECstation                  x)  Do this for more machines than just DECstation
379                  x)  more X11 cursor keycodes                  x)  more X11 cursor keycodes

Legend:
Removed from v.22  
changed lines
  Added in v.28

  ViewVC Help
Powered by ViewVC 1.1.26