kyak changed the topic of #qi-hardware to: Copyleft hardware - http://qi-hardware.com | hardware hackers join here to discuss Ben NanoNote, atben/atusb 802.15.4 wireless, anelok and other community driven hw projects | public logging at http://en.qi-hardware.com/irclogs and http://irclog.whitequark.org/qi-hardware
jwhitmore has quit [Ping timeout: 246 seconds]
viric_ has joined #qi-hardware
viric has quit [Ping timeout: 255 seconds]
viric_ is now known as viric
Haswell has quit [Quit: Saliendo]
atommann has joined #qi-hardware
arhuaco has quit [Remote host closed the connection]
arhuaco has joined #qi-hardware
xiangfu has joined #qi-hardware
rjeffries has joined #qi-hardware
xiangfu has quit [Remote host closed the connection]
Haqpyfeet has quit []
wildlander has joined #qi-hardware
wildlander has quit [Read error: Connection reset by peer]
arhuaco has quit [Ping timeout: 265 seconds]
arhuaco has joined #qi-hardware
archang has joined #qi-hardware
sb0 has joined #qi-hardware
marcus has joined #qi-hardware
* eintopf is searching for an alloy expert - http://alloy.mit.edu/alloy/
<eintopf> is somebody here which knows this language PROMELA and did this stuff - I have no idea and need to write ~1 month an exam about that
<eintopf> :-)
archang has quit [Ping timeout: 276 seconds]
pcercuei has joined #qi-hardware
atommann has quit [Ping timeout: 255 seconds]
<wpwrak> how does alloy relate to promela ?
<wpwrak> i use(d) promela. not recently, though. very nice tool.
<wpwrak> lets you find protocol bugs you never even dreamed could exist ;-)
<eintopf> ah, no
<eintopf> promela was to other tool
<eintopf> spin
<eintopf> I think promela will be at the end of the course as well
<eintopf> this stuff
<eintopf> "Peterson's solution to the mutual exclusion problem (1981)" -> this works indeed, when the variables for shared memory fits into one data bit width of memory
<eintopf> so somehow atomic, like in avr mcu it would be one byte
<eintopf> (I suppose)
<whitequark> all loads/stores on avr are atomic
<whitequark> even two-byte
<whitequark> they'll never be interrupted
<whitequark> this actually screwed up timings on my VGA waveform generator
<larsc> even on a multicore AVR? ;)
<whitequark> larsc: since no multicore AVRs exist, yes
<eintopf> whitequark: it's also one cycle?
<whitequark> eintopf: no, multiple cyclse
<eintopf> for a one byte integer tyype?
<eintopf> ah
<whitequark> hm
<eintopf> but the datasheet says, some ops are really one cycle
<whitequark> sure, the datasheet is right
<eintopf> :D
<eintopf> don't know which ops
<whitequark> the two-byte load/stores are multiple cycles
<whitequark> for one byte, I dont' remember
<eintopf> ah and two-bytes is also not interuptable
<eintopf> interesting
<eintopf> and >4 bytes? That's some linking big number library then
<eintopf> ehm >2 bytes
<whitequark> there are no >2 byte stores in avr
<whitequark> it doesn't have any >2 byte registers
<eintopf> yea, okay then avrlibc to some bignum lib
<eintopf> s/to/do
<qi-bot> eintopf meant: "yea, okay then avrlibc do some bignum lib"
<whitequark> huh?
<eintopf> I can use a uint32_t
<whitequark> multiple instructions
<eintopf> even uint64_t
<whitequark> unless you cli/sei around the load/store, it is not atomic
<eintopf> yes, that's why I do always when I will have something atomic in avr
<eintopf> whitequark: do I need to do this in a isr?
<eintopf> an*
<whitequark> no
<whitequark> don't forget volatile too
<eintopf> ah, yes
valhalla has quit [Ping timeout: 256 seconds]
valhalla has joined #qi-hardware
wolfspraul has joined #qi-hardware
valhalla has quit [Remote host closed the connection]
valhalla has joined #qi-hardware
valhalla has quit [Ping timeout: 252 seconds]
valhalla has joined #qi-hardware
ysionneau has quit [Ping timeout: 255 seconds]
ysionneau has joined #qi-hardware
sb0 has quit [Quit: Leaving]
pcercuei has quit [Ping timeout: 276 seconds]
pcercuei has joined #qi-hardware
<eintopf> if an spi device has something like a sleep state, if it's a normal behaviour that the sleep state has no register access
<eintopf> or are there also spi devices outside which have register access even in sleep state
* eintopf need to know to make this configurable by a flag or not
<eintopf> grml, I found now another spi device which have the possibility to access the register while sleep
pcercuei has quit [Ping timeout: 245 seconds]
wolfspraul has quit [Quit: leaving]
Ornoterm1s has quit [Quit: leaving]
Ornotermes has joined #qi-hardware
jwhitmore has joined #qi-hardware
nicksydney_ has joined #qi-hardware
nicksydney has quit [Ping timeout: 272 seconds]
jwhitmore has quit [Ping timeout: 276 seconds]
apelete has quit [Ping timeout: 252 seconds]
mth has quit [Read error: Connection reset by peer]
mth has joined #qi-hardware
wildlander has joined #qi-hardware