2003-01-25 11:09:03 -05:00
;; The SUrflet handler
2002-09-13 03:21:19 -04:00
;; Copyright Andreas Bernauer, 2002
2003-01-25 11:09:03 -05:00
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; GLOBALS
2002-09-13 03:21:19 -04:00
2003-01-25 11:09:03 -05:00
;;; DEBUGging
2002-09-30 03:53:00 -04:00
( define *debug* #t )
2002-09-29 11:20:36 -04:00
2003-01-25 11:09:03 -05:00
;;; OPTIONS for the SUrflet handler.
;; Preserved thread fluid because between different calls to
;; surflet-handler the options shall remain the same. SURFLET-HANDLER
;; sets the value (an option record, see end of file)
2002-10-04 11:51:04 -04:00
( define *options* ( make-preserved-thread-fluid #f ) )
2002-09-29 09:43:39 -04:00
2003-01-25 11:33:50 -05:00
;;; TABLES are thread safe as they all use the same lock and different
;;; keys for the hash (There may be performance reasons to change
;;; this, though).
2003-01-25 11:09:03 -05:00
;;; SURFLET-TABLE cache
( define *surflet-table* ( make-string-table ) ) ; path-string is index
( define *surflet-table-lock* ( make-lock ) )
2002-10-01 13:39:39 -04:00
2003-01-25 11:09:03 -05:00
;;; SESSION-TABLE
;; Every session gets an entry in the hash table. Entries are session
;; records.
2002-12-07 17:26:40 -05:00
( define *session-table* ( make-integer-table ) ) ; session-id is index
( define *session-table-lock* ( make-lock ) )
2002-09-29 09:43:39 -04:00
2003-01-25 11:30:09 -05:00
;; INSTANCE is the session that is currently handled.
2003-01-25 11:09:03 -05:00
( define *instance* ( make-thread-cell #f ) )
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; SURFLET-HANDLER
2002-09-13 03:21:19 -04:00
2003-01-25 11:09:03 -05:00
;;; SURFLET-HANDLER
;; Loads a new or resumes a suspended SUrflet; returns a
;; (HTTP-)RESPONSE. SURFLET-PATH is a string pointing to the real
;; directory where the SUrflets are searched.
2003-07-18 11:06:53 -04:00
( define ( surflet-handler options )
( set-thread-fluid! *options* options )
( spawn surveillance-thread )
( lambda ( path req )
( if ( pair? path ) ; need at least one element
( let ( ( request-method ( request-method req ) )
( path-string ( uri-path->uri path ) ) )
( if ( or ( string=? request-method "GET" )
( string=? request-method "POST" ) )
( make-input-response
( lambda ( input-port )
( let ( ( s-req ( make-surflet-request req input-port ) ) )
( if ( resume-url? path-string )
( resume-url path-string ( options-surflet-path ) s-req )
( launch-new-session path-string ( options-surflet-path ) s-req ) ) ) ) )
( make-error-response ( status-code method-not-allowed ) req
request-method ) ) )
( make-error-response ( status-code bad-request ) req
( format #f "Bad path: ~s" path ) ) ) ) )
2002-09-13 03:21:19 -04:00
2003-01-25 11:09:03 -05:00
;;; LAUNCH-NEW-SESSION
;; Loads and runs a new session of a SUrflet installing the RESET
;; boundary; returns a (HTTP-)RESPONSE. PATH-STRING is the virtual
;; path of the request, SURFLET-PATH is a string pointing to the real
2003-02-17 05:09:24 -05:00
;; directory of the SUrflets, and S-REQ the request of the browser.
( define ( launch-new-session path-string surflet-path s-req )
2002-10-02 19:47:07 -04:00
( cond
2003-01-25 11:09:03 -05:00
2003-01-19 11:57:27 -05:00
( ( file-not-exists? ( absolute-file-name path-string surflet-path ) )
2003-02-17 05:09:24 -05:00
( make-error-response ( status-code not-found )
( surflet-request-request s-req ) path-string ) )
2003-01-25 11:09:03 -05:00
2002-10-02 19:47:07 -04:00
( ( string=? ( file-name-extension path-string ) ".scm" )
2003-04-13 14:27:43 -04:00
( receive ( session-id lifetime )
( with-lock *session-table-lock*
( let ( ( session-id ( generate-new-table-id *session-table* ) )
( lifetime ( options-session-lifetime ) ) )
( table-set! *session-table* session-id
( make-session path-string ; used for redirections
( make-integer-table ) ; continuation table
( make-lock ) ; continuation table lock
( make-thread-safe-counter ) ; continuation counter
#f ; session-data
lifetime ) )
( values session-id lifetime ) ) )
2003-04-13 16:24:56 -04:00
2003-04-13 14:27:43 -04:00
;; no access to session table until new session-id is saved
2003-01-25 11:11:30 -05:00
( register-instance! session-id )
2002-11-05 05:21:15 -05:00
2003-02-19 04:43:29 -05:00
( with-fatal-error-handler
2003-01-19 11:57:27 -05:00
;; Catch conditions from get-surflet-rt-structure.
2002-11-05 05:21:15 -05:00
( lambda ( condition decline )
2002-12-07 17:26:40 -05:00
( delete-session! session-id )
2003-08-01 13:33:21 -04:00
( bad-surflet-error-response s-req path-string condition ) )
2003-01-19 11:57:27 -05:00
( let ( ( surflet ( get-surflet-rt-structure path-string surflet-path ) ) )
2003-04-13 14:27:43 -04:00
( timeout-queue-register-session! session-id ( + ( time ) lifetime ) )
2003-03-17 07:09:26 -05:00
2002-11-05 05:21:15 -05:00
( reset
2003-02-19 04:43:29 -05:00
( with-fatal-error-handler
2003-01-19 11:57:27 -05:00
;; Catch conditions that occur while running the surflet.
2002-11-09 13:25:20 -05:00
( lambda ( condition decline )
2002-12-07 17:26:40 -05:00
( delete-session! session-id )
2002-11-09 13:25:20 -05:00
;; Restore correct continuation with shift.
( shift unused
2003-08-01 13:33:21 -04:00
( bad-surflet-error-response s-req path-string condition ) ) )
2003-01-19 11:57:27 -05:00
( with-cwd surflet-path
2002-11-09 13:25:20 -05:00
( with-names-from-rt-structure
2003-01-19 11:57:27 -05:00
surflet surflet-interface
2003-02-17 05:09:24 -05:00
( main s-req ) ) ) ) ) ) ) ) ) ; Launch serlvet's main procedure.
2003-01-25 11:09:03 -05:00
2002-10-02 19:47:07 -04:00
( else ; We'll serve every non-scm file.
2003-02-17 05:09:24 -05:00
( make-error-response ( status-code forbidden )
( surflet-request-request s-req )
"Can't serve other than Scheme files."
path-string ) )
2002-10-02 19:47:07 -04:00
) )
2002-09-13 03:21:19 -04:00
2003-01-25 11:09:03 -05:00
2003-03-17 07:09:26 -05:00
;;; SESSION-SURVEILLANCE
2003-04-13 16:24:56 -04:00
( define *timeout-queue* )
2003-03-17 07:09:26 -05:00
( define ( timeout-queue-register-session! session-id timeout )
2003-04-01 08:17:45 -05:00
( search-tree-set! *timeout-queue* ( cons session-id timeout ) 'ignore ) )
2003-03-17 07:09:26 -05:00
( define ( timeout-queue-remove-session! session-id )
2003-04-01 08:17:45 -05:00
( search-tree-set! *timeout-queue* ( cons session-id 0 ) #f ) )
2003-03-17 07:09:26 -05:00
( define ( timeout-queue-adjust-session-timeout! session-id new-timeout )
2003-04-01 08:17:45 -05:00
( search-tree-set! *timeout-queue* ( cons session-id new-timeout ) 'ignore ) )
2003-03-17 07:09:26 -05:00
( define ( surveillance-thread )
2003-04-01 08:17:45 -05:00
( set! *timeout-queue* ( make-search-tree ( lambda ( p q ) ( eq? ( car p ) ( car q ) ) )
( lambda ( p q )
( < ( cdr p ) ( cdr q ) ) ) ) )
2003-03-17 07:09:26 -05:00
( let lp ( )
( with-lock *session-table-lock*
2003-04-13 13:36:39 -04:00
( let ( ( now ( time ) ) )
( let lp2 ( )
( receive ( session-id . time ignore ) ( search-tree-min *timeout-queue* )
( if session-id . time
( if ( <= ( cdr session-id . time ) now )
( let ( ( session-id ( car session-id . time ) ) )
( table-set! *session-table* session-id #f )
( pop-search-tree-min! *timeout-queue* )
( lp2 ) ) ) ) ) ) ) )
2003-03-17 07:09:26 -05:00
( sleep 1000 )
( lp ) ) )
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
2003-01-25 11:09:03 -05:00
;;; RESUME-URL
;; Resumes a suspended URL and returns a (HTTP-)RESPONSE. PATH-STRING
;; is the virtual path, SURFLET-PATH a string pointing to the real
2003-02-17 05:09:24 -05:00
;; directory of the SUrflets and S-REQ the request of the browser.
2002-09-21 16:18:49 -04:00
( define resume-url
( let ( ( bad-request
2003-02-17 05:09:24 -05:00
( lambda ( path-string s-req )
2003-01-10 04:52:35 -05:00
( make-error-response
2003-02-17 05:09:24 -05:00
( status-code bad-request )
( surflet-request-request s-req )
2003-03-17 07:31:49 -05:00
( ( options-make-session-timeout-text )
( resume-url-surflet-name path-string ) ) ) ) )
2002-09-21 16:18:49 -04:00
( lookup-continuation-table
2002-12-07 17:26:40 -05:00
( lambda ( session continuation-table continuation-id )
( let ( ( continuation-table-lock ( session-continuation-table-lock session ) ) )
2003-04-13 14:27:43 -04:00
( with-lock continuation-table-lock
( table-ref continuation-table continuation-id ) ) ) ) ) )
2002-09-21 16:18:49 -04:00
2003-02-17 05:09:24 -05:00
( lambda ( path-string surflet-path s-req )
2002-12-07 17:26:40 -05:00
( receive ( session-id continuation-id )
2003-08-01 13:41:06 -04:00
( resume-url-ids path-string )
2003-01-25 11:22:37 -05:00
;; Try to get continuation-table and then the continuation.
2002-12-07 17:26:40 -05:00
( let ( ( session ( session-lookup session-id ) ) )
( if session
( let* ( ( continuation-table ( session-continuation-table session ) )
( resume ( lookup-continuation-table session continuation-table
2002-09-21 16:18:49 -04:00
continuation-id ) ) )
( if resume
2003-01-19 11:57:27 -05:00
( with-cwd surflet-path
2003-07-21 03:13:50 -04:00
( begin
( register-instance! session-id )
2003-08-01 13:40:44 -04:00
( session-adjust-timeout! session-id )
2003-07-21 03:13:50 -04:00
( resume s-req ) ) )
2003-02-17 05:09:24 -05:00
( bad-request path-string s-req ) ) )
( bad-request path-string s-req ) ) )
2002-09-24 04:47:33 -04:00
) ) ) )
2002-09-29 11:20:36 -04:00
2002-09-21 16:18:49 -04:00
2003-01-25 11:09:03 -05:00
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; SURFLET-INTERFACE
;;; SEND/SUSPEND
;; Suspends current computation, saves current continuation, and
;; leaves current continuation via SHIFT with a (HTTP-)RESPONSE.
;; RESPONSE-MAKER is a procedure returnig a SURFLET-RESPONSE (that is,
;; eventually converted to a HTTP-RESPONSE).
2002-09-24 04:15:21 -04:00
( define ( send/suspend response-maker )
2002-09-14 12:42:24 -04:00
( shift return
2002-12-07 17:26:40 -05:00
( let* ( ( session-id ( instance-session-id ) )
( session ( session-lookup session-id ) ) )
;; the instance might be deleted in the meanwhile
( if session
2003-08-01 13:40:44 -04:00
( let ( ( continuations-table ( session-continuation-table session ) )
( continuation-table-lock ( session-continuation-table-lock session ) )
( continuation-counter ( session-next-continuation-counter session ) ) )
( let ( ( continuation-id
( with-lock continuation-table-lock
( let ( ( c-id ( generate-new-table-id continuations-table ) ) )
( table-set! continuations-table c-id return )
c-id ) ) ) )
( let ( ( new-url ( make-resume-url ( session-surflet-name session )
session-id
continuation-counter
continuation-id ) ) )
( make-http-response ( response-maker new-url ) ) ) ) )
2003-01-10 04:52:35 -05:00
( make-error-response ( status-code not-found ) #f
2003-01-24 10:23:51 -05:00
"The URL refers to a SUrflet, whose session is no longer alive." ) ) ) ) )
2002-09-13 03:21:19 -04:00
2003-01-25 11:09:03 -05:00
;;; SEND/FINISH
;; Kills current session, and leaves current continuation returning
;; via SHIFT with a (HTTP-)RESPONSE. RESPONSE is a SURFLET-RESPONSE.
2002-09-24 04:15:21 -04:00
( define ( send/finish response )
2002-12-07 17:26:40 -05:00
( delete-session! ( instance-session-id ) )
2003-01-24 10:23:51 -05:00
( shift unused ( make-http-response response ) ) )
2002-09-24 05:01:26 -04:00
2003-01-25 11:09:03 -05:00
;;; SEND
;; Leaves current continuation via SHIFT with a
;; (HTTP-)RESPONSE. RESPONSE is a SURFLET-RESPONSE.
2002-09-24 05:01:26 -04:00
( define ( send response )
2003-01-24 10:23:51 -05:00
( shift unused ( make-http-response response ) ) )
2002-09-13 03:21:19 -04:00
2003-01-25 11:09:03 -05:00
;;; SEND-ERROR
;; Stops current computation, and leaves current continuation via
;; SHIFT with a (HTTP-)(ERROR-)RESPONSE. STATUS-CODE is a status code
2003-02-17 05:09:24 -05:00
;; from HTTP-RESPONSES, S-REQ a surflet-request (may be #f) and
;; MESSAGES contains further informations (arbitrary types).
( define ( send-error status-code s-req . messages )
2003-01-24 11:02:29 -05:00
( shift unused ( apply make-error-response
( cons status-code
2003-02-17 05:09:24 -05:00
( cons ( and ( surflet-request? s-req )
( surflet-request-request s-req ) )
messages ) ) ) ) )
2003-01-24 11:02:29 -05:00
2003-01-25 11:09:03 -05:00
;;; MAKE-HTTP-RESPONSE
;; Converts a SURFLET-RESPONSE to a (HTTP-)RESPONSE. Returns a
;; (HTTP-)RESPONSE.
2003-01-24 10:23:51 -05:00
( define ( make-http-response response )
( cond
( ( surflet-response? response )
( let ( ( data ( surflet-response-data response ) ) )
( if ( valid-surflet-response-data? data )
2003-01-14 06:27:42 -05:00
( make-response
2003-01-24 10:23:51 -05:00
( surflet-response-status response )
#f
( time )
( surflet-response-content-type response )
( surflet-response-headers response )
( make-writer-body
2003-01-14 06:27:42 -05:00
( lambda ( out options )
2003-01-24 10:23:51 -05:00
( cond
( ( string? data ) ( display data out ) )
( ( list? data ) ( for-each ( lambda ( data ) ( display data out ) ) data ) )
( else ;; We lose.
2003-08-01 13:41:11 -04:00
( display "Error in SUrflet output: no valid data.\n" out ) )
2003-01-24 10:23:51 -05:00
) ) ) )
2003-08-01 13:33:21 -04:00
( make-error-response ( status-code internal-error ) #f
2004-07-21 16:38:00 -04:00
"The SUrflet returned an invalid response object (wrong data type in surflet-response)." ) ) ) )
2003-01-24 10:23:51 -05:00
( ( and ( response? response ) ;; RESPONSE? refers to a HTTP-RESPONSE.
( redirect-body? ( response-body response ) ) )
response )
( else
2003-08-01 13:33:21 -04:00
( make-error-response ( status-code internal-error ) #f
2003-01-24 10:23:51 -05:00
"The SUrflet returned an invalid response object (no surflet-response)." ) ) ) )
2003-01-14 06:27:42 -05:00
2002-09-13 03:21:19 -04:00
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
2003-01-25 11:09:03 -05:00
;;; SESSIONS
;;; SESSION-LOOKUP
;; Looks up SESSION-ID in the *SESSION-TABLE* (locking) and returns
;; the SESSION record, if anby (#f otherwise).
2002-12-07 17:26:40 -05:00
( define ( session-lookup session-id )
2003-04-13 14:27:43 -04:00
( with-lock *session-table-lock*
( table-ref *session-table* session-id ) ) )
2002-09-21 16:18:49 -04:00
2003-01-25 11:09:03 -05:00
;;; SESSION-NEXT-CONTINUATION-COUNTER
;; Increases the SESSION-CONTINUATION-COUNTER in the SESSION record by
;; one.
2002-12-07 17:26:40 -05:00
( define ( session-next-continuation-counter session )
2002-09-21 16:18:49 -04:00
( thread-safe-counter-next!
2002-12-07 17:26:40 -05:00
( session-continuation-counter session ) ) )
2002-09-21 16:18:49 -04:00
2003-01-25 11:09:03 -05:00
;;; DELETE-SESSION!
;; Deletes the session indicated by its number SESSION-ID from the
;; *SESSION-TABLE* (locking).
2002-12-07 17:26:40 -05:00
( define ( delete-session! session-id )
2003-04-13 14:27:43 -04:00
( with-lock *session-table-lock*
;; notify surveillance of session being alread killed (prevents
2003-04-16 12:02:37 -04:00
;; surveillance of killing new session that has the same number by
;; accident)
2002-12-07 17:26:40 -05:00
( let ( ( session ( table-ref *session-table* session-id ) ) )
2003-03-10 08:10:29 -05:00
( if session
( begin
2003-03-17 07:09:26 -05:00
( timeout-queue-remove-session! session-id )
2003-04-13 14:27:43 -04:00
( table-set! *session-table* session-id #f ) )
2003-03-10 08:10:29 -05:00
;; else: somebody was faster than we
2003-04-13 14:27:43 -04:00
) ) ) )
2002-09-21 16:18:49 -04:00
2003-01-25 11:09:03 -05:00
;;; SESSION-ADJUST-TIMEOUT!
;; Resets time-to-die of session indicated by its SESSION-ID number.
2003-03-10 07:57:44 -05:00
( define ( session-adjust-timeout! session-id . maybe-time-to-live )
2003-03-31 05:56:28 -05:00
( really-session-adjust-timeout!
2003-03-10 07:57:44 -05:00
session-id
2003-03-31 05:56:28 -05:00
( :optional maybe-time-to-live ( session-lifetime session-id ) ) ) )
2003-03-10 07:57:44 -05:00
( define ( really-session-adjust-timeout! session-id time-to-live )
2003-03-17 07:09:26 -05:00
( with-lock *session-table-lock*
2003-04-13 13:36:39 -04:00
( let ( ( session ( table-ref *session-table* session-id ) ) )
( if session
( timeout-queue-adjust-session-timeout!
session-id
( + ( time ) time-to-live ) )
( error "There is no session with this ID" session-id ) ) ) ) )
2002-09-29 11:20:36 -04:00
2003-03-09 13:49:09 -05:00
;;; ADJUST-TIMEOUT!
2003-03-10 07:57:44 -05:00
;; Resets time-to-die of current session. The argument must be
;; optional as PLT does not have it.
( define ( adjust-timeout! . maybe-time-to-live )
2003-03-31 05:56:28 -05:00
( let ( ( session-id ( instance-session-id ) ) )
( really-session-adjust-timeout!
session-id
( :optional maybe-time-to-live
( session-lifetime session-id ) ) ) ) )
( define ( session-lifetime session-id )
2003-04-16 12:02:37 -04:00
( cond ( ( session-lookup session-id )
=> ( lambda ( session )
( really-session-lifetime session ) ) )
( else #f ) ) )
2003-03-31 05:56:28 -05:00
( define ( set-session-lifetime! session-id new-lifetime )
2003-04-16 12:02:37 -04:00
( cond ( ( session-lookup session-id )
=> ( lambda ( session )
( really-set-session-lifetime! session new-lifetime )
( session-adjust-timeout! session-id new-lifetime ) ) )
( else #f ) ) )
2002-10-21 04:25:58 -04:00
2003-08-01 13:40:58 -04:00
;; unused and not exported
2003-01-25 11:09:03 -05:00
;;; RESET-SESSION-TABLE!
;; Clears the *SESSION-TABLE* (locking)
2002-12-07 17:26:40 -05:00
( define ( reset-session-table! )
2003-02-19 04:43:29 -05:00
( with-fatal-error-handler
2002-09-29 11:20:36 -04:00
( lambda ( condtion decline )
2002-12-07 17:26:40 -05:00
( release-lock *session-table-lock* )
2002-09-29 11:20:36 -04:00
( decline ) )
2003-04-13 14:27:43 -04:00
( with-lock *session-table-lock*
;; notify session killing
( table-walk
( lambda ( session-id session )
( timeout-queue-remove-session! session-id ) )
*session-table* )
( set! *session-table* ( make-integer-table ) ) ) ) )
2003-01-25 11:09:03 -05:00
;;; GET-SESSIONS
;; Returns a list of all active sessions in *SESSION-TABLE*
2003-04-16 12:02:37 -04:00
;; (locking). The user only gets the session-id, so nothing will
;; happen, if he saves this number. (Otherwise, if he saves the
;; sessions, they will never be GC'ed). From the user's point of view,
;; the number behaves like a record of type session.
2002-12-07 17:26:40 -05:00
( define ( get-sessions )
2003-04-13 14:27:43 -04:00
( with-lock *session-table-lock*
( let ( ( sessions ' ( ) ) )
( table-walk
( lambda ( session-id session-entry )
2003-04-16 12:02:37 -04:00
( set! sessions ( cons session-id sessions ) ) )
2003-04-13 14:27:43 -04:00
*session-table* )
sessions ) ) )
2002-12-07 17:26:40 -05:00
2003-04-16 12:02:37 -04:00
( define ( get-session session-id )
session-id )
2003-03-13 06:32:59 -05:00
2003-03-10 11:37:22 -05:00
;; SESSION-ALIVE? returns #t if there is a session with this id, #f
;; otherwise.
( define ( session-alive? session-id )
( if ( session-lookup session-id ) #t #f ) )
2003-01-25 11:09:03 -05:00
;;; GET-CONTINUATIONS
;; Returns a list of all continuations of the session indicated by the
2003-04-16 12:02:37 -04:00
;; SESSION-ID number (locking). The user only gets the pair
;; (session-id . continuation-id), so nothing will happen, if he saves
;; this number. (Otherwise, if he saves the continuations, they will
;; never be GC'ed). From the user's point of view, the number behaves
;; like a record of type continuation.
2002-12-07 17:26:40 -05:00
( define ( get-continuations session-id )
( let ( ( session ( session-lookup session-id ) ) )
( if session
( let ( ( continuation-table-lock ( session-continuation-table-lock session ) )
( continuation-table ( session-continuation-table session ) )
2002-10-01 13:39:39 -04:00
( continuations ' ( ) ) )
2003-04-13 14:27:43 -04:00
( with-lock continuation-table-lock
( table-walk
( lambda ( continuation-id continuation-entry )
2003-04-16 12:02:37 -04:00
( set! continuations ( cons ( cons session-id continuation-id )
2003-04-13 14:27:43 -04:00
continuations ) ) )
continuation-table )
continuations ) )
2002-10-01 13:39:39 -04:00
' ( ) ) ) )
2003-01-25 11:09:03 -05:00
;;; DELETE-CONTINUATION
;; Deletes continuation SESSION-ID, CONTINUATION-ID (locking).
2003-04-16 12:02:37 -04:00
( define ( delete-continuation! session-continuation-id )
( let* ( ( session-id ( car session-continuation-id ) )
( continuation-id ( cdr session-continuation-id ) )
( session ( session-lookup session-id ) ) )
2002-12-07 17:26:40 -05:00
( if session
2003-01-25 11:13:42 -05:00
( let ( ( continuation-table-lock ( session-continuation-table-lock session ) ) )
2003-04-13 14:27:43 -04:00
( with-lock continuation-table-lock
2003-08-01 13:41:02 -04:00
( let ( ( continuation-table ( session-continuation-table session ) ) )
2003-04-13 14:27:43 -04:00
( if ( table-ref continuation-table continuation-id )
( table-set! continuation-table continuation-id #f ) ) ) ) ) ) ) )
2003-01-25 11:09:03 -05:00
2003-04-16 12:02:37 -04:00
( define ( continuation-id session-continuation-id )
( cdr session-continuation-id ) )
2003-03-09 13:03:15 -05:00
;;; SET-SESSION-DATA!, GET-SESSION-DATA
2003-01-25 11:09:03 -05:00
;; Access to arbitrary data stored along with current session (no
;; locking!).
2003-03-09 13:03:15 -05:00
( define ( set-session-data! new-data )
2002-12-07 17:26:40 -05:00
( let ( ( session ( session-lookup ( instance-session-id ) ) ) )
( if session
2003-08-01 13:40:49 -04:00
( set-session-session-data! session new-data )
( error "Instance no longer alive." ) ) ) )
2002-09-13 03:21:19 -04:00
2003-03-09 13:03:15 -05:00
( define ( get-session-data )
2002-12-07 17:26:40 -05:00
( let ( ( session ( session-lookup ( instance-session-id ) ) ) )
( if session
2003-03-09 13:03:15 -05:00
( session-session-data session )
2002-10-02 20:15:44 -04:00
( error "Instance no longer alive." ) ) ) )
2002-09-13 03:21:19 -04:00
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
2003-01-25 11:09:03 -05:00
;;; ID generation
;;; GENERATE-NEW-TABLE-ID
;; Returns a random integer not used in the hash TABLE (no
;; locking!). The locking has to happe elsewhere.
2002-09-21 16:18:49 -04:00
( define ( generate-new-table-id table )
( let loop ( ( id ( random ) ) )
( if ( table-ref table id )
2003-01-25 11:09:03 -05:00
;; FIXME?: this may loop forever, if the table is full (can
;; this ever happen?)
2002-09-13 03:21:19 -04:00
( loop ( random ) )
2002-09-21 16:18:49 -04:00
id ) ) )
2002-09-13 03:21:19 -04:00
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
2003-01-19 11:57:27 -05:00
;; SURFLETs CACHE
2003-01-25 11:09:03 -05:00
;;; GET-SURFLET-RT-STRUCTURE
;; Returns SUrflet's RT-STRUCTURE indicated by SURFLET-NAME (a virtual
;; path string) while managing the SUrflet cache *SURFLET-TABLE*
;; (locking).
2003-01-25 11:17:33 -05:00
( define get-surflet-rt-structure
( let ( ( load-surflet
( lambda ( full-surflet-name cached? )
2003-04-13 14:27:43 -04:00
;; load-config-file does not care about cwd(?)
;; --> absolute file name needed
( load-config-file full-surflet-name )
;; surflet-structure to load must be named "surflet"
( let ( ( surflet-structure ( reify-structure 'surflet ) ) )
( load-structure surflet-structure )
( if cached?
( table-set! *surflet-table* full-surflet-name
( cons surflet-structure
( file-last-mod full-surflet-name ) ) ) )
surflet-structure ) ) ) )
2003-01-25 11:17:33 -05:00
( lambda ( surflet-name directory )
( let ( ( full-surflet-name ( absolute-file-name surflet-name directory ) ) )
( if ( options-cache-surflets? )
2003-04-13 14:27:43 -04:00
( with-lock *surflet-table-lock*
2003-03-03 05:29:18 -05:00
( cond
( ( table-ref *surflet-table* full-surflet-name ) =>
( lambda ( surflet )
2003-04-13 14:27:43 -04:00
( if ( equal? ( file-last-mod full-surflet-name )
( cdr surflet ) )
( car surflet )
( load-surflet full-surflet-name #t ) ) ) )
2003-03-03 05:29:18 -05:00
( else
( load-surflet full-surflet-name #t ) ) ) )
2003-01-25 11:17:33 -05:00
( load-surflet full-surflet-name #f ) ) ) ) ) )
2003-01-19 11:57:27 -05:00
2003-01-25 11:09:03 -05:00
;;; GET-LOADED-SURFLETS
;; Returns list of all loaded surflets (real path strings).
2003-01-19 11:57:27 -05:00
( define ( get-loaded-surflets )
2003-04-13 14:27:43 -04:00
( with-lock *surflet-table-lock*
( let ( ( loaded-surflets ' ( ) ) )
( table-walk
( lambda ( surflet-path rt-structure )
( set! loaded-surflets ( cons surflet-path loaded-surflets ) ) )
*surflet-table* )
loaded-surflets ) ) )
2003-01-19 11:57:27 -05:00
2003-01-25 11:09:03 -05:00
;;; UNLOAD-SURFLET
;; Removes SURFLET-NAME from the *SURFLET-TABLE* cache (locking).
2003-01-19 11:57:27 -05:00
( define ( unload-surflet surflet-name )
2003-04-13 14:27:43 -04:00
( with-lock *surflet-table-lock*
( if ( table-ref *surflet-table* surflet-name )
( table-set! *surflet-table* surflet-name #f ) ) ) )
2003-01-19 11:57:27 -05:00
2003-01-25 11:09:03 -05:00
;;; RESET-SURFLET-CACHE!
;; Clears *SURFLET-TABLE* (locking).
2003-01-19 11:57:27 -05:00
( define ( reset-surflet-cache! )
2003-04-13 14:27:43 -04:00
( with-lock *surflet-table-lock*
( set! *surflet-table* ( make-string-table ) ) ) )
2002-09-13 03:21:19 -04:00
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
2003-01-25 11:09:03 -05:00
;;; INSTANCE
2002-09-13 03:21:19 -04:00
2003-01-25 11:09:03 -05:00
;;; REGISTER-INSTANCE!
;; Saves values for current session (in a record).
2003-01-25 11:11:30 -05:00
( define ( register-instance! session-id )
2002-12-07 17:26:40 -05:00
( thread-cell-set! *instance*
2003-01-25 11:11:30 -05:00
( make-instance session-id ) ) )
2002-09-13 03:21:19 -04:00
2003-01-25 11:09:03 -05:00
;;; INSTANCE-SESSION-ID
;; Returns session-id of current *INSTANCE*.
2002-12-07 17:26:40 -05:00
( define ( instance-session-id )
( really-instance-session-id ( thread-cell-ref *instance* ) ) )
2002-09-13 03:21:19 -04:00
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
2003-01-25 11:09:03 -05:00
;;; RESUME-URL
;; Functions and constants for generating and parsing Continuation
;; URLs (= resume URLs). Resume URLs look like
;; http://localhost:8088/surflet/admin-handler.scm;k757033335;c1-684902143?return54=
2002-09-13 03:21:19 -04:00
( define *resume-url-regexp* ( rx ( submatch ( * ( - printing ";" ) ) )
2003-08-01 13:33:21 -04:00
";k" ( submatch ( * digit ) ) ; Instance-ID
2003-01-25 11:09:03 -05:00
";c" ( + digit ) ; Continuation Counter
2003-08-01 13:33:21 -04:00
"-" ( submatch ( * digit ) ) ) ) ; Continuation-ID
2002-09-13 03:21:19 -04:00
2003-01-25 11:09:03 -05:00
;; All arguments are numbers except PATH-STRING, which is a string.
2002-12-07 17:26:40 -05:00
( define ( make-resume-url path-string session-id continuation-counter continuation-id )
2003-11-18 15:25:59 -05:00
( string-append ( file-name-nondirectory path-string )
2003-04-16 12:04:11 -04:00
";k" ( number->string session-id )
2002-09-19 07:16:29 -04:00
";c" ( number->string continuation-counter )
"-" ( number->string continuation-id ) ) )
2002-09-13 03:21:19 -04:00
2003-01-25 11:09:03 -05:00
;; Return various parts of RESUME-URL
( define ( resume-url-session-id resume-url )
2002-12-07 17:26:40 -05:00
( receive ( session-id continuation-id )
2003-01-25 11:09:03 -05:00
( resume-url-ids resume-url )
2002-12-07 17:26:40 -05:00
session-id ) )
2002-09-13 03:21:19 -04:00
2003-01-25 11:09:03 -05:00
( define ( resume-url-continuation-id resume-url )
2002-12-07 17:26:40 -05:00
( receive ( session-id continuation-id )
2003-01-25 11:09:03 -05:00
( resume-url-ids resume-url )
2002-09-13 03:21:19 -04:00
continuation-id ) )
2003-01-25 11:09:03 -05:00
( define ( resume-url-ids resume-url )
2003-01-25 11:22:37 -05:00
( let ( ( match ( regexp-search *resume-url-regexp*
( file-name-nondirectory resume-url ) ) ) )
2002-09-13 03:21:19 -04:00
( if match
( values ( string->number ( match:substring match 2 ) )
( string->number ( match:substring match 3 ) ) )
2003-01-16 07:53:10 -05:00
( values #f #f ) ) ) )
2002-09-13 03:21:19 -04:00
2003-01-25 11:09:03 -05:00
( define ( resume-url-surflet-name resume-url )
( let ( ( match ( regexp-search *resume-url-regexp* resume-url ) ) )
2002-09-13 03:21:19 -04:00
( if match
( match:substring match 1 )
2003-08-01 13:33:21 -04:00
( values #f #f ) ) ) )
2002-09-13 03:21:19 -04:00
2003-01-25 11:09:03 -05:00
( define ( resume-url? resume-url )
( regexp-search? *resume-url-regexp* resume-url ) )
2003-08-01 13:33:21 -04:00
( define ( bad-surflet-error-response s-req path-string condition )
2003-01-25 11:09:03 -05:00
( make-error-response
2003-08-01 13:33:21 -04:00
( status-code internal-error )
2003-02-17 05:09:24 -05:00
( surflet-request-request s-req )
2003-01-25 11:28:16 -05:00
( format #f "Error in SUrflet ~s." path-string )
2003-01-25 11:09:03 -05:00
condition ) )
2002-09-13 03:21:19 -04:00
2002-09-21 16:18:49 -04:00
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
2003-01-25 11:09:03 -05:00
;;; Record types
2002-09-21 16:18:49 -04:00
2003-01-25 11:09:03 -05:00
;;; SESSION: session-table entry for every new request on a surflet page
( define-record-type session :session
2003-03-17 07:09:26 -05:00
( make-session surflet-name
2003-03-31 05:56:28 -05:00
continuation-table continuation-table-lock
continuation-counter
session-data
lifetime )
2003-01-25 11:09:03 -05:00
session?
2003-04-16 12:02:37 -04:00
( surflet-name real-session-surflet-name )
2003-01-25 11:09:03 -05:00
( continuation-table session-continuation-table )
( continuation-table-lock session-continuation-table-lock )
( continuation-counter session-continuation-counter )
2003-03-31 05:56:28 -05:00
( session-data session-session-data set-session-session-data! )
( lifetime really-session-lifetime really-set-session-lifetime! ) )
2002-09-21 16:18:49 -04:00
2003-04-16 12:02:37 -04:00
( define ( session-surflet-name session-or-session-id )
( if ( session? session-or-session-id )
( real-session-surflet-name session-or-session-id )
( let ( ( session ( session-lookup session-or-session-id ) ) )
( if session
( real-session-surflet-name session )
( error "No such session / Session no longer alive."
session-or-session-id ) ) ) ) )
( define ( session-session-id session-id ) session-id )
2003-01-25 11:09:03 -05:00
;;; INSTANCE: Every request corresponds to an instance.
( define-record-type instance :instance
2003-01-25 11:11:30 -05:00
( make-instance session-id )
2003-01-25 11:09:03 -05:00
instance?
( session-id really-instance-session-id
2003-01-25 11:11:30 -05:00
set-instance-session-id! ) )
2003-01-25 11:09:03 -05:00
;;; OPTIONS: options for the surflet-handler
2003-03-17 05:17:55 -05:00
( define-record-type surflet-options :suflet-options
2003-04-13 16:24:56 -04:00
( really-make-surflet-options surflet-path cache-surflets?
session-lifetime make-session-timeout-text )
2003-03-17 05:17:55 -05:00
surflet-options?
2003-04-13 16:24:56 -04:00
( surflet-path surflet-options-surflet-path set-surflet-options-surflet-path! )
2003-03-17 05:17:55 -05:00
( cache-surflets? surflet-options-cache-surflets? set-surflet-options-cache-surflets?! )
2003-01-25 11:09:03 -05:00
;; session lifetime is in seconds
2003-03-17 07:31:49 -05:00
( session-lifetime surflet-options-session-lifetime set-surflet-options-session-lifetime! )
( make-session-timeout-text surflet-options-make-session-timeout-text
set-surflet-options-make-session-timeout-text! ) )
( define ( default-make-session-timeout-text start-url )
( format #f
" <br>
<p>There may be several reasons, why your request for a SUrflet was denied:
<ul>
<li>The SUrflet does not accept any requests any more . </li>
<li>The SUrflet URL has timed out . </li>
<li>You URL is illformed . </li>
</ul>
</p>
2003-11-18 15:25:59 -05:00
<p>In any case, you may try to restart the SUrflet from the <a href= \ "~a\">beginning</a>. Your browser may also have cached an old session of this SUrflet. In this case, try to reload the page.</p>" ( file-name-nondirectory start-url ) ) )
2003-01-25 11:09:03 -05:00
;; Constructor with defaults.
2003-03-17 05:17:55 -05:00
( define ( make-default-surflet-options )
2003-04-13 16:24:56 -04:00
( really-make-surflet-options #f #t 600 default-make-session-timeout-text ) )
2003-03-17 05:17:55 -05:00
( define ( copy-surflet-options options )
( let ( ( new-options ( make-default-surflet-options ) ) )
2003-04-13 16:24:56 -04:00
( set-surflet-options-surflet-path!
new-options
( surflet-options-surflet-path options ) )
2003-03-17 05:17:55 -05:00
( set-surflet-options-cache-surflets?!
new-options
( surflet-options-cache-surflets? options ) )
( set-surflet-options-session-lifetime!
new-options
2003-03-17 07:31:49 -05:00
( surflet-options-session-lifetime options ) )
( set-surflet-options-make-session-timeout-text!
new-options
2003-03-17 14:29:45 -05:00
( surflet-options-make-session-timeout-text options ) )
new-options ) )
2003-03-17 05:17:55 -05:00
( define ( make-surflet-options-transformer set-option! )
( lambda ( new-value . stuff )
( let ( ( new-options ( if ( not ( null? stuff ) )
( copy-surflet-options ( car stuff ) )
( make-default-surflet-options ) ) ) )
( set-option! new-options new-value )
new-options ) ) )
2003-03-17 07:31:49 -05:00
( define ( make-surflet-options . stuff )
( let loop ( ( options ( make-default-surflet-options ) )
( stuff stuff ) )
( if ( null? stuff )
options
( let* ( ( transformer ( car stuff ) )
( value ( cadr stuff ) ) )
( loop ( transformer value options )
( cddr stuff ) ) ) ) ) )
2003-04-13 16:24:56 -04:00
( define with-surflet-path
( make-surflet-options-transformer
set-surflet-options-surflet-path! ) )
2003-03-17 05:17:55 -05:00
( define with-cache-surflets?
( make-surflet-options-transformer
set-surflet-options-cache-surflets?! ) )
( define with-session-lifetime
( make-surflet-options-transformer
set-surflet-options-session-lifetime! ) )
2003-03-17 07:31:49 -05:00
( define with-make-session-timeout-text
( make-surflet-options-transformer
set-surflet-options-make-session-timeout-text! ) )
2002-09-21 16:18:49 -04:00
2003-01-25 11:09:03 -05:00
;; Selectors for *options* (preserved-thread-fluid)
( define ( make-fluid-selector selector )
( lambda ( ) ( selector ( thread-fluid *options* ) ) ) )
( define ( make-fluid-setter setter )
( lambda ( value )
( setter ( thread-fluid *options* ) value ) ) )
2003-04-13 16:24:56 -04:00
( define options-surflet-path
( make-fluid-selector surflet-options-surflet-path ) )
2003-03-17 05:17:55 -05:00
( define options-cache-surflets?
( make-fluid-selector surflet-options-cache-surflets? ) )
( define options-session-lifetime
( make-fluid-selector surflet-options-session-lifetime ) )
2003-03-17 07:31:49 -05:00
( define options-make-session-timeout-text
( make-fluid-selector surflet-options-make-session-timeout-text ) )
2003-04-13 16:24:56 -04:00
( define set-options-surflet-path!
( make-fluid-setter set-surflet-options-surflet-path! ) )
2003-03-17 05:17:55 -05:00
( define set-options-cache-surflets?!
( make-fluid-setter set-surflet-options-cache-surflets?! ) )
( define set-options-session-lifetime!
( make-fluid-setter set-surflet-options-session-lifetime! ) )
2003-03-17 07:31:49 -05:00
( define set-options-make-session-timeout-text
( make-fluid-setter set-surflet-options-make-session-timeout-text! ) )
2003-01-25 11:09:03 -05:00
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;;; RANDOM SOURCE
( define random
( let* ( ( source ( make-random-source ) )
( random-integer ( begin
( random-source-randomize! source )
( random-source-make-integers source ) ) ) )
( lambda ( )
( random-integer 1073741824 ) ) ) ) ; I hope, 1+ billion is enough....
2002-11-05 17:20:47 -05:00
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
;; DEBUGGING
2002-09-29 11:20:36 -04:00
( define ( debug fmt . args )
( if *debug*
( format #t "DEBUG: ~?~%" fmt args )
( force-output ) ) )
2003-04-16 12:02:37 -04:00
;;; EOF
;;; Local Variables:
;;; buffer-tag-table: "../../TAGS"
;;; End::
2003-08-01 13:59:27 -04:00