Vat - Revision history

Ansible: revert vandalism

Ansible — Wed, 20 Apr 2011 18:58:03 GMT

revert vandalism

New page

See [http://www.erights.org/elib/concurrency/vat.html].

==Example: How to create a new Vat==
<pre>
? introducer.onTheAir()
# value: ["3DES_SDH_M2", "3DES_SDH_M"]

? def seedVat := <elang:interp.seedVatAuthor>(<unsafe>).virtualize(introducer)
# value: <virtualSeedVat>

? def source := "def run(thing) {println(`Thing: $thing`)}"
# value: "def run(thing) {println(`Thing: $thing`)}"

? def [farObj, vat] := seedVat(source)
# value: [<Promise>, <Vat newVirtualSeedVat in <runs in newVirtualSeedVat>>]

? farObj <- ("Hello Vat")
# value: <Promise>

? Thing: Hello Vat

# shutting down the vat
? def ack := vat <- orderlyShutdown("because I said so")
# value: <Promise>

</pre>

[[Category:ELib specification]]

50.17.17.184: FgWfXidcc

50.17.17.184 — Wed, 20 Apr 2011 07:32:06 GMT

FgWfXidcc

←Older revision		Revision as of 07:32, 20 April 2011
Line 1:		Line 1:
-	I~~'m impressed! You~~'ve ~~managed the almost imopsslibe.~~	+	Glad I've finally found somteinhg I agree with!

190.3.65.219: CbAGdlLDngxI

190.3.65.219 — Wed, 20 Apr 2011 01:27:26 GMT

CbAGdlLDngxI

←Older revision		Revision as of 01:27, 20 April 2011
Line 1:		Line 1:
-	~~See [http://www~~.~~erights.org/elib/concurrency/vat.html].~~	+	I'm impressed! You've managed the almost imopsslibe.
-		+
-		+
-	~~==Example: How to create a new Vat==~~	+
-	~~<pre>~~	+
-	~~? introducer.onTheAir()~~	+
-	~~# value: ["3DES_SDH_M2", "3DES_SDH_M"]~~	+
-		+
-	~~? def seedVat := <elang:interp.seedVatAuthor>(<unsafe>).virtualize(introducer)~~	+
-	~~# value: <virtualSeedVat>~~	+
-		+
-	~~? def source := "def run(thing) {println(`Thing: $thing`)}"~~	+
-	~~# value: "def run(thing) {println(`Thing: $thing`)}"~~	+
-		+
-	~~? def [farObj, vat] := seedVat(source)~~	+
-	~~# value: [<Promise>, <Vat newVirtualSeedVat in <runs in newVirtualSeedVat>>]~~	+
-		+
-	~~? farObj <- ("Hello Vat")~~	+
-	~~# value: <Promise>~~	+
-		+
-	~~? Thing: Hello Vat~~	+
-		+
-	~~# shutting down the vat~~	+
-	~~? def ack := vat <- orderlyShutdown("because I said so")~~	+
-	~~# value: <Promise>~~	+
-		+
-	~~</pre>~~	+
-		+
-	~~[[Category:ELib specification]]~~	+

Kevin Reid: Category:ELib specification

Kevin Reid — Wed, 02 Jul 2008 02:42:59 GMT

Category:ELib specification

←Older revision		Revision as of 02:42, 2 July 2008
Line 26:		Line 26:

	</pre>		</pre>
		+
		+	[[Category:ELib specification]]

Kevin Reid: fixed maker/made confusion: the product of invoking seedVatAuthor is seedVat, not seedVatAuthor. also various formatting and style adustments

Kevin Reid — Wed, 13 Feb 2008 03:22:49 GMT

fixed maker/made confusion: the product of invoking seedVatAuthor is seedVat, not seedVatAuthor. also various formatting and style adustments

←Older revision		Revision as of 03:22, 13 February 2008
Line 4:		Line 4:
	==Example: How to create a new Vat==		==Example: How to create a new Vat==
	<pre>		<pre>
-	introducer.onTheAir()	+	? introducer.onTheAir()
	# value: ["3DES_SDH_M2", "3DES_SDH_M"]		# value: ["3DES_SDH_M2", "3DES_SDH_M"]

-	? def ~~seedVatAuthor~~ := <elang:interp.seedVatAuthor>(<unsafe>).virtualize(introducer)	+	? def seedVat := <elang:interp.seedVatAuthor>(<unsafe>).virtualize(introducer)
	# value: <virtualSeedVat>		# value: <virtualSeedVat>

-	? def ~~scriptSource~~:="def run(thing) {println(`Thing: $thing`)}"	+	? def source := "def run(thing) {println(`Thing: $thing`)}"
	# value: "def run(thing) {println(`Thing: $thing`)}"		# value: "def run(thing) {println(`Thing: $thing`)}"

-	? def [~~scriptObj~~, vat] := ~~seedVatAuthor~~(~~scriptSource~~)	+	? def [farObj, vat] := seedVat(source)
	# value: [<Promise>, <Vat newVirtualSeedVat in <runs in newVirtualSeedVat>>]		# value: [<Promise>, <Vat newVirtualSeedVat in <runs in newVirtualSeedVat>>]

-	? ~~scriptObj~~<-~~run~~("Hello Vat")	+	? farObj <- ("Hello Vat")
-	# value: <~~Remote~~ Promise>	+	# value: <Promise>

	? Thing: Hello Vat		? Thing: Hello Vat

Mscheffler: /* Example: How to create a new Vat */

Mscheffler — Sat, 21 Apr 2007 11:37:09 GMT

Example: How to create a new Vat

←Older revision		Revision as of 11:37, 21 April 2007
Line 21:		Line 21:
	? Thing: Hello Vat		? Thing: Hello Vat

-	#shutting down the vat	+	# shutting down the vat
	? def ack := vat <- orderlyShutdown("because I said so")		? def ack := vat <- orderlyShutdown("because I said so")
	# value: <Promise>		# value: <Promise>

	</pre>		</pre>

Mscheffler: /* Example: How to create a new Vat */

Mscheffler — Sat, 21 Apr 2007 11:36:52 GMT

Example: How to create a new Vat

←Older revision		Revision as of 11:36, 21 April 2007
Line 7:		Line 7:
	# value: ["3DES_SDH_M2", "3DES_SDH_M"]		# value: ["3DES_SDH_M2", "3DES_SDH_M"]

-	? def seedVatAuthor := <elang:interp.seedVatAuthor>(<unsafe>).virtualize((introducer))	+	? def seedVatAuthor := <elang:interp.seedVatAuthor>(<unsafe>).virtualize(introducer)
	# value: <virtualSeedVat>		# value: <virtualSeedVat>

Mscheffler: /* Example: How to create a new Vat */

Mscheffler — Sat, 21 Apr 2007 11:36:25 GMT

Example: How to create a new Vat

←Older revision		Revision as of 11:36, 21 April 2007
Line 20:		Line 20:

	? Thing: Hello Vat		? Thing: Hello Vat
		+
		+	#shutting down the vat
		+	? def ack := vat <- orderlyShutdown("because I said so")
		+	# value: <Promise>
		+
	</pre>		</pre>

Mscheffler: Created seedVatAuthor example

Mscheffler — Sat, 21 Apr 2007 11:34:07 GMT

Created seedVatAuthor example

←Older revision		Revision as of 11:34, 21 April 2007
Line 1:		Line 1:
	See [http://www.erights.org/elib/concurrency/vat.html].		See [http://www.erights.org/elib/concurrency/vat.html].
		+
		+
		+	==Example: How to create a new Vat==
		+	<pre>
		+	introducer.onTheAir()
		+	# value: ["3DES_SDH_M2", "3DES_SDH_M"]
		+
		+	? def seedVatAuthor := <elang:interp.seedVatAuthor>(<unsafe>).virtualize((introducer))
		+	# value: <virtualSeedVat>
		+
		+	? def scriptSource:="def run(thing) {println(`Thing: $thing`)}"
		+	# value: "def run(thing) {println(`Thing: $thing`)}"
		+
		+	? def [scriptObj, vat] := seedVatAuthor(scriptSource)
		+	# value: [<Promise>, <Vat newVirtualSeedVat in <runs in newVirtualSeedVat>>]
		+
		+	? scriptObj<-run("Hello Vat")
		+	# value: <Remote Promise>
		+
		+	? Thing: Hello Vat
		+	</pre>

Kevin Reid: link to non-wiki

Kevin Reid — Wed, 18 Apr 2007 16:59:37 GMT

link to non-wiki

←Older revision		Revision as of 16:59, 18 April 2007
Line 1:		Line 1:
	See [http://www.erights.org/elib/concurrency/vat.html].		See [http://www.erights.org/elib/concurrency/vat.html].
-
-
-	~~==Example: How to create a new Vat==~~
-	~~<pre>~~
-	~~? introducer.onTheAir()~~
-	~~# value: ["3DES_SDH_M2", "3DES_SDH_M"]~~
-
-	~~? def seedVat := <elang:interp.seedVatAuthor>(<unsafe>).virtualize(introducer)~~
-	~~# value: <virtualSeedVat>~~
-
-	~~? def source := "def run(thing) {println(`Thing: $thing`)}"~~
-	~~# value: "def run(thing) {println(`Thing: $thing`)}"~~
-
-	~~? def [farObj, vat] := seedVat(source)~~
-	~~# value: [<Promise>, <Vat newVirtualSeedVat in <runs in newVirtualSeedVat>>]~~
-
-	~~? farObj <- ("Hello Vat")~~
-	~~# value: <Promise>~~
-
-	~~? Thing: Hello Vat~~
-
-	~~# shutting down the vat~~
-	~~? def ack := vat <- orderlyShutdown("because I said so")~~
-	~~# value: <Promise>~~
-
-	~~</pre>~~
-
-	~~[[Category:ELib specification]]~~