[go-nuts] How can SQL return both sql.Rows and sql.Result

2024-08-22 Thread Daniel Fava
Hi, How can I combine QueryContext and ExecContext so that both sql.Rows and sql.Result are returned? For example, if I have a stored procedure with: ``` insert into Users (Username) values ('JohnDoe'); select X = 1, Y = 'one'; select X = 2; update Transfers set Value = 10 where Value = 0; ```

Re: [go-nuts] Re: DataRace with slice, should i fix it or ignore it?

2022-02-09 Thread Daniel Fava
Since we are on the topic, may be interesting to someone: https://dfava.github.io/papers/fava2020finding.pdf https://dfava.github.io/thesis/dfava_thesis.pdf I’m not so sure I agree with you saying “ whatever the current implementation behavior is” Daniel > On Feb 9, 2022, at 3:45 PM, Robert E

[go-nuts] Research on Go memory model and race detector

2021-06-11 Thread Daniel Fava
golang-nuts@googlegroups.com Hi, I will defending my PhD thesis, which is about the Go memory model and about race detection in the setting of channel communication. Feel free to look at the abstract to see if this might be something that interests you. You can find a draft of the thesis here: h

Re: [go-nuts] History & origins of the Go memory model

2020-12-02 Thread Daniel Fava
<https://github.com/golang/go/issues/37355> Daniel > On 27 Nov 2020, at 23:46, Ian Lance Taylor wrote: > > On Fri, Nov 27, 2020 at 12:57 PM Daniel Fava wrote: >> >> Does anyone know how the Go memory model came to be? I don't have technical >> question

[go-nuts] History & origins of the Go memory model

2020-11-27 Thread Daniel Fava
Hi, Does anyone know how the Go memory model came to be? I don't have technical questions about it. I just would like to know the historical context. The model is specified in terms of happens-before, due to Lamport. But the following rule, which allows channels to be used as locks, was not