<m__>
I have two processes competing on updating the value of an Irmin key. What is the best way of applying a lock inside their corresponding functions?
<yomimono>
m__: can you not have each process create a branch, make updates, and then resolve conflicts with a custom merge?
<yomimono>
if you can solve your problem that way it might fit in better with Irmin's own locking
<m__>
A simplified simplified example of the function is: it reads x, and if x has value v, then it increments v. I am worried about race condition here. How is it possible to solve it using your suggestion?
<m__>
I would like to lock the value of x until one of the programs unlock it
<yomimono>
m__: sorry, going afk, back later
<m__>
thanks, I will wait :)
copumpkin has joined #mirage
rgrinberg1 has joined #mirage
rgrinberg1 has quit [Ping timeout: 240 seconds]
demonimin has quit [Remote host closed the connection]
demonimin has joined #mirage
dsheets has joined #mirage
<yomimono>
m__: it sounds like you want to use x itself as a locking primitive
jonludlam has joined #mirage
<m__>
right
<yomimono>
in that case yeah, the approach that I mention is definitely not going to work
<yomimono>
the whole point of that being that each process can get its own view of x, totally counter to what you're trying to do
rgrinberg1 has joined #mirage
rgrinberg1 has quit [Ping timeout: 244 seconds]
rgrinberg1 has joined #mirage
jonludlam has quit [Quit: Leaving]
jonludlam has joined #mirage
thomasga has joined #mirage
jonludlam has quit [Ping timeout: 256 seconds]
rgrinberg1 has quit [Ping timeout: 246 seconds]
jonludlam has joined #mirage
rgrinberg1 has joined #mirage
rgrinberg1 has quit [Ping timeout: 265 seconds]
jonludlam has quit [Ping timeout: 260 seconds]
dongcarl has joined #mirage
jonludlam has joined #mirage
seangrove has joined #mirage
demonimin has quit [Remote host closed the connection]
demonimin has joined #mirage
yomimono has quit [Ping timeout: 245 seconds]
mort___ has joined #mirage
MrScout has joined #mirage
mort___ has quit [Quit: Leaving.]
xet7_ has joined #mirage
dsheets has quit [Ping timeout: 240 seconds]
dsheets has joined #mirage
yomimono has joined #mirage
yomimono has quit [Client Quit]
thomasga has quit [Quit: Leaving.]
thomasga has joined #mirage
mort___ has joined #mirage
mort___ has quit [Quit: Leaving.]
brson has joined #mirage
dongcarl has quit [Quit: Leaving...]
<Drup>
I'm getting lost in all this interconnected mirage projects
<Drup>
especially in the upper stack
thomasga1 has joined #mirage
thomasga1 has quit [Client Quit]
thomasga has quit [Ping timeout: 246 seconds]
ericbmerritt has quit [Ping timeout: 244 seconds]
ericbmerritt has joined #mirage
mort___ has joined #mirage
dsheets has quit [Ping timeout: 244 seconds]
dsheets has joined #mirage
mort___ has quit [Quit: Leaving.]
dsheets has quit [Ping timeout: 244 seconds]
dsheets has joined #mirage
lupine has quit [Ping timeout: 244 seconds]
lupine has joined #mirage
MrScout has quit [Remote host closed the connection]
MrScout has joined #mirage
brson has quit [Ping timeout: 246 seconds]
MrScout has quit [Remote host closed the connection]
MrScout has joined #mirage
brson has joined #mirage
MrScout has quit [Remote host closed the connection]
Meeh has quit [Read error: Connection reset by peer]