From nobody Fri Sep 15 09:27:54 2023 X-Original-To: freebsd-hackers@mlmmj.nyi.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [IPv6:2610:1c1:1:606c::19:1]) by mlmmj.nyi.freebsd.org (Postfix) with ESMTP id 4Rn85R5BlCz4sVv8 for ; Fri, 15 Sep 2023 09:28:59 +0000 (UTC) (envelope-from Alexander@Leidinger.net) Received: from mailgate.Leidinger.net (bastille.leidinger.net [89.238.82.207]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange X25519 server-signature RSA-PSS (4096 bits) server-digest SHA256 client-signature ECDSA (P-256) client-digest SHA256) (Client CN "mailgate.leidinger.net", Issuer "R3" (verified OK)) by mx1.freebsd.org (Postfix) with ESMTPS id 4Rn85R1K8jz4c6Y; Fri, 15 Sep 2023 09:28:59 +0000 (UTC) (envelope-from Alexander@Leidinger.net) Authentication-Results: mx1.freebsd.org; none List-Id: Technical discussions relating to FreeBSD List-Archive: https://lists.freebsd.org/archives/freebsd-hackers List-Help: List-Post: List-Subscribe: List-Unsubscribe: Sender: owner-freebsd-hackers@freebsd.org MIME-Version: 1.0 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=leidinger.net; s=outgoing-alex; t=1694770125; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:cc:mime-version:mime-version:content-type:content-type: in-reply-to:in-reply-to:references:references; bh=rBLU+dIV2eYe7zJe6zRit1X4rVRMEfIkDBpRiVp3ANc=; b=EIgr1CE7ZC5OfWxjZfJwDNLaH3juHZ6lbS5VYd9WH4S/a11DO/VaqU5Lgt6HH0/QdmAVk0 cbHbHUm15AOJb+9KDZGtm9Zmn4WAW5SkQ7GWirknQXPB0e7PJnLW9i4FeKuJV1HRK8Rava Aurojuj10kCYAZHqPVTgq6urYk28krRD++OpB9JUy/lf1uoEZLQGu6MiyvpygKWCPIkTBz 3UmLTSMEK9+uLgL2daNafg3qu3dDS99Cnj2g6DadqLwKQoZEWwPwhbVoHiy7/JPJHNCR9H qEa21rfdbZySm9HuXDeh2QlCmDrQSfIj+i+J9G8wdZp88Oq2KID4A5fv1k86zg== Date: Fri, 15 Sep 2023 11:27:54 +0200 From: Alexander Leidinger To: "Mathew, Cherry G.*" Cc: freebsd-hackers@freebsd.org, adridg@freebsd.org Subject: Re: ARC model specified in spinroot/promela In-Reply-To: <854jjw3jjy.fsf@bow.st> References: <85jzt96qjz.fsf@bow.st> <9c424a574cdd39fc879c9ed9192556c0@Leidinger.net> <858r9o6ee0.fsf@bow.st> <85pm304dzi.fsf@bow.st> <85a5u22oxx.fsf@bow.st> <85y1hjecna.fsf@bow.st> <85o7icapb8.fsf@bow.st> <854jjw3jjy.fsf@bow.st> Message-ID: X-Sender: Alexander@Leidinger.net Organization: No organization, this is a private message. Content-Type: multipart/signed; protocol="application/pgp-signature"; boundary="=_0f4fe8cac9e4b430b5cf98fab1201ebc"; micalg=pgp-sha256 X-Spamd-Bar: ---- X-Rspamd-Pre-Result: action=no action; module=replies; Message is reply to one we originated X-Spamd-Result: default: False [-4.00 / 15.00]; REPLY(-4.00)[]; ASN(0.00)[asn:34240, ipnet:89.238.64.0/18, country:DE] X-Rspamd-Queue-Id: 4Rn85R1K8jz4c6Y This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --=_0f4fe8cac9e4b430b5cf98fab1201ebc Content-Transfer-Encoding: 7bit Content-Type: text/plain; charset=US-ASCII; format=flowed Am 2023-09-14 16:40, schrieb Mathew, Cherry G.*: > A few things remain WIP. Obviously, this is a "toy" model - it has > stack > based "memory" management, and a directory buffer size of 64. So that > needs to be hammered on a bit more. Further, I'm keen to now dip my > toes > into re-entrancy. If you noticed in the earlier patches, there were > model routines for "mutex_enter()/mutex_exit()". I'll re-look these and > play around a little bit with concurrent entry of ARC() (ARC() is now > strictly entered sequentially in a loop - see arc.drv). Once things > settle down, I will look at making an actual block disk driver with an > ARC(9) managed cache using this code. Without having looked at anything in the code, and now with your comment about an "actual block disk driver"... AFAIR your ARC is based upon the paper, and this is not used anywhere in FreeBSD. ZFS is using a modified/adapted version of the ARC. What you are describing sounds a bit like our buffer cache (https://wiki.freebsd.org/BasicVfsConcepts#:~:text=Buffer%20cache%20is%20a%20layer,on%20a%20vnode%2Blbn%20basis.), but our buffer cache is not an ARC, it is AFAIR LRU eviction based. I fully understand that you are far away from doing real modelling of such complex parts as the VFS parts of FreeBSD, but maybe this info gives a hint in terms of looking into some parts and see if you can adopt some parts in terms of design which can be anhanced later on to some real FreeBSD stuff... Bye, Alexander. -- http://www.Leidinger.net Alexander@Leidinger.net: PGP 0x8F31830F9F2772BF http://www.FreeBSD.org netchild@FreeBSD.org : PGP 0x8F31830F9F2772BF --=_0f4fe8cac9e4b430b5cf98fab1201ebc Content-Type: application/pgp-signature; name=signature.asc Content-Disposition: attachment; filename=signature.asc; size=833 Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEER9UlYXp1PSd08nWXEg2wmwP42IYFAmUEI6wACgkQEg2wmwP4 2IZeVw//YeFoHw+kZDn3xIRjwpXquO8rxx5OhwcUBNPEH3/KtFKWe7V8sY1f9cK/ EiFgxB8uftybbDhJ9l2Fg8xSLrsTzPlh5k7HpJ21eEL7t4Fa8LUPBixTuP3rwSNW JOpGcI//WoEdwMEPR8Ok4wVgpVdqFt6fh4DXnZcposjkukA+8oS4J9eZ/5LEpGG4 ddjhnQrpAwRGpE3VPeWHhO1RGcQveocUGvsO2PqQ/3xVeqQIr0ubjha0DDVoyqzo jY8QFjCSYERNkcBtQUe/y+mDJqaZaqHGXV1kWG4yXw1HXo3YmriA1NF8BUYIRy/T dxaF2wKhxhLchntkda2UgNY2/4zJYFP+VE2aniENGRVaP9z4FxJWJ4notVhqmsRK DijaKSPJpnPd7asgfPQ16lFB0arjXeyhKAGncOtDA8IcYhM0n/vcrXreL+KhL5Ea NpakUH0hDE55sDpOVAVnfX75BttYw1casGts/bMbzKkAl1P0XrfQR5NZbl2fz3H7 KlGWN0HHQpCvL0Nxuj8MJeUhJnK3NgX2t1HxQOlF5pE5sslPP3eeIF3xeBvAxSYb TCtNXwKDAMGOzXTPoeoNL1oyYShfTPo6lxREYXMeS2M5+3R12qa+pUS8UMux9SVy lqQBVgBMHWruxiqUx0Cs2iQKm5KyM/RnU0OFHliCWN2jL6CHn1A= =gOUU -----END PGP SIGNATURE----- --=_0f4fe8cac9e4b430b5cf98fab1201ebc--