http:^^www.cs.washington.edu^homes^pardo^rtcg.d^index.html

来自「This data set contains WWW-pages collect」· HTML 代码 · 共 537 行 · 第 1/2 页

	languages for interactive graphics</a>
	(<tt>[e-mail]</tt>)
<li><!WA39><!WA39><!WA39><!WA39><a href="http://www.cs.cmu.edu/~mleone/">Mark Leone</a>
	is working on specialized runtime code generators,
	achieving costs as low as 6 cycles per generated instruction
	(see <!WA40><!WA40><!WA40><!WA40><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/mleone/papers/ml-rtcg.ps">here</a>).
<li>MudOS
	(<!WA41><!WA41><!WA41><!WA41><a href="http://hollebeek.hep.upenn.edu:80/~tim/mudos.html">see here</a>)
	uses
	<!WA42><!WA42><!WA42><!WA42><a href="http://hollebeek.hep.upenn.edu/~tim/lpc2c.html">dynamic compilation</a>
	of the LPC extension language,
	in order to minimize the interpretation overhead.
<li><!WA43><!WA43><!WA43><!WA43><a href="http://cdibm.fnal.gov/cern/pawnews-2052.txt">PAW</a>
<li>Perl uses
	``<!WA44><!WA44><!WA44><!WA44><a href="http://mes01.di.uminho.pt/Manuals/Perl/pl-exp-arr.html">runtime compilation</a>''
	of patterns (to vcode), and
	<!WA45><!WA45><!WA45><!WA45><a href="http://www.eecs.nwu.edu/cgi-bin/bbc_man2html?perl(1)">dynamic loading</a>
	(<!WA46><!WA46><!WA46><!WA46><a href="http://zeno.as.arizona.edu:8000/perldocs/perlfunc.html">more</a>)
<li><!WA47><!WA47><!WA47><!WA47><a href="http://cs-tr.cs.berkeley.edu:80/TR/UCB:CSD-94-792">Portable 
	Runtime Code Generation in C</a>.
	(Has the link expired?  Here's a
	<!WA48><!WA48><!WA48><!WA48><a href="http://www.cs.washington.edu/homes/pardo/rtcg.d/papers.d/yarvin-sah-94-792.ps.gz">local copy</a>).
<li><!WA49><!WA49><!WA49><!WA49><a href="http://www.cs.arizona.edu/xkernel/www/people/todd.html">Todd Proebsting</a>
	is working on RTCG, including DCG
	(<!WA50><!WA50><!WA50><!WA50><a href="http://amsterdam.lcs.mit.edu/PDOS-papers.html/papers/dcg.ps">PostScript(tm) paper</a>)
<li>Prolog uses <tt>assert</tt> and <tt>retract</tt> to add and delete
	code from a program.
	If you're using compiled Prolog, then changing the program means
	(a) switching to interpretive execution,
	(b) recompiling the whole program or
	(c) performing
	<!WA51><!WA51><!WA51><!WA51><a href="http://www.complang.tuwien.ac.at/andi/articles.html">incremental analysis</a>
	in order to limit the scope of recompilation.
<li><!WA52><!WA52><!WA52><!WA52><a href="http://foxnet.cs.cmu.edu/afs/cs.cmu.edu/project/fox/mosaic/people/petel/papers/osdi/">Proof-carrying
	code</a> for code motion across protection boundaries.
<li><!WA53><!WA53><!WA53><!WA53><a href="http://www.cs.arizona.edu/xkernel/www/projects/scout.html">Scout</a>
<li><!WA54><!WA54><!WA54><!WA54><a href="http://www.lpac.ac.uk/SEL-HPC/Articles/CompilersArchive.html">SEL-HPC</a>
	has a compilers and interpreters archive that includes
	<!WA55><!WA55><!WA55><!WA55><a href="http://www.lpac.ac.uk/SEL-HPC/Articles/GeneratedHtml/comp.rcg.html">RTCG</a>
	and
	<!WA56><!WA56><!WA56><!WA56><a href="http://www.lpac.ac.uk/SEL-HPC/Articles/GeneratedHtml/comp.link.html">dynamic linking</a>.
<li><!WA57><!WA57><!WA57><!WA57><a href="http://self.smli.com">Self</a>
	(<!WA58><!WA58><!WA58><!WA58><a href="http://www.cs.ucsb.edu/oocsb/self">alternate site</a>)
of compiled C, C++, etc.
	in order to improve embeddability and extensibility.
<li><!WA59><!WA59><!WA59><!WA59><a href="http://www.cs.washington.edu/homes/pardo/sim.d/index.html">Simulators</a>often use dynamic-cross compilation and other such techniques.
<li><!WA60><!WA60><!WA60><!WA60><a href="http://www.cs.washington.edu/research/projects/spin/www/">SPIN</a>,
	supporting VSO and dynamic linking of kernel extensions.
	Including
	<!WA61><!WA61><!WA61><!WA61><a href="http://www.cs.washington.edu/research/projects/spin/www/ARPA/blue_book-overview.html">here</a>
	and
	<!WA62><!WA62><!WA62><!WA62><a href="http://www.cs.washington.edu/research/projects/spin/www/ARPA/blue_book-accomplishments.html">here</a>
<li><!WA63><!WA63><!WA63><!WA63><a href="http://www.cs.arizona.edu/sumatra/">Sumatra</a>
	Is a project to explore issues about efficient execution of mobile code.
<li><!WA64><!WA64><!WA64><!WA64><a href="http://www.cis.upenn.edu/~jms/SoftSwitch.html">SwitchWare</a>:
	Making the network interface programmable.
	(There is also a
	<!WA65><!WA65><!WA65><!WA65><a href="http://www.cis.upenn.edu/~jms/white-paper.ps">PostScript paper</a>.)
<li><!WA66><!WA66><!WA66><!WA66><a href="http://www.cse.ogi.edu/DISC/projects/synthetix">Synthetix</a>,
	a follow-on to Synthesis.
<li><!WA67><!WA67><!WA67><!WA67><a href="http://www.tandem.com/source/product/html/DALSVRPD.html">Tandem
	databases</a>.
<li><!WA68><!WA68><!WA68><!WA68><a href="http://www.cs.washington.edu:80/research/compiler/rtcg.html">UW RTCG</a>
<li><!WA69><!WA69><!WA69><!WA69><a href="http://www.ai.mit.edu/projects/transit/transit_home_page.html">Transit</a>
	suggests ``Computational Quasistatics'' --
	profile feedback to an online optimizer.
	<ul>
	<li><!WA70><!WA70><!WA70><!WA70><a href="http://www.ai.mit.edu/projects/transit/suif_usage.html">Quasistatic if-then-else</a>
	<li><!WA71><!WA71><!WA71><!WA71><a href="http://www.ai.mit.edu/projects/transit/smart_compiler.html">Smart Compilers</a> references
	<li><!WA72><!WA72><!WA72><!WA72><a href="http://www.ai.mit.edu/projects/transit/rc_home_page.html">Reinventing computing?</a>
	</ul>
<li>The
	<!WA73><!WA73><!WA73><!WA73><a href="http://www.complang.tuwien.ac.at/andi/">Vienna
		Abstract Machine</a>
	uses incremental compilation.
</ul>

<h2>Dynamic Linking</h2>

<ul>
<li><!WA74><!WA74><!WA74><!WA74><a href="gopher://ftp.std.com:70/00/obi/book/USENIX/index.cat">Caching to
	improve the performance</a> of dynamic linking
	(see also
	<!WA75><!WA75><!WA75><!WA75><a href="gopher://ftp.std.com:70/00/obi/book/USENIX/index">here</a>
<li><!WA76><!WA76><!WA76><!WA76><a href="http://www-dsg.stanford.edu/papers/cachekernel/main.html">Cache Kernel</a>
	uses dynamically-loaded application-specific kernel modules.
<li><!WA77><!WA77><!WA77><!WA77><a href="http://www.netmanage.com/netmanage/products/cham.html">Chameleon</a>
	is a TCP/IP layer for Windows, implemented as a
	<li><!WA78><!WA78><!WA78><!WA78><a href="http://www.netmanage.com/netmanage/nm6.html">DLL</a>.
	Likewise,
	<!WA79><!WA79><!WA79><!WA79><a href="http://www.vitinc.com/home4.html">here</a>.
<li>CLIPS
	<!WA80><!WA80><!WA80><!WA80><a href="ftp://hubble.jsc.nasa.gov/pub/clips/clips-faq">uses dynamic linking</a>
<li><!WA81><!WA81><!WA81><!WA81><a href="ftp://listserv.arizona.edu/pub/listserv/toolb-l/toolb-l.log9401">Compression DLL</a>
<li><!WA82><!WA82><!WA82><!WA82><a href="http://legend.gwydion.cs.cmu.edu:8001/dylan/book/contents.html">Dylan</a>
	<!WA83><!WA83><!WA83><!WA83><a href="http://legend.gwydion.cs.cmu.edu:8001/dylan/book/ch1.html">uses dynamic linking</a>
<li><!WA84><!WA84><!WA84><!WA84><a href="http://siva.cshl.org/cgi-bin/lsmbyid?00313">dld</a> is a
	dynamic linker provided with Linux.
<li>Fast turnaround edit-compile-debug with incremental compilation
	and dynamic linking.
	<ul>
	<li><!WA85><!WA85><!WA85><!WA85><a href="http://www.franz.com/acl-win.html">Allegro Common Lisp</a>
	<li><!WA86><!WA86><!WA86><!WA86><a href="http://www-lp.doc.ic.ac.uk/Files/clp.faq.implementations">Prolog</a>
		(SNI Prolog Version 3, in particular)
	<li><!WA87><!WA87><!WA87><!WA87><a href="http://mosaic.reasoning.com/press-release-94-05-16.html">Software Refinery</a>
	</ul>
<li><!WA88><!WA88><!WA88><!WA88><a href="http://www.cilabs.org/pub/cilabs/general/CILabs_Bckgrdr_9409/CILabs_Bckgrdr_9409.html">Interoperating
documents</a>
	use dynamic linking
	(see also <!WA89><!WA89><!WA89><!WA89><a href="http://www.novell.com/">under here</a>).
<li><!WA90><!WA90><!WA90><!WA90><a href="ftp://sunsite.unc.edu/pub/Linux/docs/HOWTO/ELF-HOWTO">ELF</a>
	vs. <tt>a.out</tt> dynamic linking
<li>GNU's HURD uses
	<!WA91><!WA91><!WA91><!WA91><a href="http://www.uruk.org/hurd-proj/hurd-exec.html">dynamic linking</a>
<li><!WA92><!WA92><!WA92><!WA92><a href="ftp://archive.cis.ohio-state.edu/pub/hcibib/ECHT90.bib">Hypertext
	using dynamic linking</a>
<li><!WA93><!WA93><!WA93><!WA93><a href="http://www.kaleida.com/">Kaleida</a>'s <em>ScriptX</em>
	uses dynamic linking.
	<quotation>
	I'm implementing a dynamic linker for a programming language
	similar to Dylan.  (The language is ScriptX, see
	<!WA94><!WA94><!WA94><!WA94><a href="http://www.kaleida.com/">http://www.kaleida.com/</a>
	for more information about it.)  It uses a module system that
	is almost identical to Dylan's module system.
	A module can export variables to publish interfaces,
	and it can use other modules to gain access to their published
	interfaces.  Modules can be saved from a compilation
	environment into a persistent store with the variables defined
	within them, and later loaded into a runtime environment.
	</quotation>
	<tt>[e-mail] (Eric Benson)</tt> in
	<tt>comp.compilers</tt> article 28 July 1995.
<li><!WA95><!WA95><!WA95><!WA95><a href="gopher://ftp.std.com:70/00/obi/book/USENIX/index.cat">Language extensions</a>
	use dynamic linking
	(see also
	<!WA96><!WA96><!WA96><!WA96><a href="gopher://ftp.std.com:70/00/obi/book/USENIX/index">here</a>)
<li>Microsoft Windows has a dynamic linker interface that
	<!WA97><!WA97><!WA97><!WA97><a href="gopher://ds1.internic.net:70/00/internet-drafts/draft-ietf-cat-wingss-00.txt">requires the use of FAR pointers</a>
<li><!WA98><!WA98><!WA98><!WA98><a href="http://www.mit.edu:8001/afs/net/user/srz/www/multics.html">Multics</a>,
	<!WA99><!WA99><!WA99><!WA99><a href="http://www.best.com/~thvv/multics.html">Multics</a>,
<li><!WA100><!WA100><!WA100><!WA100><a
href="http://www.austin.ibm.com/developer/aix/library/aixpert/june94/aixpert_june94_closeup.html">OpenDoc</a>
	and
	<!WA101><!WA101><!WA101><!WA101><a href="http://www.cilabs.org/pub/cilabs/general/CILabs_Bckgrdr_9409/CILabs_Bckgrdr_9409.html">details</a>
<li>OS/2 uses
	<!WA102><!WA102><!WA102><!WA102><a href="gopher://index.almaden.ibm.com/0os2dsn/dsn4c.asc">dynamic linking</a>
<li>Perl also uses
	<!WA103><!WA103><!WA103><!WA103><a href="ftp://rtfm.mit.edu/pub/usenet-by-hierarchy/comp/lang/perl/comp.lang.perl_FAQ_3_5_-_Programming_Aids">Dynamic Linking</a>
<li>Ptolemy
	<!WA104><!WA104><!WA104><!WA104><a href="http://ptolemy.eecs.berkeley.edu/reports/94/9">uses dynamic linking</a>.
<li>The Rochelle Caller ID adapter
	<!WA105><!WA105><!WA105><!WA105><a href="http://www.tpoint.net/rochelle/toolkits.html">uses dynamic linking</a>
<li>Rochester CS uses dynamic linking, e.g.
	<!WA106><!WA106><!WA106><!WA106><a href="http://www.cs.rochester.edu/trs/systems-trs.html">here</a>
	and
	<!WA107><!WA107><!WA107><!WA107><a href="http://www.rdt.monash.edu.au/cgi-bin/techreports/ROCH">here</a>
<li><!WA108><!WA108><!WA108><!WA108><a href="http://tuvalu.cs.flinders.edu.au/./People/Bradley_Schmerl/home.html">Bradley Schmerl</a>
	is interested in dynamic linking.
<li>TCL
	<!WA109><!WA109><!WA109><!WA109><a href="http://theory.doc.ic.ac.uk/tcl/tclFAQ/part5/faq.html">seems to use dynamic linking</a>
<li><!WA110><!WA110><!WA110><!WA110><a href="http://www.vitinc.com/home4.html">Winsock</a> uses
	dynamic lnking.
	So does
	<!WA111><!WA111><!WA111><!WA111><a href="http://www.twg.com/newsletters/link-nov93.html">PathWay Access</a>
	for OS/2.
<li>W3A uses
	<!WA112><!WA112><!WA112><!WA112><a href="http://grid.let.rug.nl/~bert/W3A/W3A.html">dynamic linking</a>
	for extensible WWW browsing,
	as does
	<!WA113><!WA113><!WA113><!WA113><a href="ftp://archive.cis.ohio-state.edu/pub/hcibib/HYPER91.bib">CYBERMAP</a>.
<li>The book
	<!WA114><!WA114><!WA114><!WA114><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/ai-repository/ai/html/cltl/dp_catalog.html">OBJECT
	ORIENTED PROGRAMMING UNDER WINDOWS A PRACTICAL HANDBOOK</a>
	by Stephen Morris
	seems to talk about dynamic linking.
<li><!WA115><!WA115><!WA115><!WA115><a href="http://www.town.hall.org/Archives/patent/data/05297/05297249">This
		patent</a>
	uses it.
<li>Some OS's provide dynamic linking as a system service
	<ul>
	<li>	Linux
	<li>	Microsoft Windows
	<li>	OSF/1
	<li>	SunOS
	</ul>
<li>Some applications support multiple extension languages via dynamic
	linking.
	In part, this falls under the heading of using dynamic linking
	because ``it's got a clean interface''.
	<ul>
	<li><!WA116><!WA116><!WA116><!WA116><a href="http://web.cs.ualberta.ca/~wade/Auto/HyperTcl/Tcl_extensions.html">Tcl</a>
	</ul>
<li>Some applications seem to use dynamic linking just because it's
	got a clean interface and/or minimizes the size of the final
	executable.
	Some of the above plus
	<ul>
	<li><!WA117><!WA117><!WA117><!WA117><a href="http://www.teknowledge.com/M4/proddesc.html">M.4
		expert system</a>;
	<li><!WA118><!WA118><!WA118><!WA118><a href="http://www.nag.co.uk/0h/new/clibdll">Numerical C</a>
		Dynamic Link Library,
	<li><!WA119><!WA119><!WA119><!WA119><a href="http://www.qrz.com/qrz_cd.html">Ham radio database</a>,
	<li><!WA120><!WA120><!WA120><!WA120><a href="http://www.fse.com/elite.html">DynaComm/Elite</a>
		3270 emulation/connection library
	<li><!WA121><!WA121><!WA121><!WA121><a href="ftp://ftp.digital.com/pub/Digital/info/SPD/43-54-01.txt">DEC telephone controller</a>
	</ul>
<li>Some libraries are provided as dynamically-linked libraries
	so that system A can export libraries to a generic application B
	and B can link in the libraries to operate on the data
	provided by A.
	<ul>
	<li><!WA122><!WA122><!WA122><!WA122><a href="http://www.bion.kth.se/tests/xor/report/report.html">XOR</a>
		External Object Representation
	<li>The
		<!WA123><!WA123><!WA123><!WA123><a href="http://www.ep.se/cool/">Cool Edit system</a>,
		which uses
		<!WA124><!WA124><!WA124><!WA124><a href="http://www.ep.se/cool/details/filtapi.htm">File filters</a>
		for
		<!WA125><!WA125><!WA125><!WA125><a href="http://www.ep.se/cool/default.htm">audio editing</a>
	<li><!WA126><!WA126><!WA126><!WA126><a href="http://bristol.com/Ptimes/nov94.html">Wind/U</a>
		for providing data exchange between programs on Unix platforms,
		as in Microsft Windows platforms.
	</ul>
<li><!WA127><!WA127><!WA127><!WA127><a href="http://www.math.uio.no/faq/visual-basic-faq/general-info.html">For
		interpreting</a>
	visual basic programs.
<li><!WA128><!WA128><!WA128><!WA128><a href="http://www.austin.ibm.com/software/g2213651.html">IBM SOM</a>
	allowing inter-language object calls.
	The toolkit for creating class libraries and instances.
	Uses DLL to allow new releases of system libraries w/o
	recompiling applications.
<li><!WA129><!WA129><!WA129><!WA129><a href="http://www.srdc.metu.edu.tr/mood/index.html">METU</a>
	uses a
	"<!WA130><!WA130><!WA130><!WA130><a href="http://www.srdc.metu.edu.tr/mood/publications.html">dynamic function linker</a>",
	for an O-O database.
</ul>

<h2>Not RTCG but related</h2>
<ul>
<li><!WA131><!WA131><!WA131><!WA131><a href="http://www.cs.cmu.edu/afs/cs.cmu.edu/project/sfi/www/top.html">Software
		fault isolation</a>:
	disallows RTCG, but could have easily been extended to use
	it provided it was performed using a well-structured interface
	such as
	``<!WA132><!WA132><!WA132><!WA132><a href="http://www.cs.washington.edu/homes/pardo/papers.d/rtcg-icache.html">A Portable Interface for
		On-The-Fly Instruction Space Modification</a>''.
<li><!WA133><!WA133><!WA133><!WA133><a href="http://www.cs.rulimburg.nl:80/~vreeswyk/research.htm">Self-modifying
		communication protocols</a>
	for multi-agent communication systems.
	Contact:
	<!WA134><!WA134><!WA134><!WA134><a href="http://www.cs.rulimburg.nl:80/~vreeswyk/">Gerard A. W.
		Vreeswijk</a>
	(`<tt>[e-mail]</tt>').
<li><!WA135><!WA135><!WA135><!WA135><a href="http://www.cs.buffalo.edu/~boyd/perl.html">Self-reproducing Perl</a>
	courtesey
	<!WA136><!WA136><!WA136><!WA136><a href="http://www.cs.buffalo.edu/~boyd/">Dan Boyd</a>
	(<tt>[e-mail]</tt>).
</ul>

<hr>

<address>
<!WA137><!WA137><!WA137><!WA137><a href="http://www.cs.washington.edu/homes/pardo/home.html"><tt>[e-mail]</tt></a>
</address>

</body>
</html>