libguile/async.c

   1 /*      Copyright (C) 1995,1996,1997 Free Software Foundation, Inc.
   2  *
   3  * This program is free software; you can redistribute it and/or modify
   4  * it under the terms of the GNU General Public License as published by
   5  * the Free Software Foundation; either version 2, or (at your option)
   6  * any later version.
   7  *
   8  * This program is distributed in the hope that it will be useful,
   9  * but WITHOUT ANY WARRANTY; without even the implied warranty of
  10  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  11  * GNU General Public License for more details.
  12  *
  13  * You should have received a copy of the GNU General Public License
  14  * along with this software; see the file COPYING.  If not, write to
  15  * the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
  16  * Boston, MA 02111-1307 USA
  17  *
  18  * As a special exception, the Free Software Foundation gives permission
  19  * for additional uses of the text contained in its release of GUILE.
  20  *
  21  * The exception is that, if you link the GUILE library with other files
  22  * to produce an executable, this does not by itself cause the
  23  * resulting executable to be covered by the GNU General Public License.
  24  * Your use of that executable is in no way restricted on account of
  25  * linking the GUILE library code into it.
  26  *
  27  * This exception does not however invalidate any other reasons why
  28  * the executable file might be covered by the GNU General Public License.
  29  *
  30  * This exception applies only to the code released by the
  31  * Free Software Foundation under the name GUILE.  If you copy
  32  * code from other Free Software Foundation releases into a copy of
  33  * GUILE, as the General Public License permits, the exception does
  34  * not apply to the code that you add in this way.  To avoid misleading
  35  * anyone as to the status of such modified files, you must delete
  36  * this exception notice from them.
  37  *
  38  * If you write modifications of your own for GUILE, it is your choice
  39  * whether to permit this exception to apply to your modifications.
  40  * If you do not wish that, delete this exception notice.  */
  41 \f
  42
  43 #include <stdio.h>
  44 #include <signal.h>
  45 #include "_scm.h"
  46 #include "eval.h"
  47 #include "throw.h"
  48 #include "smob.h"
  49
  50 #include "async.h"
  51
  52 #ifdef HAVE_STRING_H
  53 #include <string.h>
  54 #endif
  55 #ifdef HAVE_UNISTD_H
  56 #include <unistd.h>
  57 #endif
  58
  59
  60 \f
  61 /* {Asynchronous Events}
  62  *
  63  *
  64  * Async == thunk + mark.
  65  *
  66  * Setting the mark guarantees future execution of the thunk.  More
  67  * than one set may be satisfied by a single execution.
  68  *
  69  * scm_tick_clock decremented once per SCM_ALLOW_INTS.
  70  * Async execution triggered by SCM_ALLOW_INTS when scm_tick_clock drops to 0.
  71  * Async execution prevented by scm_mask_ints != 0.
  72  *
  73  * If the clock reaches 0 when scm_mask_ints != 0, then reset the clock
  74  * to 1.
  75  *
  76  * If the clock reaches 0 any other time, run marked asyncs.
  77  *
  78  * From a unix signal handler, mark a corresponding async and set the clock
  79  * to 1.   Do SCM_REDEFER_INTS;/SCM_REALLOW_INTS so that if the signal handler is not
  80  * called in the dynamic scope of a critical section, it is excecuted immediately.
  81  *
  82  * Overall, closely timed signals of a particular sort may be combined.  Pending signals
  83  * are delivered in a fixed priority order, regardless of arrival order.
  84  *
  85  */
  86
  87 /* True between SCM_DEFER_INTS and SCM_ALLOW_INTS, and
  88  * when the interpreter is not running at all.
  89  */
  90 int scm_ints_disabled = 1;
  91
  92 unsigned int scm_async_clock = 20;
  93 static unsigned int scm_async_rate = 20;
  94 unsigned int scm_mask_ints = 1;
  95
  96 static unsigned int scm_tick_clock = 0;
  97 static unsigned int scm_tick_rate = 0;
  98 static unsigned int scm_desired_tick_rate = 0;
  99 static unsigned int scm_switch_clock = 0;
 100 static unsigned int scm_switch_rate = 0;
 101 static unsigned int scm_desired_switch_rate = 0;
 102
 103 static long scm_tc16_async;
 104
 105 \f
 106
 107 int
 108 scm_asyncs_pending ()
 109 {
 110   SCM pos;
 111   pos = scm_asyncs;
 112   while (pos != SCM_EOL)
 113     {
 114       SCM a;
 115       struct scm_async * it;
 116       a = SCM_CAR (pos);
 117       it = SCM_ASYNC (a);
 118       if (it->got_it)
 119         return 1;
 120       pos = SCM_CDR (pos);
 121     }
 122   return 0;
 123 }
 124
 125 #if 0
 126 static SCM scm_sys_tick_async_thunk SCM_P ((void));
 127 static SCM
 128 scm_sys_tick_async_thunk ()
 129 {
 130   scm_deliver_signal (SCM_TICK_SIGNAL);
 131   return SCM_BOOL_F;
 132 }
 133 #endif
 134
 135 void
 136 scm_async_click ()
 137 {
 138   int owe_switch;
 139   int owe_tick;
 140
 141   if (!scm_switch_rate)
 142     {
 143       owe_switch = 0;
 144       scm_switch_clock = scm_switch_rate = scm_desired_switch_rate;
 145       scm_desired_switch_rate = 0;
 146     }
 147   else
 148     {
 149       owe_switch = (scm_async_rate >= scm_switch_clock);
 150       if (owe_switch)
 151         {
 152           if (scm_desired_switch_rate)
 153             {
 154               scm_switch_clock = scm_switch_rate = scm_desired_switch_rate;
 155               scm_desired_switch_rate = 0;
 156             }
 157           else
 158             scm_switch_clock = scm_switch_rate;
 159         }
 160       else
 161         {
 162           if (scm_desired_switch_rate)
 163             {
 164               scm_switch_clock = scm_switch_rate = scm_desired_switch_rate;
 165               scm_desired_switch_rate = 0;
 166             }
 167           else
 168             scm_switch_clock -= scm_async_rate;
 169         }
 170     }
 171
 172   if (scm_mask_ints)
 173     {
 174       if (owe_switch)
 175         scm_switch ();
 176       scm_async_clock = 1;
 177       return;;
 178     }
 179
 180   if (!scm_tick_rate)
 181     {
 182       unsigned int r;
 183       owe_tick = 0;
 184       r = scm_desired_tick_rate;
 185       if (r)
 186         {
 187           scm_desired_tick_rate = 0;
 188           scm_tick_rate = r;
 189           scm_tick_clock = r;
 190         }
 191     }
 192   else
 193     {
 194       owe_tick = (scm_async_rate >= scm_tick_clock);
 195       if (owe_tick)
 196         {
 197           scm_tick_clock = scm_tick_rate = scm_desired_tick_rate;
 198           scm_desired_tick_rate = 0;
 199         }
 200       else
 201         {
 202           if (scm_desired_tick_rate)
 203             {
 204               scm_tick_clock = scm_tick_rate = scm_desired_tick_rate;
 205               scm_desired_tick_rate = 0;
 206             }
 207           else
 208             scm_tick_clock -= scm_async_rate;
 209         }
 210     }
 211
 212   /*
 213      if (owe_tick)
 214        scm_async_mark (system_signal_asyncs[SCM_SIG_ORD(SCM_TICK_SIGNAL)]);
 215      */
 216
 217   SCM_DEFER_INTS;
 218   if (scm_tick_rate && scm_switch_rate)
 219     {
 220       scm_async_rate = min (scm_tick_clock,  scm_switch_clock);
 221       scm_async_clock = scm_async_rate;
 222     }
 223   else if (scm_tick_rate)
 224     {
 225       scm_async_clock = scm_async_rate = scm_tick_clock;
 226     }
 227   else if (scm_switch_rate)
 228     {
 229       scm_async_clock = scm_async_rate = scm_switch_clock;
 230     }
 231   else
 232     scm_async_clock = scm_async_rate = 1 << 16;
 233   SCM_ALLOW_INTS_ONLY;
 234
 235  tail:
 236   scm_run_asyncs (scm_asyncs);
 237
 238   SCM_DEFER_INTS;
 239   if (scm_asyncs_pending ())
 240     {
 241       SCM_ALLOW_INTS_ONLY;
 242       goto tail;
 243     }
 244   SCM_ALLOW_INTS;
 245
 246   if (owe_switch)
 247     scm_switch ();
 248 }
 249
 250
 251 \f
 252
 253
 254 void
 255 scm_switch ()
 256 {
 257 #if 0 /* Thread switching code should probably reside here, but the
 258          async switching code doesn't seem to work, so it's put in the
 259          SCM_ASYNC_TICK macro instead. /mdj */
 260   SCM_THREAD_SWITCHING_CODE;
 261 #endif
 262 }
 263
 264 \f
 265
 266 static int print_async SCM_P ((SCM exp, SCM port, scm_print_state *pstate));
 267
 268 static int
 269 print_async (exp, port, pstate)
 270      SCM exp;
 271      SCM port;
 272      scm_print_state *pstate;
 273 {
 274   scm_puts ("#<async ", port);
 275   scm_intprint(exp, 16, port);
 276   scm_putc('>', port);
 277   return 1;
 278 }
 279
 280
 281 static SCM mark_async SCM_P ((SCM obj));
 282
 283 static SCM
 284 mark_async (obj)
 285      SCM obj;
 286 {
 287   struct scm_async * it;
 288   if (SCM_GC8MARKP (obj))
 289     return SCM_BOOL_F;
 290   SCM_SETGC8MARK (obj);
 291   it = SCM_ASYNC (obj);
 292   return it->thunk;
 293 }
 294
 295
 296 static scm_sizet free_async SCM_P ((SCM obj));
 297
 298 static scm_sizet
 299 free_async (obj)
 300      SCM obj;
 301 {
 302   struct scm_async * it;
 303   it = SCM_ASYNC (obj);
 304   scm_must_free ((char *)it);
 305   return (sizeof (*it));
 306 }
 307
 308
 309 static scm_smobfuns  async_smob =
 310 {
 311   mark_async,
 312   free_async,
 313   print_async,
 314   0
 315 };
 316
 317
 318 \f
 319
 320 SCM_PROC(s_async, "async", 1, 0, 0, scm_async);
 321
 322 SCM
 323 scm_async (thunk)
 324      SCM thunk;
 325 {
 326   SCM it;
 327   struct scm_async * async;
 328
 329   SCM_NEWCELL (it);
 330   SCM_DEFER_INTS;
 331   SCM_SETCDR (it, SCM_EOL);
 332   async = (struct scm_async *)scm_must_malloc (sizeof (*async), s_async);
 333   async->got_it = 0;
 334   async->thunk = thunk;
 335   SCM_SETCDR (it, (SCM)async);
 336   SCM_SETCAR (it, (SCM)scm_tc16_async);
 337   SCM_ALLOW_INTS;
 338   return it;
 339 }
 340
 341 SCM_PROC(s_system_async, "system-async", 1, 0, 0, scm_system_async);
 342
 343 SCM
 344 scm_system_async (thunk)
 345      SCM thunk;
 346 {
 347   SCM it;
 348   SCM list;
 349
 350   it = scm_async (thunk);
 351   SCM_NEWCELL (list);
 352   SCM_DEFER_INTS;
 353   SCM_SETCAR (list, it);
 354   SCM_SETCDR (list, scm_asyncs);
 355   scm_asyncs = list;
 356   SCM_ALLOW_INTS;
 357   return it;
 358 }
 359
 360 SCM_PROC(s_async_mark, "async-mark", 1, 0, 0, scm_async_mark);
 361
 362 SCM
 363 scm_async_mark (a)
 364      SCM a;
 365 {
 366   struct scm_async * it;
 367   SCM_ASSERT (SCM_NIMP (a) &&  SCM_ASYNCP (a), a, SCM_ARG1, s_async_mark);
 368   it = SCM_ASYNC (a);
 369   it->got_it = 1;
 370   return SCM_UNSPECIFIED;
 371 }
 372
 373
 374 SCM_PROC(s_system_async_mark, "system-async-mark", 1, 0, 0, scm_system_async_mark);
 375
 376 SCM
 377 scm_system_async_mark (a)
 378      SCM a;
 379 {
 380   struct scm_async * it;
 381   SCM_ASSERT (SCM_NIMP (a) &&  SCM_ASYNCP (a), a, SCM_ARG1, s_async_mark);
 382   it = SCM_ASYNC (a);
 383   SCM_REDEFER_INTS;
 384   it->got_it = 1;
 385   scm_async_rate = 1 + scm_async_rate - scm_async_clock;
 386   scm_async_clock = 1;
 387   SCM_REALLOW_INTS;
 388   return SCM_UNSPECIFIED;
 389 }
 390
 391
 392 SCM_PROC(s_run_asyncs, "run-asyncs", 1, 0, 0, scm_run_asyncs);
 393
 394 SCM
 395 scm_run_asyncs (list_of_a)
 396      SCM list_of_a;
 397 {
 398   SCM pos;
 399
 400   if (scm_mask_ints)
 401     return SCM_BOOL_F;
 402   pos = list_of_a;
 403   while (pos != SCM_EOL)
 404     {
 405       SCM a;
 406       struct scm_async * it;
 407       SCM_ASSERT (SCM_NIMP (pos) && SCM_CONSP (pos), pos, SCM_ARG1, s_run_asyncs);
 408       a = SCM_CAR (pos);
 409       SCM_ASSERT (SCM_NIMP (a) &&  SCM_ASYNCP (a), a, SCM_ARG1, s_run_asyncs);
 410       it = SCM_ASYNC (a);
 411       scm_mask_ints = 1;
 412       if (it->got_it)
 413         {
 414           it->got_it = 0;
 415           scm_apply (it->thunk, SCM_EOL, SCM_EOL);
 416         }
 417       scm_mask_ints = 0;
 418       pos = SCM_CDR (pos);
 419     }
 420   return SCM_BOOL_T;
 421 }
 422
 423 \f
 424
 425
 426 SCM_PROC(s_noop, "noop", 0, 0, 1, scm_noop);
 427
 428 SCM
 429 scm_noop (args)
 430      SCM args;
 431 {
 432   return (SCM_NULLP (args)
 433           ? SCM_BOOL_F
 434           : SCM_CAR (args));
 435 }
 436
 437
 438 \f
 439
 440 SCM_PROC(s_set_tick_rate, "set-tick-rate", 1, 0, 0, scm_set_tick_rate);
 441
 442 SCM
 443 scm_set_tick_rate (n)
 444      SCM n;
 445 {
 446   unsigned int old_n;
 447   SCM_ASSERT (SCM_INUMP (n), n, SCM_ARG1, s_set_tick_rate);
 448   old_n = scm_tick_rate;
 449   scm_desired_tick_rate = SCM_INUM (n);
 450   scm_async_rate = 1 + scm_async_rate - scm_async_clock;
 451   scm_async_clock = 1;
 452   return SCM_MAKINUM (old_n);
 453 }
 454
 455 \f
 456
 457
 458 SCM_PROC(s_set_switch_rate, "set-switch-rate", 1, 0, 0, scm_set_switch_rate);
 459
 460 SCM
 461 scm_set_switch_rate (n)
 462      SCM n;
 463 {
 464   unsigned int old_n;
 465   SCM_ASSERT (SCM_INUMP (n), n, SCM_ARG1, s_set_switch_rate);
 466   old_n = scm_switch_rate;
 467   scm_desired_switch_rate = SCM_INUM (n);
 468   scm_async_rate = 1 + scm_async_rate - scm_async_clock;
 469   scm_async_clock = 1;
 470   return SCM_MAKINUM (old_n);
 471 }
 472
 473 \f
 474
 475 /* points to the GC system-async, so that scm_gc_end can find it.  */
 476 SCM scm_gc_async;
 477
 478 /* the vcell for gc-thunk.  */
 479 static SCM scm_gc_vcell;
 480
 481 /* the thunk installed in the GC system-async, which is marked at the
 482    end of garbage collection.  */
 483 static SCM
 484 scm_sys_gc_async_thunk (void)
 485 {
 486   if (SCM_NFALSEP (scm_gc_vcell))
 487     {
 488       SCM proc = SCM_CDR (scm_gc_vcell);
 489
 490       if (SCM_NFALSEP (proc) && !SCM_UNBNDP (proc))
 491         scm_apply (proc, SCM_EOL, SCM_EOL);
 492     }
 493   return SCM_UNSPECIFIED;
 494 }
 495
 496 \f
 497
 498 SCM_PROC(s_unmask_signals, "unmask-signals", 0, 0, 0, scm_unmask_signals);
 499
 500 SCM
 501 scm_unmask_signals ()
 502 {
 503   scm_mask_ints = 0;
 504   return SCM_UNSPECIFIED;
 505 }
 506
 507
 508 SCM_PROC(s_mask_signals, "mask-signals", 0, 0, 0, scm_mask_signals);
 509
 510 SCM
 511 scm_mask_signals ()
 512 {
 513   scm_mask_ints = 1;
 514   return SCM_UNSPECIFIED;
 515 }
 516
 517 \f
 518
 519 void
 520 scm_init_async ()
 521 {
 522   SCM a_thunk;
 523   scm_tc16_async = scm_newsmob (&async_smob);
 524
 525   scm_gc_vcell = scm_sysintern ("gc-thunk", SCM_BOOL_F);
 526   a_thunk = scm_make_gsubr ("%gc-thunk", 0, 0, 0, scm_sys_gc_async_thunk);
 527   scm_gc_async = scm_system_async (a_thunk);
 528
 529 #include "async.x"
 530 }