Skip to content

Commit

Permalink
fix: (gnovm) star expr assign for gnolang#1919 (gnolang#2255)
Browse files Browse the repository at this point in the history 
This is a complete solution, alternative to gnolang#1919, and (I think) closes
gnolang#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
gnolang#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 <dboltz03@gmail.com>
  • Loading branch information
@jaekwon @deelawn @gfanton
2 people authored and gfanton committed Jul 23, 2024
1 parent f4dc8a9 commit 76dc0fa
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 76dc0fa

Please sign in to comment.