Skip to content

Commit

Permalink
fix: (gnovm) star expr assign for #1919 (#2255)
Browse files Browse the repository at this point in the history 
This is a complete solution, alternative to #1919, and (I think) closes
#1326.
It creates a new container for "baseless" (floating) values constructed
via `new(xxx)` or `&struct{}`, which currently do not have a base
containing object for that value, and are currently represented as
PointerValues with .Base set to nil.

The containing object is like a Block but minimal -- it only contains
one Value, and has no Source or Parent. The modifications to realm.go
allow for proper ref-counting so that even when there are multiple
references to the baseless value, and even when the value is primitive,
gc and ref-counting works (since the containing HeapItemValue is
ref-counted). PointerValue.Base should now never be nil.

See also
#1919 (comment) for why
the previous solution doesn't work.

A better optimization than the one mentioned in the comment above, is to
always store the HeapItemValue along with the Value, since the Value's
refcount should always be 1. This is left for the future, after first
checking that this invariant is true.

---------

Co-authored-by: deelawn <[email protected]>
  • Loading branch information
@jaekwon @deelawn
jaekwon and deelawn authored Jun 20, 2024
1 parent 6825293 commit eef0039
Show file tree
Hide file tree
Showing 31 changed files with 1,820 additions and 1,234 deletions.
172 changes: 75 additions & 97 deletions examples/gno.land/p/demo/avl/z_0_filetest.gno
View file
Original file line number Diff line number Diff line change
Expand Up @@ -25,67 +25,25 @@ func main() {
// Realm:
// switchrealm["gno.land/r/test"]
// u[a8ada09dee16d791fd406d629fe29bb0ed084a30:4]={
// "Fields": [
// {
// "T": {
// "@type": "/gno.PrimitiveType",
// "value": "16"
// },
// "V": {
// "@type": "/gno.StringValue",
// "value": "key0"
// }
// },
// {
// "T": {
// "@type": "/gno.PrimitiveType",
// "value": "16"
// },
// "V": {
// "@type": "/gno.StringValue",
// "value": "value0"
// }
// },
// {
// "T": {
// "@type": "/gno.PrimitiveType",
// "value": "64"
// }
// },
// {
// "N": "AQAAAAAAAAA=",
// "T": {
// "@type": "/gno.PrimitiveType",
// "value": "32"
// }
// },
// {
// "T": {
// "@type": "/gno.PointerType",
// "Elt": {
// "@type": "/gno.RefType",
// "ID": "gno.land/p/demo/avl.Node"
// }
// }
// },
// {
// "T": {
// "@type": "/gno.PointerType",
// "Elt": {
// "@type": "/gno.RefType",
// "ID": "gno.land/p/demo/avl.Node"
// }
// }
// }
// ],
// "ObjectInfo": {
// "ID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:4",
// "ModTime": "5",
// "OwnerID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:5",
// "ModTime": "7",
// "OwnerID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:7",
// "RefCount": "1"
// },
// "Value": {
// "T": {
// "@type": "/gno.RefType",
// "ID": "gno.land/p/demo/avl.Node"
// },
// "V": {
// "@type": "/gno.RefValue",
// "Hash": "627e8e517e7ae5db0f3b753e2a32b607989198b6",
// "ObjectID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:5"
// }
// }
// }
// c[a8ada09dee16d791fd406d629fe29bb0ed084a30:6]={
// c[a8ada09dee16d791fd406d629fe29bb0ed084a30:9]={
// "Fields": [
// {
// "T": {
Expand Down Expand Up @@ -140,13 +98,32 @@ func main() {
// }
// ],
// "ObjectInfo": {
// "ID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:6",
// "ID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:9",
// "ModTime": "0",
// "OwnerID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:5",
// "OwnerID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:8",
// "RefCount": "1"
// }
// }
// c[a8ada09dee16d791fd406d629fe29bb0ed084a30:5]={
// c[a8ada09dee16d791fd406d629fe29bb0ed084a30:8]={
// "ObjectInfo": {
// "ID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:8",
// "ModTime": "0",
// "OwnerID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:7",
// "RefCount": "1"
// },
// "Value": {
// "T": {
// "@type": "/gno.RefType",
// "ID": "gno.land/p/demo/avl.Node"
// },
// "V": {
// "@type": "/gno.RefValue",
// "Hash": "b28057ab7be6383785c0a5503e8a531bdbc21851",
// "ObjectID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:9"
// }
// }
// }
// c[a8ada09dee16d791fd406d629fe29bb0ed084a30:7]={
// "Fields": [
// {
// "T": {
Expand Down Expand Up @@ -183,19 +160,13 @@ func main() {
// },
// "V": {
// "@type": "/gno.PointerValue",
// "Base": null,
// "Base": {
// "@type": "/gno.RefValue",
// "Hash": "6da365f0d6cacbcdf53cd5a4b125803cddce08c2",
// "ObjectID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:4"
// },
// "Index": "0",
// "TV": {
// "T": {
// "@type": "/gno.RefType",
// "ID": "gno.land/p/demo/avl.Node"
// },
// "V": {
// "@type": "/gno.RefValue",
// "Hash": "091729e38bda8724bce4c314f9624b91af679459",
// "ObjectID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:4"
// }
// }
// "TV": null
// }
// },
// {
Expand All @@ -208,35 +179,48 @@ func main() {
// },
// "V": {
// "@type": "/gno.PointerValue",
// "Base": null,
// "Base": {
// "@type": "/gno.RefValue",
// "Hash": "f216afe7b5a17f4ebdbb98dceccedbc22e237596",
// "ObjectID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:8"
// },
// "Index": "0",
// "TV": {
// "T": {
// "@type": "/gno.RefType",
// "ID": "gno.land/p/demo/avl.Node"
// },
// "V": {
// "@type": "/gno.RefValue",
// "Hash": "0b5493aa4ea42087780bdfcaebab2c3eec351c15",
// "ObjectID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:6"
// }
// }
// "TV": null
// }
// }
// ],
// "ObjectInfo": {
// "ID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:5",
// "ID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:7",
// "ModTime": "0",
// "OwnerID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:6",
// "RefCount": "1"
// }
// }
// c[a8ada09dee16d791fd406d629fe29bb0ed084a30:6]={
// "ObjectInfo": {
// "ID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:6",
// "ModTime": "0",
// "OwnerID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:2",
// "RefCount": "1"
// },
// "Value": {
// "T": {
// "@type": "/gno.RefType",
// "ID": "gno.land/p/demo/avl.Node"
// },
// "V": {
// "@type": "/gno.RefValue",
// "Hash": "ff1a50d8489090af37a2c7766d659f0d717939b5",
// "ObjectID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:7"
// }
// }
// }
// u[a8ada09dee16d791fd406d629fe29bb0ed084a30:2]={
// "Blank": {},
// "ObjectInfo": {
// "ID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:2",
// "IsEscaped": true,
// "ModTime": "4",
// "ModTime": "5",
// "RefCount": "2"
// },
// "Parent": null,
Expand Down Expand Up @@ -333,19 +317,13 @@ func main() {
// },
// "V": {
// "@type": "/gno.PointerValue",
// "Base": null,
// "Base": {
// "@type": "/gno.RefValue",
// "Hash": "ae86874f9b47fa5e64c30b3e92e9d07f2ec967a4",
// "ObjectID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:6"
// },
// "Index": "0",
// "TV": {
// "T": {
// "@type": "/gno.RefType",
// "ID": "gno.land/p/demo/avl.Node"
// },
// "V": {
// "@type": "/gno.RefValue",
// "Hash": "6c9948281d4c60b2d95233b76388d54d8b1a2fad",
// "ObjectID": "a8ada09dee16d791fd406d629fe29bb0ed084a30:5"
// }
// }
// "TV": null
// }
// }
// ]
Expand Down
Loading

0 comments on commit eef0039

Please sign in to comment.