📄 http:^^www.cs.washington.edu^homes^ddion^
字号:
Date: Thu, 21 Nov 1996 23:02:21 GMTServer: NCSA/1.4.2Content-type: text/htmlLast-modified: Mon, 28 Oct 1996 20:05:37 GMTContent-length: 4421<html><head> <title>Home Page of David Dion</title></head><body><h1> <a name="top"><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><!WA0><a href="http://www.cs.washington.edu/homes/ddion/personal/personal.html">David Dion</a></a><br> </h1><em><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><!WA1><a href="mailto:ddion@cs.washington.edu">ddion@cs.washington.edu</a></em><p><hr><h2> Personal </h2>Yeah right, like I'd put anything personal here. Okay, maybe a <!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><!WA2><a href="http://www.cs.washington.edu/homes/ddion/personal/personal.html"> little</a>.<h2> Academics </h2><b> Current Research: </b> For the past year I have been working with <!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><!WA3><a href="http://www.cs.washington.edu/homes/bershad/">Brian Bershad</a>.My primary responsibility is the construction of a UNIX server for the<!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><!WA4><a href="http://www.cs.washington.edu/research/projects/spin/www">SPIN</a>operating system. SPIN is an operating system on which applications can achieve impressive performance by dynamically extending the kernel. Safety and protection are maintained at the language level, as SPIN and its extensions are written in <!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><!WA5><a href="http://www.research.digital.com/SRC/modula-3/html/home.html">Modula-3</a>.<p>The user-level SPIN UNIX server is a slight variant of a DEC OSF/1 Unix server, which thinks it is running on Mach. SPIN dynamically linked extensions are used to intercept OSF/1 system calls and to emulate a Mach kernel environment.<p><b>Previous Research: </b> SPIN is not the first extensible system I haveworked on. In my <!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><!WA6><a href="http://www.cs.washington.edu/homes/ddion/jwz/prev_research/research.html">undergraduate studies</a> at <!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><!WA7><a href="http://www.nd.edu">Notre Dame</a> I helped implement user-level memory management for an extensible communications subsystem.<p><h2> Web Stuff </h2>I'm afraid I don't have the time to sit around and surf the Web,so I wouldn't claim to know about all the cool stuff out there. Ipromise to do more surfing as soon as I have Netscape-enhancedthis page (don't hold your breath). Meanwhile, these are some of the sites I visit occasionally for work and for distraction.<ul><li><b><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><!WA8><a href="http://www.cs.washington.edu/">University of Washington Computer Science and Engineering:</a></b> the reason I'm in Seattle.<li><b><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><!WA9><a href="http://www.washington.edu/">University of Washington:</a></b> UW homepage, featuring an up-to-date view of campus weather conditions.<li><b><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><!WA10><a href="http://www.cs.washington.edu/research/projects/spin/www/"> SPIN:</a></b> what occupies the vast majority of my time.<li><b><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><!WA11><a href="http://www.research.digital.com/SRC/modula-3/html/home.html"> Modula-3:</a></b> the language I use for most of my programming these days.<li><b><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><!WA12><a href="http://www.ns.utk.edu/gnu/gdb/gdb_toc.html">GDB Debugging Manual:</a></b> how I've solved countless problems.<li><b><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><!WA13><a href="http://www.nd.edu/">University of Notre Dame:</a></b> my undergraduate institution.<li><b><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><!WA14><a href="http://www.nd.edu/Departments/NDBands/band.html">Notre Dame Bands:</a></b> my undergraduate life.<li><b><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><!WA15><a href="http://www.nd.edu/~trumpets/">Notre Dame Trumpet Section:</a> </b> more of my undergraduate life.<li><b><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><!WA16><a href="http://www.cs.washington.edu/homes/rex/rb/">CSE Racquetball Ladder:</a></b> my main outlet for athletics.<li><b><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><!WA17><a href="http://espnet.sportszone.com/">ESPN Sportzone:</a></b> how I stay in touch with the sports world.<li><b><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><!WA18><a href="http://www.usatoday.com/">USA Today:</a></b> how I stay in touch with the rest of the world.<li><b><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><!WA19><a href="http://www.unitedmedia.com/comics/dilbert/">Dilbert:</a></b> how I learn about the <i>real</i> world.<li><b><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><!WA20><a href="http://www.cs.washington.edu/area/eating/">Restaurants:</a></b> fine Seattle eateries, as recommended by others in computer science here at UW.<li><b><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><!WA21><a href="http://www.uspan.com/events/movie-listings.html">Movies:</a> </b> Seattle regional movie listings.<li><b><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><!WA22><a href="http://transit.metrokc.gov/">Transportation:</a></b> an on-line guide to Seattle's excellent public transportation system.<li><b><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><!WA23><a href="http://www.wsdot.wa.gov/regions/northwest/NWFLOW/">Current Traffic Conditions:</a></b> current status of Seattle's infamous traffic.<li><b><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><!WA24><a href="http://www.mariners.org/">Seattle Mariners:</a></b> the first Major League Baseball team with a web page. <li><b><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><!WA25><a href="http://www.llbean.com">L. L. Bean:</a></b> the only shopping Web page I will visit.</ul><p><hr><address> <!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><!WA26><a href="#top">David Dion</a> <br> Last modified: Monday 1 April 1996</address></html>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -