September 2002 - Glasgow-haskell-users

Chipworks Inside Technology - New Circuit Analysis Reports
by Info 24 Sep '02

24 Sep '02

<http://www.chipworks.com/mail/09_2002/09_2002_mail_headerCAR.gif> Be competitive, rank your technology, and see what the competition is doing in the following just released circuit analysis reports and publications. Recently Released Reports Conexant <http://www.chipworks.com/reports/flyers/conexant/Conexant_CX74017-13P_ RF_Trans_CAR-0207-001.htm?> CX74017-13P RF Transceiver Circuit Analysis The Conexant CX74017 RF transceiver is a highly integrated device for use in multi-band, GSM/GPRS applications. It contains a receive path, a transmit path and a synthesizer section. Conexant <http://www.chipworks.com/reports/flyers/conexant/Conexant_CX77131_GaAs _PwrAmp_CAR-0206-003.htm?> CX77131-12P GaAs HBT Power Amplifier Chip Full Circuit Analysis The Conexant CX77131-12P is a Microwave Monolithic Integrated Circuit (MMIC) power amplifier module. The module includes the GaAs Heterojunction Bipolar Transistor (HBT) chip and some bias passive components. NetLogic <http://www.chipworks.com/reports/flyers/NetLogic/NetLogic_NL877313_IPC AM_CAR.htm?> Microsystems NL877313-50 IPCAM Ternary CAM Partial Circuit Analysis The new high-speed CAM device has an industry-leading monolithic density of more than 4 Mbits and a user-defined width of 72, 144 or 288 bits. This entry-width flexibility and large table depth vastly improves the performance of address table lookups for enterprise, campus and Internet edge routers. Nanya <mailto:info@chipworks.com?%20subject=Nanya%20NT5DS32M8AT-7K%20256Mb%20 DDR%20SDRAM%20Circuit%20Analysis%20Project> NT5DS32M8AT-7K 256Mb DDR SDRAM Circuit Analysis Double-Data Rate architecture featuring separate power and ground planes to improve noise immunity. Atheros <http://www.chipworks.com/reports/flyers/atheros/Atheros_AR5110_CAR.htm ?> AR5110 5GHz CMOS Transceiver Full Circuit Analysis This device is designed to provide a cost effective high-speed, high-capacity wireless LAN (WLAN) connectivity based on a 5GHz standard IEEE 802.11a. It is a two chip set which includes the AR5110 transceiver and the AR5210A baseband processor. Focused Technology Reviews with a circuit design focus: Phase <http://www.chipworks.com/publications/FTR/PLL_0206_001.htm?> Locked Loop (PLL) - FTR 0206-001 Intended for circuit designers, this comparative study provides real world examples of how PLL circuitry has been implemented by a number of different manufacturers. See what your competition is doing with regards to PLL design today. Analog <http://www.chipworks.com/publications/FTR/Analog_Digital_0206_002.htm?> to Digital Converter - FTR 0206-001 A comparative analysis of 6 different analog-to-digital converter (ADC) circuits from 6 different manufacturers. The circuits selected will represent a variety of ADC types. <http://www.chipworks.com/publications/FTR/HighspeedBuffers.htm?mail%20 ftrbuffers> Comparative Analysis of High Speed Buffers - FTR 0111-001 A comparative analysis of the Input and Output Buffers of 14 different devices from 12 different manufacturers. The selection of these Buffers was based on unique circuit features and their high speed application. <http://www.chipworks.com/publications/FTR/on_die_interconnects_0206_00 3.htm> A Comparative Analysis of On-Die Interconnect On-Die Interconnect is an invaluable resource in providing a comparison between different manufacturers backend interconnect processes to those who need to stay up-to-date on the latest backend process design right up to state-of-the-art copper technologies.. See a complete this of our <http://www.chipworks.com/publications/ftr.htm?mail%20%20FTRlibrary> Focused Technology Reviews The Fabless Semiconductor Association's (FSA) 2002 Suppliers Expo FSA is holding its annual premier event on October 3, 2002 at the Santa Clara Convention Center in Santa Clara, CA. FSA is dedicated to bringing together suppliers, fabless com-panies, IDM's and other organizations that play a vital role in the semiconductor industry of which Chipworks is proud to be part of. The goal of the Expo is to encourage partnerships with suppliers/vendors and illustrate what partnerships can accomplish within the industry. This year's Expo features more than 125 exhibitors/suppliers, allowing over 1,200 attendees. This is your opportunity to persue the latest services, products, and state-of-the-art technology available. Visit Chipworks at booth 112 and find out what's new inside technology. New Parts Ready for Analysis Cambridge <mailto:info@chipworks.com?%20subject=Cambridge%20Silicon%20Radio%20Sin gle%20Chip%20Bluetooth%20System> Silicon Radio Single Chip Bluetooth System BlueCore2-External is a single chip radio and baseband IC for Bluetooth 2.4GHz systems. It is implemented in 0.18 micron CMOS technology. When used with external flash containing the CSR Bluetooth software stack, it provides a fully compliant Bluetooth system for data and voice communications. Read <http://www.chipworks.com/ChipNews/2002_i02/ChipNews_i0202.htm?> the current edition of ChipNews - Chipworks Quarterly Newsletter Contact <mailto:info@chipworks.com?%20subject=mail%20MK> Chipworks for additional information about our services. Search <http://www.chipworks.com/webreports/webreports.asp> our library of analysis reports. <mailto:unsubscribe@chipworks.com?subject=Unsubscribe%20%20please...> Unsubscribe to Chipworks Inside Technology <http://www.chipworks.com/images/footer_600.gif> This e-mail message may contain client privileged and/or confidential information, and is intended only for the use of the individual or entity named above. If you have received this communication in error, please notify us immediately by reply e-mail and delete or discard this message. Thank you.

1 0

RE: unsafePerformIO
by Simon Peyton-Jones 24 Sep '02

24 Sep '02

The actions performed by unsafePerformIO are simply done at some entirely unpredictable time, perhaps interleaved with actions on the main execution path. The formal semantics in the notes doesn't have a good way to express that because the purely-functional part is given a denotational semantics... yet unsafePerformIO can occur in the middle of that. So it's tiresome to characterise in theory, and hard to predict in practice. You should only use it when the state it is fiddling with is well partitioned. Simon | -----Original Message----- | From: David Sabel [mailto:dsabel@stud.uni-frankfurt.de] | Sent: 20 September 2002 13:48 | To: Simon Peyton-Jones; glasgow-haskell-users(a)haskell.org | Subject: unsafePerformIO | | In read your paper ""Tackling the Awkward Squad: monadic input / output, | concurrency, exceptions, and foreign-language calls in Haskell", and have | a question about unsafePerformIO. | | In your operational semantic of the IO-Monad you tell nothing about, how | 'unsafe' IO actions are performed, is there another paper / documentation | about | this available, or can you - or someone else - give me a review about that? | | David | JWGU Frankfurt |

3 2

RE: unsafePerformIO
by Simon Peyton-Jones 24 Sep '02

24 Sep '02

Koen Based on this info, how would you like to write the notes you would like to see on unsafePerformIO? The starting point is at http://haskell.cs.yale.edu/ghc/docs/latest/html/base/GHC.IOBase.html#uns afePerformIO If you write the notes, we'll check their veracity and add them. We'll do the formatting too! Simon | -----Original Message----- | From: Simon Marlow [mailto:simonmar@microsoft.com] | Sent: 24 September 2002 13:59 | To: Koen Claessen; glasgow-haskell-users(a)haskell.org | Subject: RE: unsafePerformIO | | > But it is a fact that many of us have at least some idea of | > what happens "under the hood" when we use unsafePerformIO. | > This is also described in your paper "Stretching the storage | > manager: weak pointers and stable names in Haskell". | > | > However, I for example have no idea what happens when | > unsafely executing something that throws exceptions, | > performs a forkIO, something that uses MVar's, etc. | | Exceptions: an exception raised by the computation inside | unsafePerformIO will be propagated to the enclosing expression, as per | the normal semantics for imprecise exceptions. The exception raised by | an application of unsafePerformIO may of course also be imprecise; | consider 'unsafePerformIO $ (1/0 + error "foo") `seq` return ()'. | | The behaviour of forkIO and other side-effecting operations inside | unsafePerforIO can I think be explained by the following statement: if | an expression "unsafePerformIO e" has been reduced to head normal form, | then all the I/O computations in e have been performed. The exact | timing of the evaluation is underspecified, just as any other expression | in Haskell. However, if you're using unsafePerformIO with real side | effects, then I suspect that what you're doing is highly dodgy and you | should find another way to do it :-) | | Does that help? | | As for sharing, we currently don't provide any guarnatees, although we | should. It is currently the case that if you write | | a = unsafePerformIO (putStr "hello") | b = unsafePerformIO (putStr "hello") | | and both a and b are evaluated, then you may get either one or two | "hello"s on stdout. You can currently make things more deterministic by | (a) adding NOINLINE pragmas for a and b, and (b) using the flag -fno-cse | to disable common sub-expression elimination. Then you'll get exactly | two instances of "hello" on stdout, although we won't guarantee that | behaviour for ever. At some point we'll fix it so that unsafePerformIO | applications are never duplicated or coalesced. | | If you're interested in when unsafePerformIO is "safe" to use, see: | | http://www.haskell.org/pipermail/glasgow-haskell-users/2002-July/003683. | html | | (and see my followups for an alternative view). | | Cheers, | Simon | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users(a)haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

1 0

ghc-inplace exiting with "error 1" foolishness
by Dominic Cooney 24 Sep '02

24 Sep '02

Hi, I complained late last week that GHC failed to build because ghc-inplace couldn't do anything more complicated than print its version number. I tried again on a clean machine, this time remembering to replace Cygwin's sh.exe with bash.exe, and mounting C:\mingw as /mingw and C:\mingw\include as /mingw/mingw32/include. GHC apparently builds now (although the build hasn't finished... I've only 256 MB RAM and serious thrashing goes on when the build is doing this xargs ar thing!). Thanks for your help and patience! Dominic Cooney

2 1

RE: Newbie building GHC
by Simon Peyton-Jones 24 Sep '02

24 Sep '02

| In retrospect I think that unless "configure" is doing something really | tricky, if you want the Mingw32 "ar" and "ld" to be picked up instead of the | Cygwin equivalents then you must have the Mingw32 bin directory in your path | ahead of the Cygwin bin directory. The right thing to do is what the building guide says. The GHC build system is careful to use the newly-built GHC for compiling even .c files, and for doing linking. The newly-built GHC will use the gcc that you point to with the --with-gcc configure command. It will not use a path in any shape or form (unless you omit --with-gcc in which case it'll pick whatever random gcc is lying around; probably not the right one). The only way I know to make all this work is to use a straightforward Cygwin environment for building (with absolutely no mingw stuff in your path) and use --with-gcc in your configure line. Other things may work, but you're on your own. Simon | | You should also remove the Mingw bin "make.exe" as it is seriously flawed | and will not suffice to do much at all, let alone build GHC. | | Cheers | | Mike Thomas. | | | ----- Original Message ----- | From: "Simon Peyton-Jones" <simonpj(a)microsoft.com> | To: "Mike Thomas" <miketh(a)brisbane.paradigmgeo.com>; | <glasgow-haskell-users(a)haskell.org> | Cc: <mthomas(a)gil.com.au> | Sent: Tuesday, September 24, 2002 5:30 PM | Subject: RE: Newbie building GHC | | | | - Run the following following commands: | | | | export PATH=/cygdrive/c/lang/mingw32/bin::${PATH} | | | | make clean; ./configure --build=mingw >& configure.log | | Uh oh. You aren't following the instructions in Section 12.4 of the GHC | building guide! | http://haskell.cs.yale.edu/ghc/docs/latest/html/building/winbuild.html | | (a) I believe that it's important to run autoconf | (b) I've never seen this --build option for configure. What I use (as | the building guide says) is: | | ./configure --host=i386-unknown-mingw32 --with-gcc=/mingw/bin/gcc | | You need to run configure in fptools/ghc first actually. (No need to | autoconf there.) | | | What you did may work, but I am not confident in it. For example where | are you saying where to find the (mingw) gcc that GHC should use? | | Simon |

1 0

RE: Newbie building GHC
by Simon Peyton-Jones 24 Sep '02

24 Sep '02

| - Run the following following commands: | | export PATH=/cygdrive/c/lang/mingw32/bin::${PATH} | | make clean; ./configure --build=mingw >& configure.log Uh oh. You aren't following the instructions in Section 12.4 of the GHC building guide! http://haskell.cs.yale.edu/ghc/docs/latest/html/building/winbuild.html (a) I believe that it's important to run autoconf (b) I've never seen this --build option for configure. What I use (as the building guide says) is: ./configure --host=i386-unknown-mingw32 --with-gcc=/mingw/bin/gcc You need to run configure in fptools/ghc first actually. (No need to autoconf there.) What you did may work, but I am not confident in it. For example where are you saying where to find the (mingw) gcc that GHC should use? Simon

2 2

RE: Dynamic/runtime loading with GHC
by Simon Peyton-Jones 24 Sep '02

24 Sep '02

Great! Simon M is going to take a look when he has a moment. Meanwhile I'd like to encourage those of you who are keen on this stuff [Duncan, Andre?] to write up (a) how to use it (in SGML, to add to the user manual); see fptools/ghc/docs/using (b) how it is implemented (in HTML, to add to the GHC Commentary), including not only the new stuff, but what you know about the existing stuff see fptools/ghc/docs/comm (c) patches for what needs to change in the GHC and/or libraries code base to support it That way it'll get into our main code base and get maintained. Simon M has way too much to do! Simon | -----Original Message----- | From: Andre Pang [mailto:ozone@algorithm.com.au] | Sent: 21 September 2002 15:19 | To: glasgow-haskell-users(a)haskell.org | Cc: Martin Norbäck; Ganesh Sittampalam; Shae Matijs Erisson; Manuel Chakravarty; | Duncan Coutts | Subject: Dynamic/runtime loading with GHC | | Hi all, | | I've whipped up an example tarball of how to do "runtime loading" | (similar to dynamic loading, a.k.a. dlopen() or LoadLibrary()) in | GHC. You can find it here: | | http://www.algorithm.com.au/wiki/hacking/haskell.ghc_runtime_loading | | It's a little example stdin text filter program, that loads in .o | and .so "plugins" at runtime. New in version 1.1 is the ability | to load .so files as plugins :). I think that with a bit more | polish, we may even be able to rename this to a dynamic loader | one day. | | Have fun! | | | -- | #ozone/algorithm <ozone(a)algorithm.com.au> - trust.in.love.to.save | _______________________________________________ | Glasgow-haskell-users mailing list | Glasgow-haskell-users(a)haskell.org | http://www.haskell.org/mailman/listinfo/glasgow-haskell-users

1 0

RE: Newbie building GHC
by Simon Marlow 24 Sep '02

24 Sep '02

> I ran strace with -ff option. Attached is the trace file. I > can see many "No > such file or directory" in the trace. Can you see the problem? Here's the problem line: [pid 1514] execve("n/sh", ["/bin/sh", "-c", "gcc Adjustor.c -o /tmp/ghc1513.s"...], [/* 36 vars */]) = -1 ENOENT (No such file or directory) so for some unknown reason, execve() is trying to run "n/sh" rather than "/bin/sh". execve() is called by the Haskell System.system function, via execl(). I have absolutely no idea what is causing this :) Simon PJ said it happened to him at some point, but neither of us can remember the cause. Just in case it gives us any clues, can you tell us: - what OS flavour/version is on your system - what version of GHC is installed, and where you got it from, - what GHC sources you are trying to build (source bundle or CVS?) also, could you try building & running a small program that calls System.system on your machine with the installed GHC, and see if it works as expected? Cheers, Simon

1 0

RE: ghci takes all available CPU time
by Simon Marlow 24 Sep '02

24 Sep '02

> On our system (Solaris) the interpreter takes all available > CPU time just > waiting for input. The problem seems to be restricted to our site and > to the latest release of ghc (5.04). We really need to fix > this problem > since many of us are using SunRays with a shared server. Any > idea of what may cause this behaviour? I've seen this before, and I think it was caused by an old version of the readline library. The current release (5.04.1) certainly doesn't eat all the CPU on our Sparc here. Perhaps you could try 5.04.1? Cheers, Simon

1 0

ghci takes all available CPU time
by Niklas Sörensson 24 Sep '02

24 Sep '02

Hi, On our system (Solaris) the interpreter takes all available CPU time just waiting for input. The problem seems to be restricted to our site and to the latest release of ghc (5.04). We really need to fix this problem since many of us are using SunRays with a shared server. Any idea of what may cause this behaviour? /Niklas

1 0