Hi! I found strange behaviour of l4_i386_ipc_wait(). In case of interrupt IPC, it return wrong value of the thread id of IPC source. *** Version $gcc -v Reading specs from /usr/lib/gcc-lib/i686-pc-linux-gnu/2.95.3/specs gcc version 2.95.3 20010315 (release) $as -v GNU assembler version 2.11 (i686-pc-linux-gnu) using BFD version 2.11 $ld -v GNU ld version 2.11 (with BFD 2.11) *** UUencoded source code begin 644 test.tar.gz M'XL(`-=5CCT``^U:67/;1A+V*Z;*_V%B20XIDR!(4Y:+BE/10<M:4\>*<C;> MV(L"@:&("`<#@#KBTO[V_7IP\U!<J;6=![1*)&:FIZ>[IZ>/`<T@TM3AHR\* M6EO37G2[CS1-:V]O:<5O@N?MYYU'VO96]WFWLZUUM@A_^_F+1US[LFS%,`LC M(^#\D2-NC8?Q1!!^#8:^+JQ98FQ[@NOZ[G#8/]X;O-=UMF9[IC.S!/_!Z;9, MWYW:C@C4R8],88H:B=N(L?[)Q?G[FJZ;0:1;,]>]T_5ZVDD:C=)6TE`<83@* M&N958T.$4Z:8AN,HP_?'>Z<#_63WN%]S#=L#8B`*Y).^UB;?!SJG_TO''QD. M-WTOC(*9&?E!J'*^V9)+*+*-%4:WK-U37/_:46K4JJ//N&6*'S@*/27-W_Y0 M.N.$E\VXR[`L1UGOQC24W]RITAZQ3B_FBR<`AHYG3F3O^7[$)\*P1,";/!2" MN]0]0K<ZB=E:L\?0,13<'[R&;E,*JN'8EQ[G7;8FG%`0Q>]2I`:/)D;$76%X MW%#]6<2-,!3N"+M`%.=)=$#"L^QQIC9WI,<\U7-<Q_<N\:W=MO=V#_8TK<-+ M@.5=X](V2_2S.71BZ:@NS!D[QF78X[NG[R[TMX-W!X?]902:11+-`@\+F$5[ M*(A!2\6/.K8G6+9&:6;)+&FRXQO6RJFZL(S(4!0E180V'T#VK!AU%(8/8I8X MBH\!31->%-Q)>\5A`@V&KW!JF$)I:YTNDT>DQQ@P_S41V'_O+C7Y:R.P#1@! M]X2P;*QA%$\!MT-N"=,Q`F%QV^/[SYXU&-_D=L1O`CL2(=")LQL_H/'(AY$) M_KTJ3\SWL%TSLGV/9MQ,;'-"Y`P^]8$)JTNPC>DT\*?@(A*EI0/8*'D1H-%1 M4IF43TUH\GB-QA/C2>,G$+@<V5'X-S]*K4WEK+,[.#H\J77JL32D/*799E(8 MN4.DK*'MVM"Y<]=8JL]8C8X=1MP?I^H,:2)T98EY#89\C$:RW]A![H]^`Z%P M0:/6$HW^/=1C)>KYUI&M@L^!8^,*"8`CON0:?Y+_=31M.\W_D/A1_M?N:L^K M_.]KP!IG:WS]R.KQU!(:U[RM=CAVI=/2VJWG;=[N]MHO>EO;?.)/W%DTX?W; M*5]G:YB93I)N"QITIWAV$;/T:!+`ER,W,/&-<$&I6[OSDB?]B&L6+?T9X`AX M);BH,#0N$7;N3$=@;<P-37@M<KJ#;B$K'-N7L\"07I(X8_98_,YKZY\&7?W@ MZ/R^03G1H(M'_HJK:LOI,O**A<X,E<6^+DV&UVL2H]XBH6FA$@^.;RY=G]MC M"L'B%B$@!#->RLW1R?!B=S`H\*0G77K.1P$IX88U4WY2-E2Y-'*2-4ZJ19`) M0YO2A+/SHY]W+_I$;DB\"N_:#GP7"0C;?SW8/1SR9Z^4YBG;/SM+F\C5C@_8 M6G-L3H1YU?3$#6/#\WT=*/R5HB"+B%1S.HT[A]1ER@*2L<'1GFPW'=?D3<</ MK^Q(#V?3J1]$:#NNB\\K$7CX"MS+@+&+W?/#_@7F$%7PMPS`-4*:@40`5G4% M*XJ3%`9KZO%X'GWVUFNG>_\8HE+`)AW4>?.$-R^H4$&NV='BM-/GZS_Q]?_( M;20E@V':36J#=3DUT7:=,)LA;[I\>VLKW_>1[;78:G-0P\B"+[D4V&<JH>!8 MP"6*D,)Q8&O),OIQ?SC</>S7LQZY<-.2=(N6D*Q;0BN27#6!)>;@^M8,QF") M*0Q(>*8MPMR&UFL'_3,(_ZW=4`7?"-(3_277>#C^M[O;VE82_[<Z+]IQ_.]J M5?S_&H`B1F;Y1V?[TI\B@EE"96T47$Y7MY^_?*';4U._,>RH5N<H-1!87#B3 M"(6(L%0Y]P+A3]8UP6P:24H(?$X8A\5NXJ=L2X]X7.[,`L%O;.01:!H>8OJU MX<Q0^M0T5>/((]J::L0W%V_\&W$M@@8(!N`M7\3T72J`)97("*^X;2%B:LA; M:E?B;N0;<8T;8]<9ZT">_<*-4;',BDLL#@ZYAQ*4"EAA,;;98H6+,,S$@NKD MQ\>E3LOV%_L<>R0['Y<OTL*[D/Z)?DB7:0N#4/1"/X7*%@C2MSII%4?'SNRV MY1KF!'5C:[K`B!R^??FB-3)"H5^[\7!RW8=*CP+SJ.8UKNL*6B-]*I]S%-M+ M,.J*[<GANA0I&3X[/;_0W^X=Z`>[%[L/9&_:[0MMR2Q$JXMWPX=FM?-91^?_ MU&DF<AR%`CKQ87L.#5W[V#:9=06NGNUXC;K![J?'3,E$S<@T9%90WWG,[HE2 MOL[;_ON]T]WS`WWOW>O7_7-]>/3O?I&K6ON''U[65^,?[P[?EO"7$6RVI1[E M]8EBT6V,'D&NDU-]_\WNR6%?45XIM:0?"4%[A\6X9,\\7Q+"P.(Q&@_.O!`5 MNH`N)G!G)"DQHZ?H=#ANM<Y.D12V8/]M+",(:9TN5F*F8X0A#XP;G<X1_\2F MLY%CFSVFI'VQ;G>80D04?"+/2\]<<M8SE(PKX"I(C`@Q'633P+Y&90#2U`,5 MX&#X-SDM._@]Q86/CFR3)WA%C+D5RXC36:2/9N/QW"BI"*/$SY)18E510KK9 M(VY+#JRAH.F&EY8_%7!GF_FLD>]3"FZ'DJ0(=,_W=.%.HSNXS4_(Q.#U/%XC MM#H'7=WT9UZTP^\+>BB1(H^KPTL1$SNLQ`66D8*7629A;61XM[#K8C^).==_ M[3OX=J375G)FLO&2,24(E@A__9BCQ$Q2Q-"G=&5D[;![[&G<G9I*KU>4`E8V M-E!J[3#)5XZ4<4Y6^GAA.!.`AL%!B?L<+9-#HK&R#/-H),VRPTD22B%X/J,@ M9"X"R\>S@X&-EE$+\H2U)T=C?N?/Y$5F-+'#M(!ME-Y<+,:AD./H7X5/8%I$ MJ[PXIF%MV(QT>SD+JTX.BQDJ.P<R'A<Q<R>._&D3Y%.7#_?83M;/1I^^XO]= M<"LQ3N9A:5XCFU)?QFGY2((_)1"7*(U%,,=E!N:$]D0Q)P4&2\&'''G!2#-K M^H@)<G)^-)X]*S5)J&4^/"<(<XKG+(88&3_@,(G9LK'^=?DT<JOC6K8V6902 M#^4"9N>!C+5POF-&\_9#TN7B-9O4OI?OW<A%@1T2BYQ[+E7F#9DRYXGH"MOV MY'5'@Y6\H[()DB$J=ZF%\G%4XGVA14BFG53^3'L4/&@$?<4TE/BH%9>4MR9G M^_KP#5G$\?"PP?/8J14;YB1#/NG_W#]O\(0[K+3<2V4:D1PNFO+*,$3RYH'] M!FS<($[/:\X5\JC@@P0+S!W.YQ28Z"\.M:`4,T(X:`=))$CMD73H0E]$X2X4 MCM1AID1*'W5I&7`-Q1Q"!O(QKTF\[V"!L<FU-F7V'LZF(KBV0SBIF/7D'DO> MWF$SZ&+.$Y?8BVM!^IS"M0GY.D!!5/.B<>W)1MC;L'H\UU&/GQ\?GJ.$\&Q* M#(+?^<:L)Y6,%&7C]H/WI`%%*(JNOSX:].D5A:X/CD[D4Y'SAIQ#_&-K*"*J MSD2%&^2ORDG2,TJ2TO&)?9F<,_E2F=[$13XWH@AI-#W1A$12DF*)"0;"%)"V M)K=NT?J>TG8_O6EG8Q='Q_W3=Q<UK4%_;?JL`R,SOK+ZDTGG_61:O!NI+HM* M-`WO>QS1U+F`=Q*1]X,`F[5&JM2ZOTAEQFKBL9X@='CGF9/`]^P_Y`L[>L%& M!,C)D\RN4&U+=1(MD*[XZK-(1OS91U";/X&Y%CAQ1L%$D2](P8\-?XO4DBY6 M_2F].Y,G!S4?#B`Y0^D+F4(<4PRM[>R0KM:@3/F6FBG_C\U;X%/)=BO>&26. M]<6-(8M.UH$G09YB81?DU'M62$G1(U_',=9J\=0'Y"8,"YWK+YKN,MEDB?XT MF0">,\_P=>1*3/0\QK"(<_6#]R$:^K/`%'SC5MVXY:CE0[H8CX]Y*AS,C:RO MV$[,K]B5S-6A'[EJNN*'Z`TTTQM`;3#Z7WKTP<^E8'SCE^(ZB1(;966G@4!- M'.\<\3,C,-RV),WE<R=^SN\BXD5X[.<;^0`Q38XZR:2D3>+XX9,:(QPN.''S M2KX(MBFD7<[L<,)'(KH1PN-TX20O4\C7EJY7U)1&`&DB?F/<T5MF^IV.$8AT MCZSL7D1>DFAJ)YGTSL-YB68(H,*YHU<3EB]">?-!B2>0I/M&%G*C\5=90)B/ MD7$FJDA$OKSJJ?,L;2`W432V>R[?1*>6EL?\>.'"4@\125]&XVDA8UE=EE)T M+A2"Z0LI^MG%KWE)_)$2$!K>E"-3JBJ>KL!%D?Z13F46\^4O3U*+6(C\)(=[ MIT\#09JBVRUJH30(=N82@'+\3S,E:*A4%20)B]RGSRP_'J@^2M8@S_>J,D3& MDV)^03JOK4@H_BP=H+ES6<"R!"`)^8@323!#3I,&["F=3D$_KTCB6.P@\VQ( M*6J=Q\'VY.?=P1$2A8-DF+9A<:BPA;JX11BY#*4Y9I<VI<>GY=U]FM+%8V(9 MY>\X"Y`:P=*NV$E;Y4!<S&J2_"5YMUK(6!;YC$G)G"H/Q4MRUSF,Q.QE[VJ! M:'"U3/)'95>41@90UI(UR6\%,\^CN#X2L$;YLR*XPAGUK,C`DD"7B/50%%\9 M[MBRNZ;$3[,D]KW-[Y'MR#8<I$N6/`_S94'QDFNN$LRNN^@,%`YQ[BJ*/F+) MP2][CD*E@*(%[AE3DZIQ58*V6DUIO%J9$OQYCO&7=)^Y`HIM:;!2>1)GD20D M438I!6(V"WJO%?5=E\J[SZ]C%+K6H(V@7XX6KH'3:KNT67`C22DJ;770+;YA M,")S`E\@M;#9HAL!=6E0J>\H"EWHIBM8/J=KY[BTI\)=32U!7E1(#YTZ0S-. MT"=RY)Y^>.>(&F;!;[9E7VJ,P\F,`O6-5[1`+;W!_M8OD2JHH((**JB@@@HJ JJ*"""BJHH((**JB@@@HJJ*"""BJHH((**JB@@@HJ^&;P/[=^;\8`4``` ` end Best regards Alexei
Hi! On Mon Sep 23, 2002 at 01:06:56 +0000, Alexey Mandrookin wrote:
I found strange behaviour of l4_i386_ipc_wait(). In case of interrupt IPC, it return wrong value of the thread id of IPC source.
You're waiting for a specific interrupt, how useful it is to know the "source" if you already have the dest id (this specific interrupt)? If you're waiting for an interrupt, use ipc_receive, don't care about source stuff (also see p. 29 of the L4-V2 ref manual). Adam -- Adam adam@os.inf.tu-dresden.de Lackorzynski http://os.inf.tu-dresden.de/~adam/
Hi! From: "Adam Lackorzynski" <adam@os.inf.tu-dresden.de>
On Mon Sep 23, 2002 at 01:06:56 +0000, Alexey Mandrookin wrote:
I found strange behaviour of l4_i386_ipc_wait(). In case of interrupt IPC, it return wrong value of the thread id of IPC source.
You're waiting for a specific interrupt, how useful it is to know the "source" if you already have the dest id (this specific interrupt)?
Due to synchronous style of micro kernel, it is very useful to know IPC source. Point is that thread wait events from two sources and it need exactly distinguish who is sent event. Let me explain problem. Thread 5.1 is an interrupt handler. Thread 5.0 is a user task. By the term, user task cannot wait for key press events, it need only occasionally, when no calculations or other work present. The way of hardware interrupt is: OS interrupt -> Interrupt handler (5.1) -> User task (5.0) As you can see, the Task 5.0 must wait for IPC from thread 5.1, otherwise task 5.1 will locked in l4_i386_ipc_send () function. In that case, next interrupt can be lost or pended. Idea is send signal from 5.0 to 5.1, which will inform interrupt thread what a user task waits for data. Next, then hardware interrupt coming, it check what user task ready for receive (i.e. in IPC wait state). If user task waits, then IPC send from 5.1 to 5.0, otherwise data puts into buffer. Of course, thread 5.1 can try to send IPC to thread 5.0 in any case, and if l4_i386_ipc_send() return L4_IPC_SETIMEOUT status, put event into buffer. In that case possible situation, when data present at buffer, user task waits for event and no new interrupts coming. Another example: COM1 and COM2 generate different interrupt. It is better to write single device driver for both ports. It that case also need to know the interrupt source.
If you're waiting for an interrupt, use ipc receive, don't care about source stuff (also see p. 29 of the L4-V2 ref manual).
Yes, I read in that document, but there some differences with http://os.inf.tu-dresden.de/papers_ps/fiasco-spec.ps.gz Anyway, returned values not covers by any L4 documents and look strange. Best regards Alexei
On Tuesday 24 September 2002 10:40, Alexey Mandrookin wrote:
From: "Adam Lackorzynski" <adam@os.inf.tu-dresden.de>
On Mon Sep 23, 2002 at 01:06:56 +0000, Alexey Mandrookin wrote:
I found strange behaviour of l4_i386_ipc_wait(). In case of interrupt IPC, it return wrong value of the thread id of IPC source.
You're waiting for a specific interrupt, how useful it is to know the "source" if you already have the dest id (this specific interrupt)?
Due to synchronous style of micro kernel, it is very useful to know IPC source.
Right. Should be fixed now in Fiasco, try cvs update in fiasco/src. Thanks for the reporting this bug. Please report further bugreports regarding Fiasco to fiasco-bugs@os.inf.tu-dresden.de Frank -- Frank Mehnert ## Dept. of Computer Science, Dresden University of Technology, Germany ## ## E-Mail: fm3@os.inf.tu-dresden.de http://os.inf.tu-dresden.de/~fm3 ##
participants (3)
-
Adam Lackorzynski -
Alexey Mandrookin -
Frank Mehnert