Annotation of OpenXM_contrib2/asir2018/io/ox.c, Revision 1.4
1.1 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
26: * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
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.4 ! ohara 47: * $OpenXM: OpenXM_contrib2/asir2018/io/ox.c,v 1.3 2019/12/13 14:40:50 fujimoto Exp $
1.1 noro 48: */
49: #include "ca.h"
50: #include "parse.h"
51: #include "signal.h"
52: #include "wsio.h"
53: #include "ox.h"
54:
55: #define ISIZ sizeof(int)
56:
57: extern Obj VOIDobj;
58:
59: extern int nserver_102, myrank_102;
60: extern int ox_need_conv;
61: int ox_usr1_sent, ox_int_received, critical_when_signal;
62: unsigned int ox_serial;
63: int ox_flushing;
64: int ox_batch;
65: int ox_check=1;
66: int ox_exchange_mathcap=1;
67: JMP_BUF ox_env;
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;
85: int no_ox_reset;
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:
94: void mclist_to_mc(LIST mclist,struct mathcap *mc);
95: Obj asir_pop_one();
96: void asir_push_one(Obj);
97:
98: #if defined(VISUAL) || defined(__MINGW32__)
99: /* XXX : mainly used in engine2000/io.c, but declared here */
100: typedef void *HANDLE;
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:
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:
121: void ox_resetenv(char *s)
122: {
123: #if defined(VISUAL) || defined(__MINGW32__)
124: cleanup_events();
125: #endif
126: fprintf(stderr,"%s\n",s);
127: LONGJMP(ox_env,1);
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,
136: CMO_RATIONAL,
137: CMO_RECURSIVE_POLYNOMIAL, CMO_UNIVARIATE_POLYNOMIAL,
138: CMO_INDETERMINATE,
139: CMO_TREE, CMO_BIGFLOAT32, CMO_COMPLEX,
140: 0
141: };
142:
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:
154: static int ox_asir_available_sm[] = {
155: SM_dupErrors, SM_getsp, SM_popSerializedLocalObject,
156: SM_popCMO, SM_popString, SM_pushCMOtag, SM_setName,
157: SM_evalName, SM_executeStringByLocalParser,
158: SM_executeStringByLocalParserInBatchMode,
159: SM_executeFunction, SM_shutdown, SM_pops,
160: SM_mathcap, SM_setMathcap, SM_nop,
161: SM_beginBlock, SM_endBlock, SM_executeFunctionSync,
162: SM_set_rank_102, SM_tcp_accept_102, SM_tcp_connect_102, SM_reset_102,
163: SM_bcast_102, SM_reduce_102,
164: 0
165: };
166:
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,
172: SM_mathcap, SM_setMathcap, SM_nop,
173: 0
174: };
175:
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;
194: LIST sname,smlist,oxlist,cmolist,asirlist,oxasir,r;
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:
204: /* sm tag */
205: n0 = 0;
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") ) {
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;
220: }
221: MKLIST(smlist,n0);
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: {
300: int l,i,j;
301: NODE n,t,oxcmo,cap;
302: int *ptr;
303:
304: /*
305: [
306: [ version,servername ]
307: [sm1,sm2,...],
308: [
309: [o1,[n11,n12,...]],
310: [o2,[n21,n22,...]],
311: ...
312: ]
313: (optional)[s1,s2,...] (no_ox_reset)
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: }
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: }
355: }
356:
357: int check_sm_by_mc(int s,unsigned int smtag)
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:
380: int check_by_mc(int s,unsigned int oxtag,unsigned int cmotag)
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:
1.4 ! ohara 411: #if !defined(VISUAL_CONSOLE)
1.2 noro 412: extern int Im_ox_plot;
1.3 fujimoto 413: #if defined(ANDROID)
414: int Im_ox_plot = 0;
415: #endif
1.4 ! ohara 416: #endif
1.2 noro 417:
1.1 noro 418: void begin_critical() {
419: critical_when_signal = 1;
420: }
421:
422: void end_critical() {
423: critical_when_signal = 0;
424: if ( ox_usr1_sent ) {
425: ox_usr1_sent = 0;
426: #if !defined(VISUAL) && !defined(__MINGW32__)
427: ox_usr1_handler(SIGUSR1);
428: #else
429: ox_usr1_handler(0);
430: #endif
431: }
432: if ( ox_int_received ) {
433: ox_int_received = 0; int_handler(SIGINT);
434: }
435: }
436:
437: extern NODE user_int_handler;
438: extern int caught_intr,in_gc;
439:
440: void ox_usr1_handler(int sig)
441: {
442: NODE t;
443:
444: #if !defined(VISUAL) && !defined(__MINGW32__)
445: set_signal_for_restart(SIGUSR1,ox_usr1_handler);
446: #endif
1.4 ! ohara 447: #if !defined(VISUAL_CONSOLE)
1.2 noro 448: if ( Im_ox_plot ) {
449: ox_flushing = 1;
450: ox_send_sync(0);
451: return;
452: }
1.4 ! ohara 453: #endif
1.1 noro 454: if ( critical_when_signal ) {
455: fprintf(stderr,"usr1 : critical\n");
456: ox_usr1_sent = 1;
457: } else if ( in_gc ) {
458: fprintf(stderr,"usr1 : in_gc\n");
459: caught_intr = 2;
460: } else {
461: ox_flushing = 1;
462: if ( user_int_handler ) {
463: fprintf(stderr,
464: "usr1 : calling the registered exception handlers...");
465: for ( t = user_int_handler; t; t = NEXT(t) )
466: bevalf((FUNC)BDY(t),0);
467: fprintf(stderr, "done.\n");
468: }
469: LEAVE_SIGNAL_CS_ALL;
470: ox_resetenv("usr1 : return to toplevel by SIGUSR1");
471: }
472: }
473:
474: void clear_readbuffer()
475: {
1.3 fujimoto 476: #if defined(ANDROID)
477: fpurge(iofp[0].in);
478: #elif defined(linux)
1.1 noro 479: iofp[0].in->_IO_read_ptr = iofp[0].in->_IO_read_end;
480: #elif defined(__FreeBSD__)
481: fpurge(iofp[0].in);
482: #endif
483: /*
484: sock = fileno(iofp[0].in);
485: interval.tv_sec = (int)0;
486: interval.tv_usec = (int)0;
487:
488: FD_ZERO(&r); FD_ZERO(&w); FD_ZERO(&e);
489: FD_SET(sock,&r);
490: while ( 1 ) {
491: n = select(FD_SETSIZE,&r,&w,&e,&interval);
492: if ( !n )
493: break;
494: read(sock,&c,1);
495: }
496: */
497: }
498:
499: #if MPI
500: int ox_data_is_available(int s)
501: {
502: return 1;
503: }
504:
505: void wait_for_data(int s)
506: {
507: return;
508: }
509:
510: void wait_for_data_102(int rank)
511: {
512: return;
513: }
514: #else
515: int ox_data_is_available(int s)
516: {
517: return FP_DATA_IS_AVAILABLE(iofp[s].in);
518: }
519:
520: void wait_for_data(int s)
521: {
522: fd_set r;
523: int sock;
524:
525: if ( !FP_DATA_IS_AVAILABLE(iofp[s].in) ) {
526: #if defined(VISUAL) || defined(__MINGW32__)
527: sock = iofp[s].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[s].in);
533: FD_ZERO(&r);
534: FD_SET(sock,&r);
535: select(FD_SETSIZE,&r,NULL,NULL,NULL);
536: #endif
537: }
538: }
539:
540: void wait_for_data_102(int rank)
541: {
542: fd_set r;
543: int sock;
544:
545: if ( !FP_DATA_IS_AVAILABLE(iofp_102[rank].in) ) {
546: #if defined(VISUAL) || defined(__MINGW32__)
547: sock = iofp_102[rank].in->fildes;
548: FD_ZERO(&r);
549: FD_SET((unsigned int)sock,&r);
550: select(0,&r,NULL,NULL,NULL);
551: #else
552: sock = fileno(iofp_102[rank].in);
553: FD_ZERO(&r);
554: FD_SET(sock,&r);
555: select(FD_SETSIZE,&r,NULL,NULL,NULL);
556: #endif
557: }
558: }
559: #endif
560:
561: void ox_send_data(int s,pointer p)
562: {
563: ERR err;
564: Obj p0;
565:
566: p0 = (Obj)p;
567: if ( ox_check && !ox_check_cmo(s,(Obj)p) ) {
568: create_error(&err,ox_serial,"ox_send_data : Mathcap violation",0);
569: p = (pointer)err;
570: }
571: begin_critical();
572: ox_write_int(s,OX_DATA);
573: ox_write_int(s,ox_serial++);
574: ox_write_cmo(s,p);
575: ox_flush_stream(s);
576: end_critical();
577: }
578:
579: void ox_send_data_102(int rank,pointer p)
580: {
581: ERR err;
582:
583: begin_critical();
584: ox_write_int_102(rank,OX_DATA);
585: ox_write_int_102(rank,ox_serial++);
586: ox_write_cmo_102(rank,p);
587: ox_flush_stream_102(rank);
588: end_critical();
589: }
590:
591: void ox_bcast_102(int root)
592: {
593: Obj data;
594: int r,mask,id,src,dst;
595:
596: r = myrank_102-root;
597: if ( r == 0 )
598: data = (Obj)asir_pop_one();
599:
600: if ( r < 0 ) r += nserver_102;
601: for ( mask = 1; mask < nserver_102; mask <<= 1 )
602: if ( r&mask ) {
603: src = myrank_102-mask;
604: if ( src < 0 ) src += nserver_102;
605: ox_recv_102(src,&id,&data);
606: break;
607: }
608: for ( mask >>= 1; mask > 0; mask >>= 1 )
609: if ( (r+mask) < nserver_102 ) {
610: dst = myrank_102+mask;
611: if ( dst >= nserver_102 ) dst -= nserver_102;
612: ox_send_data_102(dst,data);
613: }
614: asir_push_one(data);
615: }
616:
617: /* func : an arithmetic funcion func(vl,a,b,*c) */
618:
619: void ox_reduce_102(int root,void (*func)())
620: {
621: Obj data,data0,t;
622: int r,mask,id,src,dst;
623:
624: r = myrank_102-root;
625: if ( r < 0 ) r += nserver_102;
626: data = (Obj)asir_pop_one();
627: for ( mask = 1; mask < nserver_102; mask <<= 1 )
628: if ( r&mask ) {
629: dst = (r-mask)+root;
630: if ( dst >= nserver_102 ) dst -= nserver_102;
631: ox_send_data_102(dst,data);
632: break;
633: } else {
634: src = r+mask;
635: if ( src < nserver_102 ) {
636: src += root;
637: if ( src >= nserver_102 ) src -= nserver_102;
638: ox_recv_102(src,&id,&data0);
639: (*func)(CO,data,data0,&t); data = t;
640: }
641: }
642: asir_push_one(r?0:data);
643: }
644:
645: void ox_send_cmd(int s,int id)
646: {
647: if ( ox_check && !check_sm_by_mc(s,id) )
648: error("ox_send_cmd : Mathcap violation");
649: begin_critical();
650: ox_write_int(s,OX_COMMAND);
651: ox_write_int(s,ox_serial++);
652: ox_write_int(s,id);
653: ox_flush_stream(s);
654: end_critical();
655: }
656:
657: void ox_send_sync(int s)
658: {
659: begin_critical();
660: ox_write_int(s,OX_SYNC_BALL);
661: ox_write_int(s,ox_serial++);
662: ox_flush_stream(s);
663: end_critical();
664: }
665:
666: void ox_send_sync_102(int rank)
667: {
668: begin_critical();
669: ox_write_int_102(rank,OX_SYNC_BALL);
670: ox_write_int_102(rank,ox_serial++);
671: ox_flush_stream_102(rank);
672: end_critical();
673: }
674:
675: void ox_send_local_data(int s,Obj p)
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_OBJ);
681: saveobj((FILE *)iofp[s].out,p);
682: ox_flush_stream(s);
683: end_critical();
684: }
685:
686: void ox_send_local_data_102(int rank,Obj p)
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_OBJ);
692: saveobj((FILE *)iofp_102[rank].out,p);
693: ox_flush_stream_102(rank);
694: end_critical();
695: }
696:
697: void ox_send_local_ring(int s,VL vl)
698: {
699: begin_critical();
700: ox_write_int(s,OX_LOCAL_OBJECT_ASIR);
701: ox_write_int(s,ox_serial++);
702: ox_write_int(s,ASIR_VL);
703: savevl((FILE *)iofp[s].out,vl);
704: ox_flush_stream(s);
705: end_critical();
706: }
707:
708: void ox_send_local_ring_102(int rank,VL vl)
709: {
710: begin_critical();
711: ox_write_int_102(rank,OX_LOCAL_OBJECT_ASIR);
712: ox_write_int_102(rank,ox_serial++);
713: ox_write_int_102(rank,ASIR_VL);
714: savevl((FILE *)iofp_102[rank].out,vl);
715: ox_flush_stream_102(rank);
716: end_critical();
717: }
718:
719: unsigned int ox_recv(int s, int *id, Obj *p)
720: {
721: unsigned int cmd,serial;
722: USINT ui;
723:
724: wait_for_data(s);
725: begin_critical();
726: ox_read_int(s,id);
727: ox_read_int(s,&serial);
728: switch ( *id ) {
729: case OX_COMMAND:
730: ox_read_int(s,&cmd);
731: MKUSINT(ui,cmd);
732: *p = (Obj)ui;
733: break;
734: case OX_DATA:
735: ox_read_cmo(s,p);
736: break;
737: case OX_LOCAL_OBJECT_ASIR:
738: ox_read_local(s,p);
739: break;
740: default:
741: *p = 0;
742: break;
743: }
744: end_critical();
745: return serial;
746: }
747:
748: unsigned int ox_recv_102(int rank, int *id, Obj *p)
749: {
750: unsigned int cmd,serial;
751: USINT ui;
752:
753: wait_for_data_102(rank);
754: begin_critical();
755: ox_read_int_102(rank,id);
756: ox_read_int_102(rank,&serial);
757: switch ( *id ) {
758: case OX_COMMAND:
759: ox_read_int_102(rank,&cmd);
760: MKUSINT(ui,cmd);
761: *p = (Obj)ui;
762: break;
763: case OX_DATA:
764: ox_read_cmo_102(rank,p);
765: break;
766: case OX_LOCAL_OBJECT_ASIR:
767: ox_read_local_102(rank,p);
768: break;
769: default:
770: *p = 0;
771: break;
772: }
773: end_critical();
774: return serial;
775: }
776:
777: void ox_get_result(int s,Obj *rp)
778: {
779: int id;
780: Obj obj,r;
781: int level;
782:
783: level = 0;
784: r = 0;
785: do {
786: ox_recv(s,&id,&obj);
787: if ( id == OX_COMMAND ) {
788: switch ( ((USINT)obj)->body ) {
789: case SM_beginBlock:
790: level++;
791: break;
792: case SM_endBlock:
793: level--;
794: }
795: } else
796: r = obj;
797: } while ( level );
798: *rp = r;
799: }
800:
801: void ox_read_int(int s, int *n)
802: {
803: ox_need_conv = iofp[s].conv;
804: read_int((FILE *)iofp[s].in,n);
805: }
806:
807: void ox_read_int_102(int rank, int *n)
808: {
809: ox_need_conv = iofp_102[rank].conv;
810: read_int((FILE *)iofp_102[rank].in,n);
811: }
812:
813: void ox_read_cmo(int s, Obj *rp)
814: {
815: ox_need_conv = iofp[s].conv;
816: read_cmo((FILE *)iofp[s].in,rp);
817: }
818:
819: void ox_read_cmo_102(int rank, Obj *rp)
820: {
821: ox_need_conv = iofp_102[rank].conv;
822: read_cmo((FILE *)iofp_102[rank].in,rp);
823: }
824:
825:
826: void ox_read_local(int s, Obj *rp)
827: {
828: int id;
829:
830: ox_need_conv = iofp[s].conv;
831: read_int((FILE *)iofp[s].in,&id);
832: switch ( id ) {
833: case ASIR_VL:
834: loadvl((FILE *)iofp[s].in);
835: *rp = VOIDobj;
836: break;
837: case ASIR_OBJ:
838: loadobj((FILE *)iofp[s].in,rp);
839: break;
840: default:
841: error("ox_read_local : unsupported id");
842: break;
843: }
844: }
845:
846: void ox_read_local_102(int rank, Obj *rp)
847: {
848: int id;
849:
850: ox_need_conv = iofp_102[rank].conv;
851: read_int((FILE *)iofp_102[rank].in,&id);
852: switch ( id ) {
853: case ASIR_VL:
854: loadvl((FILE *)iofp_102[rank].in);
855: *rp = VOIDobj;
856: break;
857: case ASIR_OBJ:
858: loadobj((FILE *)iofp_102[rank].in,rp);
859: break;
860: default:
861: error("ox_read_local_102 : unsupported id");
862: break;
863: }
864: }
865:
866: void ox_write_int(int s, int n)
867: {
868: ox_need_conv = iofp[s].conv;
869: write_int((FILE *)iofp[s].out,&n);
870: }
871:
872: void ox_write_int_102(int rank, int n)
873: {
874: ox_need_conv = iofp_102[rank].conv;
875: write_int((FILE *)iofp_102[rank].out,&n);
876: }
877:
878: void ox_write_cmo(int s, Obj obj)
879: {
880: ox_need_conv = iofp[s].conv;
881: write_cmo((FILE *)iofp[s].out,obj);
882: }
883:
884: void ox_write_cmo_102(int rank, Obj obj)
885: {
886: ox_need_conv = iofp_102[rank].conv;
887: write_cmo((FILE *)iofp_102[rank].out,obj);
888: }
889:
890: int ox_check_cmo(int s, Obj obj)
891: {
892: NODE m;
893:
894: if ( !obj )
895: return 1;
896: switch ( OID(obj) ) {
897: case O_MATHCAP: case O_STR: case O_ERR: case O_USINT: case O_VOID:
898: case O_BYTEARRAY:
899: return 1;
900: case O_P:
901: if ( !check_by_mc(s,OX_DATA,CMO_RECURSIVE_POLYNOMIAL) )
902: return 0;
903: else
904: return ox_check_cmo_p(s,(P)obj);
905: case O_R:
906: if ( !check_by_mc(s,OX_DATA,CMO_RATIONAL) )
907: return 0;
908: else if ( !check_by_mc(s,OX_DATA,CMO_RECURSIVE_POLYNOMIAL) )
909: return 0;
910: else
911: return ox_check_cmo_p(s,NM((R)obj)) && ox_check_cmo_p(s,DN((R)obj));
912: case O_DP:
913: return ox_check_cmo_dp(s,(DP)obj);
914: case O_N:
915: switch ( NID((Num)obj) ) {
916: case N_Q:
917: if ( INT((Q)obj) )
918: return check_by_mc(s,OX_DATA,CMO_ZZ);
919: else
920: return check_by_mc(s,OX_DATA,CMO_QQ);
921: case N_R: case N_B: case N_C:
922: return 1;
923: default:
924: return 0;
925: }
926: break;
927: case O_LIST:
928: for ( m = BDY((LIST)obj); m; m = NEXT(m) )
929: if ( !ox_check_cmo(s,(BDY(m))) )
930: return 0;
931: return 1;
932: case O_QUOTE: /* XXX */
933: return 1;
934: case O_MAT: /* MAT is sent as a list */
935: return 1;
936: default:
937: return 0;
938: }
939: }
940:
941: void ox_get_serverinfo(int s, LIST *rp)
942: {
943: if ( remote_mc )
944: *rp = remote_mc[s].mc;
945: else {
946: MKLIST(*rp,0);
947: }
948: }
949:
950: char *ox_get_servername(int s)
951: {
952: return (remote_mc && remote_mc[s].servername)?remote_mc[s].servername:0;
953: }
954:
955:
956: int ox_check_cmo_p(int s, P p)
957: {
958: DCP dc;
959:
960: if ( NUM(p) )
961: return ox_check_cmo(s,(Obj)p);
962: else {
963: for ( dc = DC(p); dc; dc = NEXT(dc) )
964: if ( !ox_check_cmo_p(s,COEF(dc)) )
965: return 0;
966: return 1;
967: }
968: }
969:
970: int ox_check_cmo_dp(int s, DP p)
971: {
972: MP m;
973:
974: for ( m = BDY(p); m; m = NEXT(m) )
975: if ( !ox_check_cmo(s,(Obj)m->c) )
976: return 0;
977: return 1;
978: }
979:
980: void ox_flush_stream(int s)
981: {
982: if ( ox_batch )
983: return;
984: #if defined(VISUAL) || defined(__MINGW32__) || defined(MPI)
985: if ( WSIO_fileno(iofp[s].out) < 0 )
986: cflush(iofp[s].out);
987: else
988: #endif
989: fflush((FILE *)iofp[s].out);
990: }
991:
992: void ox_flush_stream_force(int s)
993: {
994: #if defined(VISUAL) || defined(__MINGW32__) || defined(MPI)
995: if ( WSIO_fileno(iofp[s].out) < 0 )
996: cflush(iofp[s].out);
997: else
998: #endif
999: fflush((FILE *)iofp[s].out);
1000: }
1001:
1002: void ox_flush_stream_102(int rank)
1003: {
1004: if ( !ox_batch )
1005: ox_flush_stream_force_102(rank);
1006: }
1007:
1008: void ox_flush_stream_force_102(int rank)
1009: {
1010: if ( iofp_102[rank].out )
1011: #if defined(VISUAL) || defined(__MINGW32__)
1012: cflush(iofp_102[rank].out);
1013: #elif MPI
1014: cflush(iofp_102[rank].out);
1015: #else
1016: fflush(iofp_102[rank].out);
1017: #endif
1018: }
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>