Search space complexity -> Re: ARC model specified in spinroot/promela

2023-09-28 Thread Mathew, Cherry G.*
Hi Again, This email is a very long rabbit-hole into formal verification itself - If you don't really care about this - just about QA and CI integration, then you can skip this mail entirely - I will send an update on that in a few days. If you would like to help out with the verification run,

Re: ARC model specified in spinroot/promela

2023-09-14 Thread Mathew, Cherry G.*
> Mathew, Cherry G * writes: [...] > With that thought, I take leave for the weekend, and hope to put > my money where my mouth is, by debugging the current C > implementation using ideas described above. > $ make prog $ ./arc > should give you a crash dump for gdb,

Re: ARC model specified in spinroot/promela

2023-09-08 Thread Mathew, Cherry G.*
> Mathew, Cherry G * writes: > Mathew, Cherry G * writes: > [...] >> The next step is to write the equivalent C code, compile it with >> a simple test "driver" (ideally ATF, but since this is standalone >> for the moment, I'll use something simpler, just to illustrate

Re: ARC model specified in spinroot/promela

2023-09-06 Thread Mathew, Cherry G.*
> Mathew, Cherry G * writes: [...] > The next step is to write the equivalent C code, compile it with a > simple test "driver" (ideally ATF, but since this is standalone > for the moment, I'll use something simpler, just to illustrate the > concept), and then hook it into

Re: ARC model specified in spinroot/promela

2023-09-04 Thread Mathew, Cherry G.*
> Mathew, Cherry G * writes: [...] > So there's room for improvement in my Makefile to: > 1) Explore multithreaded/CPU > 2) Understand state space explosion scale - it is exponential to > the number of processes, I've fixed it to run in a loop - will > report back once

5.7 points Re: Virtual GPU for FreeBSD as guest virtualized with qemu / kvm -- best alternative ? Cirrus ?

2023-07-29 Thread Mario Marietto
Thanks. it does not work. This is the error I get : (on the attached picture,you can read "segmentation fault"... [image: unnamed.png] On Fri, Jul 28, 2023 at 4:18 PM Ronald Klop wrote: > On 7/23/23 16:27, Mario Marietto wrote: > > Hello to everyone. > > > > > > I would like to virtualize

You have been unsubscribed from the freebsd-hackers mailing list

2014-03-16 Thread owner-freebsd-hackers

confirm 674ae26fa572dd4b3528ed1a92ad6dfbc8b2a1ad

2014-03-09 Thread freebsd-hackers-request
Your membership in the mailing list freebsd-hackers has been disabled due to excessive bounces The last bounce received from you was dated 19-Oct-2013. You will not get any more messages from this list until you re-enable your membership. You will receive 1 more reminders like this before your

confirm c9239030bbc0d68c125f76fe92fcf4eb67a8ffe9

2014-03-02 Thread freebsd-hackers-request
Your membership in the mailing list freebsd-hackers has been disabled due to excessive bounces The last bounce received from you was dated 19-Oct-2013. You will not get any more messages from this list until you re-enable your membership. You will receive 2 more reminders like this before your

[patch] 'make DESTDIR=/any/nonroot/dir ... xdev' is broken

2013-10-14 Thread Patrick Kelsey
Hi, The patch below makes building the xdev target with non-default values of DESTDIR work. It also removes the leading '/' from XDTP to clean up path construction using that var. -Patrick Index: Makefile.inc1 === ---

Re: mmap() question

2013-10-13 Thread Dmitry Sivachenko
On 12.10.2013, at 18:14, Konstantin Belousov kostik...@gmail.com wrote: First I tried with some swap space configured. The OS started to swap out my process after it reached about 20GB which is also not what I expected: what is the reason to swap out regions of read-only mmap()ed files?

Re: mmap() question

2013-10-12 Thread Konstantin Belousov
On Fri, Oct 11, 2013 at 09:57:24AM +0400, Dmitry Sivachenko wrote: On 11.10.2013, at 9:17, Konstantin Belousov kostik...@gmail.com wrote: On Wed, Oct 09, 2013 at 03:42:27PM +0400, Dmitry Sivachenko wrote: Hello! I have a program which mmap()s a lot of large files (total size more

Re: mmap() question

2013-10-12 Thread Dmitry Sivachenko
On 12.10.2013, at 13:59, Konstantin Belousov kostik...@gmail.com wrote: I was not able to reproduce the situation locally. I even tried to start a lot of threads accessing the mapped regions, to try to outrun the pagedaemon. The user threads sleep on the disk read, while pagedaemon has a

Re: mmap() question

2013-10-12 Thread Konstantin Belousov
On Sat, Oct 12, 2013 at 04:04:31PM +0400, Dmitry Sivachenko wrote: On 12.10.2013, at 13:59, Konstantin Belousov kostik...@gmail.com wrote: I was not able to reproduce the situation locally. I even tried to start a lot of threads accessing the mapped regions, to try to outrun the

Re: mmap() question

2013-10-11 Thread Dmitry Sivachenko
On 11.10.2013, at 9:17, Konstantin Belousov kostik...@gmail.com wrote: On Wed, Oct 09, 2013 at 03:42:27PM +0400, Dmitry Sivachenko wrote: Hello! I have a program which mmap()s a lot of large files (total size more that RAM and I have no swap), but it needs only small parts of that files

Re: What's the state of AF-4Kn support?

2013-10-11 Thread Ravi Pokala
Yes, the BIOS calls have always only used 512 byte sectors. There would have to be an updated spec for those, and it would be a bit of a PITA to use. I suspect the right answer for this on x86 is UEFI. Yeah, that's the conclusion I reached as well. Though it occurs to me, aren't we already

RE: Fuse on FreeBSD 9.2

2013-10-10 Thread Łukasz P
Hello, I've tried http://people.freebsd.org/~flo/fusefs-kmod.tar.bz2 on 9.2 - unfortunatelly - there's the same problem as with fuse from 10. While using MooseFS filesystem changes made on one client node are not visible to other clients. It's like the file content is not being refreshed. There

Re: openjdk7 dtrace support

2013-10-10 Thread Patrick Dung
On Thursday, October 10, 2013 12:07 PM, Mark Johnston ma...@freebsd.org wrote: On Wed, Oct 09, 2013 at 09:55:51PM +0800, Patrick Dung wrote: Hello, I would like to know it there is dtrace support in the openjdk7? Not yet on FreeBSD, unless there's something I'm missing. Some work

Re: What's the state of AF-4Kn support?

2013-10-10 Thread John Baldwin
On Monday, September 23, 2013 10:58:19 am Ravi Pokala wrote: -Original Message- From: Jia-Shiun Li jiash...@gmail.com Date: Sunday, September 22, 2013 11:22 PM To: Ravi Pokala rp_free...@mac.com Cc: freebsd-hardw...@freebsd.org freebsd-hardw...@freebsd.org,

Re: Call fo comments - raising vfs.ufs.dirhash_reclaimage?

2013-10-10 Thread John Baldwin
On Monday, October 07, 2013 1:34:24 pm Davide Italiano wrote: What would perhaps be better than a hardcoded reclaim age would be to use an LRU-type approach and perhaps set a target percent to reclaim. That is, suppose you were to reclaim the oldest 10% of hashes on each lowmem call (and

Re: mmap() question

2013-10-10 Thread Konstantin Belousov
On Wed, Oct 09, 2013 at 03:42:27PM +0400, Dmitry Sivachenko wrote: Hello! I have a program which mmap()s a lot of large files (total size more that RAM and I have no swap), but it needs only small parts of that files at a time. My understanding is that when using mmap when I access some

taskqueue_drain_all

2013-10-09 Thread Andriy Gapon
I would like to propose to extend taskqueue API with taskqueue_drain_all. A potential use case: I have a private taskqueue, several kinds of tasks get executed via it and then I want to make sure that all of them are completed. Obviously, I have a way to ensure that no new ones get enqueued. Is

Re: amdtemp need help with testing

2013-10-09 Thread Willem Jan Withagen
On 2013-10-07 3:24, rozhuk...@gmail.com wrote: I updated amdtemp and now I need your help with testing. Now the driver should support all AMD processors. For a family of 15h and 16h, not all sensors are available - for my system does not find drivers for ati SMBus, and other systems based on

mmap() question

2013-10-09 Thread Dmitry Sivachenko
Hello! I have a program which mmap()s a lot of large files (total size more that RAM and I have no swap), but it needs only small parts of that files at a time. My understanding is that when using mmap when I access some memory region OS reads the relevant portion of that file from disk and

Re: amdtemp need help with testing

2013-10-09 Thread Willem Jan Withagen
On 2013-10-09 13:34, Willem Jan Withagen wrote: On 2013-10-07 3:24, rozhuk...@gmail.com wrote: I updated amdtemp and now I need your help with testing. Now the driver should support all AMD processors. For a family of 15h and 16h, not all sensors are available - for my system does not find

Re: Call fo comments - raising vfs.ufs.dirhash_reclaimage?

2013-10-09 Thread RW
On Tue, 8 Oct 2013 16:01:25 -0700 Davide Italiano wrote: This could be probably changed -- from what | see even under high memory pressure this wasn't a problem but all in all I agree with you that we shouldn't loop forever but limit the number of pass on the list to a somewhat constant

Re: mmap() question

2013-10-09 Thread RW
On Wed, 9 Oct 2013 15:42:27 +0400 Dmitry Sivachenko wrote: Hello! I have a program which mmap()s a lot of large files (total size more that RAM and I have no swap), but it needs only small parts of that files at a time. My understanding is that when using mmap when I access some memory

Re: openjdk7 dtrace support

2013-10-09 Thread Patrick Dung
Hello, I would like to know it there is dtrace support in the openjdk7? Thanks, Patrick Dung On Tuesday, October 8, 2013 1:26 PM, Patrick Dung patrick_...@yahoo.com.hk wrote: Hi all, I would like to know it there is dtrace support in the openjdk7? Thanks, Patrick

Re: taskqueue_drain_all

2013-10-09 Thread Adrian Chadd
+1 Very useful :) -a On 9 October 2013 01:55, Andriy Gapon a...@freebsd.org wrote: I would like to propose to extend taskqueue API with taskqueue_drain_all. A potential use case: I have a private taskqueue, several kinds of tasks get executed via it and then I want to make sure that all

Re: patch(1) depends on RCS - should it?

2013-10-09 Thread Benjamin Kaduk
I guess I'm late to the party (catching up on the whole thread took a while...) On Mon, 7 Oct 2013, Eitan Adler wrote: patch(1) explicitly tries to use RCS (and SCCS) in certain cases. Are we okay with a base system utility that behaves differently depending on whether a port is installed?

Re: patch(1) depends on RCS - should it?

2013-10-09 Thread Eitan Adler
On Wed, Oct 9, 2013 at 3:26 PM, Benjamin Kaduk ka...@mit.edu wrote: I guess I'm late to the party (catching up on the whole thread took a while...) On Mon, 7 Oct 2013, Eitan Adler wrote: patch(1) explicitly tries to use RCS (and SCCS) in certain cases. Are we okay with a base system

Re: patch(1) depends on RCS - should it?

2013-10-09 Thread Joerg Sonnenberger
On Mon, Oct 07, 2013 at 04:17:03PM -0400, Eitan Adler wrote: patch(1) explicitly tries to use RCS (and SCCS) in certain cases. At the SCCS behavior is part of (the SCCS option in ) POSIX 2008. So far I haven't seen any reason for messing with it. Joerg

git session at BAFUG tomorrow (San Francisco Bay Area FreeBSD User Group).

2013-10-09 Thread Alfred Perlstein
I've been doing a few one-on-one sessions at iXsystems explaining the git model to developers and have had much success. Tomorrow at BAFUG (http://www.meetup.com/BAFUG-Bay-Area-FreeBSD-User-Group/events/144351492/) I will be doing a quick talk on git and then doing a breakaway session on

Re: openjdk7 dtrace support

2013-10-09 Thread Mark Johnston
On Wed, Oct 09, 2013 at 09:55:51PM +0800, Patrick Dung wrote: Hello, I would like to know it there is dtrace support in the openjdk7? Not yet on FreeBSD, unless there's something I'm missing. Some work needs to be done on the port in order to get it working.

Re: Call fo comments - raising vfs.ufs.dirhash_reclaimage?

2013-10-08 Thread Peter Holm
On Mon, Oct 07, 2013 at 07:34:24PM +0200, Davide Italiano wrote: What would perhaps be better than a hardcoded reclaim age would be to use an LRU-type approach and perhaps set a target percent to reclaim. That is, suppose you were to reclaim the oldest 10% of hashes on each lowmem call

Fuse on FreeBSD 9.2

2013-10-08 Thread Łukasz P
Hello, Please let me know if anyone is up to fix fuse on FreeBSD 9.x ? Particularly this bug: http://www.freebsd.org/cgi/query-pr.cgi?pr=182739 http://www.freebsd.org/cgi/query-pr.cgi?pr=182739 I'm willing to pay for the fix. Thank you, Luke

Re: Call fo comments - raising vfs.ufs.dirhash_reclaimage?

2013-10-08 Thread Adrian Chadd
Hi, Please try it out on a -10 VM with something RAM limited - say, 128mb w/ GENERIC. See how it behaves. I've successfully done buildworlds on 10-i386 with 128mb RAM. Let's try not to break that before releng/10 is cut. thanks, -adrian On 7 October 2013 23:34, Peter Holm pe...@holm.cc

Re: Call fo comments - raising vfs.ufs.dirhash_reclaimage?

2013-10-08 Thread Davide Italiano
On Tue, Oct 8, 2013 at 1:25 PM, Adrian Chadd adr...@freebsd.org wrote: Hi, Hi Adrian, Please try it out on a -10 VM with something RAM limited - say, 128mb w/ GENERIC. See how it behaves. I've successfully done buildworlds on 10-i386 with 128mb RAM. Let's try not to break that before

Re: Fuse on FreeBSD 9.2

2013-10-08 Thread Mark Felder
On Tue, Oct 8, 2013, at 5:21, Łukasz P wrote: Hello, Please let me know if anyone is up to fix fuse on FreeBSD 9.x ? Particularly this bug: http://www.freebsd.org/cgi/query-pr.cgi?pr=182739 http://www.freebsd.org/cgi/query-pr.cgi?pr=182739 I'm willing to pay for the fix. I

Re: Call fo comments - raising vfs.ufs.dirhash_reclaimage?

2013-10-08 Thread Davide Italiano
On Tue, Oct 8, 2013 at 1:32 PM, Davide Italiano dav...@freebsd.org wrote: On Tue, Oct 8, 2013 at 1:25 PM, Adrian Chadd adr...@freebsd.org wrote: Hi, Hi Adrian, Please try it out on a -10 VM with something RAM limited - say, 128mb w/ GENERIC. See how it behaves. I've successfully done

Re: Fuse on FreeBSD 9.2

2013-10-08 Thread Mark Felder
On Tue, Oct 8, 2013, at 6:34, Mark Felder wrote: I think the fix is the new from-scratch fuse module in FreeBSD 10, which in my experience works flawlessly. Perhaps you should instead see if someone is willing to backport that fuse module to 9.x? Well actually the description on the

Re: Fuse on FreeBSD 9.2

2013-10-08 Thread Yamagi Burmeister
On Tue, 8 Oct 2013 14:08:41 +0200 Łukasz P ad...@3dr.org wrote: Thank you - I'll give it a try today. Can you confirm that doing rsync with this fuse version is stable? I'm sorry but I've never even tried rsync on top of a fuse mount. Can you please tell us which fuse-based file system

RE: Fuse on FreeBSD 9.2

2013-10-08 Thread Łukasz P
Thank you! -Original Message- From: Yamagi Burmeister [mailto:li...@yamagi.org] Sent: Tuesday, October 08, 2013 2:14 PM To: ad...@3dr.org Cc: f...@freebsd.org; freebsd-hackers@freebsd.org Subject: Re: Fuse on FreeBSD 9.2 On Tue, 8 Oct 2013 14:08:41 +0200 Łukasz P ad...@3dr.org

Re: ZFS Boot Menu

2013-10-08 Thread Volodymyr Kostyrko
06.10.2013 08:54, Teske, Devin wrote: On Sep 30, 2013, at 6:20 AM, Volodymyr Kostyrko wrote: 29.09.2013 00:30, Teske, Devin wrote: Interested in feedback, but moreover I would like to see who is interested in tackling this with me? I can't do it alone... I at least need testers whom will

Re: Fuse on FreeBSD 9.2

2013-10-08 Thread Mark Felder
On Tue, Oct 8, 2013, at 7:08, Łukasz P wrote: Thank you - I'll give it a try today. Can you confirm that doing rsync with this fuse version is stable? Can you please tell us which fuse-based file system have you used? My main use case these days is ntfs-3g, and I no longer get panics when

Re: Fuse on FreeBSD 9.2

2013-10-08 Thread Yamagi Burmeister
There's already a backport which can be found here: http://people.freebsd.org/~flo/fusefs-kmod.tar.bz2 1. Download, untar and replace your existing sysutils/fusefs-kmod port with it. Open the Makefile and add NO_STAGE= yes to it. 2. cd sysutils/fusefs-kmod ; make makesum ; make deinstall

Re: Fuse on FreeBSD 9.2

2013-10-08 Thread Yamagi Burmeister
Responding to myself... On Tue, 8 Oct 2013 14:13:35 +0200 Yamagi Burmeister li...@yamagi.org wrote: On Tue, 8 Oct 2013 14:08:41 +0200 Łukasz P ad...@3dr.org wrote: Thank you - I'll give it a try today. Can you confirm that doing rsync with this fuse version is stable? I'm sorry but

RE: Fuse on FreeBSD 9.2

2013-10-08 Thread Łukasz P
Sounds good - I'm using MooseFS file system - and problems with fuse occurs during rsync. I will test suggested by you http://people.freebsd.org/~flo/fusefs-kmod.tar.bz2 - and will let know if that works in few hours. -Original Message- From: Yamagi Burmeister

RE: Fuse on FreeBSD 9.2

2013-10-08 Thread Łukasz P
Thank you - I'll give it a try today. Can you confirm that doing rsync with this fuse version is stable? Can you please tell us which fuse-based file system have you used? Luke -Original Message- From: Yamagi Burmeister [mailto:li...@yamagi.org] Sent: Tuesday, October 08, 2013 2:03

Re: Call fo comments - raising vfs.ufs.dirhash_reclaimage?

2013-10-08 Thread RW
On Tue, 8 Oct 2013 13:32:58 +0200 Davide Italiano wrote: On Tue, Oct 8, 2013 at 1:25 PM, Adrian Chadd adr...@freebsd.org wrote: Hi, Hi Adrian, Please try it out on a -10 VM with something RAM limited - say, 128mb w/ GENERIC. See how it behaves. Be aware that any test that doesn't

Re: Call fo comments - raising vfs.ufs.dirhash_reclaimage?

2013-10-08 Thread Davide Italiano
On Tue, Oct 8, 2013 at 3:38 PM, RW rwmailli...@googlemail.com wrote: On Tue, 8 Oct 2013 13:32:58 +0200 Davide Italiano wrote: On Tue, Oct 8, 2013 at 1:25 PM, Adrian Chadd adr...@freebsd.org wrote: Hi, Hi Adrian, Please try it out on a -10 VM with something RAM limited - say, 128mb

Re: [RFC][CFT] GEOM direct dispatch and fine-grained CAM locking

2013-10-07 Thread John Baldwin
On Sunday, October 06, 2013 3:30:42 am Alexander Motin wrote: On 02.10.2013 20:30, John Baldwin wrote: On Saturday, September 07, 2013 2:32:45 am Alexander Motin wrote: On 07.09.2013 02:02, Jeremie Le Hen wrote: On Fri, Sep 06, 2013 at 11:29:11AM +0300, Alexander Motin wrote: On

Re: UFS related panic (daily - find)

2013-10-07 Thread John Baldwin
On Wednesday, October 02, 2013 5:40:02 pm rank1see...@gmail.com wrote: Ok, here is another one, same case, just this time under 9.1-RELEASE-p7 == Fatal trap 12: page fault while in kernel mode fault virtual address = 0x25

Re: [RFC][CFT] GEOM direct dispatch and fine-grained CAM locking

2013-10-07 Thread Alexander Motin
On 07.10.2013 19:09, John Baldwin wrote: On Sunday, October 06, 2013 3:30:42 am Alexander Motin wrote: On 02.10.2013 20:30, John Baldwin wrote: On Saturday, September 07, 2013 2:32:45 am Alexander Motin wrote: On 07.09.2013 02:02, Jeremie Le Hen wrote: On Fri, Sep 06, 2013 at 11:29:11AM

Re: Call fo comments - raising vfs.ufs.dirhash_reclaimage?

2013-10-07 Thread Davide Italiano
On Wed, Aug 28, 2013 at 3:56 PM, Ivan Voras ivo...@freebsd.org wrote: Hi, Prodded by davide@, I'd like to collect opinions about raising the vfs.ufs.dirhash_reclaimage sysctl from 5 to 60, committed at: http://svnweb.freebsd.org/changeset/base/254986 What it does: Used in lowmem handler

Re: Call fo comments - raising vfs.ufs.dirhash_reclaimage?

2013-10-07 Thread Davide Italiano
What would perhaps be better than a hardcoded reclaim age would be to use an LRU-type approach and perhaps set a target percent to reclaim. That is, suppose you were to reclaim the oldest 10% of hashes on each lowmem call (and make the '10%' the tunable value). Then you will always make some

Re: UFS related panic (daily - find)

2013-10-07 Thread rank1seeker
On Wednesday, October 02, 2013 5:40:02 pm rank1see...@gmail.com wrote: Ok, here is another one, same case, just this time under 9.1-RELEASE-p7 == Fatal trap 12: page fault while in kernel mode fault virtual address =

geli still broken on latest 9.* from svn

2013-10-07 Thread Wojciech Puchar
is it planned to fix or should i just treat some non latest 9.* release as the last non-broken one, and just apply security fixes manually? ___ freebsd-hackers@freebsd.org mailing list http://lists.freebsd.org/mailman/listinfo/freebsd-hackers To

patch(1) depends on RCS - should it?

2013-10-07 Thread Eitan Adler
patch(1) explicitly tries to use RCS (and SCCS) in certain cases. Are we okay with a base system utility that behaves differently depending on whether a port is installed? Should the relevant code be removed from patch(1)? See head/usr.bin/patch/inp.c lines 166 to 240 for details. -- Eitan

Re: patch(1) depends on RCS - should it?

2013-10-07 Thread Poul-Henning Kamp
In message caf6rxgni6kw6qtlmwwqdc2suqp+wa5-ptqwgsbtpa1-x_vz...@mail.gmail.com , Eitan Adler writes: patch(1) explicitly tries to use RCS (and SCCS) in certain cases. Are we okay with a base system utility that behaves differently depending on whether a port is installed? Should the relevant code

Re: [RFC][CFT] GEOM direct dispatch and fine-grained CAM locking

2013-10-06 Thread Alexander Motin
On 02.10.2013 20:30, John Baldwin wrote: On Saturday, September 07, 2013 2:32:45 am Alexander Motin wrote: On 07.09.2013 02:02, Jeremie Le Hen wrote: On Fri, Sep 06, 2013 at 11:29:11AM +0300, Alexander Motin wrote: On 06.09.2013 11:06, Jeremie Le Hen wrote: On Fri, Sep 06, 2013 at 12:46:27AM

Re: Call for FreeBSD 2013Q3 (July-September) Status Reports

2013-10-06 Thread Gabor Pali
Dear FreeBSD Community, This is another gentle reminder that the deadline for submissions for the third Quarterly Status Report is tomorrow! Please find the details quoted below. On Sun, Sep 29, 2013 at 12:22 PM, Gabor Pali p...@freebsd.org wrote: Dear FreeBSD Community, Please note that the

amdtemp need help with testing

2013-10-06 Thread rozhuk . im
I updated amdtemp and now I need your help with testing. Now the driver should support all AMD processors. For a family of 15h and 16h, not all sensors are available - for my system does not find drivers for ati SMBus, and other systems based on the AMD I have not. /*- * Copyright (c) 2008,

Re: VPS Project

2013-10-05 Thread Outback Dingo
On Mon, Sep 23, 2013 at 6:41 AM, Dirk-Willem van Gulik di...@webweaving.org wrote: Op 23 sep. 2013, om 11:41 heeft Klaus P. Ohrhallinger k...@7he.at het volgende geschreven: My virtualization project (http://www.7he.at/freebsd/vps/) has its project branch on svn.freebsd.org since a few

Re: ZFS Boot Menu

2013-10-05 Thread Teske, Devin
On Sep 30, 2013, at 6:20 AM, Volodymyr Kostyrko wrote: 29.09.2013 00:30, Teske, Devin wrote: Interested in feedback, but moreover I would like to see who is interested in tackling this with me? I can't do it alone... I at least need testers whom will provide feedback and edge-case testing.

Staggered wake-up from standby for SATA disks

2013-10-04 Thread Nuno Subtil
Greetings, I have a small storage server with several SATA drives running ZFS on 9.2-RELEASE. Due to various issues (mostly dealing with noise and power consumption), the system was spec'ed with a power supply that requires spinning up the disks one by one. This problem is easily solved for

Re: [RFC][CFT] GEOM direct dispatch and fine-grained CAM locking

2013-10-02 Thread John Baldwin
On Saturday, September 07, 2013 2:32:45 am Alexander Motin wrote: On 07.09.2013 02:02, Jeremie Le Hen wrote: On Fri, Sep 06, 2013 at 11:29:11AM +0300, Alexander Motin wrote: On 06.09.2013 11:06, Jeremie Le Hen wrote: On Fri, Sep 06, 2013 at 12:46:27AM +0200, Olivier Cochard-Labbé wrote:

Re: UFS related panic (daily - find)

2013-10-02 Thread John Baldwin
On Tuesday, October 01, 2013 9:15:33 pm rank1see...@gmail.com wrote: Ok, here is another one, same case, just this time under 9.1-RELEASE-p7 == Fatal trap 12: page fault while in kernel mode fault virtual address = 0x25 fault code =

Re: UFS related panic (daily - find)

2013-10-02 Thread rank1seeker
Ok, here is another one, same case, just this time under 9.1-RELEASE-p7 == Fatal trap 12: page fault while in kernel mode fault virtual address = 0x25 fault code = supervisor read, page not present instruction pointer =

Re: UFS related panic (daily - find)

2013-10-02 Thread John Baldwin
On Wednesday, October 02, 2013 4:32:56 pm rank1see...@gmail.com wrote: Ok, here is another one, same case, just this time under 9.1-RELEASE-p7 == Fatal trap 12: page fault while in kernel mode fault virtual address = 0x25 fault code

Re: UFS related panic (daily - find)

2013-10-02 Thread rank1seeker
Ok, here is another one, same case, just this time under 9.1-RELEASE-p7 == Fatal trap 12: page fault while in kernel mode fault virtual address = 0x25 fault code = supervisor read, page not present instruction

Re: best way to make dvd appear to me a .iso file to the FS

2013-10-01 Thread Fernando Apesteguía
El 01/10/2013 03:46, Aryeh Friedman aryeh.fried...@gmail.com escribió: bhyveload(8) only let's you use .ISO's for install media and I want to make it so I can just insert a DVD (/dev/cd0) and bhyve can read it as if it was a just a normal file and not a device... short of copying it to the

Re: best way to make dvd appear to me a .iso file to the FS

2013-10-01 Thread Alexander Yerenkow
Iso creating is probably necessary in general case, since some media contain bootable part of cd, which are not seen as files but required to boot. Of course passthrough of cd/dvd/bd device is interesting, but I think for most usages of bhyve as virt platform correct work with iso is enough.

Is freebsd-update braindamaged, or I'm using it wrong?

2013-10-01 Thread Ivan Voras
This is the first time I've used freebsd-update in years, and I'm immediately flagging it as something I won't use in the future. For the last half hour it has been forcing me to manually resolve, one by one, in an editor, hundreds of merge conflicts such as these: 1 current version 2 #

Re: Is freebsd-update braindamaged, or I'm using it wrong?

2013-10-01 Thread Florent Peterschmitt
Le 01/10/2013 11:16, Ivan Voras a écrit : This is fairly ridiculous. Then, at a random file it has proposed its own merge and asked the prompt Does this look reasonable?. It was not, but when I answered it with n it stopped the whole process (instead of maybe opening the file in the editor for

Re: Is freebsd-update braindamaged, or I'm using it wrong?

2013-10-01 Thread Uffe Jakobsen
On 2013-10-01 11:16, Ivan Voras wrote: This is the first time I've used freebsd-update in years, and I'm immediately flagging it as something I won't use in the future. For the last half hour it has been forcing me to manually resolve, one by one, in an editor, hundreds of merge conflicts such

Re: Is freebsd-update braindamaged, or I'm using it wrong?

2013-10-01 Thread Vincent Hoffman
On 01/10/2013 10:16, Ivan Voras wrote: This is the first time I've used freebsd-update in years, and I'm immediately flagging it as something I won't use in the future. For the last half hour it has been forcing me to manually resolve, one by one, in an editor, hundreds of merge conflicts such

Re: Is freebsd-update braindamaged, or I'm using it wrong?

2013-10-01 Thread Alexander Yerenkow
To make better tool (than current behaviour of mergemaster regarding configs/source files) which could make merge an easy task it *must* have such things: a) way to get Original configs/files from revision from you are upgrading ($Rev1) b) way to get Original configs/files from revision to you

Re: Is freebsd-update braindamaged, or I'm using it wrong?

2013-10-01 Thread Tim Kientzle
Another thing I'd like to see: * Have the tool prompt per-directory first, then per-file. For example: There are 30 changed files in /etc/rc.d. Update all? [y/N] If you hit 'y' it updates all of them right away. If you hit 'N, it will prompt you for each separate file. Tim On Oct

Re: what's going on after upgrade to svn-latest 9.

2013-10-01 Thread Alexey Dokuchaev
On Fri, Jun 21, 2013 at 01:17:31PM +0200, Wojciech Puchar wrote: i'm getting this on my computer. disk seems OK, smart shows nothing, dd reads whole partition without problem. no other errors from disk itself (AHCI timeout or so). started exactly after i rebooted with new kernel.

Re: what's going on after upgrade to svn-latest 9.

2013-10-01 Thread Andriy Gapon
on 01/10/2013 22:29 Alexey Dokuchaev said the following: On Fri, Jun 21, 2013 at 01:17:31PM +0200, Wojciech Puchar wrote: i'm getting this on my computer. disk seems OK, smart shows nothing, dd reads whole partition without problem. no other errors from disk itself (AHCI timeout or so).

Re: cause of reboot

2013-10-01 Thread Michael Schuh
Please help I need to find cause of reboot.. i would recommend the reconfigure of syslog too. attention on all.log and/or console.log there are examples with explanations not all console messages flow into messages. ;-) memory test, disk tests cpu temperature, i had exactly the same error

Re: UFS related panic (daily - find)

2013-10-01 Thread rank1seeker
Ok, here is another one, same case, just this time under 9.1-RELEASE-p7 == Fatal trap 12: page fault while in kernel mode fault virtual address = 0x25 fault code = supervisor read, page not present instruction pointer =

rwlock(9) upgrade

2013-09-30 Thread Hooman Fazaeli
Hi, For rwlock(9), there is no rwlock_upgrade function. Is it safe to use rw_wlock() for that purpose? In other words, Does calling rw_wlock() upgradeanalready r-locked lock? -- Best regards. Hooman Fazaeli ___ freebsd-hackers@freebsd.org mailing

Re: ZFS Boot Menu

2013-09-30 Thread Lars Engels
Am 28.09.2013 23:30, schrieb Teske, Devin: In my recent interview on bsdnow.tv, I was pinged on BEs in Forth. I'd like to revisit this. Back on Sept 20th, 2012, I posted some pics demonstrating what exactly code that was in HEAD (at the time) was/is capable of. These three pictures (posted

Re: ZFS Boot Menu

2013-09-30 Thread Volodymyr Kostyrko
29.09.2013 00:30, Teske, Devin wrote: Interested in feedback, but moreover I would like to see who is interested in tackling this with me? I can't do it alone... I at least need testers whom will provide feedback and edge-case testing. Sign me in, I'm not fluent with forth but testing

Re: rwlock(9) upgrade

2013-09-30 Thread Matthew Fleming
On Sun, Sep 29, 2013 at 11:09 PM, Hooman Fazaeli hoomanfaza...@gmail.comwrote: Hi, For rwlock(9), there is no rwlock_upgrade function. Is it safe to use rw_wlock() for that purpose? In other words, Does calling rw_wlock() upgradeanalready r-locked lock? No, calling rw_wlock when you hold

cause of reboot

2013-09-30 Thread Emre Çamalan
Hi, my server reboots every night and same o'clock last 10 days. But this machine's uptime was 96days. Suddenly reboot this machine and now this continue every night again and again. I didn't find any reason and I didn't change anything else. I looked last command, reboot ~ ~ AM 03.15 ~

Re: cause of reboot

2013-09-30 Thread Jason Hellenthal
Did you check for the command reboot in all of the periodic scripts and cron jobs as well as the command shutdown ? On Sep 30, 2013, at 10:24, Emre Çamalan mail...@yandex.com wrote: Hi, my server reboots every night and same o'clock last 10 days. But this machine's uptime was 96days.

Re: cause of reboot

2013-09-30 Thread Emre Çamalan
Yes I checked also it , such as ; grep -i 'reboot' /root/scripts/* -R grep -i 'halt' /root/scripts/* -R grep -i 'shutdown' /root/scripts/* -R 30.09.2013, 17:33, Jason Hellenthal jhellent...@dataix.net: Did you check for the command reboot in all of the periodic scripts and cron jobs as well

Re: cause of reboot

2013-09-30 Thread Jason Hellenthal
And /etc/ ? And /var/cron ? On Sep 30, 2013, at 11:00, Emre Çamalan mail...@yandex.com wrote: Yes I checked also it , such as ; grep -i 'reboot' /root/scripts/* -R grep -i 'halt' /root/scripts/* -R grep -i 'shutdown' /root/scripts/* -R 30.09.2013, 17:33, Jason Hellenthal

Re: cause of reboot

2013-09-30 Thread Jason Hellenthal
Also . . . grep -ri . . . On Sep 30, 2013, at 11:06, Jason Hellenthal jhellent...@dataix.net wrote: And /etc/ ? And /var/cron ? On Sep 30, 2013, at 11:00, Emre Çamalan mail...@yandex.com wrote: Yes I checked also it , such as ; grep -i 'reboot' /root/scripts/* -R grep -i 'halt'

Re: cause of reboot

2013-09-30 Thread Julian Elischer
On 9/30/13 11:08 PM, Jason Hellenthal wrote: Also . . . grep -ri . . . On Sep 30, 2013, at 11:06, Jason Hellenthal jhellent...@dataix.net wrote: And /etc/ ? And /var/cron ? On Sep 30, 2013, at 11:00, Emre Çamalan mail...@yandex.com wrote: Yes I checked also it , such as ; grep -i

Re: cause of reboot

2013-09-30 Thread Steve O'Hara-Smith
On Mon, 30 Sep 2013 17:24:18 +0300 Emre Çamalan mail...@yandex.com wrote: Hi, my server reboots every night and same o'clock last 10 days. But this machine's uptime was 96days. Suddenly reboot this machine and now this continue every night again and again. I didn't find any reason and I

Re: cause of reboot

2013-09-30 Thread Patrick Lamaiziere
Le Mon, 30 Sep 2013 17:24:18 +0300, Emre Çamalan mail...@yandex.com a écrit : Hi, my server reboots every night and same o'clock last 10 days. But this machine's uptime was 96days. Suddenly reboot this machine and now this continue every night again and again. I didn't find any reason

best way to make dvd appear to me a .iso file to the FS

2013-09-30 Thread Aryeh Friedman
bhyveload(8) only let's you use .ISO's for install media and I want to make it so I can just insert a DVD (/dev/cd0) and bhyve can read it as if it was a just a normal file and not a device... short of copying it to the hard drive is there any other solution anyone can think of?

Re: best way to make dvd appear to me a .iso file to the FS

2013-09-30 Thread Kurt Lidl
On 9/30/13 9:46 PM, Aryeh Friedman wrote: bhyveload(8) only let's you use .ISO's for install media and I want to make it so I can just insert a DVD (/dev/cd0) and bhyve can read it as if it was a just a normal file and not a device... short of copying it to the hard drive is there any other

Re: best way to make dvd appear to me a .iso file to the FS

2013-09-30 Thread Aryeh Friedman
That solution works only for a FreeBSD install disk. I am looking for a more general solution, for an install CD/DVD for any x86-compatible OS. (Currently bhyve cannot handle other OS's besides FreeBSD, but they are planning to add support for other OS's.) (I am one of the developers of

Re: Mixing amd64 kernel with i386 world

2013-09-29 Thread Adrian Chadd
+1. On 28 September 2013 06:56, Ian Lepore i...@freebsd.org wrote: On Sat, 2013-09-28 at 20:37 +1000, Peter Jeremy wrote: I have a system with 4GB RAM and hence need to use an amd64 kernel to use all the RAM (I can only access 3GB RAM with an i386 kernel). OTOH, amd64 processes are

Re: Call for FreeBSD 2013Q3 (July-September) Status Reports

2013-09-29 Thread Gabor Pali
Dear FreeBSD Community, Please note that the next submission date for the July to September Quarterly Status Reports is October 7th, 2013, bit more than a week away. Please consult my previous message for the details: On Mon, Sep 9, 2013 at 12:04 AM, Gabor Pali p...@freebsd.org wrote: They do

  1   2   3   4   5   6   7   8   9   10   >