Rev 30 | Rev 42 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
| Rev | Author | Line No. | Line |
|---|---|---|---|
| 30 | jermar | 1 | \chapter{Developers} |
| 2 | \label{developers} |
||
| 3 | |||
| 4 | \section{\JJ} |
||
| 5 | {\JJ} is the original author of the SPARTAN kernel and the initiator of the |
||
| 6 | idea to start the HelenOS project. During the works on the system, he has |
||
| 7 | been the most active developer. He also took on the project agenda |
||
| 8 | and administration and became the project leader. |
||
| 9 | |||
| 10 | Before the project officially started, {\JJ} created the SPARTAN kernel |
||
| 11 | for ia32 and mips32 along with SMP support, scheduler and synchronization\footnote{The |
||
| 12 | initial SPARTAN kernel did not reach userspace.}. |
||
| 13 | |||
| 14 | In the project time proper, he implemented considerable parts |
||
| 15 | of ia64 code and worked also on mips32 memory management. |
||
| 16 | On the generic front, {\JJ} designed generic the virtual address |
||
| 17 | translation interface for the 4-level hierarchical page table translation mechanism |
||
| 18 | as well as for the global page hash table translation mechanism. He has been involved |
||
| 19 | in address space management functions and userspace synchronization through futexes. |
||
| 20 | Other areas of his contribution include the kernel console and the kernel ELF loader. |
||
| 21 | {\JJ} is also the author of the generic buddy system framework and B+tree implementation. |
||
| 22 | |||
| 23 | \section{\OP} |
||
| 24 | {\OP} has been very agile HelenOS developer. He is responsible for large areas of the |
||
| 25 | kernel and userspace and has completely created the amd64 port and completed the mips32 |
||
| 26 | port to the extent that it runs on a real MIPS machine\footnote{SGI Indy}. |
||
| 27 | Besides the architecture specific involvement, {\OP} programmed the slab allocator |
||
| 28 | and modified the frame allocator to be self-contained which in turn let the old |
||
| 29 | and very limited heap manager be removed from the kernel entirely. He also created |
||
| 30 | architecture independent FPU lazy switching framework. Other example of his |
||
| 31 | activity is the IPC subsystem and partial TLS\footnote{Thread local storage.} support. |
||
| 32 | Lastly, {\OP} equipped the kernel console with features found in userspace command shells |
||
| 33 | (e.g. tab completion of commands and command history through keyboard arrows) and wrote |
||
| 34 | the kernel configuration software. |
||
| 35 | |||
| 36 | Apart from the self development, other members of the team appreciated \OP's excellent |
||
| 37 | debugging and troubleshooting skills. He has been the person behind discovery of |
||
| 38 | majority of the compiler and simulator bugs. |
||
| 39 | |||
| 40 | \section{\MD} |
||
| 41 | {\MD} is a very dedicated HelenOS developer. Right from the beginning, Martin |
||
| 42 | has cared about project's code purity and readibility. He was the first developer to |
||
| 43 | start writing Doxygen-style comments. He has promoted the proper use of C language |
||
| 44 | {\tt const} keywords and extensive typedefing. On the tools front, he has rewritten |
||
| 45 | the initial build system and created all our toolchain build scripts. |
||
| 46 | |||
| 47 | Martin worked and much improved the ia32 and amd64 kernel booting using the Grub bootloader |
||
| 48 | and Multiboot specification. He also created specialized boot loaders for mips32 and ppc32 --- architectures |
||
| 49 | that don't provide many other ways to load userspace init tasks. Finally, |
||
| 50 | {\MD} bacame the sole author of the entire ppc32 port and has encountered |
||
| 51 | partial success in booting ppc64 port to real hardware\footnote{Apple G5.}. |
||
| 52 | |||
| 53 | \section{\JV} |
||
| 54 | {\JV} has worked on ia32 and ia64 FPU context switching and passive ia32 |
||
| 55 | and active and passive ia64 console. He has relocated the ia64 kernel to |
||
| 56 | region 7 (i.e. to the highest addresses) and has first coped with ia64 |
||
| 57 | interrupts. {\JV} has been always prepared to discuss different kernel |
||
| 58 | issues. His expertise in ia32 is well recognized. |
||
| 59 | |||
| 60 | \section{\JC} |
||
| 61 | {\JC} has worked on ia32 memory map detection, softfloat and softint libraries |
||
| 62 | and printf() standards comformance. He also ported several kernel libraries to userspace. |
||
| 63 | |||
| 64 | \section{\SB} |
||
| 65 | {\SB} implemented sorting library functions and implemented the buddy allocator |
||
| 66 | interface for the frame allocator. He edited project documentation. |