On Jan 28, 2010, at 9:31 AM, Jeff Squyres (jsquyres) wrote:
> How about <foo>0p for physical, such as Core0p? The "#" doesn't really mean / connote anything.
>
> -----
> € lstopo -p -
> Machine(993MB) + Socket0p + L2(2048KB)
> L1(32KB) + Core0p + P0p
> L1(32KB) + Core1p + P1p
> € lstopo -
> Machine(993MB) + Socket0 + L2(2048KB)
> L10(32KB) + Core0 + P0
> L11(32KB) + Core1 + P1
> -----
The more I look at a suffix of "p", the less I like it. :-\
I'm still not a fan of the "#" because it doesn't really mean / connote anything, but I do like the idea of some kind of a prefix better than a single-letter-suffix.
Some other random ideas:
- Print physical IDs in hex (doesn't necessarily connote "physical", either)
Example: Core0p1 + P0x1
- Prefix with capitol P
Example: CoreP1 + PP1
- Prefix with "0p", but still use decimal
Example: Core0p1 + P0p1
- ...?
--
Jeff Squyres
jsquyres_at_[hidden]
|
![[Flag]](../../../../../community/mirrors/flag-us.gif){kind=small}