]> Cypherpunks repositories - gostls13.git/commitdiff
runtime: fix using fastrand in sema.go
authorSokolov Yura <funny.falcon@gmail.com>
Wed, 4 Oct 2017 11:35:33 +0000 (14:35 +0300)
committerAustin Clements <austin@google.com>
Wed, 4 Oct 2017 18:41:11 +0000 (18:41 +0000)
Before CL 62530 fastrand always returned non-zero value, and one
condition in sema.go depends on this behavior.

fastrand is used to generate random weight for treap of sudog, and
it is checked against zero to verify sudog were inserted into treap or
wait queue.

Since its precision is not very important for correctness, lets just
always set its lowest bit in this place.

Updates #22047
Updates #21806

Change-Id: Iba0b56d81054e6ef9c49ffd293fc5d92a6a31e9b
Reviewed-on: https://go-review.googlesource.com/68050
Reviewed-by: Austin Clements <austin@google.com>
Run-TryBot: Austin Clements <austin@google.com>
TryBot-Result: Gobot Gobot <gobot@golang.org>

src/runtime/sema.go

index 8715e07d7a309133794543d86005acb52216fe46..d5ea14d46d0cb8e08516dbedc7ea2f22dde828f0 100644 (file)
@@ -275,7 +275,10 @@ func (root *semaRoot) queue(addr *uint32, s *sudog, lifo bool) {
        // on the ticket: s.ticket <= both s.prev.ticket and s.next.ticket.
        // https://en.wikipedia.org/wiki/Treap
        // http://faculty.washington.edu/aragon/pubs/rst89.pdf
-       s.ticket = fastrand()
+       //
+       // s.ticket compared with zero in couple of places, therefore set lowest bit.
+       // It will not affect treap's quality noticeably.
+       s.ticket = fastrand() | 1
        s.parent = last
        *pt = s