Annotation of OpenXM_contrib2/asir2000/io/ox.c, Revision 1.40
1.5 noro 1: /*
2: * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED
3: * All rights reserved.
4: *
5: * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,
6: * non-exclusive and royalty-free license to use, copy, modify and
7: * redistribute, solely for non-commercial and non-profit purposes, the
8: * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and
9: * conditions of this Agreement. For the avoidance of doubt, you acquire
10: * only a limited right to use the SOFTWARE hereunder, and FLL or any
11: * third party developer retains all rights, including but not limited to
12: * copyrights, in and to the SOFTWARE.
13: *
14: * (1) FLL does not grant you a license in any way for commercial
15: * purposes. You may use the SOFTWARE only for non-commercial and
16: * non-profit purposes only, such as academic, research and internal
17: * business use.
18: * (2) The SOFTWARE is protected by the Copyright Law of Japan and
19: * international copyright treaties. If you make copies of the SOFTWARE,
20: * with or without modification, as permitted hereunder, you shall affix
21: * to all such copies of the SOFTWARE the above copyright notice.
22: * (3) An explicit reference to this SOFTWARE and its copyright owner
23: * shall be made on your publication or presentation in any form of the
24: * results obtained by use of the SOFTWARE.
25: * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
1.6 noro 26: * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
1.5 noro 27: * for such modification or the source code of the modified part of the
28: * SOFTWARE.
29: *
30: * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL
31: * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND
32: * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS
33: * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'
34: * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY
35: * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.
36: * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,
37: * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY
38: * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL
39: * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES
40: * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES
41: * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY
42: * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF
43: * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART
44: * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
45: * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
46: * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
1.40 ! ohara 47: * $OpenXM: OpenXM_contrib2/asir2000/io/ox.c,v 1.39 2016/08/24 05:33:58 ohara Exp $
1.5 noro 48: */
1.1 noro 49: #include "ca.h"
50: #include "parse.h"
1.3 noro 51: #include "signal.h"
1.1 noro 52: #include "wsio.h"
53: #include "ox.h"
54:
55: #define ISIZ sizeof(int)
56:
57: extern Obj VOIDobj;
58:
1.22 noro 59: extern int nserver_102, myrank_102;
1.1 noro 60: extern int ox_need_conv;
1.14 noro 61: int ox_usr1_sent, ox_int_received, critical_when_signal;
1.1 noro 62: unsigned int ox_serial;
63: int ox_flushing;
64: int ox_batch;
65: int ox_check=1;
1.2 noro 66: int ox_exchange_mathcap=1;
1.13 noro 67: JMP_BUF ox_env;
1.1 noro 68:
69: MATHCAP my_mathcap;
70:
71: struct oxcap {
72: unsigned int ox;
73: int ncap;
74: int *cap;
75: };
76:
77: struct mathcap {
78: LIST mc;
79: unsigned int version;
80: char *servername;
81: int nsmcap;
82: unsigned int *smcap;
83: int noxcap;
84: struct oxcap *oxcap;
1.38 noro 85: int no_ox_reset;
1.1 noro 86: };
87:
88: struct oxcap *my_oxcap;
89:
90: static struct mathcap my_mc;
91: static struct mathcap *remote_mc;
92: static int remote_mc_len;
93:
1.12 noro 94: void mclist_to_mc(LIST mclist,struct mathcap *mc);
1.30 ohara 95: Obj asir_pop_one();
96: void asir_push_one(Obj);
1.12 noro 97:
1.35 fujimoto 98: #if defined(VISUAL) || defined(__MINGW32__)
1.9 noro 99: /* XXX : mainly used in engine2000/io.c, but declared here */
1.33 fujimoto 100: typedef void *HANDLE;
1.9 noro 101: HANDLE hStreamNotify,hStreamNotify_Ack;
102:
103: void cleanup_events()
104: {
105: /* ox_watch_stream may be waiting for hStreamNotify_Ack to be set */
106:
107: ResetEvent(hStreamNotify);
108: SetEvent(hStreamNotify_Ack);
109: }
110: #endif
111:
1.38 noro 112: /* 1 if no_ox_reset, 0 if ox_reset OK, -1 if invalid */
113: int no_ox_reset(int s)
114: {
115: if ( remote_mc && s >= 0 && s < remote_mc_len )
116: return remote_mc[s].no_ox_reset;
117: else
118: return -1;
119: }
120:
1.12 noro 121: void ox_resetenv(char *s)
1.1 noro 122: {
1.35 fujimoto 123: #if defined(VISUAL) || defined(__MINGW32__)
1.9 noro 124: cleanup_events();
125: #endif
1.1 noro 126: fprintf(stderr,"%s\n",s);
1.13 noro 127: LONGJMP(ox_env,1);
1.1 noro 128: }
129:
130: static int available_cmo[] = {
131: CMO_NULL, CMO_INT32, CMO_DATUM, CMO_STRING, CMO_MATHCAP,
132: CMO_ERROR, CMO_ERROR2, CMO_LIST, CMO_MONOMIAL32,
133: CMO_ZZ, CMO_QQ, CMO_ZERO,
134: CMO_DMS_GENERIC, CMO_DMS_OF_N_VARIABLES,
135: CMO_RING_BY_NAME, CMO_DISTRIBUTED_POLYNOMIAL,
1.25 takayama 136: CMO_RATIONAL,
1.1 noro 137: CMO_RECURSIVE_POLYNOMIAL, CMO_UNIVARIATE_POLYNOMIAL,
138: CMO_INDETERMINATE,
1.37 ohara 139: CMO_TREE, CMO_BIGFLOAT32, CMO_COMPLEX,
1.1 noro 140: 0
141: };
142:
1.17 noro 143: static int asir_available_sm[] = {
144: SM_dupErrors, SM_getsp, SM_popSerializedLocalObject,
145: SM_popCMO, SM_popString, SM_pushCMOtag, SM_setName,
146: SM_evalName, SM_executeStringByLocalParser,
147: SM_executeStringByLocalParserInBatchMode,
148: SM_executeFunction, SM_shutdown, SM_pops,
149: SM_mathcap, SM_setMathcap, SM_nop,
150: SM_beginBlock, SM_endBlock,
151: 0
152: };
153:
1.15 noro 154: static int ox_asir_available_sm[] = {
1.1 noro 155: SM_dupErrors, SM_getsp, SM_popSerializedLocalObject,
1.7 noro 156: SM_popCMO, SM_popString, SM_pushCMOtag, SM_setName,
1.1 noro 157: SM_evalName, SM_executeStringByLocalParser,
158: SM_executeStringByLocalParserInBatchMode,
159: SM_executeFunction, SM_shutdown, SM_pops,
160: SM_mathcap, SM_setMathcap, SM_nop,
1.29 noro 161: SM_beginBlock, SM_endBlock, SM_executeFunctionSync,
1.21 noro 162: SM_set_rank_102, SM_tcp_accept_102, SM_tcp_connect_102, SM_reset_102,
1.24 noro 163: SM_bcast_102, SM_reduce_102,
1.1 noro 164: 0
165: };
166:
1.15 noro 167: static int ox_plot_available_sm[] = {
168: SM_dupErrors, SM_getsp, SM_popSerializedLocalObject,
169: SM_popCMO, SM_popString, SM_setName,
170: SM_evalName, SM_executeStringByLocalParser,
171: SM_executeFunction, SM_shutdown, SM_pops,
1.16 noro 172: SM_mathcap, SM_setMathcap, SM_nop,
1.15 noro 173: 0
174: };
175:
1.1 noro 176: /*
177: mathcap =
178: [
179: version list,
180: SMlist,
181: [
182: [OX tag,CMO tag list],
183: [OX tag,CMO tag list],
184: ...
185: ]
186: ]
187: */
188:
189: void create_my_mathcap(char *system)
190: {
191: NODE n,n0;
192: int i,k;
193: STRING str;
1.12 noro 194: LIST sname,smlist,oxlist,cmolist,asirlist,oxasir,r;
1.1 noro 195: USINT tag,t,t1;
196:
197: if ( my_mathcap )
198: return;
199: /* version */
200: MKSTR(str,system);
201: MKUSINT(t,OX_VERSION);
202: n0 = mknode(2,t,str); MKLIST(sname,n0);
203:
1.15 noro 204: /* sm tag */
205: n0 = 0;
1.17 noro 206: if ( !strcmp(system,"asir") ) {
207: for ( i = 0; k = asir_available_sm[i]; i++ ) {
208: NEXTNODE(n0,n); MKUSINT(t,k); BDY(n) = (pointer)t;
209: }
210: } else if ( !strcmp(system,"ox_asir") ) {
1.15 noro 211: for ( i = 0; k = ox_asir_available_sm[i]; i++ ) {
212: NEXTNODE(n0,n); MKUSINT(t,k); BDY(n) = (pointer)t;
213: }
214: NEXT(n) = 0;
215: } else if ( !strcmp(system,"ox_plot") ) {
216: for ( i = 0; k = ox_plot_available_sm[i]; i++ ) {
217: NEXTNODE(n0,n); MKUSINT(t,k); BDY(n) = (pointer)t;
218: }
219: NEXT(n) = 0;
1.1 noro 220: }
1.15 noro 221: MKLIST(smlist,n0);
1.1 noro 222:
223: /* creation of [OX_DATA,CMO list] */
224: /* ox tag */
225: MKUSINT(tag,OX_DATA);
226: /* cmo tag */
227: for ( n0 = 0, i = 0; k = available_cmo[i]; i++ ) {
228: NEXTNODE(n0,n); MKUSINT(t,k); BDY(n) = (pointer)t;
229: }
230: NEXT(n) = 0; MKLIST(cmolist,n0);
231: /* [ox tag, cmo list] */
232: n0 = mknode(2,tag,cmolist);
233: MKLIST(oxlist,n0);
234:
235: /* creation of [OX_LOCAL_OBJECT_ASIR,ASIR tag] */
236: /* ox tag */
237: MKUSINT(tag,OX_LOCAL_OBJECT_ASIR);
238: /* local tag */
239: MKUSINT(t,ASIR_VL);
240: MKUSINT(t1,ASIR_OBJ);
241: n0 = mknode(2,t,t1); MKLIST(cmolist,n0);
242: /* [ox tag, local list] */
243: n0 = mknode(2,tag,cmolist);
244: MKLIST(asirlist,n0);
245:
246: /* [oxlist,asirlist] */
247: n0 = mknode(2,oxlist,asirlist); MKLIST(oxasir,n0);
248:
249: /* [version,sm,oxasir] */
250: n0 = mknode(3,sname,smlist,oxasir); MKLIST(r,n0);
251:
252: MKMATHCAP(my_mathcap,r);
253: mclist_to_mc(r,&my_mc);
254: my_oxcap = my_mc.oxcap;
255: }
256:
257: void store_remote_mathcap(int s,MATHCAP mc)
258: {
259: if ( !remote_mc ) {
260: remote_mc_len = 16;
261: remote_mc = (struct mathcap *)
262: CALLOC(remote_mc_len,sizeof(struct mathcap));
263: }
264: if ( s >= remote_mc_len ) {
265: remote_mc_len *= 2;
266: remote_mc = (struct mathcap *)REALLOC(remote_mc,
267: remote_mc_len*sizeof(struct mathcap));
268: }
269: mclist_to_mc(BDY(mc),&remote_mc[s]);
270: }
271:
272: /*
273: mathcap =
274: [
275: version list,
276: SMlist,
277: [
278: [OX tag,CMO tag list],
279: [OX tag,CMO tag list],
280: ...
281: ]
282: ]
283:
284: ===>
285:
286: mathcap
287: | version | &servername | nsmcap | &smcap | noxcap | &oxcap |
288: smcap
289: | SM_xxx | SM_yyy | ... |
290: oxcap
291: | oxcap[0] | oxcap[1] | ... |
292: oxcap[i]
293: | ox | ncap | &cap |
294: cap
295: | CMO_xxx | CMO_yyy | ... |
296: */
297:
298: void mclist_to_mc(LIST mclist,struct mathcap *mc)
299: {
1.12 noro 300: int l,i,j;
301: NODE n,t,oxcmo,cap;
1.1 noro 302: int *ptr;
303:
304: /*
305: [
306: [ version,servername ]
307: [sm1,sm2,...],
308: [
309: [o1,[n11,n12,...]],
310: [o2,[n21,n22,...]],
311: ...
312: ]
1.38 noro 313: (optional)[s1,s2,...] (no_ox_reset)
1.1 noro 314: ]
315: */
316: n = BDY(mclist);
317: mc->mc = mclist;
318: mc->version = BDY((USINT)BDY(BDY((LIST)BDY(n))));
319: mc->servername = BDY((STRING)BDY(NEXT(BDY((LIST)BDY(n)))));
320:
321: /* smcap */
322: n = NEXT(n);
323: t = BDY((LIST)BDY(n));
324: mc->nsmcap = length(t);
325: mc->smcap = (int *)MALLOC_ATOMIC(mc->nsmcap*sizeof(int));
326: for ( j = 0, ptr = mc->smcap; j < mc->nsmcap; j++, t = NEXT(t) )
327: ptr[j] = BDY((USINT)BDY(t));
328:
329: n = NEXT(n);
330: n = BDY((LIST)BDY(n));
331: /* n -> BDY([[OX1,CMOlist1], [OX2,CMOlist2], ...]) */
332: mc->noxcap = length(n);
333: mc->oxcap = (struct oxcap *)MALLOC(mc->noxcap*sizeof(struct oxcap));
334: for ( j = 0; j < mc->noxcap; j++, n = NEXT(n) ) {
335: oxcmo = BDY((LIST)BDY(n));
336: /* oxcmo = BDY([OXj,CMOlistj]) */
337: mc->oxcap[j].ox = BDY((USINT)BDY(oxcmo));
338: cap = BDY((LIST)BDY(NEXT(oxcmo)));
339: /* cap ->BDY(CMOlistj) */
340: l = length(cap);
341: mc->oxcap[j].ncap = l;
342: mc->oxcap[j].cap = (unsigned int *)CALLOC(l+1,sizeof(unsigned int));
343: for ( t = cap, ptr = mc->oxcap[j].cap, i = 0; i < l; t = NEXT(t), i++ )
344: ptr[i] = BDY((USINT)BDY(t));
345: }
1.38 noro 346: /* check of no_ox_reset */
347: mc->no_ox_reset = 0;
348: n = BDY(mclist);
349: if ( length(n) >= 4 ) {
350: t = BDY((LIST)ARG3(n));
351: for ( ; t; t = NEXT(t) )
352: if ( !strcmp(BDY((STRING)BDY(t)),"no_ox_reset") )
353: mc->no_ox_reset = 1;
354: }
1.1 noro 355: }
356:
1.12 noro 357: int check_sm_by_mc(int s,unsigned int smtag)
1.1 noro 358: {
359: struct mathcap *rmc;
360: int nsmcap,i;
361: unsigned int *smcap;
362:
363: /* XXX : return 1 if remote_mc is not available. */
364: if ( !remote_mc )
365: return 1;
366: rmc = &remote_mc[s];
367: nsmcap = rmc->nsmcap;
368: smcap = rmc->smcap;
369: if ( !smcap )
370: return 1;
371: for ( i = 0; i < nsmcap; i++ )
372: if ( smcap[i] == smtag )
373: break;
374: if ( i == nsmcap )
375: return 0;
376: else
377: return 1;
378: }
379:
1.12 noro 380: int check_by_mc(int s,unsigned int oxtag,unsigned int cmotag)
1.1 noro 381: {
382: struct mathcap *rmc;
383: int noxcap,ncap,i,j;
384: struct oxcap *oxcap;
385: unsigned int *cap;
386:
387: /* XXX : return 1 if remote_mc is not available. */
388: if ( !remote_mc )
389: return 1;
390: rmc = &remote_mc[s];
391: noxcap = rmc->noxcap;
392: oxcap = rmc->oxcap;
393: if ( !oxcap )
394: return 1;
395: for ( i = 0; i < noxcap; i++ )
396: if ( oxcap[i].ox == oxtag )
397: break;
398: if ( i == noxcap )
399: return 0;
400: ncap = oxcap[i].ncap;
401: cap = oxcap[i].cap;
402: for ( j = 0; j < ncap; j++ )
403: if ( cap[j] == cmotag )
404: break;
405: if ( j == ncap )
406: return 0;
407: else
408: return 1;
409: }
410:
411: void begin_critical() {
412: critical_when_signal = 1;
413: }
414:
415: void end_critical() {
416: critical_when_signal = 0;
417: if ( ox_usr1_sent ) {
1.12 noro 418: ox_usr1_sent = 0;
1.35 fujimoto 419: #if !defined(VISUAL) && !defined(__MINGW32__)
1.12 noro 420: ox_usr1_handler(SIGUSR1);
421: #else
422: ox_usr1_handler(0);
423: #endif
1.1 noro 424: }
425: if ( ox_int_received ) {
426: ox_int_received = 0; int_handler(SIGINT);
427: }
428: }
429:
1.26 noro 430: extern NODE user_int_handler;
1.18 noro 431:
1.12 noro 432: void ox_usr1_handler(int sig)
1.1 noro 433: {
1.26 noro 434: NODE t;
435:
1.35 fujimoto 436: #if !defined(VISUAL) && !defined(__MINGW32__)
1.39 ohara 437: set_signal_for_restart(SIGUSR1,ox_usr1_handler);
1.1 noro 438: #endif
439: if ( critical_when_signal ) {
440: fprintf(stderr,"usr1 : critical\n");
441: ox_usr1_sent = 1;
442: } else {
443: ox_flushing = 1;
1.26 noro 444: if ( user_int_handler ) {
1.18 noro 445: fprintf(stderr,
1.26 noro 446: "usr1 : calling the registered exception handlers...");
447: for ( t = user_int_handler; t; t = NEXT(t) )
448: bevalf((FUNC)BDY(t),0);
1.18 noro 449: fprintf(stderr, "done.\n");
450: }
1.40 ! ohara 451: LEAVE_SIGNAL_CS_ALL;
1.1 noro 452: ox_resetenv("usr1 : return to toplevel by SIGUSR1");
453: }
454: }
455:
456: void clear_readbuffer()
457: {
458: #if defined(linux)
459: iofp[0].in->_IO_read_ptr = iofp[0].in->_IO_read_end;
460: #elif defined(__FreeBSD__)
461: fpurge(iofp[0].in);
462: #endif
463: /*
464: sock = fileno(iofp[0].in);
465: interval.tv_sec = (int)0;
466: interval.tv_usec = (int)0;
467:
468: FD_ZERO(&r); FD_ZERO(&w); FD_ZERO(&e);
469: FD_SET(sock,&r);
470: while ( 1 ) {
471: n = select(FD_SETSIZE,&r,&w,&e,&interval);
472: if ( !n )
473: break;
474: read(sock,&c,1);
475: }
476: */
477: }
478:
1.20 noro 479: #if MPI
1.1 noro 480: int ox_data_is_available(int s)
481: {
482: return 1;
483: }
484:
485: void wait_for_data(int s)
486: {
487: return;
488: }
1.28 ohara 489:
490: void wait_for_data_102(int rank)
491: {
492: return;
493: }
1.1 noro 494: #else
495: int ox_data_is_available(int s)
496: {
497: return FP_DATA_IS_AVAILABLE(iofp[s].in);
498: }
499:
500: void wait_for_data(int s)
501: {
502: fd_set r;
503: int sock;
504:
505: if ( !FP_DATA_IS_AVAILABLE(iofp[s].in) ) {
1.35 fujimoto 506: #if defined(VISUAL) || defined(__MINGW32__)
1.1 noro 507: sock = iofp[s].in->fildes;
508: FD_ZERO(&r);
1.12 noro 509: FD_SET((unsigned int)sock,&r);
1.1 noro 510: select(0,&r,NULL,NULL,NULL);
511: #else
512: sock = fileno(iofp[s].in);
513: FD_ZERO(&r);
514: FD_SET(sock,&r);
515: select(FD_SETSIZE,&r,NULL,NULL,NULL);
516: #endif
517: }
518: }
1.21 noro 519:
520: void wait_for_data_102(int rank)
521: {
522: fd_set r;
523: int sock;
524:
525: if ( !FP_DATA_IS_AVAILABLE(iofp_102[rank].in) ) {
1.35 fujimoto 526: #if defined(VISUAL) || defined(__MINGW32__)
1.21 noro 527: sock = iofp_102[rank].in->fildes;
528: FD_ZERO(&r);
529: FD_SET((unsigned int)sock,&r);
530: select(0,&r,NULL,NULL,NULL);
531: #else
532: sock = fileno(iofp_102[rank].in);
533: FD_ZERO(&r);
534: FD_SET(sock,&r);
535: select(FD_SETSIZE,&r,NULL,NULL,NULL);
536: #endif
537: }
538: }
1.1 noro 539: #endif
540:
541: void ox_send_data(int s,pointer p)
542: {
1.8 noro 543: ERR err;
544:
545: if ( ox_check && !ox_check_cmo(s,(Obj)p) ) {
1.27 noro 546: create_error(&err,ox_serial,"ox_send_data : Mathcap violation",0);
1.8 noro 547: p = (pointer)err;
548: }
1.1 noro 549: begin_critical();
550: ox_write_int(s,OX_DATA);
551: ox_write_int(s,ox_serial++);
552: ox_write_cmo(s,p);
553: ox_flush_stream(s);
554: end_critical();
555: }
556:
1.21 noro 557: void ox_send_data_102(int rank,pointer p)
558: {
559: ERR err;
560:
561: begin_critical();
562: ox_write_int_102(rank,OX_DATA);
563: ox_write_int_102(rank,ox_serial++);
564: ox_write_cmo_102(rank,p);
565: ox_flush_stream_102(rank);
566: end_critical();
1.22 noro 567: }
568:
1.24 noro 569: void ox_bcast_102(int root)
1.22 noro 570: {
571: Obj data;
1.23 noro 572: int r,mask,id,src,dst;
1.22 noro 573:
1.23 noro 574: r = myrank_102-root;
1.24 noro 575: if ( r == 0 )
576: data = (Obj)asir_pop_one();
577:
1.23 noro 578: if ( r < 0 ) r += nserver_102;
579: for ( mask = 1; mask < nserver_102; mask <<= 1 )
1.22 noro 580: if ( r&mask ) {
1.23 noro 581: src = myrank_102-mask;
582: if ( src < 0 ) src += nserver_102;
1.22 noro 583: ox_recv_102(src,&id,&data);
584: break;
585: }
586: for ( mask >>= 1; mask > 0; mask >>= 1 )
1.23 noro 587: if ( (r+mask) < nserver_102 ) {
588: dst = myrank_102+mask;
589: if ( dst >= nserver_102 ) dst -= nserver_102;
1.22 noro 590: ox_send_data_102(dst,data);
591: }
1.24 noro 592: asir_push_one(data);
1.23 noro 593: }
594:
595: /* func : an arithmetic funcion func(vl,a,b,*c) */
596:
1.24 noro 597: void ox_reduce_102(int root,void (*func)())
1.23 noro 598: {
1.24 noro 599: Obj data,data0,t;
1.23 noro 600: int r,mask,id,src,dst;
601:
602: r = myrank_102-root;
603: if ( r < 0 ) r += nserver_102;
1.24 noro 604: data = (Obj)asir_pop_one();
1.23 noro 605: for ( mask = 1; mask < nserver_102; mask <<= 1 )
606: if ( r&mask ) {
607: dst = (r-mask)+root;
608: if ( dst >= nserver_102 ) dst -= nserver_102;
609: ox_send_data_102(dst,data);
610: break;
611: } else {
612: src = r+mask;
613: if ( src < nserver_102 ) {
614: src += root;
615: if ( src >= nserver_102 ) src -= nserver_102;
616: ox_recv_102(src,&id,&data0);
617: (*func)(CO,data,data0,&t); data = t;
618: }
619: }
1.24 noro 620: asir_push_one(r?0:data);
1.21 noro 621: }
622:
1.1 noro 623: void ox_send_cmd(int s,int id)
624: {
625: if ( ox_check && !check_sm_by_mc(s,id) )
626: error("ox_send_cmd : Mathcap violation");
627: begin_critical();
628: ox_write_int(s,OX_COMMAND);
629: ox_write_int(s,ox_serial++);
630: ox_write_int(s,id);
631: ox_flush_stream(s);
632: end_critical();
633: }
634:
635: void ox_send_sync(int s)
636: {
637: begin_critical();
638: ox_write_int(s,OX_SYNC_BALL);
639: ox_write_int(s,ox_serial++);
640: ox_flush_stream(s);
641: end_critical();
642: }
643:
1.21 noro 644: void ox_send_sync_102(int rank)
645: {
646: begin_critical();
647: ox_write_int_102(rank,OX_SYNC_BALL);
648: ox_write_int_102(rank,ox_serial++);
649: ox_flush_stream_102(rank);
650: end_critical();
651: }
652:
1.1 noro 653: void ox_send_local_data(int s,Obj p)
654: {
655: begin_critical();
656: ox_write_int(s,OX_LOCAL_OBJECT_ASIR);
657: ox_write_int(s,ox_serial++);
658: ox_write_int(s,ASIR_OBJ);
1.12 noro 659: saveobj((FILE *)iofp[s].out,p);
1.1 noro 660: ox_flush_stream(s);
661: end_critical();
662: }
663:
1.21 noro 664: void ox_send_local_data_102(int rank,Obj p)
665: {
666: begin_critical();
667: ox_write_int_102(rank,OX_LOCAL_OBJECT_ASIR);
668: ox_write_int_102(rank,ox_serial++);
669: ox_write_int_102(rank,ASIR_OBJ);
670: saveobj((FILE *)iofp_102[rank].out,p);
671: ox_flush_stream_102(rank);
672: end_critical();
673: }
674:
1.1 noro 675: void ox_send_local_ring(int s,VL vl)
676: {
677: begin_critical();
678: ox_write_int(s,OX_LOCAL_OBJECT_ASIR);
679: ox_write_int(s,ox_serial++);
680: ox_write_int(s,ASIR_VL);
1.12 noro 681: savevl((FILE *)iofp[s].out,vl);
1.1 noro 682: ox_flush_stream(s);
683: end_critical();
684: }
685:
1.21 noro 686: void ox_send_local_ring_102(int rank,VL vl)
687: {
688: begin_critical();
689: ox_write_int_102(rank,OX_LOCAL_OBJECT_ASIR);
690: ox_write_int_102(rank,ox_serial++);
691: ox_write_int_102(rank,ASIR_VL);
692: savevl((FILE *)iofp_102[rank].out,vl);
693: ox_flush_stream_102(rank);
694: end_critical();
695: }
696:
1.12 noro 697: unsigned int ox_recv(int s, int *id, Obj *p)
1.1 noro 698: {
699: unsigned int cmd,serial;
700: USINT ui;
701:
702: wait_for_data(s);
703: begin_critical();
704: ox_read_int(s,id);
705: ox_read_int(s,&serial);
706: switch ( *id ) {
707: case OX_COMMAND:
708: ox_read_int(s,&cmd);
709: MKUSINT(ui,cmd);
1.12 noro 710: *p = (Obj)ui;
1.1 noro 711: break;
712: case OX_DATA:
713: ox_read_cmo(s,p);
714: break;
715: case OX_LOCAL_OBJECT_ASIR:
716: ox_read_local(s,p);
717: break;
718: default:
719: *p = 0;
720: break;
721: }
722: end_critical();
723: return serial;
724: }
725:
1.21 noro 726: unsigned int ox_recv_102(int rank, int *id, Obj *p)
727: {
728: unsigned int cmd,serial;
729: USINT ui;
730:
731: wait_for_data_102(rank);
732: begin_critical();
733: ox_read_int_102(rank,id);
734: ox_read_int_102(rank,&serial);
735: switch ( *id ) {
736: case OX_COMMAND:
737: ox_read_int_102(rank,&cmd);
738: MKUSINT(ui,cmd);
739: *p = (Obj)ui;
740: break;
741: case OX_DATA:
742: ox_read_cmo_102(rank,p);
743: break;
744: case OX_LOCAL_OBJECT_ASIR:
745: ox_read_local_102(rank,p);
746: break;
747: default:
748: *p = 0;
749: break;
750: }
751: end_critical();
752: return serial;
753: }
754:
1.12 noro 755: void ox_get_result(int s,Obj *rp)
1.1 noro 756: {
757: int id;
758: Obj obj,r;
759: int level;
760:
761: level = 0;
762: r = 0;
763: do {
1.12 noro 764: ox_recv(s,&id,&obj);
1.1 noro 765: if ( id == OX_COMMAND ) {
766: switch ( ((USINT)obj)->body ) {
767: case SM_beginBlock:
768: level++;
769: break;
770: case SM_endBlock:
771: level--;
772: }
773: } else
774: r = obj;
775: } while ( level );
776: *rp = r;
777: }
778:
779: void ox_read_int(int s, int *n)
780: {
781: ox_need_conv = iofp[s].conv;
1.12 noro 782: read_int((FILE *)iofp[s].in,n);
1.1 noro 783: }
784:
1.21 noro 785: void ox_read_int_102(int rank, int *n)
786: {
787: ox_need_conv = iofp_102[rank].conv;
788: read_int((FILE *)iofp_102[rank].in,n);
789: }
790:
1.1 noro 791: void ox_read_cmo(int s, Obj *rp)
792: {
793: ox_need_conv = iofp[s].conv;
1.12 noro 794: read_cmo((FILE *)iofp[s].in,rp);
1.1 noro 795: }
796:
1.21 noro 797: void ox_read_cmo_102(int rank, Obj *rp)
798: {
799: ox_need_conv = iofp_102[rank].conv;
800: read_cmo((FILE *)iofp_102[rank].in,rp);
801: }
802:
803:
1.1 noro 804: void ox_read_local(int s, Obj *rp)
805: {
806: int id;
807:
808: ox_need_conv = iofp[s].conv;
1.12 noro 809: read_int((FILE *)iofp[s].in,&id);
1.1 noro 810: switch ( id ) {
811: case ASIR_VL:
1.12 noro 812: loadvl((FILE *)iofp[s].in);
1.1 noro 813: *rp = VOIDobj;
814: break;
815: case ASIR_OBJ:
1.12 noro 816: loadobj((FILE *)iofp[s].in,rp);
1.1 noro 817: break;
818: default:
819: error("ox_read_local : unsupported id");
820: break;
821: }
822: }
823:
1.21 noro 824: void ox_read_local_102(int rank, Obj *rp)
825: {
826: int id;
827:
828: ox_need_conv = iofp_102[rank].conv;
829: read_int((FILE *)iofp_102[rank].in,&id);
830: switch ( id ) {
831: case ASIR_VL:
832: loadvl((FILE *)iofp_102[rank].in);
833: *rp = VOIDobj;
834: break;
835: case ASIR_OBJ:
836: loadobj((FILE *)iofp_102[rank].in,rp);
837: break;
838: default:
839: error("ox_read_local_102 : unsupported id");
840: break;
841: }
842: }
843:
1.1 noro 844: void ox_write_int(int s, int n)
845: {
846: ox_need_conv = iofp[s].conv;
1.12 noro 847: write_int((FILE *)iofp[s].out,&n);
1.1 noro 848: }
849:
1.21 noro 850: void ox_write_int_102(int rank, int n)
851: {
852: ox_need_conv = iofp_102[rank].conv;
853: write_int((FILE *)iofp_102[rank].out,&n);
854: }
855:
1.1 noro 856: void ox_write_cmo(int s, Obj obj)
857: {
858: ox_need_conv = iofp[s].conv;
1.12 noro 859: write_cmo((FILE *)iofp[s].out,obj);
1.1 noro 860: }
861:
1.21 noro 862: void ox_write_cmo_102(int rank, Obj obj)
863: {
864: ox_need_conv = iofp_102[rank].conv;
865: write_cmo((FILE *)iofp_102[rank].out,obj);
866: }
867:
1.1 noro 868: int ox_check_cmo(int s, Obj obj)
869: {
870: NODE m;
871:
872: if ( !obj )
873: return 1;
874: switch ( OID(obj) ) {
875: case O_MATHCAP: case O_STR: case O_ERR: case O_USINT: case O_VOID:
1.10 noro 876: case O_BYTEARRAY:
1.1 noro 877: return 1;
878: case O_P:
879: if ( !check_by_mc(s,OX_DATA,CMO_RECURSIVE_POLYNOMIAL) )
880: return 0;
881: else
882: return ox_check_cmo_p(s,(P)obj);
883: case O_R:
884: if ( !check_by_mc(s,OX_DATA,CMO_RATIONAL) )
885: return 0;
886: else if ( !check_by_mc(s,OX_DATA,CMO_RECURSIVE_POLYNOMIAL) )
887: return 0;
888: else
889: return ox_check_cmo_p(s,NM((R)obj)) && ox_check_cmo_p(s,DN((R)obj));
890: case O_DP:
891: return ox_check_cmo_dp(s,(DP)obj);
892: case O_N:
1.4 noro 893: switch ( NID((Num)obj) ) {
894: case N_Q:
895: if ( INT((Q)obj) )
896: return check_by_mc(s,OX_DATA,CMO_ZZ);
897: else
898: return check_by_mc(s,OX_DATA,CMO_QQ);
1.36 noro 899: case N_R: case N_B: case N_C:
1.4 noro 900: return 1;
901: default:
902: return 0;
903: }
904: break;
1.1 noro 905: case O_LIST:
906: for ( m = BDY((LIST)obj); m; m = NEXT(m) )
907: if ( !ox_check_cmo(s,(BDY(m))) )
908: return 0;
1.11 noro 909: return 1;
910: case O_QUOTE: /* XXX */
1.1 noro 911: return 1;
1.32 noro 912: case O_MAT: /* MAT is sent as a list */
913: return 1;
1.1 noro 914: default:
915: return 0;
916: }
917: }
918:
919: void ox_get_serverinfo(int s, LIST *rp)
920: {
921: if ( remote_mc )
922: *rp = remote_mc[s].mc;
923: else {
924: MKLIST(*rp,0);
925: }
926: }
1.15 noro 927:
928: char *ox_get_servername(int s)
929: {
930: return (remote_mc && remote_mc[s].servername)?remote_mc[s].servername:0;
931: }
932:
1.1 noro 933:
934: int ox_check_cmo_p(int s, P p)
935: {
936: DCP dc;
937:
938: if ( NUM(p) )
939: return ox_check_cmo(s,(Obj)p);
940: else {
941: for ( dc = DC(p); dc; dc = NEXT(dc) )
942: if ( !ox_check_cmo_p(s,COEF(dc)) )
943: return 0;
944: return 1;
945: }
946: }
947:
948: int ox_check_cmo_dp(int s, DP p)
949: {
950: MP m;
951:
952: for ( m = BDY(p); m; m = NEXT(m) )
953: if ( !ox_check_cmo(s,(Obj)m->c) )
954: return 0;
955: return 1;
956: }
957:
1.12 noro 958: void ox_flush_stream(int s)
1.1 noro 959: {
960: if ( ox_batch )
961: return;
1.35 fujimoto 962: #if defined(VISUAL) || defined(__MINGW32__)
1.1 noro 963: if ( _fileno(&iofp[s].out->fp) < 0 )
964: cflush(iofp[s].out);
965: else
1.20 noro 966: #elif MPI
1.1 noro 967: if ( (char)fileno(&iofp[s].out->fp) < 0 )
968: cflush(iofp[s].out);
969: else
970: #endif
1.12 noro 971: fflush((FILE *)iofp[s].out);
1.1 noro 972: }
973:
1.12 noro 974: void ox_flush_stream_force(int s)
1.1 noro 975: {
1.35 fujimoto 976: #if defined(VISUAL) || defined(__MINGW32__)
1.1 noro 977: if ( _fileno(&iofp[s].out->fp) < 0 )
978: cflush(iofp[s].out);
979: else
1.20 noro 980: #elif MPI
1.1 noro 981: if ( (char)fileno(&iofp[s].out->fp) < 0 )
982: cflush(iofp[s].out);
983: else
984: #endif
1.12 noro 985: fflush((FILE *)iofp[s].out);
1.21 noro 986: }
987:
988: void ox_flush_stream_102(int rank)
989: {
990: if ( !ox_batch )
991: ox_flush_stream_force_102(rank);
992: }
993:
994: void ox_flush_stream_force_102(int rank)
995: {
996: if ( iofp_102[rank].out )
1.35 fujimoto 997: #if defined(VISUAL) || defined(__MINGW32__)
1.21 noro 998: cflush(iofp_102[rank].out);
999: #elif MPI
1000: cflush(iofp_102[rank].out);
1001: #else
1002: fflush(iofp_102[rank].out);
1003: #endif
1.1 noro 1004: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>