Layout Options
Which layout option do you want to use?
Wide
Boxed
Color Schemes
Which theme color do you want to use? Select from here.
Reset color
Reset Background
Forums
New posts
Trending
Random
What's new
New posts
Latest activity
Rules
Libraries
New Audios
New Comments
Search Profile Audios
Clubs
Public Events
Log in
Register
What's new
Search
Search
Search titles only
By:
New posts
Trending
Random
Menu
Log in
Register
Install the app
Install
JavaScript is disabled. For a better experience, please enable JavaScript in your browser before proceeding.
You are using an out of date browser. It may not display this or other websites correctly.
You should upgrade or use an
alternative browser
.
Reply to thread
Forums
Boards
/g/ - Technology
A Governed Model of Deterministic Program Execution
Message
<blockquote data-quote="deaf_judger" data-source="post: 68202" data-attributes="member: 390"><p>Not in the same execution pass.</p><p></p><p>Yes. During evaluation I store: AST, Values, Lists of `Effect`, Hashes, and our dependency graph, and during execution we have our ledger entries in sqlite and our dependency resolution state. This is heavy, but not absurdly heavy because 1000 identical `(print "hello")` will all hash to the same ID. The memory growth depends on structural uniqueness.</p><p></p><p>During evaluation: The program produces values. Some of those values are Effect descriptions. At the end, the runtime walks the result graph and extracts them. </p><p>Only the final value graph, the set of reachable effects, and dependency relationships, and ledger entries would be stored.</p><p></p><p>Yes.</p></blockquote><p></p>
[QUOTE="deaf_judger, post: 68202, member: 390"] Not in the same execution pass. Yes. During evaluation I store: AST, Values, Lists of `Effect`, Hashes, and our dependency graph, and during execution we have our ledger entries in sqlite and our dependency resolution state. This is heavy, but not absurdly heavy because 1000 identical `(print "hello")` will all hash to the same ID. The memory growth depends on structural uniqueness. During evaluation: The program produces values. Some of those values are Effect descriptions. At the end, the runtime walks the result graph and extracts them. Only the final value graph, the set of reachable effects, and dependency relationships, and ledger entries would be stored. Yes. [/QUOTE]
Insert quotes…
Name
Verification
Post reply
Forums
Boards
/g/ - Technology
A Governed Model of Deterministic Program Execution
Top