Re: Picky, but much more efficient arc4random_uniform!

2022-05-20 Thread Luke Small
Crystal: You can prove that for random, repetitive, correct, database record name generation using small upperbounds, the demonstrated 1/3-1/2 runtime isn’t worth it for an upperbound like 26 - 92 in a business context that fights for every last millisecond? Bring it. Prove the correctness of wha

Re: turn rc_exec variable into an rcexec function

2022-05-20 Thread Antoine Jacoutot
On Tue, May 17, 2022 at 09:12:08AM +0200, Antoine Jacoutot wrote: > Hi folks. > > I would like to move away from the rc_exec variable to an rcexec() function > for > rc.d scripts. > That will allow daemon_logger to work out of the box even for manually > crafted rc_start() functions. > I will als

Re: move vmm(4) spinout paranoia behind MP_LOCKDEBUG

2022-05-20 Thread Mike Larkin
On Sat, Apr 16, 2022 at 12:09:46PM -0400, Dave Voutila wrote: > This tucks all the spinout paranoia behind `#ifdef MP_LOCKDEBUG` and > uses the same approach used in amd64's pmap's TLB shootdown code. > > Part of me wants to remove this altogether, but I'm not sure it's > outlived its usefulness qu

Re: vmm: load vmcs before reading vcpu registers

2022-05-20 Thread Mike Larkin
On Wed, May 18, 2022 at 10:27:11AM -0400, Dave Voutila wrote: > > ping...would like to get this in if possible so I can move onto fixing > some things in vmm. > sorry. ok mlarkin > Dave Voutila writes: > > > tech@, > > > > Continuing my vmm/vmd bug hunt, the following diff adapts > > vcpu_readre

Re: Picky, but much more efficient arc4random_uniform!

2022-05-20 Thread Luke Small
I appreciate your response, Damien. I did do the bare minimum of correctness testing and it was the post right after Guenther was congratulated on proving incorrectness: https://marc.info/?l=openbsd-tech&m=165259528425835&w=2 The post includes software to reproduce the results. I wrote a high

Re: hidmt: default to clickpad unless report says otherwise

2022-05-20 Thread joshua stein
On Fri, 20 May 2022 at 16:46:01 +0200, Ulf Brosziewski wrote: > Shouldn't the check of the button page remain in place, for identifying > plain old touchpads with external buttons? The device in question reports it has multiple buttons when it's just a clickpad, so keeping that check would defeat

Re: hidmt: default to clickpad unless report says otherwise

2022-05-20 Thread Ulf Brosziewski
Shouldn't the check of the button page remain in place, for identifying plain old touchpads with external buttons? Looking for the "Pad Type" feature (HUD_BUTTON_TYPE in hid.h) doesn't make much sense for these devices because the feature report is optional: "If the device has a non-button re

iked problems with Apple clients in 7.1

2022-05-20 Thread Stuart Henderson
I ran into problems with Apple clients failing to connect to iked after updating a machine to 7.1, introduced by https://github.com/openbsd/src/commit/e3f5cf2ee26929d75dc2df9e86d97c36b2a94268 spi=0xac3d46687441f957: recv IKE_SA_INIT req 0 peer rrr.rrr.rrr.rr:49436 local lll.ll.lll.lll:500, 308 by

Fwd: Picky, but much more efficient arc4random_uniform!

2022-05-20 Thread Luke Small
I appreciate your response, Damien. I did do the bare minimum of correctness testing and it was the post right after Guenther was congratulated on proving incorrectness: https://marc.info/?l=openbsd-tech&m=165259528425835&w=2 The post includes software to reproduce the results. I wrote a high

Re: iked(8): support for intermediate CAs and multiple CERT payloads

2022-05-20 Thread Stuart Henderson
On 2022/05/20 00:39, Loïc Revest wrote: > ()Hello Stuart, > > Thanks for giving it also a try - I was the one bothering Tobias > earlier today with > this use case of a Windows 10 (21H2) client trying to connect to an iked > server > whose CA certificate wasn't self-signed, but signed by a root C