headers
Adrian Chadd | 1 Jan 2012 01:22
Picon
Favicon

Re: Using symbolic execution for analyzing scheduler performance?

On 31 December 2011 13:53, Julian Elischer <julian <at> freebsd.org> wrote:

>> Russian.
>
>
> there are a lot of russian developers so you should be able to find someone
> if you need explanations in Russian..

There's definitely plenty of russians. And they have a habit of doing
cool things. So who knows, you may have come up with a good idea that
just needs a bit of effort.

Also, learning by "trial by fire" is an acceptable way to learn kernel
development. :) (I did something similar, blame Julian.)

Adrian
_______________________________________________
freebsd-hackers <at> freebsd.org mailing list
http://lists.freebsd.org/mailman/listinfo/freebsd-hackers
To unsubscribe, send any mail to "freebsd-hackers-unsubscribe <at> freebsd.org"
Permalink | Reply | 0 comments |
headers
Devin Teske | 3 Jan 2012 04:09

[ANN] host-setup 4.0 released

Hi fellow -hackers,

I'd like to announce the release of a major new revision (4.0) of my FreeBSD
setup utility "host-setup".

http://druidbsd.sourceforge.net/

Direct Link: http://druidbsd.sourceforge.net/download/host-setup.txt

NOTE: Make sure to hit "refresh" to "defeat the cache"

Major highlights of this version are listed on the druidbsd homepage.

For those unfamiliar with my "host-setup", it's a manly shell script designed to
make it super-easy to configure the following:
1. Timezone
2. Hostname/Domain
3. Network Interface Settings
4. Default Router/Gateway
5. DNS nameservers

All from an easy-to-use dialog(1) or Xdialog(1)* interface

* Fully compatible and tested -- simply pass `-X' while in a usable X
environment
--

-- 
Devin

P.S. Feedback most certainly is welcomed!
(Continue reading)

Permalink | Reply | 12 comments |
headers
Mohacsi Janos | 3 Jan 2012 12:59
Picon
Favicon

Re: [ANN] host-setup 4.0 released

Hi Devin,
 	I had a look at the code. It is very nice, however there are same 
missing elements:
 	- IPv6 support
 	- VLAN tagging support - creation/deleting

Best Regards,

Janos Mohacsi
Head of HBONE+ project
Network Engineer, Deputy Director of Network Planning and Projects
NIIF/HUNGARNET, HUNGARY
Key 70EF9882: DEC2 C685 1ED4 C95A 145F  4300 6F64 7B00 70EF 9882

On Mon, 2 Jan 2012, Devin Teske wrote:

> Hi fellow -hackers,
>
> I'd like to announce the release of a major new revision (4.0) of my FreeBSD
> setup utility "host-setup".
>
> http://druidbsd.sourceforge.net/
>
> Direct Link: http://druidbsd.sourceforge.net/download/host-setup.txt
>
> NOTE: Make sure to hit "refresh" to "defeat the cache"
>
> Major highlights of this version are listed on the druidbsd homepage.
>
> For those unfamiliar with my "host-setup", it's a manly shell script designed to
(Continue reading)

Permalink | Reply | 11 comments |
headers
Devin Teske | 3 Jan 2012 17:23

RE: [ANN] host-setup 4.0 released

> -----Original Message-----
> From: Mohacsi Janos [mailto:mohacsi <at> niif.hu]
> Sent: Tuesday, January 03, 2012 3:59 AM
> To: Devin Teske
> Cc: freebsd-hackers <at> freebsd.org; Dave Robison; Devin Teske
> Subject: Re: [ANN] host-setup 4.0 released
> 
> Hi Devin,
>  	I had a look at the code. It is very nice,

Thank you.

> however there are same missing
> elements:
>  	- IPv6 support

Open to suggestions.

Maybe adding a "ipaddr6" below "ipaddr" in the interface configuration menu.

Also, do you happen to know what the RFC number is for IPv6 address format? I
need to know all the special "features" (for example, I know you can specify
"::1" for localhost, but can you simply omit octets at-will? e.g., ::ff:12:00:::
?)

>  	- VLAN tagging support - creation/deleting

How is that done these days? and how might we present it in the user interface?
--

-- 
Devin
(Continue reading)

Permalink | Reply | 10 comments |
headers
John Baldwin | 3 Jan 2012 18:13
Picon
Favicon

Re: top(1) loses process user time count when threads end

On Tuesday, August 16, 2011 9:25:20 am John Baldwin wrote:
> On Saturday, August 06, 2011 1:57:35 pm Yuri wrote:
> > On 08/06/2011 02:11, Alexander Best wrote:
> > > On Fri Aug  5 11, Yuri wrote:
> > >> I have the process that first runs in 3 threads but later two active
> > >> threads exit.
> > >>
> > >> top(1) shows this moment this way (1 sec intervals):
> > >> 30833 yuri            3  76    0  4729M  4225M nanslp  4   0:32 88.62% app
> > >> 30833 yuri            3  76    0  4729M  4225M nanslp  6   0:34 90.92% app
> > >> 30833 yuri            1  96    0  4729M  4225M CPU1    1   0:03  1.17% app
> > >> 30833 yuri            1  98    0  4729M  4226M CPU1    1   0:04 12.89% app
> > >>
> > >> Process time goes down: 0:34 ->  0:03. Also WCPU goes down 90.92% ->
> > >> 1.17% even though this process is CPU bound and does intense things
> > >> right after threads exit.
> > >>
> > >> getrusage(2) though, called in the process, shows the correct user time.
> > >>
> > >> I think this is the major bug in the process time accounting.
> > > could you check, whether kern/128177 or kern/140892 describe your situation?
> > 
> > I have ULE scheduler. kern/128177 talks about single thread with ULE 
> > scheduler, and my issue is with threads. So I am not sure if it is 
> > related. There have been no motion on kern/128177 since Feb 9, 2009.
> > kern/140892 is probably the same as mine.
> > 
> > In any case, both these PRs have to be fixed since they are very user 
> > visible, not just some obscure issues.
(Continue reading)

Permalink | Reply | 2 comments |
headers
Rick Macklem | 3 Jan 2012 17:52
Picon
Favicon

Re: [ANN] host-setup 4.0 released

David Teske wrote:
> > -----Original Message-----
> > From: Mohacsi Janos [mailto:mohacsi <at> niif.hu]
> > Sent: Tuesday, January 03, 2012 3:59 AM
> > To: Devin Teske
> > Cc: freebsd-hackers <at> freebsd.org; Dave Robison; Devin Teske
> > Subject: Re: [ANN] host-setup 4.0 released
> >
> > Hi Devin,
> >  	I had a look at the code. It is very nice,
> 
> Thank you.
> 
> 
> > however there are same missing
> > elements:
> >  	- IPv6 support
> 
> Open to suggestions.
> 
> Maybe adding a "ipaddr6" below "ipaddr" in the interface configuration
> menu.
> 
> Also, do you happen to know what the RFC number is for IPv6 address
> format? I
> need to know all the special "features" (for example, I know you can
> specify
> "::1" for localhost, but can you simply omit octets at-will? e.g.,
> ::ff:12:00:::
> ?)
(Continue reading)

Permalink | Reply | 8 comments |
headers
Garrett Cooper | 3 Jan 2012 18:49
Picon
Gravatar

Re: [ANN] host-setup 4.0 released

On Tue, Jan 3, 2012 at 8:23 AM, Devin Teske <devin.teske <at> fisglobal.com> wrote:
>> -----Original Message-----
>> From: Mohacsi Janos [mailto:mohacsi <at> niif.hu]
>> Sent: Tuesday, January 03, 2012 3:59 AM
>> To: Devin Teske
>> Cc: freebsd-hackers <at> freebsd.org; Dave Robison; Devin Teske
>> Subject: Re: [ANN] host-setup 4.0 released
>>
>> Hi Devin,
>>       I had a look at the code. It is very nice,
>
> Thank you.
>
>
>> however there are same missing
>> elements:
>>       - IPv6 support
>
> Open to suggestions.
>
> Maybe adding a "ipaddr6" below "ipaddr" in the interface configuration menu.
>
> Also, do you happen to know what the RFC number is for IPv6 address format? I
> need to know all the special "features" (for example, I know you can specify
> "::1" for localhost, but can you simply omit octets at-will? e.g., ::ff:12:00:::
> ?)
>
>
>>       - VLAN tagging support - creation/deleting
>
(Continue reading)

Permalink | Reply | 0 comments |
headers
Garrett Cooper | 3 Jan 2012 18:59
Picon
Gravatar

Re: [ANN] host-setup 4.0 released

On Tue, Jan 3, 2012 at 8:52 AM, Rick Macklem <rmacklem <at> uoguelph.ca> wrote:
> David Teske wrote:
>> > -----Original Message-----
>> > From: Mohacsi Janos [mailto:mohacsi <at> niif.hu]
>> > Sent: Tuesday, January 03, 2012 3:59 AM
>> > To: Devin Teske
>> > Cc: freebsd-hackers <at> freebsd.org; Dave Robison; Devin Teske
>> > Subject: Re: [ANN] host-setup 4.0 released
>> >
>> > Hi Devin,
>> >     I had a look at the code. It is very nice,
>>
>> Thank you.
>>
>>
>> > however there are same missing
>> > elements:
>> >     - IPv6 support
>>
>> Open to suggestions.
>>
>> Maybe adding a "ipaddr6" below "ipaddr" in the interface configuration
>> menu.
>>
>> Also, do you happen to know what the RFC number is for IPv6 address
>> format? I
>> need to know all the special "features" (for example, I know you can
>> specify
>> "::1" for localhost, but can you simply omit octets at-will? e.g.,
>> ::ff:12:00:::
(Continue reading)

Permalink | Reply | 5 comments |
headers
Matthew Seaman | 3 Jan 2012 19:01
Picon
Favicon

Re: [ANN] host-setup 4.0 released

On 03/01/2012 16:52, Rick Macklem wrote:
> The basics are in RFC4291, but I think that inet_pton(3) knows how to
> deal with it. (I think "::" can be used once to specify the longest #
> of 16bit fields that are all zeros.)

RFC 4291 has a basic description of the textual representation of IPv6
addresses, but it is ambiguous: there are several different ways to
present the same address according to the RFC 4291 rules.

inet_pton(3) follows RFC 5952 which is a superset of the 4291 rules,
only allowing a single, unambiguous representation for each IPv6 number.

> After inet_pton() has translated it to a binary address, then the macros
> in sys/netinet6/in6.h can be used to determine if the address is a loopback, etc.

While 5952 describes how to correctly present an IPv6 address, there's
still lots of important other stuff in 4291.  For instance bit 70 in an
IPv6 address flags that the address is derived from a number hardwired
into the interface -- typically the ethernet MAC address, as is commonly
done for SLAAC (StateLess Address Autoconfiguration: RFC 4862,
rtsold(8), rtadvd(8)). So an arbitrarily invented address should have
that bit set to zero.  Bit 71 is also special, indicating manycast vs
unicast, and should also be zero for the vast majority of uses.
See
http://www.infracaninophile.co.uk/articles/hotchpotch.html#rand-aaaa.pl
for some perl code that operates in this area.

Also of interest: RFC 5156 which lists IPv6 address ranges dedicated to
special purpose usages, and RFC 4193 which roughly is the IPv6
equivalent to RFC 1918, but somewhat more complicated.  You might find
(Continue reading)

Permalink | Reply | 1 comment |
headers
Matthew Seaman | 3 Jan 2012 19:07
Picon
Favicon

Re: [ANN] host-setup 4.0 released

On 03/01/2012 17:59, Garrett Cooper wrote:
> 4. Prefixing the IPv6 address with fe80: generally means it's an IPv4
> -> IPv6 address (IIRC).

Nope.  That's a link-local address.  Any NIC can configure itself with
and address using that prefix and a host part generated from the MAC
address completely automatically, and thus communicate on any locally
attached network. (See RFC 5156 for the gory details.)

IPv4 mapped addresses are like this:

::ffff:192.0.2.0

(or you can express the 32 bits of the IPv4 address as two
colon-separated hex strings in the usual IPv6 idiom.)

	Cheers,

	Matthew

--

-- 
Dr Matthew J Seaman MA, D.Phil.                   7 Priory Courtyard
                                                  Flat 3
PGP: http://www.infracaninophile.co.uk/pgpkey     Ramsgate
JID: matthew <at> infracaninophile.co.uk               Kent, CT11 9PW
Permalink | Reply | 2 comments |

Gmane